From b07b41cd435991cd254957af79055080c85b346e Mon Sep 17 00:00:00 2001 From: tanaka takashi Date: Sun, 9 Aug 2026 21:08:20 +0900 Subject: feat: AI Agent Sandbox MCP Server v1を実装 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Specifications、Design、ImplementationPlanの優先順位を整理し、単一Task実行モデル、typed option優先、設定可能なresource上限、local Ollamaを必須とするRelease Gateを文書化。 .NET 10/C# 14の5 production project、3 test project、E2E Clientを構築。typed YAML、en/ja locale、fixed/user prompt、stdioおよびloopback限定Streamable HTTP、agent_run/agent_status、Session、Ollama text/tool/Vision、TaskGraphとtoken accountingを実装。 Windows sandboxとしてfixed AppContainer、canonical/reparse検査、能力別ACL、path+SHA-256 executable approval、child-process restriction、Job Object、task journal、atomic file transaction、crash recoveryを実装。WFPのIPv4/IPv6 default denyとexact allow、dynamic session、temporary loopback exemption、管理者/BFE診断を追加。 Security/Recovery test、MCP/Ollama integration test、stdio/HTTP Operational E2E、Release Bundle生成・checksum・manifest・fresh extraction検査を追加。Requirement TraceabilityとPhase 0〜11の進捗、初回セットアップ可能なREADMEを整備。 Debug/Release/publish/objをrepository rootのbuild/へ集約し、旧project-local bin/objへの依存を除去。artifacts/とbuild/をGit管理外に設定し、clean checkoutでもsolution buildからE2E Clientまで生成可能にした。 --- .../Agent.Planner.Tests/Agent.Planner.Tests.csproj | 14 ++++ tests/Agent.Planner.Tests/BaselineTests.cs | 10 +++ tests/Agent.Planner.Tests/TaskGraphTests.cs | 80 ++++++++++++++++++++++ tests/Agent.Planner.Tests/Usings.cs | 1 + 4 files changed, 105 insertions(+) create mode 100644 tests/Agent.Planner.Tests/Agent.Planner.Tests.csproj create mode 100644 tests/Agent.Planner.Tests/BaselineTests.cs create mode 100644 tests/Agent.Planner.Tests/TaskGraphTests.cs create mode 100644 tests/Agent.Planner.Tests/Usings.cs (limited to 'tests/Agent.Planner.Tests') diff --git a/tests/Agent.Planner.Tests/Agent.Planner.Tests.csproj b/tests/Agent.Planner.Tests/Agent.Planner.Tests.csproj new file mode 100644 index 0000000..16264cb --- /dev/null +++ b/tests/Agent.Planner.Tests/Agent.Planner.Tests.csproj @@ -0,0 +1,14 @@ + + + false + true + true + + + + + + + + + diff --git a/tests/Agent.Planner.Tests/BaselineTests.cs b/tests/Agent.Planner.Tests/BaselineTests.cs new file mode 100644 index 0000000..a459b18 --- /dev/null +++ b/tests/Agent.Planner.Tests/BaselineTests.cs @@ -0,0 +1,10 @@ +namespace Agent.Planner.Tests; + +public sealed class BaselineTests +{ + [Fact] + public void PlannerAssemblyLoads() + { + Assert.Equal("Agent.Planner", typeof(Planner.AssemblyMarker).Assembly.GetName().Name); + } +} diff --git a/tests/Agent.Planner.Tests/TaskGraphTests.cs b/tests/Agent.Planner.Tests/TaskGraphTests.cs new file mode 100644 index 0000000..b09cd56 --- /dev/null +++ b/tests/Agent.Planner.Tests/TaskGraphTests.cs @@ -0,0 +1,80 @@ +using Agent.Planner; + +namespace Agent.Planner.Tests; + +public sealed class TaskGraphTests +{ + private static readonly TokenEstimate Small = new(60, 60, 60); + + [Fact] + public void Known_dag_has_deterministic_critical_path() + { + TaskGraph graph = new(); + PlannerTask a = graph.AddTask("A", TokenBudgetClass.K1, new TokenEstimate(60, 60, 60)); + PlannerTask b = graph.AddTask("B", TokenBudgetClass.K1, new TokenEstimate(120, 120, 120), [a.Id]); + _ = graph.AddTask("C", TokenBudgetClass.K1, new TokenEstimate(30, 30, 30), [a.Id]); + PlannerTask d = graph.AddTask("D", TokenBudgetClass.K1, new TokenEstimate(60, 60, 60), [b.Id]); + + Assert.Equal([a.Id, b.Id, d.Id], graph.CriticalPath.TaskIds); + Assert.Equal(240, graph.CriticalPath.CumulativeTokenCost); + } + + [Fact] + public void Cycle_is_rejected_without_mutating_graph() + { + TaskGraph graph = new(); + PlannerTask a = graph.AddTask("A", TokenBudgetClass.K1, Small); + PlannerTask b = graph.AddTask("B", TokenBudgetClass.K1, Small, [a.Id]); + + Assert.Throws(() => graph.AddDependency(a.Id, b.Id)); + Assert.Empty(graph.Get(a.Id).Dependencies); + } + + [Fact] + public void Max_tasks_is_enforced() + { + TaskGraph graph = new(1); + _ = graph.AddTask("A", TokenBudgetClass.K1, Small); + Assert.Throws(() => graph.AddTask("B", TokenBudgetClass.K1, Small)); + } + + [Theory] + [InlineData(0, 1, 1)] + [InlineData(2, 1, 2)] + [InlineData(1, 3, 2)] + [InlineData(1, 2, 2048)] + public void Invalid_estimate_is_rejected(long optimistic, long likely, long pessimistic) + { + TaskGraph graph = new(); + Assert.Throws(() => graph.AddTask("bad", TokenBudgetClass.K1, new TokenEstimate(optimistic, likely, pessimistic))); + } + + [Fact] + public void Completed_task_is_immutable() + { + TaskGraph graph = new(); + PlannerTask task = graph.AddTask("A", TokenBudgetClass.K1, Small); + graph.SetState(task.Id, PlannerTaskState.Completed); + + Assert.Throws(() => graph.SetEstimate(task.Id, TokenBudgetClass.K2, new TokenEstimate(1, 2, 3))); + Assert.Throws(() => graph.SetState(task.Id, PlannerTaskState.Failed)); + Assert.Throws(() => graph.AddUsage(task.Id, 1, 1)); + } + + [Fact] + public void Graph_change_recalculates_cpm_and_usage_accumulates() + { + TaskGraph graph = new(); + PlannerTask a = graph.AddTask("A", TokenBudgetClass.K1, Small); + PlannerTask b = graph.AddTask("B", TokenBudgetClass.K1, new TokenEstimate(30, 30, 30)); + Assert.Equal([a.Id], graph.CriticalPath.TaskIds); + + graph.AddDependency(b.Id, a.Id); + graph.AddUsage(b.Id, 10, 5); + graph.AddUsage(b.Id, 2, 3); + + Assert.Equal([a.Id, b.Id], graph.CriticalPath.TaskIds); + Assert.Equal(20, graph.Get(b.Id).ActualTotalTokens); + Assert.Equal(2_048, graph.TotalTokenBudget); + } +} diff --git a/tests/Agent.Planner.Tests/Usings.cs b/tests/Agent.Planner.Tests/Usings.cs new file mode 100644 index 0000000..c802f44 --- /dev/null +++ b/tests/Agent.Planner.Tests/Usings.cs @@ -0,0 +1 @@ +global using Xunit; -- cgit v1.2.3