diff options
| author | tanaka takashi <isazaka@gmail.com> | 2026-08-11 22:20:25 +0900 |
|---|---|---|
| committer | tanaka takashi <isazaka@gmail.com> | 2026-08-11 22:20:25 +0900 |
| commit | 842e55654db060c84448f3a0deddb24f77fad5a7 (patch) | |
| tree | faafb9e6f26a0eb5a037d8d3ceff4a512785e8f4 /doc/Design.md | |
| parent | d8cf8947ff93230ae5282fc5058b0e49ddae42aa (diff) | |
Verify task-specific external effect evidence
Diffstat (limited to 'doc/Design.md')
| -rw-r--r-- | doc/Design.md | 6 |
1 files changed, 5 insertions, 1 deletions
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 |