From 6c3458a5ec37a5b69957ad17c84de58984698f25 Mon Sep 17 00:00:00 2001 From: tanaka takashi Date: Tue, 11 Aug 2026 21:44:53 +0900 Subject: Audit and align v1 runtime design --- plans/ImplementationPlan.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'plans/ImplementationPlan.md') diff --git a/plans/ImplementationPlan.md b/plans/ImplementationPlan.md index 1c70178..f90b423 100644 --- a/plans/ImplementationPlan.md +++ b/plans/ImplementationPlan.md @@ -112,7 +112,7 @@ | 2 | MCP Public Interface | stdio、非同期Task受付、`agent_run/status` | G2 | | 3 | Session / Ollama / Prompt | text会話、Session、token usage、Prompt優先順位 | G3 | | 4 | Token Planner | TaskGraph、Token PERT/CPM、再計画 | G4 | -| 5 | Internal Tool / Policy Boundary | 5 Internal Tool、ToolUseGuard、Policy Engine | G5 | +| 5 | Internal Tool / Policy Boundary | Design.mdのTool catalog、ToolUseGuard、Policy Engine | G5 | | 6 | Filesystem / Process Sandbox | AppContainer、ACL、Job、hash approval | G6 | | 7 | Transaction / Recovery | ACL Resource Transaction、File rollback、Recovery Journal | G7 | | 8 | Network Sandbox | WFP deny / host-port allow-list | G8 | @@ -323,14 +323,14 @@ Planner deterministic test全PASS。 - AGT-01〜06 - OLL-10〜11 - SEC-INV-01〜02 -## 10.2 Internal Toolを5群に固定 +## 10.2 Internal Tool catalog | Tool | Operation | | --- | --- | | `file_search` | glob / name / text / regex / tail | | `file_read` | whole / range / metadata | | `file_edit` | overwrite / patch / atomic_replace / delete | | `process_run` | exe + args + cwd + timeout | -| `task_update` | add / dependency / state / estimate | +| `task_update` | add / dependency / estimate | 個々の `grep`、`find`、`tail` 等を独立Toolにしない。 ## 10.3 実装対象 - JSON Schema @@ -348,10 +348,10 @@ Planner deterministic test全PASS。 このPhaseの副作用backendはfake/in-memory実装を使用可能とし、Windows sandboxを迂回した本物の無制限file/process操作を実装してはならない。 ## 10.5 必須テスト - [ ] MCP ClientからInternal Toolが見えない -- [ ] Ollamaには5群のみ公開 +- [ ] OllamaにはDesign.md 7章のcatalogだけを公開 - [ ] malformed tool args拒否 - [ ] Policy deny時に副作用なし -- [ ] Policy denyは初回でfailedとなり、LLMへ再試行されない +- [ ] Policy denyは同一Tool呼出しへ再投入せず、許可済み能力内の条件付き再計画を最大3回行い、同一deny・計画未変更・実行可能Taskなし・再計画失敗でfailedとなる - [ ] external effect必須Taskでtool未使用ならcompletedにならない - [ ] 同一失敗5回でfailed - [ ] pure analysis TaskにはToolを強制しない @@ -589,7 +589,7 @@ AT-01〜AT-20をすべて再実行する。 - [ ] non-loopback HTTPなし - [ ] Fixed Prompt変更I/Fなし - [ ] MCP/LLMによるPolicy変更I/Fなし -- [ ] Internal Toolが5群から増えていない +- [ ] Internal Tool catalogとschemaがDesign.md 7章と一致する - [ ] AppContainer profileをTaskごとに作成していない - [ ] WFPが汎用Firewall engine化していない - [ ] Database/ORMなし -- cgit v1.2.3