@interf/compiler 0.22.0 → 0.33.0

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

@@ -1,34 +1,30 @@
 import { z } from "zod";
-import { GateStatusSchema, ReadinessGateSchema, ReadinessSchema, ReadinessStatusSchema, VerifyTargetResultSchema, RuntimeContractTypeSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, RuntimeTargetTypeSchema, SourceFilesSchema, SourceFileSchema, SourceKindSchema, SourceSchema, SourceSnapshotSchema, StageInputSchema, StageInputsSchema, TestCaseExpectSchema, TestTargetTypeSchema, BuildPlanIdSchema } from "../../../contracts/lib/schema.js";
-export { GateStatusSchema, ReadinessGateSchema, ReadinessSchema, ReadinessStatusSchema, VerifyTargetResultSchema, RuntimeContractTypeSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, RuntimeTargetTypeSchema, SourceFilesSchema, SourceFileSchema, SourceKindSchema, SourceSchema, SourceSnapshotSchema, StageInputSchema, StageInputsSchema, SourceBuildMaxAttemptsSchema, SourceBuildMaxLoopsSchema, TestCaseExpectSchema, TestTargetTypeSchema, InterfIdPattern, BuildPlanIdSchema, } from "../../../contracts/lib/schema.js";
+import { GateStatusSchema, ReadinessGateSchema, ReadinessSchema, ReadinessStatusSchema, VerifyTargetResultSchema, RuntimeContractTypeSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, RuntimeTargetTypeSchema, SourceFilesSchema, SourceFileSchema, SourceKindSchema, SourceManifestAuditSchema, SourceManifestEvidenceSchema, SourceManifestFileKindSchema, SourceManifestFileSchema, SourceManifestScannerSchema, SourceManifestSchema, SourceInspectableUnitSchema, SourceSchema, SourceStateSchema, StageInputSchema, StageInputsSchema, TestCaseExpectSchema, TestTargetTypeSchema, BuildPlanIdSchema } from "../../../contracts/lib/schema.js";
+export { GateStatusSchema, ReadinessGateSchema, ReadinessSchema, ReadinessStatusSchema, VerifyTargetResultSchema, RuntimeContractTypeSchema, RuntimeExecutorInfoSchema, RuntimeStageSchema, RuntimeTargetTypeSchema, SourceFilesSchema, SourceFileSchema, SourceKindSchema, SourceManifestAuditSchema, SourceManifestEvidenceSchema, SourceManifestFileKindSchema, SourceManifestFileSchema, SourceManifestScannerSchema, SourceManifestSchema, SourceInspectableUnitSchema, SourceSchema, SourceStateSchema, StageInputSchema, StageInputsSchema, StageEvidenceCountSchema, StageEvidenceEdgeSchema, StageEvidenceItemSchema, SourceBuildMaxAttemptsSchema, SourceBuildMaxLoopsSchema, TestCaseExpectSchema, TestTargetTypeSchema, InterfIdPattern, BuildPlanIdSchema, } from "../../../contracts/lib/schema.js";
 export type RuntimeStatus = "idle" | "running" | "built" | "stale" | "failed";
 export type BuildStage = "idle" | "built" | "failed" | string;
 export declare const BuildPlanArtifactIdSchema: z.ZodString;
 export declare const BuildPlanArtifactKindSchema: z.ZodEnum<{
-    runtime: "runtime";
     file: "file";
     directory: "directory";
 }>;
-export declare const BuildPlanArtifactRoleSchema: z.ZodEnum<{
-    runtime: "runtime";
-    output: "output";
-    input: "input";
-    working: "working";
-}>;
+export declare const BuildPlanArtifactRoleSchema: z.ZodLiteral<"output">;
 export declare const BuildStageStatusSchema: z.ZodEnum<{
-    succeeded: "succeeded";
-    failed: "failed";
     running: "running";
+    failed: "failed";
+    succeeded: "succeeded";
     idle: "idle";
 }>;
