summaryrefslogtreecommitdiff
path: root/plans/ImplementationPlan.md
diff options
context:
space:
mode:
authortanaka takashi <isazaka@gmail.com>2026-08-11 21:44:53 +0900
committertanaka takashi <isazaka@gmail.com>2026-08-11 21:44:53 +0900
commit6c3458a5ec37a5b69957ad17c84de58984698f25 (patch)
treebe5c5716e7488fcf1bc1a58de0ded0b9238f34cb /plans/ImplementationPlan.md
parentb5ccecca01007f2a2459265df6d749fbfd31aa84 (diff)
Audit and align v1 runtime design
Diffstat (limited to 'plans/ImplementationPlan.md')
-rw-r--r--plans/ImplementationPlan.md12
1 files changed, 6 insertions, 6 deletions
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なし