@interf/compiler 0.33.0 → 0.50.0

package/dist/packages/runtime/build/lib/schema.d.ts

@@ -1,8 +1,25 @@
 import { z } from "zod";
-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 { 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<{
     file: "file";
@@ -58,19 +75,34 @@ export declare const ContextGraphStateSchema: 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;
-    type: z.ZodEnum<{
-        table: "table";
-        status: "status";
-        cards: "cards";
-        flow: "flow";
-        documents: "documents";
-    }>;
     title: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"cards">;
+    path: z.ZodString;
+    id: z.ZodString;
+    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;
@@ -123,19 +155,34 @@ export declare const ContextGraphViewSpecSchema: z.ZodObject<{
             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;
-        type: z.ZodEnum<{
-            table: "table";
-            status: "status";
-            cards: "cards";
-            flow: "flow";
-            documents: "documents";
-        }>;
         title: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"cards">;
+        path: z.ZodString;
+        id: z.ZodString;
+        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;
@@ -191,6 +238,9 @@ export declare const BuildPlanContextRawSchema: z.ZodObject<{
                 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";
@@ -232,6 +282,9 @@ export declare const BuildPlanContextSchemaSchema: z.ZodObject<{
                 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";
@@ -280,6 +333,144 @@ 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<{
@@ -303,6 +494,10 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
         "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>;
@@ -360,6 +555,9 @@ export declare const RuntimeStageContractSchema: z.ZodObject<{
                     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";
@@ -371,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>;
@@ -478,8 +685,8 @@ export declare const ExecutionStageLedgerSchema: z.ZodObject<{
         rejected: z.ZodDefault<z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
                 file: "file";
-                item: "item";
                 count: "count";
+                item: "item";
                 edge: "edge";
             }>;
             id: z.ZodString;
@@ -494,8 +701,8 @@ export declare const ExecutionStageLedgerSchema: z.ZodObject<{
 export declare const RejectedStageEvidenceSchema: z.ZodObject<{
     kind: z.ZodEnum<{
         file: "file";
-        item: "item";
         count: "count";
+        item: "item";
         edge: "edge";
     }>;
     id: z.ZodString;
@@ -550,8 +757,8 @@ export declare const StageEvidenceReconciliationSchema: z.ZodObject<{
     rejected: z.ZodDefault<z.ZodArray<z.ZodObject<{
         kind: z.ZodEnum<{
             file: "file";
-            item: "item";
             count: "count";
+            item: "item";
             edge: "edge";
         }>;
         id: z.ZodString;
@@ -568,8 +775,8 @@ export declare const ExecutionInventoryEntrySchema: z.ZodObject<{
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
 }, z.core.$strict>;
 export declare const ExecutionInventorySchema: z.ZodObject<{
-    kind: z.ZodOptional<z.ZodLiteral<"context-graph-runtime-ledger">>;
-    version: z.ZodOptional<z.ZodNumber>;
+    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>;
@@ -654,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";
+    "test-judge": "test-judge";
 }>;
 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";
+        "test-judge": "test-judge";
     }>;
     generated_at: z.ZodString;
     root_path: z.ZodString;
@@ -701,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;
@@ -744,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;
@@ -758,42 +971,23 @@ 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 { 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 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 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>;
 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>;
@@ -803,4 +997,3 @@ 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>;