diff options
Diffstat (limited to 'doc/Design.md')
| -rw-r--r-- | doc/Design.md | 8 |
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: |