From 842e55654db060c84448f3a0deddb24f77fad5a7 Mon Sep 17 00:00:00 2001
From: tanaka takashi <isazaka@gmail.com>
Date: Tue, 11 Aug 2026 22:20:25 +0900
Subject: Verify task-specific external effect evidence

---
 doc/Design.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc/Design.md')

diff --git a/doc/Design.md b/doc/Design.md
index 1c5c8d4..ac496bb 100644
--- a/doc/Design.md
+++ b/doc/Design.md
@@ -319,7 +319,9 @@ Ollamaに公開する現行Internal Tool catalogは次のとおりとする。
   "budget_class":"1K|2K|4K|8K|16K|32K|64K|128K|null",
   "optimistic_tokens":0,
   "most_likely_tokens":0,
-  "pessimistic_tokens":0
+  "pessimistic_tokens":0,
+  "requires_external_effect":"boolean|null",
+  "required_effect_tools":["file_edit|process_run|dir"]
 }
 ```
 Task状態遷移はAgent Runtimeだけが行う。`task_update` はTask追加、dependency追加、estimate変更に限定し、LLMから状態を変更するschemaを公開しない。
@@ -354,7 +356,9 @@ Task
   ActualOutputTokens: long
   ActualTotalTokens: long
   RequiresExternalEffect: bool
+  RequiredEffectTools: set<Internal Tool name>
 ```
+`RequiresExternalEffect=true`のTaskは、Tool catalogに存在し副作用を持つTool名を`RequiredEffectTools`へ1件以上持つ。Planner structured outputの`required_effect_tools`から構築し、Runtimeは成功した副作用Toolがこの集合に含まれる場合だけ期待副作用の証跡として扱う。例えば`process_run`が必要なTask中の`file_edit`成功は完了根拠にしない。`RequiresExternalEffect=false`では集合を空にする。
 ### 8.2 PERT計算
 ```text
 ExpectedTokens = (O + 4*M + P) / 6.0
-- 
cgit v1.2.3