diff options
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 |