Require task-specific tool evidence

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/Design.md b/doc/Design.md
index 2d7ba7e..3623cb4 100644
--- a/doc/Design.md
+++ b/doc/Design.md
@@ -321,7 +321,7 @@ Ollamaに公開する現行Internal Tool catalogは次のとおりとする。�
   "most_likely_tokens":0,
   "pessimistic_tokens":0,
   "requires_external_effect":"boolean|null",
-  "required_effect_tools":["file_edit|process_run|dir"]
+  "required_tools":["file_search|file_read|file_edit|process_run|task_update|dir"]
 }
 ```
 Task状態遷移はAgent Runtimeだけが行う。`task_update` はTask追加、dependency追加、estimate変更に限定し、LLMから状態を変更するschemaを公開しない。
@@ -356,9 +356,9 @@ Task
   ActualOutputTokens: long
   ActualTotalTokens: long
   RequiresExternalEffect: bool
-  RequiredEffectTools: set<Internal Tool name>
+  RequiredTools: 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`成功は完了根拠にしない。current Taskの集合に含まれない副作用ToolはBackendへdispatchせず、Task scope外のTool resultとしてLLMへ返してqueued Taskの先取りを決定的に防ぐ。`RequiresExternalEffect=false`では集合を空にする。
+Taskは、完了に成功証跡が必要なTool名を`RequiredTools`として持つ。Planner structured outputの`required_tools`から構築し、Runtimeは集合内の全Toolが成功した場合だけTaskの操作を検証済みとする。read/search/list Taskは副作用不要でも対応Toolを持ち、純粋な説明Taskだけが空集合となる。`RequiresExternalEffect=true`では集合内の副作用Toolから外部効果も確認する。例えば`process_run`が必要なTask中の`file_edit`成功は完了根拠にしない。current Taskの集合に含まれない副作用ToolはBackendへdispatchせず、Task scope外のTool resultとしてLLMへ返してqueued Taskの先取りを決定的に防ぐ。scope外結果はAudit/LLM相関には残すが、次Taskのactive Execution Result contextへは引き継がない。
 ### 8.2 PERT計算
 ```text
 ExpectedTokens = (O + 4*M + P) / 6.0
@@ -442,7 +442,7 @@ agent:
   same_failure_limit: 5
 ollama:
   endpoint: http://localhost:11434
-  model: hf.co/TrevorJS/gemma-4-E4B-it-uncensored-GGUF:Q4_K_M
+  model: deepseek-v4-flash:cloud
   think: true
   keep_alive: 5m
   options: