Require task-specific tool evidence

1 files changed, 3 insertions, 3 deletions

diff --git a/src/Agent.Core/Runtime/PlanResult.cs b/src/Agent.Core/Runtime/PlanResult.cs
index 2e8dbae..cf4830f 100644
--- a/src/Agent.Core/Runtime/PlanResult.cs
+++ b/src/Agent.Core/Runtime/PlanResult.cs
@@ -37,8 +37,8 @@ public sealed class PlannedTask
     [JsonPropertyName("requires_external_effect")]
     public bool RequiresExternalEffect { get; init; }
 
-    [JsonPropertyName("required_effect_tools")]
-    public List<string> RequiredEffectTools { get; init; } = [];
+    [JsonPropertyName("required_tools")]
+    public List<string> RequiredTools { get; init; } = [];
 }
 
 /// <summary>
@@ -46,7 +46,7 @@ public sealed class PlannedTask
 /// </summary>
 public static class PlanSchema
 {
-    public static string Json => """{"type":"object","properties":{"tasks":{"type":"array","items":{"type":"object","properties":{"description":{"type":"string"},"dependencies":{"type":"array","items":{"type":"integer"}},"budget_class":{"type":"string","enum":["1K","2K","4K","8K","16K","32K","64K","128K"]},"optimistic_tokens":{"type":"integer","minimum":1},"most_likely_tokens":{"type":"integer","minimum":1},"pessimistic_tokens":{"type":"integer","minimum":1},"requires_external_effect":{"type":"boolean"},"required_effect_tools":{"type":"array","items":{"type":"string","enum":["file_edit","process_run","dir"]}}},"required":["description","dependencies","budget_class","optimistic_tokens","most_likely_tokens","pessimistic_tokens","requires_external_effect","required_effect_tools"]}}},"required":["tasks"]}""";
+    public static string Json => """{"type":"object","properties":{"tasks":{"type":"array","items":{"type":"object","properties":{"description":{"type":"string"},"dependencies":{"type":"array","items":{"type":"integer"}},"budget_class":{"type":"string","enum":["1K","2K","4K","8K","16K","32K","64K","128K"]},"optimistic_tokens":{"type":"integer","minimum":1},"most_likely_tokens":{"type":"integer","minimum":1},"pessimistic_tokens":{"type":"integer","minimum":1},"requires_external_effect":{"type":"boolean"},"required_tools":{"type":"array","items":{"type":"string","enum":["file_search","file_read","file_edit","process_run","task_update","dir"]}}},"required":["description","dependencies","budget_class","optimistic_tokens","most_likely_tokens","pessimistic_tokens","requires_external_effect","required_tools"]}}},"required":["tasks"]}""";
 
     private static readonly JsonElement _element = JsonDocument.Parse(Json).RootElement.Clone();