Run full guard stack in sidecar verify

Author: chenbo

.agent-context/architecture.md

@@ -14,7 +14,7 @@ This document is generated from static repository signals. Treat it as a startin
 - `core`: core contains 18 files and depends on analyzers, config, llm, outputs.
 - `harness`: harness contains 9 files and depends on core, outputs, sandbox.
 - `retrievers`: retrievers contains 7 files and depends on core, integrations, outputs.
-- `integrations`: integrations contains 5 files and depends on core, outputs, retrievers.
+- `integrations`: integrations contains 5 files and depends on core, harness, outputs, retrievers.
 - `benchmarks`: benchmarks contains 25 files and depends on core, harness, outputs.
 - `cli`: cli contains 5 files and depends on benchmarks, config, core, harness, integrations, outputs, retrievers.
 - `analyzers`: analyzers contains 6 files and depends on core.

.agent-context/contracts/architecture.contract.json

@@ -180,10 +180,11 @@
       ],
       "imports": [
         "core",
+        "harness",
         "outputs",
         "retrievers"
       ],
-      "summary": "integrations contains 5 files and depends on core, outputs, retrievers."
+      "summary": "integrations contains 5 files and depends on core, harness, outputs, retrievers."
     },
     {
       "name": "benchmarks",

.agent-context/contracts/module-boundaries.json

@@ -245,6 +245,7 @@
         "benchmarks/fixtures/monorepo/packages/shared/**",
         "src/config/**",
         "src/core/**",
+        "src/harness/**",
         "src/integrations/**",
         "src/outputs/**",
         "src/retrievers/**"
@@ -261,6 +262,7 @@
       ],
       "observedImports": [
         "core",
+        "harness",
         "outputs",
         "retrievers"
       ],

.agent-context/contracts/test.contract.json

@@ -147,9 +147,6 @@
       "benchmarks/fixtures/monorepo/packages/config/test/loader.test.ts",
       "test/fixtures/monorepo/packages/api/src/config.ts"
     ],
-    "src/harness/types.ts": [
-      "test/task-harness.test.ts"
-    ],
     "src/core/cache.ts": [
       "test/cache.test.ts"
     ],
@@ -165,6 +162,7 @@
       "test/hallucination-guard.test.ts",
       "test/impact.test.ts",
       "test/loop-controller.test.ts",
+      "test/opencode-launcher.test.ts",
       "test/policy-engine.test.ts",
       "test/regression-guard.test.ts",
       "test/retrievers.test.ts",
@@ -227,13 +225,16 @@
       "test/contract-validator.test.ts",
       "test/validator.test.ts"
     ],
+    "src/harness/types.ts": [
+      "test/task-harness.test.ts"
+    ],
     "src/integrations/codegraph.ts": [
       "test/codegraph.test.ts"
     ],
+    "src/llm/provider.ts": [],
     "src/mcp/server.ts": [
       "test/mcp.test.ts"
     ],
-    "src/llm/provider.ts": [],
     "src/outputs/agent-events.ts": [
       "test/agent-events.test.ts"
     ],
@@ -311,6 +312,14 @@
     "src/sandbox/git-worktree-sandbox.ts": [],
     "src/sandbox/host-sandbox.ts": [],
     "src/sandbox/sandbox-adapter.ts": [],
+    "src/harness/observability/execution-trace.ts": [
+      "test/execution-trace.test.ts",
+      "test/hallucination-guard.test.ts",
+      "test/loop-controller.test.ts",
+      "test/orchestrator.test.ts",
+      "test/policy-engine.test.ts",
+      "test/task-harness.test.ts"
+    ],
     "src/harness/control-plane/decision-engine.ts": [
       "test/task-harness.test.ts"
     ],
@@ -323,14 +332,6 @@
       "test/orchestrator.test.ts",
       "test/task-harness.test.ts"
     ],
-    "src/harness/observability/execution-trace.ts": [
-      "test/execution-trace.test.ts",
-      "test/hallucination-guard.test.ts",
-      "test/loop-controller.test.ts",
-      "test/orchestrator.test.ts",
-      "test/policy-engine.test.ts",
-      "test/task-harness.test.ts"
-    ],
     "src/harness/verification-plane/policy-engine.ts": [
       "test/hallucination-guard.test.ts",
       "test/policy-engine.test.ts",
@@ -362,6 +363,7 @@
       "test/freshness.test.ts",
       "test/hallucination-guard.test.ts",
       "test/loop-controller.test.ts",
+      "test/opencode-launcher.test.ts",
       "test/policy-engine.test.ts",
       "test/regression-guard.test.ts",
       "test/validator.test.ts",
@@ -680,7 +682,7 @@
       "test/fixtures/monorepo/packages/web/src/index.ts",
       "test/fixtures/next-app/src/app/api/login/route.ts"
     ],
-    "benchmarks/fixtures/small-ts-app/src/auth/middleware.ts": [
+    "benchmarks/fixtures/small-ts-app/src/api/login.ts": [
       "test/fixtures.test.ts",
       "test/fixtures/monorepo/package.json",
       "test/fixtures/monorepo/pnpm-workspace.yaml",
@@ -705,7 +707,7 @@
       "test/fixtures/monorepo/packages/web/src/index.ts",
       "test/fixtures/next-app/src/app/api/login/route.ts"
     ],
-    "benchmarks/fixtures/small-ts-app/src/auth/session.ts": [
+    "benchmarks/fixtures/small-ts-app/src/auth/middleware.ts": [
       "test/fixtures.test.ts",
       "test/fixtures/monorepo/package.json",
       "test/fixtures/monorepo/pnpm-workspace.yaml",
@@ -730,7 +732,7 @@
       "test/fixtures/monorepo/packages/web/src/index.ts",
       "test/fixtures/next-app/src/app/api/login/route.ts"
     ],
-    "benchmarks/fixtures/small-ts-app/src/api/login.ts": [
+    "benchmarks/fixtures/small-ts-app/src/auth/session.ts": [
       "test/fixtures.test.ts",
       "test/fixtures/monorepo/package.json",
       "test/fixtures/monorepo/pnpm-workspace.yaml",

.agent-context/dependency-graph.md

@@ -25,6 +25,7 @@ graph TD
   harness["harness"] --> outputs["outputs"]
   harness["harness"] --> sandbox["sandbox"]
   integrations["integrations"] --> core["core"]
+  integrations["integrations"] --> harness["harness"]
   integrations["integrations"] --> outputs["outputs"]
   integrations["integrations"] --> retrievers["retrievers"]
   llm["llm"] --> core["core"]
@@ -76,8 +77,9 @@ graph TD
 | harness | core | 17 |
 | harness | outputs | 26 |
 | harness | sandbox | 3 |
-| integrations | core | 7 |
-| integrations | outputs | 1 |
+| integrations | core | 8 |
+| integrations | harness | 3 |
+| integrations | outputs | 5 |
 | integrations | retrievers | 1 |
 | llm | core | 1 |
 | mcp | core | 1 |
@@ -95,10 +97,10 @@ graph TD
 | test | benchmarks | 2 |
 | test | cli | 4 |
 | test | config | 3 |
-| test | core | 45 |
+| test | core | 46 |
 | test | harness | 14 |
 | test | integrations | 5 |
 | test | mcp | 1 |
-| test | outputs | 22 |
+| test | outputs | 23 |
 | test | retrievers | 1 |
 | test/fixtures/monorepo/packages/web | test/fixtures/monorepo/packages/api | 1 |