@interf/compiler 0.22.0 → 0.33.0

package/dist/packages/{engine → runtime}/execution/lib/schema.d.ts

@@ -1,8 +1,8 @@
 import { z } from "zod";
 export declare const RunTraceRunStatusSchema: z.ZodEnum<{
-    failed: "failed";
-    running: "running";
     pending: "pending";
+    running: "running";
+    failed: "failed";
     completed: "completed";
     cancelled: "cancelled";
 }>;
@@ -32,9 +32,9 @@ export declare const RunTraceStructuredErrorSchema: z.ZodObject<{
 export declare const RunTraceRunSchema: z.ZodObject<{
     runId: z.ZodString;
     status: z.ZodEnum<{
-        failed: "failed";
-        running: "running";
         pending: "pending";
+        running: "running";
+        failed: "failed";
         completed: "completed";
         cancelled: "cancelled";
     }>;
@@ -93,9 +93,9 @@ export declare const RunTraceSchema: z.ZodObject<{
     run: z.ZodObject<{
         runId: z.ZodString;
         status: z.ZodEnum<{
-            failed: "failed";
-            running: "running";
             pending: "pending";
+            running: "running";
+            failed: "failed";
             completed: "completed";
             cancelled: "cancelled";
         }>;
@@ -153,46 +153,51 @@ export declare const RunTraceSchema: z.ZodObject<{
 }, z.core.$strict>;
 export declare const ObservableRunTypeSchema: z.ZodEnum<{
     build: "build";
-    "build-plan-improvement": "build-plan-improvement";
     verify: "verify";
-    "readiness-check-draft": "readiness-check-draft";
+    "benchmark-question-draft": "benchmark-question-draft";
     "build-plan-draft": "build-plan-draft";
+    "build-plan-improvement": "build-plan-improvement";
     job: "job";
 }>;
-export declare const ObservableRunStatusSchema: z.ZodEnum<{
-    succeeded: "succeeded";
+export declare const ExecutionBackendKindSchema: z.ZodEnum<{
+    native: "native";
+}>;
+/**
+ * The canonical run-status enum. Build runs, verify runs, and the
+ * observability projection all share this set so a status string is the
+ * same string everywhere it appears.
+ */
+export declare const BuildRunStatusSchema: z.ZodEnum<{
+    running: "running";
     failed: "failed";
+    cancelled: "cancelled";
+    queued: "queued";
+    succeeded: "succeeded";
+}>;
+export declare const ObservableRunStatusSchema: z.ZodEnum<{
     running: "running";
+    failed: "failed";
     cancelled: "cancelled";
     queued: "queued";
+    succeeded: "succeeded";
 }>;
 export declare const ObservableRunMetricSchema: z.ZodObject<{
     label: z.ZodString;
     value: z.ZodString;
     detail: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
-export declare const ExecutionBackendKindSchema: z.ZodEnum<{
-    native: "native";
-}>;
-export declare const BuildRunStatusSchema: z.ZodEnum<{
-    succeeded: "succeeded";
-    failed: "failed";
-    running: "running";
-    cancelled: "cancelled";
-    queued: "queued";
-}>;
 export declare const StageRunStatusSchema: z.ZodEnum<{
-    succeeded: "succeeded";
-    failed: "failed";
     running: "running";
+    failed: "failed";
     queued: "queued";
+    succeeded: "succeeded";
 }>;
 export declare const ArtifactRoleSchema: z.ZodEnum<{
     runtime: "runtime";
     output: "output";
     source: "source";
-    proof: "proof";
-    test: "test";
+    evidence: "evidence";
+    benchmark: "benchmark";
 }>;
 export declare const ArtifactRefSchema: z.ZodObject<{
     path: z.ZodString;
@@ -200,14 +205,14 @@ export declare const ArtifactRefSchema: z.ZodObject<{
         runtime: "runtime";
         output: "output";
         source: "source";
-        proof: "proof";
-        test: "test";
+        evidence: "evidence";
+        benchmark: "benchmark";
     }>;
     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     label: z.ZodOptional<z.ZodString>;
     sha256: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
-export declare const ProofCheckSchema: z.ZodObject<{
+export declare const RunCheckSchema: z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
     ok: z.ZodBoolean;
@@ -219,21 +224,21 @@ export declare const RunObservabilitySchema: z.ZodObject<{
     run_id: z.ZodString;
     run_type: z.ZodEnum<{
         build: "build";
-        "build-plan-improvement": "build-plan-improvement";
         verify: "verify";
-        "readiness-check-draft": "readiness-check-draft";
+        "benchmark-question-draft": "benchmark-question-draft";
         "build-plan-draft": "build-plan-draft";
+        "build-plan-improvement": "build-plan-improvement";
         job: "job";
     }>;
     title: z.ZodString;
     status: z.ZodEnum<{
-        succeeded: "succeeded";
-        failed: "failed";
         running: "running";
+        failed: "failed";
         cancelled: "cancelled";
         queued: "queued";
+        succeeded: "succeeded";
     }>;
-    preparation: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    project: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     build_plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     source_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     output_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -266,27 +271,44 @@ export declare const RunObservabilitySchema: z.ZodObject<{
             runtime: "runtime";
             output: "output";
             source: "source";
-            proof: "proof";
-            test: "test";
+            evidence: "evidence";
+            benchmark: "benchmark";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
         sha256: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
-    proof: z.ZodDefault<z.ZodArray<z.ZodObject<{
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
         ok: z.ZodBoolean;
         detail: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;
-    readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
+    context_checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        backed_by_artifact_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        evidence_expectation: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<{
+            passed: "passed";
+            pending: "pending";
+            running: "running";
+            failed: "failed";
+            skipped: "skipped";
+        }>>;
+        evidence: z.ZodOptional<z.ZodString>;
+        issue: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
-        preparation: z.ZodString;
+        project: z.ZodString;
         status: z.ZodEnum<{
-            ready: "ready";
             failed: "failed";
+            ready: "ready";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -297,22 +319,23 @@ export declare const RunObservabilitySchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        context_graph_path: z.ZodNullable<z.ZodString>;
         latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_benchmark_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -338,7 +361,7 @@ export declare const RunObservabilitySchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            verifiable_context: z.ZodNullable<z.ZodObject<{
+            context_graph: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -350,17 +373,18 @@ export declare const RunObservabilitySchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -374,14 +398,14 @@ export declare const RunObservabilitySchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>>>;
+    }, z.core.$strict>>>;
     trace: z.ZodObject<{
         run: z.ZodObject<{
             runId: z.ZodString;
             status: z.ZodEnum<{
-                failed: "failed";
-                running: "running";
                 pending: "pending";
+                running: "running";
+                failed: "failed";
                 completed: "completed";
                 cancelled: "cancelled";
             }>;
@@ -438,7 +462,7 @@ export declare const RunObservabilitySchema: z.ZodObject<{
         }, z.core.$strict>>>;
     }, z.core.$strict>;
 }, z.core.$strict>;
-export declare const ProofRecordSchema: z.ZodObject<{
+export declare const EvidenceRecordSchema: z.ZodObject<{
     id: z.ZodString;
     run_id: z.ZodString;
     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -451,8 +475,8 @@ export declare const ProofRecordSchema: z.ZodObject<{
             runtime: "runtime";
             output: "output";
             source: "source";
-            proof: "proof";
-            test: "test";
+            evidence: "evidence";
+            benchmark: "benchmark";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -477,15 +501,16 @@ export declare const StageRunLogsSchema: z.ZodObject<{
     event_stream_path: z.ZodOptional<z.ZodString>;
     status_path: z.ZodOptional<z.ZodString>;
     contract_path: z.ZodOptional<z.ZodString>;
+    evidence_path: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
 export declare const RunStartedEventSchema: z.ZodObject<{
     event_id: z.ZodString;
     run_id: z.ZodString;
     timestamp: z.ZodString;
     type: z.ZodLiteral<"run.started">;
-    preparation: z.ZodString;
+    project: z.ZodString;
     build_plan: z.ZodOptional<z.ZodString>;
-    verifiable_context_path: z.ZodOptional<z.ZodString>;
+    context_graph_path: z.ZodOptional<z.ZodString>;
     backend: z.ZodEnum<{
         native: "native";
     }>;
@@ -498,6 +523,13 @@ export declare const StageStartedEventSchema: z.ZodObject<{
     stage_id: z.ZodString;
     stage_index: z.ZodOptional<z.ZodNumber>;
     stage_total: z.ZodOptional<z.ZodNumber>;
+    logs: z.ZodOptional<z.ZodObject<{
+        prompt_path: z.ZodOptional<z.ZodString>;
+        event_stream_path: z.ZodOptional<z.ZodString>;
+        status_path: z.ZodOptional<z.ZodString>;
+        contract_path: z.ZodOptional<z.ZodString>;
+        evidence_path: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const FileProcessedEventSchema: z.ZodObject<{
     event_id: z.ZodString;
@@ -519,21 +551,21 @@ export declare const ArtifactWrittenEventSchema: z.ZodObject<{
             runtime: "runtime";
             output: "output";
             source: "source";
-            proof: "proof";
-            test: "test";
+            evidence: "evidence";
+            benchmark: "benchmark";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
         sha256: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>;
 }, z.core.$strict>;
-export declare const ProofUpdatedEventSchema: z.ZodObject<{
+export declare const EvidenceUpdatedEventSchema: z.ZodObject<{
     event_id: z.ZodString;
     run_id: z.ZodString;
     timestamp: z.ZodString;
-    type: z.ZodLiteral<"proof.updated">;
+    type: z.ZodLiteral<"evidence.updated">;
     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    proof: z.ZodObject<{
+    evidence: z.ZodObject<{
         id: z.ZodString;
         run_id: z.ZodString;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -546,8 +578,8 @@ export declare const ProofUpdatedEventSchema: z.ZodObject<{
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -619,8 +651,8 @@ export declare const ChecksEvaluatedEventSchema: z.ZodObject<{
     passed: z.ZodNumber;
     total: z.ZodNumber;
     target: z.ZodOptional<z.ZodEnum<{
-        "verifiable-context": "verifiable-context";
         "source-files": "source-files";
+        "context-graph": "context-graph";
     }>>;
     checks_fingerprint: z.ZodOptional<z.ZodString>;
     stale: z.ZodOptional<z.ZodBoolean>;
@@ -631,15 +663,15 @@ export declare const ReadinessUpdatedEventSchema: z.ZodObject<{
     run_id: z.ZodString;
     timestamp: z.ZodString;
     type: z.ZodLiteral<"readiness.updated">;
-    preparation: z.ZodString;
-    readiness: z.ZodPreprocess<z.ZodObject<{
+    project: z.ZodString;
+    readiness: z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
-        preparation: z.ZodString;
+        project: z.ZodString;
         status: z.ZodEnum<{
-            ready: "ready";
             failed: "failed";
+            ready: "ready";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -650,22 +682,23 @@ export declare const ReadinessUpdatedEventSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        context_graph_path: z.ZodNullable<z.ZodString>;
         latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_benchmark_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -691,7 +724,7 @@ export declare const ReadinessUpdatedEventSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            verifiable_context: z.ZodNullable<z.ZodObject<{
+            context_graph: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -703,17 +736,18 @@ export declare const ReadinessUpdatedEventSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -727,16 +761,16 @@ export declare const ReadinessUpdatedEventSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>;
 }, z.core.$strict>;
 export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     event_id: z.ZodString;
     run_id: z.ZodString;
     timestamp: z.ZodString;
     type: z.ZodLiteral<"run.started">;
-    preparation: z.ZodString;
+    project: z.ZodString;
     build_plan: z.ZodOptional<z.ZodString>;
-    verifiable_context_path: z.ZodOptional<z.ZodString>;
+    context_graph_path: z.ZodOptional<z.ZodString>;
     backend: z.ZodEnum<{
         native: "native";
     }>;
@@ -748,6 +782,13 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
     stage_id: z.ZodString;
     stage_index: z.ZodOptional<z.ZodNumber>;
     stage_total: z.ZodOptional<z.ZodNumber>;
+    logs: z.ZodOptional<z.ZodObject<{
+        prompt_path: z.ZodOptional<z.ZodString>;
+        event_stream_path: z.ZodOptional<z.ZodString>;
+        status_path: z.ZodOptional<z.ZodString>;
+        contract_path: z.ZodOptional<z.ZodString>;
+        evidence_path: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
 }, z.core.$strict>, z.ZodObject<{
     event_id: z.ZodString;
     run_id: z.ZodString;
@@ -767,8 +808,8 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
             runtime: "runtime";
             output: "output";
             source: "source";
-            proof: "proof";
-            test: "test";
+            evidence: "evidence";
+            benchmark: "benchmark";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -778,9 +819,9 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
     event_id: z.ZodString;
     run_id: z.ZodString;
     timestamp: z.ZodString;
-    type: z.ZodLiteral<"proof.updated">;
+    type: z.ZodLiteral<"evidence.updated">;
     stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    proof: z.ZodObject<{
+    evidence: z.ZodObject<{
         id: z.ZodString;
         run_id: z.ZodString;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -793,8 +834,8 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -859,8 +900,8 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
     passed: z.ZodNumber;
     total: z.ZodNumber;
     target: z.ZodOptional<z.ZodEnum<{
-        "verifiable-context": "verifiable-context";
         "source-files": "source-files";
+        "context-graph": "context-graph";
     }>>;
     checks_fingerprint: z.ZodOptional<z.ZodString>;
     stale: z.ZodOptional<z.ZodBoolean>;
@@ -870,15 +911,15 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
     run_id: z.ZodString;
     timestamp: z.ZodString;
     type: z.ZodLiteral<"readiness.updated">;
-    preparation: z.ZodString;
-    readiness: z.ZodPreprocess<z.ZodObject<{
+    project: z.ZodString;
+    readiness: z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
-        preparation: z.ZodString;
+        project: z.ZodString;
         status: z.ZodEnum<{
-            ready: "ready";
             failed: "failed";
+            ready: "ready";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -889,22 +930,23 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        context_graph_path: z.ZodNullable<z.ZodString>;
         latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_benchmark_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -930,7 +972,7 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            verifiable_context: z.ZodNullable<z.ZodObject<{
+            context_graph: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -942,17 +984,18 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -966,7 +1009,7 @@ export declare const InterfRunEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>;
 }, z.core.$strict>], "type">;
 export declare const StageRunSchema: z.ZodObject<{
     run_id: z.ZodString;
@@ -975,10 +1018,10 @@ export declare const StageRunSchema: z.ZodObject<{
     stage_index: z.ZodOptional<z.ZodNumber>;
     stage_total: z.ZodOptional<z.ZodNumber>;
     status: z.ZodEnum<{
-        succeeded: "succeeded";
-        failed: "failed";
         running: "running";
+        failed: "failed";
         queued: "queued";
+        succeeded: "succeeded";
     }>;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1010,8 +1053,8 @@ export declare const StageRunSchema: z.ZodObject<{
             runtime: "runtime";
             output: "output";
             source: "source";
-            proof: "proof";
-            test: "test";
+            evidence: "evidence";
+            benchmark: "benchmark";
         }>;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         label: z.ZodOptional<z.ZodString>;
@@ -1022,8 +1065,9 @@ export declare const StageRunSchema: z.ZodObject<{
         event_stream_path: z.ZodOptional<z.ZodString>;
         status_path: z.ZodOptional<z.ZodString>;
         contract_path: z.ZodOptional<z.ZodString>;
+        evidence_path: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
-    latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    latest_evidence: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         id: z.ZodString;
         run_id: z.ZodString;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1036,8 +1080,8 @@ export declare const StageRunSchema: z.ZodObject<{
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1057,19 +1101,19 @@ export declare const BuildRunSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     status: z.ZodEnum<{
-        succeeded: "succeeded";
-        failed: "failed";
         running: "running";
+        failed: "failed";
         cancelled: "cancelled";
         queued: "queued";
+        succeeded: "succeeded";
     }>;
-    preparation: z.ZodString;
+    project: z.ZodString;
     build_plan: z.ZodString;
     backend: z.ZodEnum<{
         native: "native";
     }>;
     source_path: z.ZodString;
-    verifiable_context_path: z.ZodString;
+    context_graph_path: z.ZodString;
     created_at: z.ZodString;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1080,10 +1124,10 @@ export declare const BuildRunSchema: z.ZodObject<{
         stage_index: z.ZodOptional<z.ZodNumber>;
         stage_total: z.ZodOptional<z.ZodNumber>;
         status: z.ZodEnum<{
-            succeeded: "succeeded";
-            failed: "failed";
             running: "running";
+            failed: "failed";
             queued: "queued";
+            succeeded: "succeeded";
         }>;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1115,8 +1159,8 @@ export declare const BuildRunSchema: z.ZodObject<{
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1127,8 +1171,9 @@ export declare const BuildRunSchema: z.ZodObject<{
             event_stream_path: z.ZodOptional<z.ZodString>;
             status_path: z.ZodOptional<z.ZodString>;
             contract_path: z.ZodOptional<z.ZodString>;
+            evidence_path: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
-        latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+        latest_evidence: z.ZodOptional<z.ZodNullable<z.ZodObject<{
             id: z.ZodString;
             run_id: z.ZodString;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1141,8 +1186,8 @@ export declare const BuildRunSchema: z.ZodObject<{
                     runtime: "runtime";
                     output: "output";
                     source: "source";
-                    proof: "proof";
-                    test: "test";
+                    evidence: "evidence";
+                    benchmark: "benchmark";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1162,9 +1207,9 @@ export declare const BuildRunSchema: z.ZodObject<{
         run_id: z.ZodString;
         timestamp: z.ZodString;
         type: z.ZodLiteral<"run.started">;
-        preparation: z.ZodString;
+        project: z.ZodString;
         build_plan: z.ZodOptional<z.ZodString>;
-        verifiable_context_path: z.ZodOptional<z.ZodString>;
+        context_graph_path: z.ZodOptional<z.ZodString>;
         backend: z.ZodEnum<{
             native: "native";
         }>;
@@ -1176,6 +1221,13 @@ export declare const BuildRunSchema: z.ZodObject<{
         stage_id: z.ZodString;
         stage_index: z.ZodOptional<z.ZodNumber>;
         stage_total: z.ZodOptional<z.ZodNumber>;
+        logs: z.ZodOptional<z.ZodObject<{
+            prompt_path: z.ZodOptional<z.ZodString>;
+            event_stream_path: z.ZodOptional<z.ZodString>;
+            status_path: z.ZodOptional<z.ZodString>;
+            contract_path: z.ZodOptional<z.ZodString>;
+            evidence_path: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
     }, z.core.$strict>, z.ZodObject<{
         event_id: z.ZodString;
         run_id: z.ZodString;
@@ -1195,8 +1247,8 @@ export declare const BuildRunSchema: z.ZodObject<{
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1206,9 +1258,9 @@ export declare const BuildRunSchema: z.ZodObject<{
         event_id: z.ZodString;
         run_id: z.ZodString;
         timestamp: z.ZodString;
-        type: z.ZodLiteral<"proof.updated">;
+        type: z.ZodLiteral<"evidence.updated">;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        proof: z.ZodObject<{
+        evidence: z.ZodObject<{
             id: z.ZodString;
             run_id: z.ZodString;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1221,8 +1273,8 @@ export declare const BuildRunSchema: z.ZodObject<{
                     runtime: "runtime";
                     output: "output";
                     source: "source";
-                    proof: "proof";
-                    test: "test";
+                    evidence: "evidence";
+                    benchmark: "benchmark";
                 }>;
                 stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 label: z.ZodOptional<z.ZodString>;
@@ -1287,8 +1339,8 @@ export declare const BuildRunSchema: z.ZodObject<{
         passed: z.ZodNumber;
         total: z.ZodNumber;
         target: z.ZodOptional<z.ZodEnum<{
-            "verifiable-context": "verifiable-context";
             "source-files": "source-files";
+            "context-graph": "context-graph";
         }>>;
         checks_fingerprint: z.ZodOptional<z.ZodString>;
         stale: z.ZodOptional<z.ZodBoolean>;
@@ -1298,15 +1350,15 @@ export declare const BuildRunSchema: z.ZodObject<{
         run_id: z.ZodString;
         timestamp: z.ZodString;
         type: z.ZodLiteral<"readiness.updated">;
-        preparation: z.ZodString;
-        readiness: z.ZodPreprocess<z.ZodObject<{
+        project: z.ZodString;
+        readiness: z.ZodObject<{
             kind: z.ZodLiteral<"interf-readiness-state">;
             version: z.ZodLiteral<1>;
             generated_at: z.ZodString;
-            preparation: z.ZodString;
+            project: z.ZodString;
             status: z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -1317,22 +1369,23 @@ export declare const BuildRunSchema: z.ZodObject<{
             }>;
             ready: z.ZodBoolean;
             summary: z.ZodString;
-            verifiable_context_path: z.ZodNullable<z.ZodString>;
+            context_graph_path: z.ZodNullable<z.ZodString>;
             latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-            latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+            latest_benchmark_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             build: z.ZodNullable<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "verifiable-context": "verifiable-context";
-                    "preparation-config": "preparation-config";
+                    "context-graph": "context-graph";
+                    "project-config": "project-config";
                     "build-run": "build-run";
-                    "artifact-checks": "artifact-checks";
-                    "readiness-checks": "readiness-checks";
-                    "checks-current": "checks-current";
+                    "artifact-diagnostics": "artifact-diagnostics";
+                    "context-checks": "context-checks";
+                    benchmarks: "benchmarks";
+                    "benchmarks-current": "benchmarks-current";
                 }>;
                 ok: z.ZodBoolean;
                 status: z.ZodOptional<z.ZodEnum<{
-                    ready: "ready";
                     failed: "failed";
+                    ready: "ready";
                     "not-configured": "not-configured";
                     "not-built": "not-built";
                     building: "building";
@@ -1358,7 +1411,7 @@ export declare const BuildRunSchema: z.ZodObject<{
                     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                     run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 }, z.core.$strict>>;
-                verifiable_context: z.ZodNullable<z.ZodObject<{
+                context_graph: z.ZodNullable<z.ZodObject<{
                     passed: z.ZodNumber;
                     total: z.ZodNumber;
                     pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -1370,17 +1423,18 @@ export declare const BuildRunSchema: z.ZodObject<{
             }, z.core.$strict>;
             checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 gate: z.ZodEnum<{
-                    "verifiable-context": "verifiable-context";
-                    "preparation-config": "preparation-config";
+                    "context-graph": "context-graph";
+                    "project-config": "project-config";
                     "build-run": "build-run";
-                    "artifact-checks": "artifact-checks";
-                    "readiness-checks": "readiness-checks";
-                    "checks-current": "checks-current";
+                    "artifact-diagnostics": "artifact-diagnostics";
+                    "context-checks": "context-checks";
+                    benchmarks: "benchmarks";
+                    "benchmarks-current": "benchmarks-current";
                 }>;
                 ok: z.ZodBoolean;
                 status: z.ZodOptional<z.ZodEnum<{
-                    ready: "ready";
                     failed: "failed";
+                    ready: "ready";
                     "not-configured": "not-configured";
                     "not-built": "not-built";
                     building: "building";
@@ -1394,9 +1448,9 @@ export declare const BuildRunSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>>;
-        }, z.core.$strict>>;
+        }, z.core.$strict>;
     }, z.core.$strict>], "type">>>;
-    latest_proof: z.ZodOptional<z.ZodNullable<z.ZodObject<{
+    latest_evidence: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         id: z.ZodString;
         run_id: z.ZodString;
         stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1409,8 +1463,8 @@ export declare const BuildRunSchema: z.ZodObject<{
                 runtime: "runtime";
                 output: "output";
                 source: "source";
-                proof: "proof";
-                test: "test";
+                evidence: "evidence";
+                benchmark: "benchmark";
             }>;
             stage_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             label: z.ZodOptional<z.ZodString>;
@@ -1423,14 +1477,14 @@ export declare const BuildRunSchema: z.ZodObject<{
             detail: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>>;
     }, z.core.$strict>>>;
-    readiness: z.ZodOptional<z.ZodNullable<z.ZodPreprocess<z.ZodObject<{
+    readiness: z.ZodOptional<z.ZodNullable<z.ZodObject<{
         kind: z.ZodLiteral<"interf-readiness-state">;
         version: z.ZodLiteral<1>;
         generated_at: z.ZodString;
-        preparation: z.ZodString;
+        project: z.ZodString;
         status: z.ZodEnum<{
-            ready: "ready";
             failed: "failed";
+            ready: "ready";
             "not-configured": "not-configured";
             "not-built": "not-built";
             building: "building";
@@ -1441,22 +1495,23 @@ export declare const BuildRunSchema: z.ZodObject<{
         }>;
         ready: z.ZodBoolean;
         summary: z.ZodString;
-        verifiable_context_path: z.ZodNullable<z.ZodString>;
+        context_graph_path: z.ZodNullable<z.ZodString>;
         latest_build_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        latest_test_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        latest_benchmark_run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         build: z.ZodNullable<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -1482,7 +1537,7 @@ export declare const BuildRunSchema: z.ZodObject<{
                 run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
                 run_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             }, z.core.$strict>>;
-            verifiable_context: z.ZodNullable<z.ZodObject<{
+            context_graph: z.ZodNullable<z.ZodObject<{
                 passed: z.ZodNumber;
                 total: z.ZodNumber;
                 pass_rate: z.ZodNullable<z.ZodNumber>;
@@ -1494,17 +1549,18 @@ export declare const BuildRunSchema: z.ZodObject<{
         }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             gate: z.ZodEnum<{
-                "verifiable-context": "verifiable-context";
-                "preparation-config": "preparation-config";
+                "context-graph": "context-graph";
+                "project-config": "project-config";
                 "build-run": "build-run";
-                "artifact-checks": "artifact-checks";
-                "readiness-checks": "readiness-checks";
-                "checks-current": "checks-current";
+                "artifact-diagnostics": "artifact-diagnostics";
+                "context-checks": "context-checks";
+                benchmarks: "benchmarks";
+                "benchmarks-current": "benchmarks-current";
             }>;
             ok: z.ZodBoolean;
             status: z.ZodOptional<z.ZodEnum<{
-                ready: "ready";
                 failed: "failed";
+                ready: "ready";
                 "not-configured": "not-configured";
                 "not-built": "not-built";
                 building: "building";
@@ -1518,24 +1574,46 @@ export declare const BuildRunSchema: z.ZodObject<{
             run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
             artifact_path: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         }, z.core.$strict>>>;
-    }, z.core.$strict>>>>;
+    }, z.core.$strict>>>;
+    context_checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        backed_by_artifact_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+        evidence_expectation: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodEnum<{
+            passed: "passed";
+            pending: "pending";
+            running: "running";
+            failed: "failed";
+            skipped: "skipped";
+        }>>;
+        evidence: z.ZodOptional<z.ZodString>;
+        issue: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
     artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
         artifact_id: z.ZodString;
         status: z.ZodEnum<{
-            ready: "ready";
-            not_ready: "not_ready";
             failed: "failed";
             skipped: "skipped";
+            ready: "ready";
+            not_ready: "not_ready";
         }>;
         built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        proofs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        check_results: z.ZodDefault<z.ZodArray<z.ZodObject<{
             check_id: z.ZodString;
             kind: z.ZodEnum<{
                 file_exists: "file_exists";
+                source_manifest_valid: "source_manifest_valid";
                 min_file_count: "min_file_count";
                 min_file_count_matches_source: "min_file_count_matches_source";
+                source_summary_folders: "source_summary_folders";
+                source_page_coverage: "source_page_coverage";
                 frontmatter_valid: "frontmatter_valid";
                 frontmatter_required_keys: "frontmatter_required_keys";
+                frontmatter_nonempty_keys: "frontmatter_nonempty_keys";
+                source_refs_required: "source_refs_required";
                 wikilinks_valid: "wikilinks_valid";
                 must_not_contain: "must_not_contain";
                 must_contain: "must_contain";
@@ -1566,8 +1644,8 @@ export type BuildRunStatus = z.infer<typeof BuildRunStatusSchema>;
 export type StageRunStatus = z.infer<typeof StageRunStatusSchema>;
 export type ArtifactRole = z.infer<typeof ArtifactRoleSchema>;
 export type ArtifactRef = z.infer<typeof ArtifactRefSchema>;
-export type ProofCheck = z.infer<typeof ProofCheckSchema>;
-export type ProofRecord = z.infer<typeof ProofRecordSchema>;
+export type RunCheck = z.infer<typeof RunCheckSchema>;
+export type EvidenceRecord = z.infer<typeof EvidenceRecordSchema>;
 export type StageRunContract = z.infer<typeof StageRunContractSchema>;
 export type StageRunLogs = z.infer<typeof StageRunLogsSchema>;
 export type InterfRunEvent = z.infer<typeof InterfRunEventSchema>;