@interf/compiler 0.22.2 → 0.50.0

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

@@ -1,34 +1,47 @@
 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";
-export type RuntimeStatus = "idle" | "running" | "built" | "stale" | "failed";
-export type BuildStage = "idle" | "built" | "failed" | string;
+export { GateStatusSchema, ProjectIntentSchema, 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, GraphManifestSchema, GraphManifestStageSummarySchema, GraphOutputCountsSchema, GraphReadinessRollupSchema, MetricCountSchema, MissingInputSchema, ResourceRefSchema, ResourceRoleSchema, ReviewedInputDecisionSchema, ReviewedInputSchema, StageManifestSchema, SourceBuildMaxAttemptsSchema, SourceBuildMaxLoopsSchema, TestCaseExpectSchema, TestTargetTypeSchema, InterfIdPattern, BuildPlanIdSchema, } from "../../../contracts/lib/schema.js";
+export declare const RuntimeStatusSchema: z.ZodEnum<{
+    running: "running";
+    failed: "failed";
+    built: "built";
+    stale: "stale";
+    idle: "idle";
+}>;
+export type RuntimeStatus = z.infer<typeof RuntimeStatusSchema>;
+export declare const BuildStageSchema: z.ZodUnion<readonly [z.ZodEnum<{
+    failed: "failed";
+    built: "built";
+    idle: "idle";
+}>, z.ZodString]>;
+export type BuildStage = z.infer<typeof BuildStageSchema>;
+export declare const ExecutionStatusSchema: z.ZodEnum<{
+    running: "running";
+    failed: "failed";
+    succeeded: "succeeded";
+}>;
+export type ExecutionStatus = z.infer<typeof ExecutionStatusSchema>;
 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 +50,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>>;
@@ -61,19 +75,34 @@ export declare const VerifiableContextStateSchema: z.ZodObject<{
     warning_count: z.ZodOptional<z.ZodNumber>;
     error_count: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strict>;
-export declare const ViewSectionSchema: z.ZodObject<{
+export declare const ViewSectionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"status">;
+    path: z.ZodString;
+    id: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"cards">;
+    path: z.ZodString;
     id: z.ZodString;
-    type: z.ZodEnum<{
-        status: "status";
-        cards: "cards";
-        graph: "graph";
-        documents: "documents";
-        table: "table";
-    }>;
     title: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"documents">;
+    paths: z.ZodArray<z.ZodString>;
+    id: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"flow">;
     path: z.ZodOptional<z.ZodString>;
     paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
-}, z.core.$strip>;
+    id: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"table">;
+    path: z.ZodOptional<z.ZodString>;
+    paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    id: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strip>], "type">;
 export declare const ViewCardSchema: z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
@@ -81,20 +110,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 +135,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,57 +151,57 @@ 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<{
+    sections: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"status">;
+        path: z.ZodString;
+        id: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"cards">;
+        path: z.ZodString;
         id: z.ZodString;
-        type: z.ZodEnum<{
-            status: "status";
-            cards: "cards";
-            graph: "graph";
-            documents: "documents";
-            table: "table";
-        }>;
         title: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"documents">;
+        paths: z.ZodArray<z.ZodString>;
+        id: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"flow">;
         path: z.ZodOptional<z.ZodString>;
         paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    }, z.core.$strip>>;
+        id: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"table">;
+        path: z.ZodOptional<z.ZodString>;
+        paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        id: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strip>], "type">>;
 }, z.core.$strip>;
 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 +212,35 @@ 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";
+                summary_backlinks_present: "summary_backlinks_present";
+                knowledge_web_connectivity: "knowledge_web_connectivity";
+                graph_notes_connected: "graph_notes_connected";
                 wikilinks_valid: "wikilinks_valid";
                 must_not_contain: "must_not_contain";
                 must_contain: "must_contain";
@@ -219,27 +256,35 @@ 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";
+                summary_backlinks_present: "summary_backlinks_present";
+                knowledge_web_connectivity: "knowledge_web_connectivity";
+                graph_notes_connected: "graph_notes_connected";
                 wikilinks_valid: "wikilinks_valid";
                 must_not_contain: "must_not_contain";
                 must_contain: "must_contain";
@@ -252,11 +297,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>;
@@ -288,16 +333,154 @@ export declare const ExecutionShellPathsSchema: z.ZodObject<{
         output_mount_path: z.ZodNullable<z.ZodString>;
     }, z.core.$strip>>;
 }, z.core.$strip>;
