From ab69aaa72903b0ac5a35c4823ee97a629b3984fb Mon Sep 17 00:00:00 2001 From: tanaka takashi Date: Tue, 11 Aug 2026 22:23:27 +0900 Subject: Enforce planner task effect scope --- doc/Design.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/Design.md') 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 ``` -`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 -- cgit v1.2.3