diff options
| author | tanaka takashi <isazaka@gmail.com> | 2026-08-14 18:00:29 +0900 |
|---|---|---|
| committer | tanaka takashi <isazaka@gmail.com> | 2026-08-14 18:00:29 +0900 |
| commit | a8233adff75a4726015c7c96ce5e864d4506f6b2 (patch) | |
| tree | 8ce06e1bc5d605b9681259260c99a47921e65413 /doc/Specifications.md | |
| parent | e07183ee6d3e57da325213e898cdcd6687320f53 (diff) | |
Unify the public product name and repository identifier while preserving stable executable, store, AppContainer, namespace, pipe, and mutex identifiers.
Make Directory.Build.props VersionPrefix the application-version source of truth, use SDK-generated assembly metadata, and compare helper compatibility by parsed major/minor/build release identity.
Rebuild the fixed winagent-sandbox-mcp release staging directory from clean defaults, emit versioned ZIP/checksum assets, verify manifests and fresh extraction, and reject local configuration, user state, and test artifacts.
Document release/deployment separation and upgrade responsibilities, add the initial changelog, update operational script paths, and record the v0.1.0 verification results.
Diffstat (limited to 'doc/Specifications.md')
| -rw-r--r-- | doc/Specifications.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/Specifications.md b/doc/Specifications.md index dcc2425..d127e1f 100644 --- a/doc/Specifications.md +++ b/doc/Specifications.md @@ -1,4 +1,4 @@ -# AI Agent Sandbox MCP Server — 仕様書 +# WinAgent Sandbox MCP — 仕様書 **文書名:** `Specifications.md` **版:** 0.2 Audit Revision @@ -32,6 +32,8 @@ IPA「厳密な仕様記述入門」の考え方に従い、課題・仕様・è¨ 本書は、完全性、一貫性、検証容易性、修正容易性、追跡性を重視する。妥当性確認は「この仕様がAIエージェントの安全な作業実行という目的に適合するか」、正当性検証は「設計・実装が本仕様を満たすか」と定義する。 +Application Version、Configuration schema version、MCP protocol versionは独立して管理する。current Application Versionはbuild metadata、公開履歴はGit tag、CHANGELOG、Release metadataを正本とし、本仕様書へ固定値として持たせない。 + --- ## 2. 目的・課題・範囲 @@ -480,7 +482,7 @@ Resource Profileは`constrained = 1024 MiB/4 Process/300秒`、`normal = 4096 Mi - Hot Reloadは明示的に非対応。 - config pathはCLIの任意の位置引数で選択可能とし、optionによる設定上書きを持たない。 - base設定と同じdirectoryに `agent.local.yaml` が存在する場合は任意overrideとして読み込む。mapは再帰mergeし、scalarと配列はlocal側で置換する。merge後の設定全体をvalidationし、相対pathはbase設定directoryを基準に解決する。 -- Release Bundleは既定設定だけを配布し、利用者のlocal設定、User System Prompt、Skillをpublishで上書きしてはならない。 +- Release artifact生成用stagingは毎回既定配布物だけから完全再生成し、利用者の`agent.local.yaml`、local Prompt/Skill、logs、state、Applied Configuration StoreをRelease BundleまたはZIPへ含めてはならない。利用者deploymentのupgradeではExecutableと既定資産だけを置換し、これらの利用者状態を上書きしてはならない。 - `sandbox.execution.entries`はAlias、Executable Logical Path、optional Runtime Rootを一つのrecordとして持つ。Shell分類はResolved file nameから内部で決定する。 - 起動時にschema、Applied Configuration、locale、Effective Sandbox Policyのvalidationを行う。 - Workspace/Mount ResolutionとExecutable identity/Approvalを分離保存せず、config別Applied Configuration Storeへ一つのsnapshotとして保存する。StoreはWindows user単位のuser-only領域に置き、Release Bundleへ含めない。 |