+export declare const StageExecutionSessionValidationAttemptSchema: z.ZodObject<{
+    attempt: z.ZodNumber;
+    recorded_at: z.ZodString;
+    status: z.ZodEnum<{
+        failed: "failed";
+        succeeded: "succeeded";
+    }>;
+    summary: z.ZodString;
+}, z.core.$strict>;
+/**
+ * Which kind of agent job a `StageExecutionSession` preserves. Every
+ * `executor.execute()` job that writes a graph-scoped session leaves the SAME
+ * inspectable session shape; `job_type` is the discriminator a reader keys off
+ * instead of inferring the job from coincidental fields. The default is `stage`
+ * so every existing writer/caller (a Build-Plan stage attempt inside a Context
+ * Graph) is unchanged. The stage-only fields (`stage_id`, `stage_label`,
+ * `contract_type`) stay populated for `stage`/`source-inventory` jobs.
+ *
+ * Only `stage` and `source-inventory` are ever produced by a session writer:
+ * `writeStageExecutionSessionStarted` defaults to `stage`, and source-inventory
+ * passes `jobType: "source-inventory"`. Graph-less jobs (Build Plan draft/
+ * improvement, benchmark-question drafting) record `LocalJobRun` instead — see
+ * `LocalJobTypeSchema` in `schemas/jobs.ts` — so their kinds never appear here.
+ *
+ * job_type -> preserved shell_type map (`PreservedShellTypeSchema` below):
+ *   stage             -> "stage-execution"
+ *   source-inventory  -> "stage-execution"
+ * The other `PreservedShellTypeSchema` members are driven by their own job
+ * substrate, NOT by an `AgentJobType`:
+ *   build-plan-authoring        <- LocalJobRun "build-plan-draft"
+ *   build-plan-improvement      <- LocalJobRun "build-plan-improvement"
+ *   benchmark-question-draft    <- LocalJobRun "benchmark-question-draft"
+ *   test-judge                  <- the verify/judge path (verify-execution.ts),
+ *                                  which is not an AgentJobType at all.
+ */
+export declare const AgentJobTypeSchema: z.ZodEnum<{
+    stage: "stage";
+    "source-inventory": "source-inventory";
+}>;
+export declare const StageExecutionSessionSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"interf-stage-execution-session">;
+    version: z.ZodLiteral<1>;
+    job_type: z.ZodDefault<z.ZodEnum<{
+        stage: "stage";
+        "source-inventory": "source-inventory";
+    }>>;
+    generated_at: z.ZodString;
+    updated_at: z.ZodString;
+    project: z.ZodString;
+    project_intent: z.ZodNullable<z.ZodString>;
+    context_graph_path: z.ZodString;
+    build_plan: z.ZodString;
+    build_run_id: z.ZodNullable<z.ZodString>;
+    stage_id: z.ZodNullable<z.ZodString>;
+    stage_label: z.ZodNullable<z.ZodString>;
+    contract_type: z.ZodNullable<z.ZodString>;
+    stage_run_id: z.ZodString;
+    attempt: z.ZodNumber;
+    status: z.ZodEnum<{
+        running: "running";
+        failed: "failed";
+        succeeded: "succeeded";
+    }>;
+    executor: z.ZodObject<{
+        kind: z.ZodEnum<{
+            "local-agent": "local-agent";
+            "connected-provider": "connected-provider";
+            managed: "managed";
+        }>;
+        name: z.ZodString;
+        display_name: z.ZodString;
+        command: z.ZodNullable<z.ZodString>;
+        model: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        profile: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        timeout_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    }, z.core.$strip>;
+    shell: z.ZodObject<{
+        root_path: z.ZodString;
+        workspace_manifest_path: z.ZodNullable<z.ZodString>;
+        preserved_shell_manifest_path: z.ZodNullable<z.ZodString>;
+        replay_ready: z.ZodBoolean;
+        retention_reason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>;
+    logs: z.ZodObject<{
+        prompt_path: z.ZodNullable<z.ZodString>;
+        event_stream_path: z.ZodNullable<z.ZodString>;
+        status_path: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    runtime_files: z.ZodObject<{
+        project_path: z.ZodNullable<z.ZodString>;
+        contract_path: z.ZodNullable<z.ZodString>;
+        paths_path: z.ZodNullable<z.ZodString>;
+        source_locator_path: z.ZodNullable<z.ZodString>;
+        source_manifest_path: z.ZodNullable<z.ZodString>;
+        source_state_path: z.ZodNullable<z.ZodString>;
+        stage_inputs_path: z.ZodNullable<z.ZodString>;
+        expected_inputs_path: z.ZodNullable<z.ZodString>;
+        reviewed_inputs_path: z.ZodNullable<z.ZodString>;
+        previous_attempts_path: z.ZodNullable<z.ZodString>;
+        retry_feedback_path: z.ZodNullable<z.ZodString>;
+        last_validation_failure_path: z.ZodNullable<z.ZodString>;
+        verifier_path: z.ZodNullable<z.ZodString>;
+        stage_evidence_path: z.ZodNullable<z.ZodString>;
+        reasoning_path: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    }, z.core.$strict>;
+    artifacts: z.ZodObject<{
+        reads: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            artifact_id: z.ZodString;
+            artifact_path: z.ZodString;
+            shell_root_path: z.ZodString;
+            input_mount_path: z.ZodNullable<z.ZodString>;
+            output_mount_path: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>>>;
+        writes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            artifact_id: z.ZodString;
+            artifact_path: z.ZodString;
+            shell_root_path: z.ZodString;
+            input_mount_path: z.ZodNullable<z.ZodString>;
+            output_mount_path: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>>>;
+    }, z.core.$strict>;
+    validation_attempts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        attempt: z.ZodNumber;
+        recorded_at: z.ZodString;
+        status: z.ZodEnum<{
+            failed: "failed";
+            succeeded: "succeeded";
+        }>;
+        summary: z.ZodString;
+    }, z.core.$strict>>>;
+    summary: z.ZodNullable<z.ZodString>;
+    error: z.ZodNullable<z.ZodString>;
+}, z.core.$strict>;
+export declare const RuntimeProjectContextSchema: z.ZodObject<{
+    id: z.ZodString;
+    intent: z.ZodNullable<z.ZodString>;
+}, z.core.$strict>;
 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,9 +491,13 @@ 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;
