opencode-plugin-flow 5.2.0 → 5.2.2

package/dist/application/schema.d.ts

@@ -1,1813 +0,0 @@
-import { z } from "zod";
-import { type Session } from "../domain/session.js";
-export { hasCandidateExecutionEvidence, hasVerifierExecutionEvidence, isCandidateShapedDecision, } from "../domain/orchestration-policy.js";
-export declare const FeatureIdSchema: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-export declare const DigestSchema: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-export declare const SnapshotIdSchema: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-export declare const EvidenceIdSchema: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-export declare const OperationIdSchema: z.ZodString;
-export declare const CausalRevisionSchema: z.ZodNumber;
-export declare const FeatureStatusSchema: z.ZodEnum<{
-    blocked: "blocked";
-    completed: "completed";
-    in_progress: "in_progress";
-    pending: "pending";
-}>;
-export declare const SessionStatusSchema: z.ZodEnum<{
-    blocked: "blocked";
-    completed: "completed";
-    planning: "planning";
-    ready: "ready";
-    running: "running";
-}>;
-export declare const ReviewFindingTaxonomySchema: z.ZodEnum<{
-    advisory: "advisory";
-    evidence_gap: "evidence_gap";
-    implementation_defect: "implementation_defect";
-    regression_coverage_gap: "regression_coverage_gap";
-}>;
-export declare const ReviewKindSchema: z.ZodEnum<{
-    feature: "feature";
-    final: "final";
-}>;
-export declare const ReviewVerdictSchema: z.ZodEnum<{
-    failed: "failed";
-    passed: "passed";
-}>;
-export declare const ReviewTerminalDispositionSchema: z.ZodEnum<{
-    observed_unsubmitted: "observed_unsubmitted";
-    submitted: "submitted";
-}>;
-export declare const ValidationScopeSchema: z.ZodEnum<{
-    broad: "broad";
-    targeted: "targeted";
-}>;
-export declare const FeatureReviewDepthSchema: z.ZodEnum<{
-    detailed: "detailed";
-    quick: "quick";
-    standard: "standard";
-}>;
-export declare const FinalReviewPolicySchema: z.ZodEnum<{
-    broad: "broad";
-    detailed: "detailed";
-}>;
-export declare const OrchestrationPassKindSchema: z.ZodEnum<{
-    audit: "audit";
-    candidate: "candidate";
-    discovery: "discovery";
-    "implementation-decision": "implementation-decision";
-    review: "review";
-    validation: "validation";
-    verification: "verification";
-}>;
-export declare const OrchestrationModeSchema: z.ZodEnum<{
-    audit: "audit";
-    "candidate-implementation": "candidate-implementation";
-    evidence: "evidence";
-    review: "review";
-    validation: "validation";
-    verifier: "verifier";
-}>;
-export declare const OrchestrationDecisionSchema: z.ZodEnum<{
-    "candidate-exact-path": "candidate-exact-path";
-    "candidate-worktree": "candidate-worktree";
-    parallel: "parallel";
-    serial: "serial";
-    skipped: "skipped";
-    tournament: "tournament";
-}>;
-export declare const OrchestrationCandidateEligibilitySchema: z.ZodEnum<{
-    eligible: "eligible";
-    not_eligible: "not_eligible";
-    unknown: "unknown";
-}>;
-export declare const OrchestrationCandidateDecisionSchema: z.ZodEnum<{
-    serial_required: "serial_required";
-    skipped: "skipped";
-    used: "used";
-}>;
-export declare const OrchestrationDecisionFactorSchema: z.ZodEnum<{
-    independent_surface: "independent_surface";
-    needs_manager_judgment: "needs_manager_judgment";
-    overlapping_files: "overlapping_files";
-    shared_state: "shared_state";
-    small_slice: "small_slice";
-    validation_available: "validation_available";
-}>;
-export declare const OrchestrationWriteScopeSchema: z.ZodEnum<{
-    "exact-path": "exact-path";
-    "isolated-worktree": "isolated-worktree";
-    "manager-serial": "manager-serial";
-    mixed: "mixed";
-    none: "none";
-}>;
-export declare const OrchestrationVerificationStatusSchema: z.ZodEnum<{
-    downgraded: "downgraded";
-    failed: "failed";
-    mixed: "mixed";
-    "not-needed": "not-needed";
-    passed: "passed";
-    pending: "pending";
-}>;
-export declare const OrchestrationOutcomeSchema: z.ZodEnum<{
-    accepted: "accepted";
-    modified: "modified";
-    "not-covered": "not-covered";
-    partial: "partial";
-    rejected: "rejected";
-    superseded: "superseded";
-}>;
-export declare const OrchestrationPassRecordSchema: z.ZodObject<{
-    id: z.ZodString;
-    kind: z.ZodEnum<{
-        audit: "audit";
-        candidate: "candidate";
-        discovery: "discovery";
-        "implementation-decision": "implementation-decision";
-        review: "review";
-        validation: "validation";
-        verification: "verification";
-    }>;
-    decision: z.ZodOptional<z.ZodEnum<{
-        "candidate-exact-path": "candidate-exact-path";
-        "candidate-worktree": "candidate-worktree";
-        parallel: "parallel";
-        serial: "serial";
-        skipped: "skipped";
-        tournament: "tournament";
-    }>>;
-    decisionReason: z.ZodOptional<z.ZodString>;
-    candidateEligibility: z.ZodDefault<z.ZodEnum<{
-        eligible: "eligible";
-        not_eligible: "not_eligible";
-        unknown: "unknown";
-    }>>;
-    candidateDecision: z.ZodOptional<z.ZodEnum<{
-        serial_required: "serial_required";
-        skipped: "skipped";
-        used: "used";
-    }>>;
-    decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-        independent_surface: "independent_surface";
-        needs_manager_judgment: "needs_manager_judgment";
-        overlapping_files: "overlapping_files";
-        shared_state: "shared_state";
-        small_slice: "small_slice";
-        validation_available: "validation_available";
-    }>>>;
-    modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-        audit: "audit";
-        "candidate-implementation": "candidate-implementation";
-        evidence: "evidence";
-        review: "review";
-        validation: "validation";
-        verifier: "verifier";
-    }>>>;
-    workerCount: z.ZodDefault<z.ZodNumber>;
-    candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-    verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-    sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    writeScope: z.ZodDefault<z.ZodEnum<{
-        "exact-path": "exact-path";
-        "isolated-worktree": "isolated-worktree";
-        "manager-serial": "manager-serial";
-        mixed: "mixed";
-        none: "none";
-    }>>;
-    handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    verificationStatus: z.ZodDefault<z.ZodEnum<{
-        downgraded: "downgraded";
-        failed: "failed";
-        mixed: "mixed";
-        "not-needed": "not-needed";
-        passed: "passed";
-        pending: "pending";
-    }>>;
-    outcome: z.ZodDefault<z.ZodEnum<{
-        accepted: "accepted";
-        modified: "modified";
-        "not-covered": "not-covered";
-        partial: "partial";
-        rejected: "rejected";
-        superseded: "superseded";
-    }>>;
-    synthesisRef: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-export declare const OrchestrationTelemetrySchema: z.ZodObject<{
-    passCount: z.ZodDefault<z.ZodNumber>;
-    workerCount: z.ZodDefault<z.ZodNumber>;
-    candidatePassCount: z.ZodDefault<z.ZodNumber>;
-    verifierPassCount: z.ZodDefault<z.ZodNumber>;
-    candidateEligibleCount: z.ZodDefault<z.ZodNumber>;
-    candidateUsedDecisionCount: z.ZodDefault<z.ZodNumber>;
-    candidateSerialRequiredDecisionCount: z.ZodDefault<z.ZodNumber>;
-    skippedCandidateDecisionCount: z.ZodDefault<z.ZodNumber>;
-    latestPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        kind: z.ZodEnum<{
-            audit: "audit";
-            candidate: "candidate";
-            discovery: "discovery";
-            "implementation-decision": "implementation-decision";
-            review: "review";
-            validation: "validation";
-            verification: "verification";
-        }>;
-        decision: z.ZodOptional<z.ZodEnum<{
-            "candidate-exact-path": "candidate-exact-path";
-            "candidate-worktree": "candidate-worktree";
-            parallel: "parallel";
-            serial: "serial";
-            skipped: "skipped";
-            tournament: "tournament";
-        }>>;
-        decisionReason: z.ZodOptional<z.ZodString>;
-        candidateEligibility: z.ZodDefault<z.ZodEnum<{
-            eligible: "eligible";
-            not_eligible: "not_eligible";
-            unknown: "unknown";
-        }>>;
-        candidateDecision: z.ZodOptional<z.ZodEnum<{
-            serial_required: "serial_required";
-            skipped: "skipped";
-            used: "used";
-        }>>;
-        decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-            independent_surface: "independent_surface";
-            needs_manager_judgment: "needs_manager_judgment";
-            overlapping_files: "overlapping_files";
-            shared_state: "shared_state";
-            small_slice: "small_slice";
-            validation_available: "validation_available";
-        }>>>;
-        modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-            audit: "audit";
-            "candidate-implementation": "candidate-implementation";
-            evidence: "evidence";
-            review: "review";
-            validation: "validation";
-            verifier: "verifier";
-        }>>>;
-        workerCount: z.ZodDefault<z.ZodNumber>;
-        candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-        verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-        sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        writeScope: z.ZodDefault<z.ZodEnum<{
-            "exact-path": "exact-path";
-            "isolated-worktree": "isolated-worktree";
-            "manager-serial": "manager-serial";
-            mixed: "mixed";
-            none: "none";
-        }>>;
-        handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        verificationStatus: z.ZodDefault<z.ZodEnum<{
-            downgraded: "downgraded";
-            failed: "failed";
-            mixed: "mixed";
-            "not-needed": "not-needed";
-            passed: "passed";
-            pending: "pending";
-        }>>;
-        outcome: z.ZodDefault<z.ZodEnum<{
-            accepted: "accepted";
-            modified: "modified";
-            "not-covered": "not-covered";
-            partial: "partial";
-            rejected: "rejected";
-            superseded: "superseded";
-        }>>;
-        synthesisRef: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>>>;
-}, z.core.$strict>;
-export declare const FeatureRunIdSchema: z.ZodString;
-export declare const ReviewAssignmentIdSchema: z.ZodString;
-export declare const ReviewSnapshotIdSchema: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-export declare const ReviewExecutionFindingInputSchema: z.ZodObject<{
-    taxonomy: z.ZodEnum<{
-        advisory: "advisory";
-        evidence_gap: "evidence_gap";
-        implementation_defect: "implementation_defect";
-        regression_coverage_gap: "regression_coverage_gap";
-    }>;
-    subject: z.ZodString;
-    requirementOrRisk: z.ZodString;
-    evidenceLocator: z.ZodString;
-    summary: z.ZodString;
-    severity: z.ZodEnum<{
-        advisory: "advisory";
-        blocking: "blocking";
-    }>;
-}, z.core.$strict>;
-export declare const ReviewExecutionFindingSchema: z.ZodObject<{
-    taxonomy: z.ZodEnum<{
-        advisory: "advisory";
-        evidence_gap: "evidence_gap";
-        implementation_defect: "implementation_defect";
-        regression_coverage_gap: "regression_coverage_gap";
-    }>;
-    subject: z.ZodString;
-    requirementOrRisk: z.ZodString;
-    evidenceLocator: z.ZodString;
-    summary: z.ZodString;
-    severity: z.ZodEnum<{
-        advisory: "advisory";
-        blocking: "blocking";
-    }>;
-    fingerprint: z.ZodString;
-}, z.core.$strict>;
-export declare const ReviewAssignmentResultInputSchema: z.ZodObject<{
-    assignmentId: z.ZodString;
-    verdict: z.ZodEnum<{
-        failed: "failed";
-        passed: "passed";
-    }>;
-    findings: z.ZodArray<z.ZodObject<{
-        taxonomy: z.ZodEnum<{
-            advisory: "advisory";
-            evidence_gap: "evidence_gap";
-            implementation_defect: "implementation_defect";
-            regression_coverage_gap: "regression_coverage_gap";
-        }>;
-        subject: z.ZodString;
-        requirementOrRisk: z.ZodString;
-        evidenceLocator: z.ZodString;
-        summary: z.ZodString;
-        severity: z.ZodEnum<{
-            advisory: "advisory";
-            blocking: "blocking";
-        }>;
-    }, z.core.$strict>>;
-    completedAt: z.ZodString;
-    terminalDisposition: z.ZodEnum<{
-        observed_unsubmitted: "observed_unsubmitted";
-        submitted: "submitted";
-    }>;
-}, z.core.$strict>;
-export declare const ReviewExecutionSchema: z.ZodObject<{
-    assignmentId: z.ZodString;
-    featureRunId: z.ZodString;
-    attemptId: z.ZodString;
-    logicalPassId: z.ZodString;
-    featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-    reviewKind: z.ZodEnum<{
-        feature: "feature";
-        final: "final";
-    }>;
-    reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-    verdict: z.ZodEnum<{
-        failed: "failed";
-        passed: "passed";
-    }>;
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    terminalDisposition: z.ZodEnum<{
-        observed_unsubmitted: "observed_unsubmitted";
-        submitted: "submitted";
-    }>;
-    findings: z.ZodArray<z.ZodObject<{
-        taxonomy: z.ZodEnum<{
-            advisory: "advisory";
-            evidence_gap: "evidence_gap";
-            implementation_defect: "implementation_defect";
-            regression_coverage_gap: "regression_coverage_gap";
-        }>;
-        subject: z.ZodString;
-        requirementOrRisk: z.ZodString;
-        evidenceLocator: z.ZodString;
-        summary: z.ZodString;
-        severity: z.ZodEnum<{
-            advisory: "advisory";
-            blocking: "blocking";
-        }>;
-        fingerprint: z.ZodString;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-export declare const ValidationEvidenceSchema: z.ZodObject<{
-    evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    featureRunId: z.ZodString;
-    capturedAtRevision: z.ZodNumber;
-    capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    commandClass: z.ZodEnum<{
-        build: "build";
-        format: "format";
-        lint: "lint";
-        other: "other";
-        smoke: "smoke";
-        test: "test";
-        typecheck: "typecheck";
-    }>;
-    exitCode: z.ZodNumber;
-    outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    artifactRef: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodLiteral<"restricted_evidence_v1">;
-        digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        byteLength: z.ZodNumber;
-    }, z.core.$strict>>;
-    environmentKeys: z.ZodArray<z.ZodString>;
-    kind: z.ZodLiteral<"validation">;
-    commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-}, z.core.$strict>;
-export declare const ReviewEvidenceSchema: z.ZodObject<{
-    evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    featureRunId: z.ZodString;
-    capturedAtRevision: z.ZodNumber;
-    capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    kind: z.ZodLiteral<"review">;
-    attemptId: z.ZodString;
-    assignmentId: z.ZodString;
-    packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-}, z.core.$strict>;
-export declare const EvidenceRecordSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    featureRunId: z.ZodString;
-    capturedAtRevision: z.ZodNumber;
-    capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    commandClass: z.ZodEnum<{
-        build: "build";
-        format: "format";
-        lint: "lint";
-        other: "other";
-        smoke: "smoke";
-        test: "test";
-        typecheck: "typecheck";
-    }>;
-    exitCode: z.ZodNumber;
-    outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    artifactRef: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodLiteral<"restricted_evidence_v1">;
-        digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        byteLength: z.ZodNumber;
-    }, z.core.$strict>>;
-    environmentKeys: z.ZodArray<z.ZodString>;
-    kind: z.ZodLiteral<"validation">;
-    commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-}, z.core.$strict>, z.ZodObject<{
-    evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    featureRunId: z.ZodString;
-    capturedAtRevision: z.ZodNumber;
-    capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    kind: z.ZodLiteral<"review">;
-    attemptId: z.ZodString;
-    assignmentId: z.ZodString;
-    packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-}, z.core.$strict>], "kind">;
-export declare const ValidationObservationSchema: z.ZodObject<{
-    startedAt: z.ZodString;
-    completedAt: z.ZodString;
-    command: z.ZodString;
-    summary: z.ZodString;
-    exitCode: z.ZodNumber;
-    outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    artifactRef: z.ZodOptional<z.ZodObject<{
-        kind: z.ZodLiteral<"restricted_evidence_v1">;
-        digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        byteLength: z.ZodNumber;
-    }, z.core.$strict>>;
-    environmentKeys: z.ZodArray<z.ZodString>;
-}, z.core.$strict>;
-export declare const CausalMutationRecordSchema: z.ZodObject<{
-    operationId: z.ZodString;
-    operationKind: z.ZodEnum<{
-        feature_complete: "feature_complete";
-        feature_reset: "feature_reset";
-        plan_approve: "plan_approve";
-        plan_save: "plan_save";
-        review_start: "review_start";
-        run_start: "run_start";
-        session_close: "session_close";
-    }>;
-    requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    featureRunId: z.ZodNullable<z.ZodString>;
-    priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-    mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    priorRevision: z.ZodNumber;
-    revision: z.ZodNumber;
-    priorSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    currentSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    changedEntity: z.ZodObject<{
-        kind: z.ZodEnum<{
-            closure: "closure";
-            evidence: "evidence";
-            feature: "feature";
-            plan: "plan";
-            review: "review";
-            session: "session";
-        }>;
-        id: z.ZodString;
-    }, z.core.$strict>;
-    changedFields: z.ZodArray<z.ZodString>;
-    blockerDelta: z.ZodObject<{
-        added: z.ZodArray<z.ZodString>;
-        removed: z.ZodArray<z.ZodString>;
-    }, z.core.$strict>;
-    evidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-    recordedAt: z.ZodString;
-}, z.core.$strict>;
-export declare const CausalStateSchema: z.ZodObject<{
-    revision: z.ZodNumber;
-    genesisSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    mutations: z.ZodArray<z.ZodObject<{
-        operationId: z.ZodString;
-        operationKind: z.ZodEnum<{
-            feature_complete: "feature_complete";
-            feature_reset: "feature_reset";
-            plan_approve: "plan_approve";
-            plan_save: "plan_save";
-            review_start: "review_start";
-            run_start: "run_start";
-            session_close: "session_close";
-        }>;
-        requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        featureRunId: z.ZodNullable<z.ZodString>;
-        priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-        mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        priorRevision: z.ZodNumber;
-        revision: z.ZodNumber;
-        priorSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        currentSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        changedEntity: z.ZodObject<{
-            kind: z.ZodEnum<{
-                closure: "closure";
-                evidence: "evidence";
-                feature: "feature";
-                plan: "plan";
-                review: "review";
-                session: "session";
-            }>;
-            id: z.ZodString;
-        }, z.core.$strict>;
-        changedFields: z.ZodArray<z.ZodString>;
-        blockerDelta: z.ZodObject<{
-            added: z.ZodArray<z.ZodString>;
-            removed: z.ZodArray<z.ZodString>;
-        }, z.core.$strict>;
-        evidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-        recordedAt: z.ZodString;
-    }, z.core.$strict>>;
-    evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-        evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        featureRunId: z.ZodString;
-        capturedAtRevision: z.ZodNumber;
-        capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        startedAt: z.ZodString;
-        completedAt: z.ZodString;
-        commandClass: z.ZodEnum<{
-            build: "build";
-            format: "format";
-            lint: "lint";
-            other: "other";
-            smoke: "smoke";
-            test: "test";
-            typecheck: "typecheck";
-        }>;
-        exitCode: z.ZodNumber;
-        outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        artifactRef: z.ZodOptional<z.ZodObject<{
-            kind: z.ZodLiteral<"restricted_evidence_v1">;
-            digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            byteLength: z.ZodNumber;
-        }, z.core.$strict>>;
-        environmentKeys: z.ZodArray<z.ZodString>;
-        kind: z.ZodLiteral<"validation">;
-        commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    }, z.core.$strict>, z.ZodObject<{
-        evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        featureRunId: z.ZodString;
-        capturedAtRevision: z.ZodNumber;
-        capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        startedAt: z.ZodString;
-        completedAt: z.ZodString;
-        kind: z.ZodLiteral<"review">;
-        attemptId: z.ZodString;
-        assignmentId: z.ZodString;
-        packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    }, z.core.$strict>], "kind">>;
-}, z.core.$strict>;
-export declare const ArtifactSchema: z.ZodObject<{
-    path: z.ZodString;
-}, z.core.$strict>;
-export declare const FeatureSchema: z.ZodObject<{
-    id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-    title: z.ZodString;
-    summary: z.ZodString;
-    status: z.ZodDefault<z.ZodEnum<{
-        blocked: "blocked";
-        completed: "completed";
-        in_progress: "in_progress";
-        pending: "pending";
-    }>>;
-    reviewDepth: z.ZodDefault<z.ZodEnum<{
-        detailed: "detailed";
-        quick: "quick";
-        standard: "standard";
-    }>>;
-    targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    validation: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    dependsOn: z.ZodDefault<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
-}, z.core.$strict>;
-export declare const PlanSchema: z.ZodObject<{
-    summary: z.ZodString;
-    overview: z.ZodString;
-    requirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    decisions: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    finalReviewPolicy: z.ZodDefault<z.ZodEnum<{
-        broad: "broad";
-        detailed: "detailed";
-    }>>;
-    features: z.ZodArray<z.ZodObject<{
-        id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        status: z.ZodDefault<z.ZodEnum<{
-            blocked: "blocked";
-            completed: "completed";
-            in_progress: "in_progress";
-            pending: "pending";
-        }>>;
-        reviewDepth: z.ZodDefault<z.ZodEnum<{
-            detailed: "detailed";
-            quick: "quick";
-            standard: "standard";
-        }>>;
-        targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        validation: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        dependsOn: z.ZodDefault<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-export declare const PlanInputSchema: z.ZodObject<{
-    summary: z.ZodString;
-    overview: z.ZodString;
-    requirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    decisions: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    finalReviewPolicy: z.ZodOptional<z.ZodEnum<{
-        broad: "broad";
-        detailed: "detailed";
-    }>>;
-    features: z.ZodArray<z.ZodObject<{
-        id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        title: z.ZodString;
-        summary: z.ZodString;
-        status: z.ZodOptional<z.ZodEnum<{
-            blocked: "blocked";
-            completed: "completed";
-            in_progress: "in_progress";
-            pending: "pending";
-        }>>;
-        reviewDepth: z.ZodOptional<z.ZodEnum<{
-            detailed: "detailed";
-            quick: "quick";
-            standard: "standard";
-        }>>;
-        targets: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        validation: z.ZodOptional<z.ZodArray<z.ZodString>>;
-        dependsOn: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-export declare const CompletedExecutionOutcomeSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"completed">;
-    summary: z.ZodOptional<z.ZodString>;
-    resolutionHint: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-export declare const BlockedExecutionOutcomeSchema: z.ZodObject<{
-    kind: z.ZodLiteral<"blocked">;
-    summary: z.ZodString;
-    resolutionHint: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-export declare const ExecutionOutcomeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    kind: z.ZodLiteral<"completed">;
-    summary: z.ZodOptional<z.ZodString>;
-    resolutionHint: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>, z.ZodObject<{
-    kind: z.ZodLiteral<"blocked">;
-    summary: z.ZodString;
-    resolutionHint: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>], "kind">;
-export declare const ExecutionHistoryEntrySchema: z.ZodObject<{
-    featureRunId: z.ZodString;
-    featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-    status: z.ZodEnum<{
-        blocked: "blocked";
-        completed: "completed";
-    }>;
-    summary: z.ZodString;
-    recordedAt: z.ZodString;
-    artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        path: z.ZodString;
-    }, z.core.$strict>>>;
-    validationScope: z.ZodEnum<{
-        broad: "broad";
-        targeted: "targeted";
-    }>;
-    validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-    reviewAssignmentIds: z.ZodArray<z.ZodString>;
-    outcome: z.ZodDiscriminatedUnion<[z.ZodObject<{
-        kind: z.ZodLiteral<"completed">;
-        summary: z.ZodOptional<z.ZodString>;
-        resolutionHint: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>, z.ZodObject<{
-        kind: z.ZodLiteral<"blocked">;
-        summary: z.ZodString;
-        resolutionHint: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>], "kind">;
-    orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        kind: z.ZodEnum<{
-            audit: "audit";
-            candidate: "candidate";
-            discovery: "discovery";
-            "implementation-decision": "implementation-decision";
-            review: "review";
-            validation: "validation";
-            verification: "verification";
-        }>;
-        decision: z.ZodOptional<z.ZodEnum<{
-            "candidate-exact-path": "candidate-exact-path";
-            "candidate-worktree": "candidate-worktree";
-            parallel: "parallel";
-            serial: "serial";
-            skipped: "skipped";
-            tournament: "tournament";
-        }>>;
-        decisionReason: z.ZodOptional<z.ZodString>;
-        candidateEligibility: z.ZodDefault<z.ZodEnum<{
-            eligible: "eligible";
-            not_eligible: "not_eligible";
-            unknown: "unknown";
-        }>>;
-        candidateDecision: z.ZodOptional<z.ZodEnum<{
-            serial_required: "serial_required";
-            skipped: "skipped";
-            used: "used";
-        }>>;
-        decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-            independent_surface: "independent_surface";
-            needs_manager_judgment: "needs_manager_judgment";
-            overlapping_files: "overlapping_files";
-            shared_state: "shared_state";
-            small_slice: "small_slice";
-            validation_available: "validation_available";
-        }>>>;
-        modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-            audit: "audit";
-            "candidate-implementation": "candidate-implementation";
-            evidence: "evidence";
-            review: "review";
-            validation: "validation";
-            verifier: "verifier";
-        }>>>;
-        workerCount: z.ZodDefault<z.ZodNumber>;
-        candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-        verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-        sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        writeScope: z.ZodDefault<z.ZodEnum<{
-            "exact-path": "exact-path";
-            "isolated-worktree": "isolated-worktree";
-            "manager-serial": "manager-serial";
-            mixed: "mixed";
-            none: "none";
-        }>>;
-        handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        verificationStatus: z.ZodDefault<z.ZodEnum<{
-            downgraded: "downgraded";
-            failed: "failed";
-            mixed: "mixed";
-            "not-needed": "not-needed";
-            passed: "passed";
-            pending: "pending";
-        }>>;
-        outcome: z.ZodDefault<z.ZodEnum<{
-            accepted: "accepted";
-            modified: "modified";
-            "not-covered": "not-covered";
-            partial: "partial";
-            rejected: "rejected";
-            superseded: "superseded";
-        }>>;
-        synthesisRef: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>>>;
-}, z.core.$strict>;
-export declare const BudgetTelemetrySchema: z.ZodObject<{
-    reviewCount: z.ZodDefault<z.ZodNumber>;
-    failedReviewCount: z.ZodDefault<z.ZodNumber>;
-    failedReviewAttemptsByFeatureRun: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
-    reviewExecutions: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        assignmentId: z.ZodString;
-        featureRunId: z.ZodString;
-        attemptId: z.ZodString;
-        logicalPassId: z.ZodString;
-        featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        reviewKind: z.ZodEnum<{
-            feature: "feature";
-            final: "final";
-        }>;
-        reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-        verdict: z.ZodEnum<{
-            failed: "failed";
-            passed: "passed";
-        }>;
-        startedAt: z.ZodString;
-        completedAt: z.ZodString;
-        terminalDisposition: z.ZodEnum<{
-            observed_unsubmitted: "observed_unsubmitted";
-            submitted: "submitted";
-        }>;
-        findings: z.ZodArray<z.ZodObject<{
-            taxonomy: z.ZodEnum<{
-                advisory: "advisory";
-                evidence_gap: "evidence_gap";
-                implementation_defect: "implementation_defect";
-                regression_coverage_gap: "regression_coverage_gap";
-            }>;
-            subject: z.ZodString;
-            requirementOrRisk: z.ZodString;
-            evidenceLocator: z.ZodString;
-            summary: z.ZodString;
-            severity: z.ZodEnum<{
-                advisory: "advisory";
-                blocking: "blocking";
-            }>;
-            fingerprint: z.ZodString;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>>;
-    reviewLifecycle: z.ZodPrefault<z.ZodObject<{
-        featureAttemptCount: z.ZodDefault<z.ZodNumber>;
-        finalAttemptCount: z.ZodDefault<z.ZodNumber>;
-        passedVerdictCount: z.ZodDefault<z.ZodNumber>;
-        failedVerdictCount: z.ZodDefault<z.ZodNumber>;
-        retryConsumedCount: z.ZodDefault<z.ZodNumber>;
-    }, z.core.$strict>>;
-    observedReviewWorkers: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
-        source: z.ZodLiteral<"unavailable">;
-        reconciliationStatus: z.ZodLiteral<"unreconciled">;
-        observedExecutionCount: z.ZodNull;
-    }, z.core.$strict>, z.ZodObject<{
-        source: z.ZodLiteral<"host_observed">;
-        reconciliationStatus: z.ZodLiteral<"reconciled">;
-        observedExecutionCount: z.ZodNumber;
-    }, z.core.$strict>], "source">>;
-    orchestration: z.ZodPrefault<z.ZodObject<{
-        passCount: z.ZodDefault<z.ZodNumber>;
-        workerCount: z.ZodDefault<z.ZodNumber>;
-        candidatePassCount: z.ZodDefault<z.ZodNumber>;
-        verifierPassCount: z.ZodDefault<z.ZodNumber>;
-        candidateEligibleCount: z.ZodDefault<z.ZodNumber>;
-        candidateUsedDecisionCount: z.ZodDefault<z.ZodNumber>;
-        candidateSerialRequiredDecisionCount: z.ZodDefault<z.ZodNumber>;
-        skippedCandidateDecisionCount: z.ZodDefault<z.ZodNumber>;
-        latestPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            kind: z.ZodEnum<{
-                audit: "audit";
-                candidate: "candidate";
-                discovery: "discovery";
-                "implementation-decision": "implementation-decision";
-                review: "review";
-                validation: "validation";
-                verification: "verification";
-            }>;
-            decision: z.ZodOptional<z.ZodEnum<{
-                "candidate-exact-path": "candidate-exact-path";
-                "candidate-worktree": "candidate-worktree";
-                parallel: "parallel";
-                serial: "serial";
-                skipped: "skipped";
-                tournament: "tournament";
-            }>>;
-            decisionReason: z.ZodOptional<z.ZodString>;
-            candidateEligibility: z.ZodDefault<z.ZodEnum<{
-                eligible: "eligible";
-                not_eligible: "not_eligible";
-                unknown: "unknown";
-            }>>;
-            candidateDecision: z.ZodOptional<z.ZodEnum<{
-                serial_required: "serial_required";
-                skipped: "skipped";
-                used: "used";
-            }>>;
-            decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                independent_surface: "independent_surface";
-                needs_manager_judgment: "needs_manager_judgment";
-                overlapping_files: "overlapping_files";
-                shared_state: "shared_state";
-                small_slice: "small_slice";
-                validation_available: "validation_available";
-            }>>>;
-            modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                audit: "audit";
-                "candidate-implementation": "candidate-implementation";
-                evidence: "evidence";
-                review: "review";
-                validation: "validation";
-                verifier: "verifier";
-            }>>>;
-            workerCount: z.ZodDefault<z.ZodNumber>;
-            candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-            verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-            sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            writeScope: z.ZodDefault<z.ZodEnum<{
-                "exact-path": "exact-path";
-                "isolated-worktree": "isolated-worktree";
-                "manager-serial": "manager-serial";
-                mixed: "mixed";
-                none: "none";
-            }>>;
-            handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            verificationStatus: z.ZodDefault<z.ZodEnum<{
-                downgraded: "downgraded";
-                failed: "failed";
-                mixed: "mixed";
-                "not-needed": "not-needed";
-                passed: "passed";
-                pending: "pending";
-            }>>;
-            outcome: z.ZodDefault<z.ZodEnum<{
-                accepted: "accepted";
-                modified: "modified";
-                "not-covered": "not-covered";
-                partial: "partial";
-                rejected: "rejected";
-                superseded: "superseded";
-            }>>;
-            synthesisRef: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-export declare const FeatureRunSchema: z.ZodObject<{
-    id: z.ZodString;
-    featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-    sequence: z.ZodNumber;
-    status: z.ZodEnum<{
-        abandoned: "abandoned";
-        active: "active";
-        blocked: "blocked";
-        completed: "completed";
-        deferred: "deferred";
-        reset: "reset";
-    }>;
-    startedAt: z.ZodString;
-    endedAt: z.ZodNullable<z.ZodString>;
-}, z.core.$strict>;
-export declare const ReviewAssignmentSchema: z.ZodObject<{
-    id: z.ZodString;
-    operationId: z.ZodString;
-    featureRunId: z.ZodString;
-    featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-    reviewKind: z.ZodEnum<{
-        feature: "feature";
-        final: "final";
-    }>;
-    validationScope: z.ZodEnum<{
-        broad: "broad";
-        targeted: "targeted";
-    }>;
-    validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-    sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    packetSummary: z.ZodString;
-    riskLenses: z.ZodArray<z.ZodString>;
-    prerequisite: z.ZodNullable<z.ZodObject<{
-        assignmentId: z.ZodString;
-        result: z.ZodObject<{
-            assignmentId: z.ZodString;
-            verdict: z.ZodEnum<{
-                failed: "failed";
-                passed: "passed";
-            }>;
-            findings: z.ZodArray<z.ZodObject<{
-                taxonomy: z.ZodEnum<{
-                    advisory: "advisory";
-                    evidence_gap: "evidence_gap";
-                    implementation_defect: "implementation_defect";
-                    regression_coverage_gap: "regression_coverage_gap";
-                }>;
-                subject: z.ZodString;
-                requirementOrRisk: z.ZodString;
-                evidenceLocator: z.ZodString;
-                summary: z.ZodString;
-                severity: z.ZodEnum<{
-                    advisory: "advisory";
-                    blocking: "blocking";
-                }>;
-            }, z.core.$strict>>;
-            completedAt: z.ZodString;
-            terminalDisposition: z.ZodEnum<{
-                observed_unsubmitted: "observed_unsubmitted";
-                submitted: "submitted";
-            }>;
-        }, z.core.$strict>;
-        resultDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-    }, z.core.$strict>>;
-    attemptId: z.ZodString;
-    logicalPassId: z.ZodString;
-    startedAt: z.ZodString;
-    requiredDepth: z.ZodUnion<readonly [z.ZodEnum<{
-        detailed: "detailed";
-        quick: "quick";
-        standard: "standard";
-    }>, z.ZodEnum<{
-        broad: "broad";
-        detailed: "detailed";
-    }>]>;
-    status: z.ZodEnum<{
-        invalidated: "invalidated";
-        observed_unsubmitted: "observed_unsubmitted";
-        pending: "pending";
-        submitted: "submitted";
-    }>;
-    completedAt: z.ZodNullable<z.ZodString>;
-    invalidatedAt: z.ZodNullable<z.ZodString>;
-    invalidationReason: z.ZodNullable<z.ZodEnum<{
-        feature_reset: "feature_reset";
-        session_abandoned: "session_abandoned";
-        session_deferred: "session_deferred";
-        source_changed: "source_changed";
-    }>>;
-}, z.core.$strict>;
-export declare const SessionSchema: z.ZodPipe<z.ZodObject<{
-    version: z.ZodLiteral<4>;
-    id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").SessionId, string>>;
-    goal: z.ZodString;
-    status: z.ZodEnum<{
-        blocked: "blocked";
-        completed: "completed";
-        planning: "planning";
-        ready: "ready";
-        running: "running";
-    }>;
-    approval: z.ZodEnum<{
-        approved: "approved";
-        pending: "pending";
-    }>;
-    plan: z.ZodNullable<z.ZodObject<{
-        summary: z.ZodString;
-        overview: z.ZodString;
-        requirements: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        decisions: z.ZodDefault<z.ZodArray<z.ZodString>>;
-        finalReviewPolicy: z.ZodDefault<z.ZodEnum<{
-            broad: "broad";
-            detailed: "detailed";
-        }>>;
-        features: z.ZodArray<z.ZodObject<{
-            id: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-            title: z.ZodString;
-            summary: z.ZodString;
-            status: z.ZodDefault<z.ZodEnum<{
-                blocked: "blocked";
-                completed: "completed";
-                in_progress: "in_progress";
-                pending: "pending";
-            }>>;
-            reviewDepth: z.ZodDefault<z.ZodEnum<{
-                detailed: "detailed";
-                quick: "quick";
-                standard: "standard";
-            }>>;
-            targets: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            validation: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            dependsOn: z.ZodDefault<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>;
-    activeFeatureId: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>>;
-    activeFeatureRunId: z.ZodNullable<z.ZodString>;
-    featureRuns: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        sequence: z.ZodNumber;
-        status: z.ZodEnum<{
-            abandoned: "abandoned";
-            active: "active";
-            blocked: "blocked";
-            completed: "completed";
-            deferred: "deferred";
-            reset: "reset";
-        }>;
-        startedAt: z.ZodString;
-        endedAt: z.ZodNullable<z.ZodString>;
-    }, z.core.$strict>>;
-    reviewAssignments: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        operationId: z.ZodString;
-        featureRunId: z.ZodString;
-        featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        reviewKind: z.ZodEnum<{
-            feature: "feature";
-            final: "final";
-        }>;
-        validationScope: z.ZodEnum<{
-            broad: "broad";
-            targeted: "targeted";
-        }>;
-        validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-        sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        packetSummary: z.ZodString;
-        riskLenses: z.ZodArray<z.ZodString>;
-        prerequisite: z.ZodNullable<z.ZodObject<{
-            assignmentId: z.ZodString;
-            result: z.ZodObject<{
-                assignmentId: z.ZodString;
-                verdict: z.ZodEnum<{
-                    failed: "failed";
-                    passed: "passed";
-                }>;
-                findings: z.ZodArray<z.ZodObject<{
-                    taxonomy: z.ZodEnum<{
-                        advisory: "advisory";
-                        evidence_gap: "evidence_gap";
-                        implementation_defect: "implementation_defect";
-                        regression_coverage_gap: "regression_coverage_gap";
-                    }>;
-                    subject: z.ZodString;
-                    requirementOrRisk: z.ZodString;
-                    evidenceLocator: z.ZodString;
-                    summary: z.ZodString;
-                    severity: z.ZodEnum<{
-                        advisory: "advisory";
-                        blocking: "blocking";
-                    }>;
-                }, z.core.$strict>>;
-                completedAt: z.ZodString;
-                terminalDisposition: z.ZodEnum<{
-                    observed_unsubmitted: "observed_unsubmitted";
-                    submitted: "submitted";
-                }>;
-            }, z.core.$strict>;
-            resultDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        }, z.core.$strict>>;
-        attemptId: z.ZodString;
-        logicalPassId: z.ZodString;
-        startedAt: z.ZodString;
-        requiredDepth: z.ZodUnion<readonly [z.ZodEnum<{
-            detailed: "detailed";
-            quick: "quick";
-            standard: "standard";
-        }>, z.ZodEnum<{
-            broad: "broad";
-            detailed: "detailed";
-        }>]>;
-        status: z.ZodEnum<{
-            invalidated: "invalidated";
-            observed_unsubmitted: "observed_unsubmitted";
-            pending: "pending";
-            submitted: "submitted";
-        }>;
-        completedAt: z.ZodNullable<z.ZodString>;
-        invalidatedAt: z.ZodNullable<z.ZodString>;
-        invalidationReason: z.ZodNullable<z.ZodEnum<{
-            feature_reset: "feature_reset";
-            session_abandoned: "session_abandoned";
-            session_deferred: "session_deferred";
-            source_changed: "source_changed";
-        }>>;
-    }, z.core.$strict>>;
-    history: z.ZodDefault<z.ZodArray<z.ZodObject<{
-        featureRunId: z.ZodString;
-        featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-        status: z.ZodEnum<{
-            blocked: "blocked";
-            completed: "completed";
-        }>;
-        summary: z.ZodString;
-        recordedAt: z.ZodString;
-        artifactsChanged: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-        }, z.core.$strict>>>;
-        validationScope: z.ZodEnum<{
-            broad: "broad";
-            targeted: "targeted";
-        }>;
-        validationEvidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-        reviewAssignmentIds: z.ZodArray<z.ZodString>;
-        outcome: z.ZodDiscriminatedUnion<[z.ZodObject<{
-            kind: z.ZodLiteral<"completed">;
-            summary: z.ZodOptional<z.ZodString>;
-            resolutionHint: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>, z.ZodObject<{
-            kind: z.ZodLiteral<"blocked">;
-            summary: z.ZodString;
-            resolutionHint: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>], "kind">;
-        orchestrationPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            kind: z.ZodEnum<{
-                audit: "audit";
-                candidate: "candidate";
-                discovery: "discovery";
-                "implementation-decision": "implementation-decision";
-                review: "review";
-                validation: "validation";
-                verification: "verification";
-            }>;
-            decision: z.ZodOptional<z.ZodEnum<{
-                "candidate-exact-path": "candidate-exact-path";
-                "candidate-worktree": "candidate-worktree";
-                parallel: "parallel";
-                serial: "serial";
-                skipped: "skipped";
-                tournament: "tournament";
-            }>>;
-            decisionReason: z.ZodOptional<z.ZodString>;
-            candidateEligibility: z.ZodDefault<z.ZodEnum<{
-                eligible: "eligible";
-                not_eligible: "not_eligible";
-                unknown: "unknown";
-            }>>;
-            candidateDecision: z.ZodOptional<z.ZodEnum<{
-                serial_required: "serial_required";
-                skipped: "skipped";
-                used: "used";
-            }>>;
-            decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                independent_surface: "independent_surface";
-                needs_manager_judgment: "needs_manager_judgment";
-                overlapping_files: "overlapping_files";
-                shared_state: "shared_state";
-                small_slice: "small_slice";
-                validation_available: "validation_available";
-            }>>>;
-            modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                audit: "audit";
-                "candidate-implementation": "candidate-implementation";
-                evidence: "evidence";
-                review: "review";
-                validation: "validation";
-                verifier: "verifier";
-            }>>>;
-            workerCount: z.ZodDefault<z.ZodNumber>;
-            candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-            verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-            sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            writeScope: z.ZodDefault<z.ZodEnum<{
-                "exact-path": "exact-path";
-                "isolated-worktree": "isolated-worktree";
-                "manager-serial": "manager-serial";
-                mixed: "mixed";
-                none: "none";
-            }>>;
-            handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-            verificationStatus: z.ZodDefault<z.ZodEnum<{
-                downgraded: "downgraded";
-                failed: "failed";
-                mixed: "mixed";
-                "not-needed": "not-needed";
-                passed: "passed";
-                pending: "pending";
-            }>>;
-            outcome: z.ZodDefault<z.ZodEnum<{
-                accepted: "accepted";
-                modified: "modified";
-                "not-covered": "not-covered";
-                partial: "partial";
-                rejected: "rejected";
-                superseded: "superseded";
-            }>>;
-            synthesisRef: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>>;
-    }, z.core.$strict>>>;
-    budget: z.ZodPrefault<z.ZodObject<{
-        reviewCount: z.ZodDefault<z.ZodNumber>;
-        failedReviewCount: z.ZodDefault<z.ZodNumber>;
-        failedReviewAttemptsByFeatureRun: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
-        reviewExecutions: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            assignmentId: z.ZodString;
-            featureRunId: z.ZodString;
-            attemptId: z.ZodString;
-            logicalPassId: z.ZodString;
-            featureId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../domain/session.js").FeatureId, string>>;
-            reviewKind: z.ZodEnum<{
-                feature: "feature";
-                final: "final";
-            }>;
-            reviewSnapshotId: z.ZodPipe<z.ZodString, z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-            verdict: z.ZodEnum<{
-                failed: "failed";
-                passed: "passed";
-            }>;
-            startedAt: z.ZodString;
-            completedAt: z.ZodString;
-            terminalDisposition: z.ZodEnum<{
-                observed_unsubmitted: "observed_unsubmitted";
-                submitted: "submitted";
-            }>;
-            findings: z.ZodArray<z.ZodObject<{
-                taxonomy: z.ZodEnum<{
-                    advisory: "advisory";
-                    evidence_gap: "evidence_gap";
-                    implementation_defect: "implementation_defect";
-                    regression_coverage_gap: "regression_coverage_gap";
-                }>;
-                subject: z.ZodString;
-                requirementOrRisk: z.ZodString;
-                evidenceLocator: z.ZodString;
-                summary: z.ZodString;
-                severity: z.ZodEnum<{
-                    advisory: "advisory";
-                    blocking: "blocking";
-                }>;
-                fingerprint: z.ZodString;
-            }, z.core.$strict>>;
-        }, z.core.$strict>>>;
-        reviewLifecycle: z.ZodPrefault<z.ZodObject<{
-            featureAttemptCount: z.ZodDefault<z.ZodNumber>;
-            finalAttemptCount: z.ZodDefault<z.ZodNumber>;
-            passedVerdictCount: z.ZodDefault<z.ZodNumber>;
-            failedVerdictCount: z.ZodDefault<z.ZodNumber>;
-            retryConsumedCount: z.ZodDefault<z.ZodNumber>;
-        }, z.core.$strict>>;
-        observedReviewWorkers: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
-            source: z.ZodLiteral<"unavailable">;
-            reconciliationStatus: z.ZodLiteral<"unreconciled">;
-            observedExecutionCount: z.ZodNull;
-        }, z.core.$strict>, z.ZodObject<{
-            source: z.ZodLiteral<"host_observed">;
-            reconciliationStatus: z.ZodLiteral<"reconciled">;
-            observedExecutionCount: z.ZodNumber;
-        }, z.core.$strict>], "source">>;
-        orchestration: z.ZodPrefault<z.ZodObject<{
-            passCount: z.ZodDefault<z.ZodNumber>;
-            workerCount: z.ZodDefault<z.ZodNumber>;
-            candidatePassCount: z.ZodDefault<z.ZodNumber>;
-            verifierPassCount: z.ZodDefault<z.ZodNumber>;
-            candidateEligibleCount: z.ZodDefault<z.ZodNumber>;
-            candidateUsedDecisionCount: z.ZodDefault<z.ZodNumber>;
-            candidateSerialRequiredDecisionCount: z.ZodDefault<z.ZodNumber>;
-            skippedCandidateDecisionCount: z.ZodDefault<z.ZodNumber>;
-            latestPasses: z.ZodDefault<z.ZodArray<z.ZodObject<{
-                id: z.ZodString;
-                kind: z.ZodEnum<{
-                    audit: "audit";
-                    candidate: "candidate";
-                    discovery: "discovery";
-                    "implementation-decision": "implementation-decision";
-                    review: "review";
-                    validation: "validation";
-                    verification: "verification";
-                }>;
-                decision: z.ZodOptional<z.ZodEnum<{
-                    "candidate-exact-path": "candidate-exact-path";
-                    "candidate-worktree": "candidate-worktree";
-                    parallel: "parallel";
-                    serial: "serial";
-                    skipped: "skipped";
-                    tournament: "tournament";
-                }>>;
-                decisionReason: z.ZodOptional<z.ZodString>;
-                candidateEligibility: z.ZodDefault<z.ZodEnum<{
-                    eligible: "eligible";
-                    not_eligible: "not_eligible";
-                    unknown: "unknown";
-                }>>;
-                candidateDecision: z.ZodOptional<z.ZodEnum<{
-                    serial_required: "serial_required";
-                    skipped: "skipped";
-                    used: "used";
-                }>>;
-                decisionFactors: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                    independent_surface: "independent_surface";
-                    needs_manager_judgment: "needs_manager_judgment";
-                    overlapping_files: "overlapping_files";
-                    shared_state: "shared_state";
-                    small_slice: "small_slice";
-                    validation_available: "validation_available";
-                }>>>;
-                modes: z.ZodDefault<z.ZodArray<z.ZodEnum<{
-                    audit: "audit";
-                    "candidate-implementation": "candidate-implementation";
-                    evidence: "evidence";
-                    review: "review";
-                    validation: "validation";
-                    verifier: "verifier";
-                }>>>;
-                workerCount: z.ZodDefault<z.ZodNumber>;
-                candidateWorkerCount: z.ZodDefault<z.ZodNumber>;
-                verifierWorkerCount: z.ZodDefault<z.ZodNumber>;
-                sliceIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                dependsOn: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                writeScope: z.ZodDefault<z.ZodEnum<{
-                    "exact-path": "exact-path";
-                    "isolated-worktree": "isolated-worktree";
-                    "manager-serial": "manager-serial";
-                    mixed: "mixed";
-                    none: "none";
-                }>>;
-                handoffRefs: z.ZodDefault<z.ZodArray<z.ZodString>>;
-                verificationStatus: z.ZodDefault<z.ZodEnum<{
-                    downgraded: "downgraded";
-                    failed: "failed";
-                    mixed: "mixed";
-                    "not-needed": "not-needed";
-                    passed: "passed";
-                    pending: "pending";
-                }>>;
-                outcome: z.ZodDefault<z.ZodEnum<{
-                    accepted: "accepted";
-                    modified: "modified";
-                    "not-covered": "not-covered";
-                    partial: "partial";
-                    rejected: "rejected";
-                    superseded: "superseded";
-                }>>;
-                synthesisRef: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>;
-    causal: z.ZodObject<{
-        revision: z.ZodNumber;
-        genesisSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        mutations: z.ZodArray<z.ZodObject<{
-            operationId: z.ZodString;
-            operationKind: z.ZodEnum<{
-                feature_complete: "feature_complete";
-                feature_reset: "feature_reset";
-                plan_approve: "plan_approve";
-                plan_save: "plan_save";
-                review_start: "review_start";
-                run_start: "run_start";
-                session_close: "session_close";
-            }>;
-            requestDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            featureRunId: z.ZodNullable<z.ZodString>;
-            priorMutationDigest: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-            mutationDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            priorRevision: z.ZodNumber;
-            revision: z.ZodNumber;
-            priorSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            currentSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            changedEntity: z.ZodObject<{
-                kind: z.ZodEnum<{
-                    closure: "closure";
-                    evidence: "evidence";
-                    feature: "feature";
-                    plan: "plan";
-                    review: "review";
-                    session: "session";
-                }>;
-                id: z.ZodString;
-            }, z.core.$strict>;
-            changedFields: z.ZodArray<z.ZodString>;
-            blockerDelta: z.ZodObject<{
-                added: z.ZodArray<z.ZodString>;
-                removed: z.ZodArray<z.ZodString>;
-            }, z.core.$strict>;
-            evidenceRefs: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>>;
-            recordedAt: z.ZodString;
-        }, z.core.$strict>>;
-        evidence: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-            evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            featureRunId: z.ZodString;
-            capturedAtRevision: z.ZodNumber;
-            capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            startedAt: z.ZodString;
-            completedAt: z.ZodString;
-            commandClass: z.ZodEnum<{
-                build: "build";
-                format: "format";
-                lint: "lint";
-                other: "other";
-                smoke: "smoke";
-                test: "test";
-                typecheck: "typecheck";
-            }>;
-            exitCode: z.ZodNumber;
-            outputDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            artifactRef: z.ZodOptional<z.ZodObject<{
-                kind: z.ZodLiteral<"restricted_evidence_v1">;
-                digest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-                byteLength: z.ZodNumber;
-            }, z.core.$strict>>;
-            environmentKeys: z.ZodArray<z.ZodString>;
-            kind: z.ZodLiteral<"validation">;
-            commandDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        }, z.core.$strict>, z.ZodObject<{
-            evidenceId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            snapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            sourceDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            featureRunId: z.ZodString;
-            capturedAtRevision: z.ZodNumber;
-            capturedAtSnapshotId: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-            startedAt: z.ZodString;
-            completedAt: z.ZodString;
-            kind: z.ZodLiteral<"review">;
-            attemptId: z.ZodString;
-            assignmentId: z.ZodString;
-            packetDigest: z.ZodPipe<z.ZodString, z.ZodTransform<`sha256:${string}`, string>>;
-        }, z.core.$strict>], "kind">>;
-    }, z.core.$strict>;
-    closure: z.ZodNullable<z.ZodObject<{
-        kind: z.ZodEnum<{
-            abandoned: "abandoned";
-            completed: "completed";
-            deferred: "deferred";
-        }>;
-        summary: z.ZodString;
-        recordedAt: z.ZodString;
-        retryOperationId: z.ZodString;
-    }, z.core.$strict>>;
-    lastError: z.ZodDefault<z.ZodNullable<z.ZodObject<{
-        tool: z.ZodString;
-        summary: z.ZodString;
-        recovery: z.ZodOptional<z.ZodString>;
-        recordedAt: z.ZodString;
-    }, z.core.$strict>>>;
-    timestamps: z.ZodObject<{
-        createdAt: z.ZodString;
-        updatedAt: z.ZodString;
-        completedAt: z.ZodNullable<z.ZodString>;
-    }, z.core.$strict>;
-}, z.core.$strict>, z.ZodTransform<Session, {
-    version: 4;
-    id: import("../domain/session.js").SessionId;
-    goal: string;
-    status: "blocked" | "completed" | "planning" | "ready" | "running";
-    approval: "approved" | "pending";
-    plan: {
-        summary: string;
-        overview: string;
-        requirements: string[];
-        decisions: string[];
-        finalReviewPolicy: "broad" | "detailed";
-        features: {
-            id: import("../domain/session.js").FeatureId;
-            title: string;
-            summary: string;
-            status: "blocked" | "completed" | "in_progress" | "pending";
-            reviewDepth: "detailed" | "quick" | "standard";
-            targets: string[];
-            validation: string[];
-            dependsOn: import("../domain/session.js").FeatureId[];
-        }[];
-    } | null;
-    activeFeatureId: import("../domain/session.js").FeatureId | null;
-    activeFeatureRunId: string | null;
-    featureRuns: {
-        id: string;
-        featureId: import("../domain/session.js").FeatureId;
-        sequence: number;
-        status: "abandoned" | "active" | "blocked" | "completed" | "deferred" | "reset";
-        startedAt: string;
-        endedAt: string | null;
-    }[];
-    reviewAssignments: {
-        id: string;
-        operationId: string;
-        featureRunId: string;
-        featureId: import("../domain/session.js").FeatureId;
-        reviewKind: "feature" | "final";
-        validationScope: "broad" | "targeted";
-        validationEvidenceRefs: `sha256:${string}`[];
-        sourceDigest: `sha256:${string}`;
-        packetDigest: `sha256:${string}`;
-        packetSummary: string;
-        riskLenses: string[];
-        prerequisite: {
-            assignmentId: string;
-            result: {
-                assignmentId: string;
-                verdict: "failed" | "passed";
-                findings: {
-                    taxonomy: "advisory" | "evidence_gap" | "implementation_defect" | "regression_coverage_gap";
-                    subject: string;
-                    requirementOrRisk: string;
-                    evidenceLocator: string;
-                    summary: string;
-                    severity: "advisory" | "blocking";
-                }[];
-                completedAt: string;
-                terminalDisposition: "observed_unsubmitted" | "submitted";
-            };
-            resultDigest: `sha256:${string}`;
-        } | null;
-        attemptId: string;
-        logicalPassId: string;
-        startedAt: string;
-        requiredDepth: "broad" | "detailed" | "quick" | "standard";
-        status: "invalidated" | "observed_unsubmitted" | "pending" | "submitted";
-        completedAt: string | null;
-        invalidatedAt: string | null;
-        invalidationReason: "feature_reset" | "session_abandoned" | "session_deferred" | "source_changed" | null;
-    }[];
-    history: {
-        featureRunId: string;
-        featureId: import("../domain/session.js").FeatureId;
-        status: "blocked" | "completed";
-        summary: string;
-        recordedAt: string;
-        artifactsChanged: {
-            path: string;
-        }[];
-        validationScope: "broad" | "targeted";
-        validationEvidenceRefs: `sha256:${string}`[];
-        reviewAssignmentIds: string[];
-        outcome: {
-            kind: "completed";
-            summary?: string | undefined;
-            resolutionHint?: string | undefined;
-        } | {
-            kind: "blocked";
-            summary: string;
-            resolutionHint?: string | undefined;
-        };
-        orchestrationPasses: {
-            id: string;
-            kind: "audit" | "candidate" | "discovery" | "implementation-decision" | "review" | "validation" | "verification";
-            decision?: "candidate-exact-path" | "candidate-worktree" | "parallel" | "serial" | "skipped" | "tournament" | undefined;
-            decisionReason?: string | undefined;
-            candidateEligibility: "eligible" | "not_eligible" | "unknown";
-            candidateDecision?: "serial_required" | "skipped" | "used" | undefined;
-            decisionFactors: ("independent_surface" | "needs_manager_judgment" | "overlapping_files" | "shared_state" | "small_slice" | "validation_available")[];
-            modes: ("audit" | "candidate-implementation" | "evidence" | "review" | "validation" | "verifier")[];
-            workerCount: number;
-            candidateWorkerCount: number;
-            verifierWorkerCount: number;
-            sliceIds: string[];
-            dependsOn: string[];
-            writeScope: "exact-path" | "isolated-worktree" | "manager-serial" | "mixed" | "none";
-            handoffRefs: string[];
-            verificationStatus: "downgraded" | "failed" | "mixed" | "not-needed" | "passed" | "pending";
-            outcome: "accepted" | "modified" | "not-covered" | "partial" | "rejected" | "superseded";
-            synthesisRef?: string | undefined;
-        }[];
-    }[];
-    budget: {
-        reviewCount: number;
-        failedReviewCount: number;
-        failedReviewAttemptsByFeatureRun: Record<string, number>;
-        reviewExecutions: {
-            assignmentId: string;
-            featureRunId: string;
-            attemptId: string;
-            logicalPassId: string;
-            featureId: import("../domain/session.js").FeatureId;
-            reviewKind: "feature" | "final";
-            reviewSnapshotId: `sha256:${string}`;
-            verdict: "failed" | "passed";
-            startedAt: string;
-            completedAt: string;
-            terminalDisposition: "observed_unsubmitted" | "submitted";
-            findings: {
-                taxonomy: "advisory" | "evidence_gap" | "implementation_defect" | "regression_coverage_gap";
-                subject: string;
-                requirementOrRisk: string;
-                evidenceLocator: string;
-                summary: string;
-                severity: "advisory" | "blocking";
-                fingerprint: string;
-            }[];
-        }[];
-        reviewLifecycle: {
-            featureAttemptCount: number;
-            finalAttemptCount: number;
-            passedVerdictCount: number;
-            failedVerdictCount: number;
-            retryConsumedCount: number;
-        };
-        observedReviewWorkers: {
-            source: "unavailable";
-            reconciliationStatus: "unreconciled";
-            observedExecutionCount: null;
-        } | {
-            source: "host_observed";
-            reconciliationStatus: "reconciled";
-            observedExecutionCount: number;
-        };
-        orchestration: {
-            passCount: number;
-            workerCount: number;
-            candidatePassCount: number;
-            verifierPassCount: number;
-            candidateEligibleCount: number;
-            candidateUsedDecisionCount: number;
-            candidateSerialRequiredDecisionCount: number;
-            skippedCandidateDecisionCount: number;
-            latestPasses: {
-                id: string;
-                kind: "audit" | "candidate" | "discovery" | "implementation-decision" | "review" | "validation" | "verification";
-                decision?: "candidate-exact-path" | "candidate-worktree" | "parallel" | "serial" | "skipped" | "tournament" | undefined;
-                decisionReason?: string | undefined;
-                candidateEligibility: "eligible" | "not_eligible" | "unknown";
-                candidateDecision?: "serial_required" | "skipped" | "used" | undefined;
-                decisionFactors: ("independent_surface" | "needs_manager_judgment" | "overlapping_files" | "shared_state" | "small_slice" | "validation_available")[];
-                modes: ("audit" | "candidate-implementation" | "evidence" | "review" | "validation" | "verifier")[];
-                workerCount: number;
-                candidateWorkerCount: number;
-                verifierWorkerCount: number;
-                sliceIds: string[];
-                dependsOn: string[];
-                writeScope: "exact-path" | "isolated-worktree" | "manager-serial" | "mixed" | "none";
-                handoffRefs: string[];
-                verificationStatus: "downgraded" | "failed" | "mixed" | "not-needed" | "passed" | "pending";
-                outcome: "accepted" | "modified" | "not-covered" | "partial" | "rejected" | "superseded";
-                synthesisRef?: string | undefined;
-            }[];
-        };
-    };
-    causal: {
-        revision: number;
-        genesisSnapshotId: `sha256:${string}`;
-        snapshotId: `sha256:${string}`;
-        mutations: {
-            operationId: string;
-            operationKind: "feature_complete" | "feature_reset" | "plan_approve" | "plan_save" | "review_start" | "run_start" | "session_close";
-            requestDigest: `sha256:${string}`;
-            featureRunId: string | null;
-            priorMutationDigest: `sha256:${string}` | null;
-            mutationDigest: `sha256:${string}`;
-            priorRevision: number;
-            revision: number;
-            priorSnapshotId: `sha256:${string}`;
-            currentSnapshotId: `sha256:${string}`;
-            changedEntity: {
-                kind: "closure" | "evidence" | "feature" | "plan" | "review" | "session";
-                id: string;
-            };
-            changedFields: string[];
-            blockerDelta: {
-                added: string[];
-                removed: string[];
-            };
-            evidenceRefs: `sha256:${string}`[];
-            recordedAt: string;
-        }[];
-        evidence: ({
-            evidenceId: `sha256:${string}`;
-            snapshotId: `sha256:${string}`;
-            sourceDigest: `sha256:${string}`;
-            featureRunId: string;
-            capturedAtRevision: number;
-            capturedAtSnapshotId: `sha256:${string}`;
-            startedAt: string;
-            completedAt: string;
-            commandClass: "build" | "format" | "lint" | "other" | "smoke" | "test" | "typecheck";
-            exitCode: number;
-            outputDigest: `sha256:${string}`;
-            artifactRef?: {
-                kind: "restricted_evidence_v1";
-                digest: `sha256:${string}`;
-                byteLength: number;
-            } | undefined;
-            environmentKeys: string[];
-            kind: "validation";
-            commandDigest: `sha256:${string}`;
-        } | {
-            evidenceId: `sha256:${string}`;
-            snapshotId: `sha256:${string}`;
-            sourceDigest: `sha256:${string}`;
-            featureRunId: string;
-            capturedAtRevision: number;
-            capturedAtSnapshotId: `sha256:${string}`;
-            startedAt: string;
-            completedAt: string;
-            kind: "review";
-            attemptId: string;
-            assignmentId: string;
-            packetDigest: `sha256:${string}`;
-        })[];
-    };
-    closure: {
-        kind: "abandoned" | "completed" | "deferred";
-        summary: string;
-        recordedAt: string;
-        retryOperationId: string;
-    } | null;
-    lastError: {
-        tool: string;
-        summary: string;
-        recovery?: string | undefined;
-        recordedAt: string;
-    } | null;
-    timestamps: {
-        createdAt: string;
-        updatedAt: string;
-        completedAt: string | null;
-    };
-}>>;
-export type { Artifact, BoundReviewPrerequisite, BudgetTelemetry, CausalMutationRecord, CausalState, EvidenceId, EvidenceRecord, ExecutionHistoryEntry, Feature, FeatureReviewDepth, FeatureRun, FeatureRunId, ObservedReviewWorkerLedger, OrchestrationPassRecord, OrchestrationTelemetry, Plan, PlanInput, ReviewAssignment, ReviewAssignmentId, ReviewAssignmentResultInput, ReviewExecution, ReviewExecutionFinding, ReviewExecutionFindingInput, ReviewExecutionInput, ReviewFindingTaxonomy, ReviewLifecycleTelemetry, Session, SnapshotId, } from "../domain/session.js";