-export declare const VerifiableContextStageStateSchema: z.ZodObject<{
+export declare const StageFingerprintSchema: z.ZodString;
+export declare const ContextGraphStageStateSchema: z.ZodObject<{
     contract_type: z.ZodOptional<z.ZodString>;
     status: z.ZodOptional<z.ZodEnum<{
-        succeeded: "succeeded";
-        failed: "failed";
         running: "running";
+        failed: "failed";
+        succeeded: "succeeded";
         idle: "idle";
     }>>;
+    fingerprint: z.ZodOptional<z.ZodString>;
     started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
@@ -37,17 +33,18 @@ export declare const VerifiableContextStageStateSchema: z.ZodObject<{
     summary: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
 }, z.core.$strip>;
-export declare const VerifiableContextStateSchema: z.ZodObject<{
+export declare const ContextGraphStateSchema: z.ZodObject<{
     version: z.ZodNumber;
     pending: z.ZodArray<z.ZodString>;
     stages: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
         contract_type: z.ZodOptional<z.ZodString>;
         status: z.ZodOptional<z.ZodEnum<{
-            succeeded: "succeeded";
-            failed: "failed";
             running: "running";
+            failed: "failed";
+            succeeded: "succeeded";
             idle: "idle";
         }>>;
+        fingerprint: z.ZodOptional<z.ZodString>;
         started_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         finished_at: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
@@ -64,11 +61,11 @@ export declare const VerifiableContextStateSchema: z.ZodObject<{
 export declare const ViewSectionSchema: z.ZodObject<{
     id: z.ZodString;
     type: z.ZodEnum<{
+        table: "table";
         status: "status";
         cards: "cards";
-        graph: "graph";
+        flow: "flow";
         documents: "documents";
-        table: "table";
     }>;
     title: z.ZodString;
     path: z.ZodOptional<z.ZodString>;
@@ -81,20 +78,20 @@ export declare const ViewCardSchema: z.ZodObject<{
     denominator_metric: z.ZodOptional<z.ZodString>;
     format: z.ZodEnum<{
         number: "number";
-        fraction: "fraction";
         timestamp: "timestamp";
+        fraction: "fraction";
     }>;
 }, z.core.$strip>;
-export declare const VerifiableContextHealthSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"verifiable-context-health">;
+export declare const ContextGraphHealthSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"context-graph-health">;
     version: z.ZodNumber;
     generated_at: z.ZodString;
     target_name: z.ZodString;
     status: z.ZodEnum<{
+        running: "running";
         failed: "failed";
         built: "built";
         stale: "stale";
-        running: "running";
         idle: "idle";
     }>;
     stage: z.ZodUnion<readonly [z.ZodEnum<{
@@ -106,15 +103,15 @@ export declare const VerifiableContextHealthSchema: z.ZodObject<{
     metrics: z.ZodRecord<z.ZodString, z.ZodNumber>;
     checks: z.ZodRecord<z.ZodString, z.ZodBoolean>;
 }, z.core.$strip>;
-export declare const VerifiableContextViewSpecSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"verifiable-context-view-spec">;
+export declare const ContextGraphViewSpecSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"context-graph-view-spec">;
     version: z.ZodNumber;
     generated_at: z.ZodString;
     target_name: z.ZodString;
     health_source: z.ZodString;
     state_source: z.ZodString;
     default_note: z.ZodNullable<z.ZodString>;
-    graph_scope: z.ZodArray<z.ZodString>;
+    document_scope: z.ZodArray<z.ZodString>;
     cards: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
@@ -122,18 +119,18 @@ export declare const VerifiableContextViewSpecSchema: z.ZodObject<{
         denominator_metric: z.ZodOptional<z.ZodString>;
         format: z.ZodEnum<{
             number: "number";
-            fraction: "fraction";
             timestamp: "timestamp";
+            fraction: "fraction";
         }>;
     }, z.core.$strip>>;
     sections: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         type: z.ZodEnum<{
+            table: "table";
             status: "status";
             cards: "cards";
-            graph: "graph";
+            flow: "flow";
             documents: "documents";
-            table: "table";
         }>;
         title: z.ZodString;
         path: z.ZodOptional<z.ZodString>;
@@ -144,35 +141,20 @@ export declare const BuildPlanPurposeSchema: z.ZodObject<{
     label: z.ZodString;
     task_hint: z.ZodString;
 }, z.core.$strict>;
-export declare const BuildPlanArtifactProjectionSchema: z.ZodObject<{
-    id: z.ZodString;
-    role: z.ZodEnum<{
-        runtime: "runtime";
-        output: "output";
-        input: "input";
-        working: "working";
-    }>;
-    path: z.ZodString;
-    kind: z.ZodEnum<{
-        runtime: "runtime";
-        file: "file";
-        directory: "directory";
-    }>;
-    required: z.ZodBoolean;
-    owned_by: z.ZodArray<z.ZodString>;
-    description: z.ZodString;
-}, z.core.$strip>;
+/**
+ * Runtime projection of a single Build Plan artifact — the resolved
+ * shape stored in `.interf/build-plan/build-plan.json`. Distinct from
+ * the user-facing `Artifact` declaration in
+ * `contracts/lib/schema.ts` (which carries `shape`, `checks`, and
+ * `built_by_stages` at declaration time) and from `ArtifactRef` in
+ * `execution/lib/schema.ts` (the run-time event reference). One artifact
+ * passes through three lifecycle shapes: declared, projected, referenced.
+ */
 export declare const BuildPlanArtifactSchema: z.ZodObject<{
     id: z.ZodString;
-    role: z.ZodEnum<{
-        runtime: "runtime";
-        output: "output";
-        input: "input";
-        working: "working";
-    }>;
+    role: z.ZodLiteral<"output">;
     path: z.ZodString;
     kind: z.ZodEnum<{
-        runtime: "runtime";
         file: "file";
         directory: "directory";
     }>;
@@ -183,27 +165,32 @@ export declare const BuildPlanArtifactSchema: z.ZodObject<{
 export declare const BuildPlanContextRawSchema: z.ZodObject<{
     kind: z.ZodLiteral<"build-plan-schema">;
     version: z.ZodLiteral<1>;
-    target_type: z.ZodLiteral<"verifiable-context">;
+    target_type: z.ZodLiteral<"context-graph">;
     label: z.ZodString;
     artifacts: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         description: z.ZodString;
-        shape: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        shape: z.ZodObject<{
             kind: z.ZodLiteral<"path">;
             path: z.ZodString;
             artifact_kind: z.ZodEnum<{
                 file: "file";
                 directory: "directory";
             }>;
-        }, z.core.$strict>], "kind">;
+        }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             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";
@@ -219,27 +206,32 @@ export declare const BuildPlanContextRawSchema: z.ZodObject<{
 export declare const BuildPlanContextSchemaSchema: z.ZodObject<{
     kind: z.ZodLiteral<"build-plan-schema">;
     version: z.ZodLiteral<1>;
-    target_type: z.ZodLiteral<"verifiable-context">;
+    target_type: z.ZodLiteral<"context-graph">;
     label: z.ZodString;
     artifacts: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         description: z.ZodString;
-        shape: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        shape: z.ZodObject<{
             kind: z.ZodLiteral<"path">;
             path: z.ZodString;
             artifact_kind: z.ZodEnum<{
                 file: "file";
                 directory: "directory";
             }>;
-        }, z.core.$strict>], "kind">;
+        }, z.core.$strict>;
         checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
             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";
@@ -252,11 +244,11 @@ export declare const BuildPlanContextSchemaSchema: z.ZodObject<{
         built_by_stages: z.ZodDefault<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const BuildPlanEngineApiSchema: z.ZodObject<{
+export declare const BuildPlanRuntimeApiSchema: z.ZodObject<{
     kind: z.ZodLiteral<"build">;
     version: z.ZodLiteral<1>;
 }, z.core.$strip>;
-export type BuildPlanEngineApi = z.infer<typeof BuildPlanEngineApiSchema>;
+export type BuildPlanRuntimeApi = z.infer<typeof BuildPlanRuntimeApiSchema>;
 export declare const BuildPlanStageArtifactReadAccessSchema: z.ZodArray<z.ZodString>;
 export declare const BuildPlanStageArtifactWriteAccessSchema: z.ZodArray<z.ZodString>;
 export type BuildPlanStageArtifactReadAccess = z.infer<typeof BuildPlanStageArtifactReadAccessSchema>;
@@ -292,12 +284,12 @@ export declare const RuntimeStageInstructionsSchema: z.ZodObject<{
     stage_skill_dir: z.ZodString;
     effective_mode: z.ZodEnum<{
         builtin: "builtin";
-        override: "override";
         extend: "extend";
+        override: "override";
     }>;
     local_mode: z.ZodNullable<z.ZodEnum<{
-        override: "override";
         extend: "extend";
+        override: "override";
     }>>;
     local_docs: z.ZodArray<z.ZodString>;
     mode_sources: z.ZodArray<z.ZodString>;
@@ -308,7 +300,7 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
     generated_at: z.ZodString;
     run_id: z.ZodString;
     target_type: z.ZodEnum<{
-        "verifiable-context": "verifiable-context";
+        "context-graph": "context-graph";
     }>;
     target_name: z.ZodString;
     build_plan: z.ZodObject<{
@@ -338,12 +330,12 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
         stage_skill_dir: z.ZodString;
         effective_mode: z.ZodEnum<{
             builtin: "builtin";
-            override: "override";
             extend: "extend";
+            override: "override";
         }>;
         local_mode: z.ZodNullable<z.ZodEnum<{
-            override: "override";
             extend: "extend";
+            override: "override";
         }>>;
         local_docs: z.ZodArray<z.ZodString>;
         mode_sources: z.ZodArray<z.ZodString>;
@@ -359,10 +351,15 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
                 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";
@@ -388,12 +385,12 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
-export declare const RuntimeRunSchema: z.ZodObject<{
+export declare const ExecutionStageLedgerSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-run">;
     version: z.ZodLiteral<1>;
     run_id: z.ZodString;
     target_type: z.ZodEnum<{
-        "verifiable-context": "verifiable-context";
+        "context-graph": "context-graph";
     }>;
     target_name: z.ZodString;
     build_plan: z.ZodString;
@@ -401,9 +398,9 @@ export declare const RuntimeRunSchema: z.ZodObject<{
     stage_label: z.ZodString;
     contract_type: z.ZodString;
     status: z.ZodEnum<{
-        succeeded: "succeeded";
-        failed: "failed";
         running: "running";
+        failed: "failed";
+        succeeded: "succeeded";
     }>;
     executor: z.ZodObject<{
         kind: z.ZodEnum<{
@@ -431,11 +428,138 @@ export declare const RuntimeRunSchema: z.ZodObject<{
         event_stream_path: z.ZodString;
         status_path: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>>;
+    evidence_path: z.ZodOptional<z.ZodString>;
+    evidence: z.ZodOptional<z.ZodLazy<z.ZodObject<{
+        kind: z.ZodLiteral<"interf-stage-evidence-reconciliation">;
+        version: z.ZodLiteral<1>;
+        generated_at: z.ZodString;
+        evidence_path: z.ZodNullable<z.ZodString>;
+        accepted: z.ZodObject<{
+            counts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                key: z.ZodString;
+                label: z.ZodString;
+                value: z.ZodNumber;
+                total: z.ZodOptional<z.ZodNumber>;
+                unit: z.ZodOptional<z.ZodString>;
+                source: z.ZodEnum<{
+                    stage: "stage";
+                    engine: "engine";
+                }>;
+                stage_id: z.ZodOptional<z.ZodString>;
+                artifact_id: z.ZodOptional<z.ZodString>;
+                primary: z.ZodOptional<z.ZodBoolean>;
+                expected: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>>;
+            items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodString;
+                label: z.ZodString;
+                summary: z.ZodOptional<z.ZodString>;
+                source_refs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    path: z.ZodString;
+                    source_file_id: z.ZodOptional<z.ZodString>;
+                    locator: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>>;
+                output_refs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    artifact_id: z.ZodString;
+                    path: z.ZodString;
+                }, z.core.$strict>>>;
+                stage_id: z.ZodString;
+                artifact_id: z.ZodOptional<z.ZodString>;
+                metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$strict>>>;
+            edges: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                from: z.ZodString;
+                to: z.ZodString;
+                relation: z.ZodString;
+                stage_id: z.ZodString;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>;
+        rejected: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                file: "file";
+                item: "item";
+                count: "count";
+                edge: "edge";
+            }>;
+            id: z.ZodString;
+            reason: z.ZodString;
+        }, z.core.$strict>>>;
+        warnings: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
     summary: z.ZodString;
     exit_code: z.ZodNullable<z.ZodNumber>;
     error: z.ZodNullable<z.ZodString>;
 }, z.core.$strip>;
-export declare const RuntimeInventoryEntrySchema: z.ZodObject<{
+export declare const RejectedStageEvidenceSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        file: "file";
+        item: "item";
+        count: "count";
+        edge: "edge";
+    }>;
+    id: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export declare const StageEvidenceReconciliationSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-evidence-reconciliation">;
+    version: z.ZodLiteral<1>;
+    generated_at: z.ZodString;
+    evidence_path: z.ZodNullable<z.ZodString>;
+    accepted: z.ZodObject<{
+        counts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            key: z.ZodString;
+            label: z.ZodString;
+            value: z.ZodNumber;
+            total: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+            source: z.ZodEnum<{
+                stage: "stage";
+                engine: "engine";
+            }>;
+            stage_id: z.ZodOptional<z.ZodString>;
+            artifact_id: z.ZodOptional<z.ZodString>;
+            primary: z.ZodOptional<z.ZodBoolean>;
+            expected: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>>;
+        items: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodString;
+            label: z.ZodString;
+            summary: z.ZodOptional<z.ZodString>;
+            source_refs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                source_file_id: z.ZodOptional<z.ZodString>;
+                locator: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>;
+            output_refs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                artifact_id: z.ZodString;
+                path: z.ZodString;
+            }, z.core.$strict>>>;
+            stage_id: z.ZodString;
+            artifact_id: z.ZodOptional<z.ZodString>;
+            metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.core.$strict>>>;
+        edges: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            relation: z.ZodString;
+            stage_id: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>;
+    rejected: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            file: "file";
+            item: "item";
+            count: "count";
+            edge: "edge";
+        }>;
+        id: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>>>;
+    warnings: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export declare const ExecutionInventoryEntrySchema: z.ZodObject<{
     input_artifact: z.ZodOptional<z.ZodString>;
     input_path: z.ZodOptional<z.ZodString>;
     output_artifact: z.ZodString;
@@ -443,8 +567,8 @@ export declare const RuntimeInventoryEntrySchema: z.ZodObject<{
     state: z.ZodOptional<z.ZodString>;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.core.$strict>;
-export declare const RuntimeInventorySchema: z.ZodObject<{
-    kind: z.ZodOptional<z.ZodLiteral<"verifiable-context-runtime-ledger">>;
+export declare const ExecutionInventorySchema: z.ZodObject<{
+    kind: z.ZodOptional<z.ZodLiteral<"context-graph-runtime-ledger">>;
     version: z.ZodOptional<z.ZodNumber>;
     stage: z.ZodOptional<z.ZodString>;
     entries: z.ZodArray<z.ZodObject<{
@@ -483,13 +607,13 @@ export declare const BuildPlanImprovementContextSchema: z.ZodObject<{
     max_attempts: z.ZodNumber;
     review_paths: z.ZodObject<{
         build_plan_root: z.ZodString;
-        verifiable_context_runtime: z.ZodNullable<z.ZodString>;
-        readiness_runs: z.ZodNullable<z.ZodString>;
+        context_graph_runtime: z.ZodNullable<z.ZodString>;
+        benchmark_runs: z.ZodNullable<z.ZodString>;
         execution_shells: z.ZodNullable<z.ZodString>;
         test_runs: z.ZodNullable<z.ZodString>;
         test_sandboxes: z.ZodNullable<z.ZodString>;
     }, z.core.$strip>;
-    readiness_checks: z.ZodObject<{
+    benchmark_questions: z.ZodObject<{
         count: z.ZodNumber;
         questions: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
@@ -530,17 +654,17 @@ export declare const BuildPlanImprovementContextSchema: z.ZodObject<{
 export type BuildPlanImprovementLoopSummary = z.infer<typeof BuildPlanImprovementLoopSummarySchema>;
 export type BuildPlanImprovementContext = z.infer<typeof BuildPlanImprovementContextSchema>;
 export declare const PreservedShellTypeSchema: z.ZodEnum<{
+    "build-plan-improvement": "build-plan-improvement";
     "stage-execution": "stage-execution";
     "build-plan-authoring": "build-plan-authoring";
-    "build-plan-improvement": "build-plan-improvement";
 }>;
-export declare const PreservedShellSnapshotSchema: z.ZodObject<{
+export declare const PreservedShellStateSchema: z.ZodObject<{
     kind: z.ZodLiteral<"interf-preserved-shell">;
     version: z.ZodLiteral<1>;
     shell_type: z.ZodEnum<{
+        "build-plan-improvement": "build-plan-improvement";
         "stage-execution": "stage-execution";
         "build-plan-authoring": "build-plan-authoring";
-        "build-plan-improvement": "build-plan-improvement";
     }>;
     generated_at: z.ZodString;
     root_path: z.ZodString;
@@ -630,7 +754,7 @@ export declare const BuildPlanImprovementRunLedgerSchema: z.ZodObject<{
     }, z.core.$strip>>;
 }, z.core.$strip>;
 export type PreservedShellType = z.infer<typeof PreservedShellTypeSchema>;
-export type PreservedShellSnapshot = z.infer<typeof PreservedShellSnapshotSchema>;
+export type PreservedShellState = z.infer<typeof PreservedShellStateSchema>;
 export type BuildPlanPackageValidation = z.infer<typeof BuildPlanPackageValidationSchema>;
 export type BuildPlanImprovementLoopRecord = z.infer<typeof BuildPlanImprovementLoopRecordSchema>;
 export type BuildPlanImprovementRunLedger = z.infer<typeof BuildPlanImprovementRunLedgerSchema>;
@@ -639,16 +763,23 @@ export type ReadinessGate = z.infer<typeof ReadinessGateSchema>;
 export type GateStatus = z.infer<typeof GateStatusSchema>;
 export type VerifyTargetResult = z.infer<typeof VerifyTargetResultSchema>;
 export type Readiness = z.infer<typeof ReadinessSchema>;
-export type VerifiableContextState = z.infer<typeof VerifiableContextStateSchema>;
+export type ContextGraphState = z.infer<typeof ContextGraphStateSchema>;
 export type ViewSection = z.infer<typeof ViewSectionSchema>;
 export type ViewCard = z.infer<typeof ViewCardSchema>;
-export type VerifiableContextHealth = z.infer<typeof VerifiableContextHealthSchema>;
-export type VerifiableContextViewSpec = z.infer<typeof VerifiableContextViewSpecSchema>;
+export type ContextGraphHealth = z.infer<typeof ContextGraphHealthSchema>;
+export type ContextGraphViewSpec = z.infer<typeof ContextGraphViewSpecSchema>;
 export type SourceKind = z.infer<typeof SourceKindSchema>;
 export type Source = z.infer<typeof SourceSchema>;
 export type SourceFile = z.infer<typeof SourceFileSchema>;
 export type SourceFiles = z.infer<typeof SourceFilesSchema>;
-export type SourceSnapshot = z.infer<typeof SourceSnapshotSchema>;
+export type SourceState = z.infer<typeof SourceStateSchema>;
+export type SourceInspectableUnit = z.infer<typeof SourceInspectableUnitSchema>;
+export type SourceManifestEvidence = z.infer<typeof SourceManifestEvidenceSchema>;
+export type SourceManifestFileKind = z.infer<typeof SourceManifestFileKindSchema>;
+export type SourceManifestFile = z.infer<typeof SourceManifestFileSchema>;
+export type SourceManifestScanner = z.infer<typeof SourceManifestScannerSchema>;
+export type SourceManifest = z.infer<typeof SourceManifestSchema>;
+export type SourceManifestAudit = z.infer<typeof SourceManifestAuditSchema>;
 export type StageInput = z.infer<typeof StageInputSchema>;
 export type StageInputs = z.infer<typeof StageInputsSchema>;
 export type BuildPlanArtifact = z.infer<typeof BuildPlanArtifactSchema>;
@@ -667,7 +798,9 @@ export type LocalInstructionMode = "extend" | "override";
 export type RuntimeInstructionMode = "builtin" | LocalInstructionMode;
 export type RuntimeStageInstructions = z.infer<typeof RuntimeStageInstructionsSchema>;
 export type RuntimeStageContract = z.infer<typeof RuntimeStageContractSchema>;
-export type RuntimeRun = z.infer<typeof RuntimeRunSchema>;
-export type RuntimeInventoryEntry = z.infer<typeof RuntimeInventoryEntrySchema>;
-export type RuntimeInventory = z.infer<typeof RuntimeInventorySchema>;
+export type ExecutionStageLedger = z.infer<typeof ExecutionStageLedgerSchema>;
+export type RejectedStageEvidence = z.infer<typeof RejectedStageEvidenceSchema>;
+export type StageEvidenceReconciliation = z.infer<typeof StageEvidenceReconciliationSchema>;
+export type ExecutionInventoryEntry = z.infer<typeof ExecutionInventoryEntrySchema>;
+export type ExecutionInventory = z.infer<typeof ExecutionInventorySchema>;
 export type TestCaseExpect = z.infer<typeof TestCaseExpectSchema>;