+    project: z.ZodObject<{
+        id: z.ZodString;
+        intent: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
     build_plan: z.ZodObject<{
         id: z.ZodString;
         stage_index: z.ZodNullable<z.ZodNumber>;
@@ -338,12 +525,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 +546,18 @@ 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";
+                    summary_backlinks_present: "summary_backlinks_present";
+                    knowledge_web_connectivity: "knowledge_web_connectivity";
+                    graph_notes_connected: "graph_notes_connected";
                     wikilinks_valid: "wikilinks_valid";
                     must_not_contain: "must_not_contain";
                     must_contain: "must_contain";
@@ -374,6 +569,15 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
             }, z.core.$strict>>;
         }, z.core.$strict>>>;
     }, z.core.$strip>;
+    context_checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        label: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        evidence: z.ZodOptional<z.ZodString>;
+        evidence_expectation: z.ZodOptional<z.ZodString>;
+        backed_by_artifact_ids: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        required: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>>;
     policies: z.ZodObject<{
         execution_mode: z.ZodLiteral<"deterministic">;
         status_prefixes: z.ZodArray<z.ZodString>;
@@ -388,12 +592,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 +605,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 +635,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";
+                count: "count";
+                item: "item";
+                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";
+        count: "count";
+        item: "item";
+        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";
+            count: "count";
+            item: "item";
+            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,9 +774,9 @@ 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">>;
-    version: z.ZodOptional<z.ZodNumber>;
+export declare const ExecutionInventorySchema: z.ZodObject<{
+    kind: z.ZodLiteral<"context-graph-runtime-ledger">;
+    version: z.ZodLiteral<1>;
     stage: z.ZodOptional<z.ZodString>;
     entries: z.ZodArray<z.ZodObject<{
         input_artifact: z.ZodOptional<z.ZodString>;
@@ -483,13 +814,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 +861,21 @@ 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<{
+    "benchmark-question-draft": "benchmark-question-draft";
+    "build-plan-improvement": "build-plan-improvement";
     "stage-execution": "stage-execution";
     "build-plan-authoring": "build-plan-authoring";
-    "build-plan-improvement": "build-plan-improvement";
+    "test-judge": "test-judge";
 }>;
-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<{
+        "benchmark-question-draft": "benchmark-question-draft";
+        "build-plan-improvement": "build-plan-improvement";
         "stage-execution": "stage-execution";
         "build-plan-authoring": "build-plan-authoring";
-        "build-plan-improvement": "build-plan-improvement";
+        "test-judge": "test-judge";
     }>;
     generated_at: z.ZodString;
     root_path: z.ZodString;
@@ -577,6 +912,7 @@ export declare const BuildPlanImprovementLoopRecordSchema: z.ZodObject<{
     prompt_log_path: z.ZodString;
     event_log_path: z.ZodString;
     status_log_path: z.ZodString;
+    reasoning_path: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     preserved_shell_manifest_path: z.ZodNullable<z.ZodString>;
     validation: z.ZodNullable<z.ZodObject<{
         ok: z.ZodBoolean;
@@ -620,6 +956,7 @@ export declare const BuildPlanImprovementRunLedgerSchema: z.ZodObject<{
         prompt_log_path: z.ZodString;
         event_log_path: z.ZodString;
         status_log_path: z.ZodString;
+        reasoning_path: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         preserved_shell_manifest_path: z.ZodNullable<z.ZodString>;
         validation: z.ZodNullable<z.ZodObject<{
             ok: z.ZodBoolean;
@@ -630,44 +967,33 @@ 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>;
-export type ReadinessStatus = z.infer<typeof ReadinessStatusSchema>;
-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 { ReadinessStatus, ReadinessGate, GateStatus, VerifyTargetResult, Readiness, SourceKind, Source, SourceFile, SourceFiles, SourceState, SourceInspectableUnit, SourceManifestEvidence, SourceManifestFileKind, SourceManifestFile, SourceManifestScanner, SourceManifest, SourceManifestAudit, StageInput, StageInputs, ResourceRole, ResourceRef, MetricCount, ReviewedInputDecision, ReviewedInput, MissingInput, StageManifest, GraphManifestStageSummary, GraphReadinessRollup, GraphOutputCounts, GraphManifest, RuntimeExecutorInfo, RuntimeTargetType, TestTargetType, RuntimeStage, RuntimeContractType, BuildPlanId, TestCaseExpect, } from "../../../contracts/lib/schema.js";
+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 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 StageInput = z.infer<typeof StageInputSchema>;
-export type StageInputs = z.infer<typeof StageInputsSchema>;
+export type ContextGraphHealth = z.infer<typeof ContextGraphHealthSchema>;
+export type ContextGraphViewSpec = z.infer<typeof ContextGraphViewSpecSchema>;
 export type BuildPlanArtifact = z.infer<typeof BuildPlanArtifactSchema>;
 export type BuildPlanContextSchema = z.infer<typeof BuildPlanContextSchemaSchema>;
 export type BuildPlanArtifactKind = z.infer<typeof BuildPlanArtifactKindSchema>;
 export type BuildPlanArtifactId = z.infer<typeof BuildPlanArtifactIdSchema>;
 export type ExecutionShellArtifactMount = z.infer<typeof ExecutionShellArtifactMountSchema>;
 export type ExecutionShellPaths = z.infer<typeof ExecutionShellPathsSchema>;
-export type RuntimeExecutorInfo = z.infer<typeof RuntimeExecutorInfoSchema>;
-export type RuntimeTargetType = z.infer<typeof RuntimeTargetTypeSchema>;
-export type TestTargetType = z.infer<typeof TestTargetTypeSchema>;
-export type RuntimeStage = z.infer<typeof RuntimeStageSchema>;
-export type RuntimeContractType = z.infer<typeof RuntimeContractTypeSchema>;
-export type BuildPlanId = z.infer<typeof BuildPlanIdSchema>;
+export type StageExecutionSessionValidationAttempt = z.infer<typeof StageExecutionSessionValidationAttemptSchema>;
+export type AgentJobType = z.infer<typeof AgentJobTypeSchema>;
+export type StageExecutionSession = z.infer<typeof StageExecutionSessionSchema>;
+export type AgentJobSession = StageExecutionSession;
+export type RuntimeProjectContext = z.infer<typeof RuntimeProjectContextSchema>;
 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 TestCaseExpect = z.infer<typeof TestCaseExpectSchema>;
+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>;