diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Design.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Design.md b/doc/Design.md index ac496bb..6897064 100644 --- a/doc/Design.md +++ b/doc/Design.md @@ -358,7 +358,7 @@ Task 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`では集合を空にする。 +`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`では集合を空にする。 ### 8.2 PERT計算 ```text ExpectedTokens = (O + 4*M + P) / 6.0 |