diff options
| author | tanaka takashi <isazaka@gmail.com> | 2026-08-11 22:23:27 +0900 |
|---|---|---|
| committer | tanaka takashi <isazaka@gmail.com> | 2026-08-11 22:23:27 +0900 |
| commit | ab69aaa72903b0ac5a35c4823ee97a629b3984fb (patch) | |
| tree | 204e3ca65df933da44299ac6a35741105ec38358 /doc/Design.md | |
| parent | 842e55654db060c84448f3a0deddb24f77fad5a7 (diff) | |
Enforce planner task effect scope
Diffstat (limited to 'doc/Design.md')
| -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 |