kiokuko-dsh 0.1.0

package/dist/enno-oduno/schemas.d.ts

@@ -0,0 +1,962 @@
+import * as z from 'zod/v4';
+import { type EnnoOdunoContract, type EnnoRequestHandoff, type AdvisoryContribution, type OdunoIdeal, type OdunoMeditation, type VerifierSpec, type WorkPlan, type WorkReportResult } from './types.js';
+export declare const verifierSpecSchema: z.ZodObject<{
+    cwd: z.ZodString;
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        build: "build";
+        custom: "custom";
+        test: "test";
+        typecheck: "typecheck";
+        lint: "lint";
+    }>;
+    executable: z.ZodString;
+    args: z.ZodArray<z.ZodString>;
+    timeoutMs: z.ZodNumber;
+}, z.core.$strict>;
+export declare const submissionVerifierSpecSchema: z.ZodObject<{
+    cwd: z.ZodString;
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        build: "build";
+        custom: "custom";
+        test: "test";
+        typecheck: "typecheck";
+        lint: "lint";
+    }>;
+    executable: z.ZodString;
+    args: z.ZodArray<z.ZodString>;
+    timeoutMs: z.ZodNumber;
+}, z.core.$strict>;
+export declare const expertRefSchema: z.ZodObject<{
+    id: z.ZodEnum<{
+        "ui.interaction.v1": "ui.interaction.v1";
+        "ui.async.v1": "ui.async.v1";
+        "ui.forms.v1": "ui.forms.v1";
+        "ui.accessibility.v1": "ui.accessibility.v1";
+        "ui.layout.v1": "ui.layout.v1";
+        "ui.safety.v1": "ui.safety.v1";
+        "code.boundary.v1": "code.boundary.v1";
+        "code.domain.v1": "code.domain.v1";
+        "code.effects.v1": "code.effects.v1";
+        "code.protocol.v1": "code.protocol.v1";
+        "code.verification.v1": "code.verification.v1";
+        "code.modeling.v1": "code.modeling.v1";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+export declare const workUnitSchema: z.ZodObject<{
+    id: z.ZodString;
+    objective: z.ZodString;
+    scope: z.ZodArray<z.ZodString>;
+    dependencies: z.ZodArray<z.ZodString>;
+    skillNames: z.ZodArray<z.ZodString>;
+    expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodEnum<{
+            "ui.interaction.v1": "ui.interaction.v1";
+            "ui.async.v1": "ui.async.v1";
+            "ui.forms.v1": "ui.forms.v1";
+            "ui.accessibility.v1": "ui.accessibility.v1";
+            "ui.layout.v1": "ui.layout.v1";
+            "ui.safety.v1": "ui.safety.v1";
+            "code.boundary.v1": "code.boundary.v1";
+            "code.domain.v1": "code.domain.v1";
+            "code.effects.v1": "code.effects.v1";
+            "code.protocol.v1": "code.protocol.v1";
+            "code.verification.v1": "code.verification.v1";
+            "code.modeling.v1": "code.modeling.v1";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>>;
+    acceptanceCriteria: z.ZodArray<z.ZodString>;
+    focusedVerifiers: z.ZodArray<z.ZodObject<{
+        cwd: z.ZodString;
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            build: "build";
+            custom: "custom";
+            test: "test";
+            typecheck: "typecheck";
+            lint: "lint";
+        }>;
+        executable: z.ZodString;
+        args: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodNumber;
+    }, z.core.$strict>>;
+    routes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+        code: "code";
+        docs: "docs";
+        test: "test";
+        ui: "ui";
+        operations: "operations";
+    }>>>;
+}, z.core.$strict>;
+export declare const workPlanSchema: z.ZodObject<{
+    objective: z.ZodString;
+    units: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        objective: z.ZodString;
+        scope: z.ZodArray<z.ZodString>;
+        dependencies: z.ZodArray<z.ZodString>;
+        skillNames: z.ZodArray<z.ZodString>;
+        expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodEnum<{
+                "ui.interaction.v1": "ui.interaction.v1";
+                "ui.async.v1": "ui.async.v1";
+                "ui.forms.v1": "ui.forms.v1";
+                "ui.accessibility.v1": "ui.accessibility.v1";
+                "ui.layout.v1": "ui.layout.v1";
+                "ui.safety.v1": "ui.safety.v1";
+                "code.boundary.v1": "code.boundary.v1";
+                "code.domain.v1": "code.domain.v1";
+                "code.effects.v1": "code.effects.v1";
+                "code.protocol.v1": "code.protocol.v1";
+                "code.verification.v1": "code.verification.v1";
+                "code.modeling.v1": "code.modeling.v1";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>>;
+        acceptanceCriteria: z.ZodArray<z.ZodString>;
+        focusedVerifiers: z.ZodArray<z.ZodObject<{
+            cwd: z.ZodString;
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                build: "build";
+                custom: "custom";
+                test: "test";
+                typecheck: "typecheck";
+                lint: "lint";
+            }>;
+            executable: z.ZodString;
+            args: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>>;
+        routes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+            code: "code";
+            docs: "docs";
+            test: "test";
+            ui: "ui";
+            operations: "operations";
+        }>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const submissionWorkPlanSchema: z.ZodObject<{
+    objective: z.ZodString;
+    units: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        objective: z.ZodString;
+        scope: z.ZodArray<z.ZodString>;
+        dependencies: z.ZodArray<z.ZodString>;
+        skillNames: z.ZodArray<z.ZodString>;
+        expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodEnum<{
+                "ui.interaction.v1": "ui.interaction.v1";
+                "ui.async.v1": "ui.async.v1";
+                "ui.forms.v1": "ui.forms.v1";
+                "ui.accessibility.v1": "ui.accessibility.v1";
+                "ui.layout.v1": "ui.layout.v1";
+                "ui.safety.v1": "ui.safety.v1";
+                "code.boundary.v1": "code.boundary.v1";
+                "code.domain.v1": "code.domain.v1";
+                "code.effects.v1": "code.effects.v1";
+                "code.protocol.v1": "code.protocol.v1";
+                "code.verification.v1": "code.verification.v1";
+                "code.modeling.v1": "code.modeling.v1";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>>;
+        acceptanceCriteria: z.ZodArray<z.ZodString>;
+        focusedVerifiers: z.ZodArray<z.ZodObject<{
+            cwd: z.ZodString;
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                build: "build";
+                custom: "custom";
+                test: "test";
+                typecheck: "typecheck";
+                lint: "lint";
+            }>;
+            executable: z.ZodString;
+            args: z.ZodArray<z.ZodString>;
+            timeoutMs: z.ZodNumber;
+        }, z.core.$strict>>;
+        routes: z.ZodArray<z.ZodEnum<{
+            code: "code";
+            docs: "docs";
+            test: "test";
+            ui: "ui";
+            operations: "operations";
+        }>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const acceptanceCriterionSchema: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+}, z.core.$strict>;
+export declare const skillRequirementSchema: z.ZodObject<{
+    name: z.ZodString;
+    purposes: z.ZodArray<z.ZodEnum<{
+        review: "review";
+        implementation: "implementation";
+        testing: "testing";
+        planning: "planning";
+        ui: "ui";
+        operations: "operations";
+    }>>;
+    required: z.ZodBoolean;
+}, z.core.$strict>;
+declare function parseStoredAdvisoryContribution(input: unknown): AdvisoryContribution;
+export { parseStoredAdvisoryContribution };
+export declare const advisoryContributionSchemaPublic: z.ZodUnion<readonly [z.ZodObject<{
+    slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+        [x: string]: string;
+    }>>;
+    outcome: z.ZodLiteral<"completed">;
+    summary: z.ZodString;
+    recommendations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    risks: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    evidence: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        statement: z.ZodString;
+    }, z.core.$strict>>>;
+}, z.core.$strict>, z.ZodObject<{
+    slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+        [x: string]: string;
+    }>>;
+    outcome: z.ZodEnum<{
+        timeout: "timeout";
+        unavailable: "unavailable";
+        failed: "failed";
+    }>;
+    reasonCode: z.ZodEnum<{
+        invalid_response: "invalid_response";
+        unsafe_output: "unsafe_output";
+        host_read_only_unavailable: "host_read_only_unavailable";
+        host_execution_failed: "host_execution_failed";
+        host_timeout: "host_timeout";
+    }>;
+}, z.core.$strict>]>;
+export declare const adviceSubmissionSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    mutationRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    phase: z.ZodEnum<{
+        ideal: "ideal";
+        planning: "planning";
+        final_review: "final_review";
+    }>;
+    allowlistedContext: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        phase: z.ZodLiteral<"ideal">;
+        objective: z.ZodString;
+        constraints: z.ZodArray<z.ZodString>;
+        expectedOutcome: z.ZodString;
+        successSignals: z.ZodArray<z.ZodString>;
+        skillTrust: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            source: z.ZodEnum<{
+                unavailable: "unavailable";
+                local: "local";
+                imported_fresh: "imported_fresh";
+                external_reference: "external_reference";
+            }>;
+            required: z.ZodBoolean;
+            trustStatus: z.ZodEnum<{
+                unavailable: "unavailable";
+                available: "available";
+                reference_only: "reference_only";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        phase: z.ZodLiteral<"planning">;
+        idealObjective: z.ZodString;
+        acceptanceCriteria: z.ZodArray<z.ZodString>;
+        planningConstraints: z.ZodArray<z.ZodString>;
+        skillAvailability: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            source: z.ZodEnum<{
+                unavailable: "unavailable";
+                local: "local";
+                imported_fresh: "imported_fresh";
+                external_reference: "external_reference";
+            }>;
+            required: z.ZodBoolean;
+            trustStatus: z.ZodEnum<{
+                unavailable: "unavailable";
+                available: "available";
+                reference_only: "reference_only";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        phase: z.ZodLiteral<"final_review">;
+        workPlanSummary: z.ZodString;
+        acceptanceCriteria: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodString;
+        }, z.core.$strict>>;
+        workUnitOutcomes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            objective: z.ZodString;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+            routes: z.ZodArray<z.ZodEnum<{
+                code: "code";
+                docs: "docs";
+                test: "test";
+                ui: "ui";
+                operations: "operations";
+            }>>;
+            status: z.ZodEnum<{
+                completed: "completed";
+                failed: "failed";
+                blocked: "blocked";
+            }>;
+            summary: z.ZodString;
+            mutated: z.ZodBoolean;
+            changedPaths: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        changedPaths: z.ZodArray<z.ZodString>;
+        verifierEvidence: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                build: "build";
+                custom: "custom";
+                test: "test";
+                typecheck: "typecheck";
+                lint: "lint";
+            }>;
+            executable: z.ZodString;
+            args: z.ZodArray<z.ZodString>;
+            directory: z.ZodString;
+            timeoutMs: z.ZodNumber;
+            status: z.ZodEnum<{
+                timeout: "timeout";
+                failed: "failed";
+                passed: "passed";
+                spawn_failed: "spawn_failed";
+            }>;
+            exitCode: z.ZodNullable<z.ZodNumber>;
+            signal: z.ZodNullable<z.ZodString>;
+            stdoutDigest: z.ZodString;
+            stderrDigest: z.ZodString;
+            stdoutPreview: z.ZodString;
+            stderrPreview: z.ZodString;
+            repositoryStatePolicyVersion: z.ZodNullable<z.ZodNumber>;
+            repositoryStateDigest: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>>;
+        freshnessMarker: z.ZodString;
+        evidenceSetDigest: z.ZodString;
+        repositoryStateDigest: z.ZodString;
+        evidenceFreshnessPolicyVersion: z.ZodNumber;
+    }, z.core.$strict>], "phase">;
+    contributions: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        outcome: z.ZodLiteral<"completed">;
+        summary: z.ZodString;
+        recommendations: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        risks: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        evidence: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            statement: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        outcome: z.ZodEnum<{
+            timeout: "timeout";
+            unavailable: "unavailable";
+            failed: "failed";
+        }>;
+        reasonCode: z.ZodEnum<{
+            invalid_response: "invalid_response";
+            unsafe_output: "unsafe_output";
+            host_read_only_unavailable: "host_read_only_unavailable";
+            host_execution_failed: "host_execution_failed";
+            host_timeout: "host_timeout";
+        }>;
+    }, z.core.$strict>]>>;
+}, z.core.$strict>;
+export declare const adviceReadSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    advisoryRoundDigest: z.ZodString;
+}, z.core.$strict>;
+export declare const ennoContractSchema: z.ZodObject<{
+    revision: z.ZodNumber;
+    scope: z.ZodArray<z.ZodString>;
+    exclusions: z.ZodArray<z.ZodString>;
+    acceptanceCriteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+    }, z.core.$strict>>;
+    workPlan: z.ZodUnion<readonly [z.ZodObject<{
+        objective: z.ZodString;
+        units: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            objective: z.ZodString;
+            scope: z.ZodArray<z.ZodString>;
+            dependencies: z.ZodArray<z.ZodString>;
+            skillNames: z.ZodArray<z.ZodString>;
+            expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodEnum<{
+                    "ui.interaction.v1": "ui.interaction.v1";
+                    "ui.async.v1": "ui.async.v1";
+                    "ui.forms.v1": "ui.forms.v1";
+                    "ui.accessibility.v1": "ui.accessibility.v1";
+                    "ui.layout.v1": "ui.layout.v1";
+                    "ui.safety.v1": "ui.safety.v1";
+                    "code.boundary.v1": "code.boundary.v1";
+                    "code.domain.v1": "code.domain.v1";
+                    "code.effects.v1": "code.effects.v1";
+                    "code.protocol.v1": "code.protocol.v1";
+                    "code.verification.v1": "code.verification.v1";
+                    "code.modeling.v1": "code.modeling.v1";
+                }>;
+                reason: z.ZodString;
+            }, z.core.$strict>>>;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+            focusedVerifiers: z.ZodArray<z.ZodObject<{
+                cwd: z.ZodString;
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    build: "build";
+                    custom: "custom";
+                    test: "test";
+                    typecheck: "typecheck";
+                    lint: "lint";
+                }>;
+                executable: z.ZodString;
+                args: z.ZodArray<z.ZodString>;
+                timeoutMs: z.ZodNumber;
+            }, z.core.$strict>>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                code: "code";
+                docs: "docs";
+                test: "test";
+                ui: "ui";
+                operations: "operations";
+            }>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        objective: z.ZodString;
+        units: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            objective: z.ZodString;
+            scope: z.ZodArray<z.ZodString>;
+            dependencies: z.ZodArray<z.ZodString>;
+            skillNames: z.ZodArray<z.ZodString>;
+            expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodEnum<{
+                    "ui.interaction.v1": "ui.interaction.v1";
+                    "ui.async.v1": "ui.async.v1";
+                    "ui.forms.v1": "ui.forms.v1";
+                    "ui.accessibility.v1": "ui.accessibility.v1";
+                    "ui.layout.v1": "ui.layout.v1";
+                    "ui.safety.v1": "ui.safety.v1";
+                    "code.boundary.v1": "code.boundary.v1";
+                    "code.domain.v1": "code.domain.v1";
+                    "code.effects.v1": "code.effects.v1";
+                    "code.protocol.v1": "code.protocol.v1";
+                    "code.verification.v1": "code.verification.v1";
+                    "code.modeling.v1": "code.modeling.v1";
+                }>;
+                reason: z.ZodString;
+            }, z.core.$strict>>>;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+            focusedVerifiers: z.ZodArray<z.ZodObject<{
+                cwd: z.ZodString;
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    build: "build";
+                    custom: "custom";
+                    test: "test";
+                    typecheck: "typecheck";
+                    lint: "lint";
+                }>;
+                executable: z.ZodString;
+                args: z.ZodArray<z.ZodString>;
+                timeoutMs: z.ZodNumber;
+            }, z.core.$strict>>;
+            routes: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                code: "code";
+                docs: "docs";
+                test: "test";
+                ui: "ui";
+                operations: "operations";
+            }>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>]>;
+    skillSet: z.ZodObject<{
+        entries: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            purposes: z.ZodArray<z.ZodEnum<{
+                review: "review";
+                implementation: "implementation";
+                testing: "testing";
+                planning: "planning";
+                ui: "ui";
+                operations: "operations";
+            }>>;
+            required: z.ZodBoolean;
+            availability: z.ZodEnum<{
+                unavailable: "unavailable";
+                local: "local";
+                imported_fresh: "imported_fresh";
+                external_reference: "external_reference";
+            }>;
+            referenceId: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>>;
+        intakeDiscovery: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            mode: z.ZodEnum<{
+                off: "off";
+                official: "official";
+                community: "community";
+            }>;
+            requirements: z.ZodArray<z.ZodString>;
+            queries: z.ZodArray<z.ZodString>;
+            cacheHits: z.ZodNumber;
+            candidates: z.ZodNumber;
+            selected: z.ZodArray<z.ZodObject<{
+                skillId: z.ZodString;
+                name: z.ZodString;
+                source: z.ZodString;
+                officialStatus: z.ZodEnum<{
+                    unknown: "unknown";
+                    curated: "curated";
+                    "catalog-verified": "catalog-verified";
+                    "owner-verified": "owner-verified";
+                    "registry-only": "registry-only";
+                }>;
+                imported: z.ZodBoolean;
+                updated: z.ZodBoolean;
+            }, z.core.$strict>>;
+            failures: z.ZodArray<z.ZodObject<{
+                stage: z.ZodEnum<{
+                    search: "search";
+                    source: "source";
+                    validation: "validation";
+                    persistence: "persistence";
+                }>;
+                code: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        zenkiDiscovery: z.ZodObject<{
+            attempted: z.ZodBoolean;
+            mode: z.ZodEnum<{
+                off: "off";
+                official: "official";
+                community: "community";
+            }>;
+            requirements: z.ZodArray<z.ZodString>;
+            queries: z.ZodArray<z.ZodString>;
+            cacheHits: z.ZodNumber;
+            candidates: z.ZodNumber;
+            selected: z.ZodArray<z.ZodObject<{
+                skillId: z.ZodString;
+                name: z.ZodString;
+                source: z.ZodString;
+                officialStatus: z.ZodEnum<{
+                    unknown: "unknown";
+                    curated: "curated";
+                    "catalog-verified": "catalog-verified";
+                    "owner-verified": "owner-verified";
+                    "registry-only": "registry-only";
+                }>;
+                imported: z.ZodBoolean;
+                updated: z.ZodBoolean;
+            }, z.core.$strict>>;
+            failures: z.ZodArray<z.ZodObject<{
+                stage: z.ZodEnum<{
+                    search: "search";
+                    source: "source";
+                    validation: "validation";
+                    persistence: "persistence";
+                }>;
+                code: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    finalVerifiers: z.ZodArray<z.ZodObject<{
+        cwd: z.ZodString;
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            build: "build";
+            custom: "custom";
+            test: "test";
+            typecheck: "typecheck";
+            lint: "lint";
+        }>;
+        executable: z.ZodString;
+        args: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodNumber;
+    }, z.core.$strict>>;
+    maxAttempts: z.ZodNumber;
+    provenance: z.ZodObject<{
+        scope: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        exclusions: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        acceptanceCriteria: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        workPlan: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        skillSet: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        finalVerifiers: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        maxAttempts: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const ennoRequestHandoffSchema: z.ZodObject<{
+    sourceRole: z.ZodLiteral<"enno-oduno">;
+    taskType: z.ZodEnum<{
+        build: "build";
+        debug: "debug";
+        review: "review";
+        devops: "devops";
+    }>;
+    objective: z.ZodString;
+    target: z.ZodNullable<z.ZodString>;
+    expected: z.ZodNullable<z.ZodString>;
+    constraints: z.ZodArray<z.ZodString>;
+    verification: z.ZodArray<z.ZodString>;
+    stopConditions: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const odunoIdealSchema: z.ZodObject<{
+    objective: z.ZodString;
+    principles: z.ZodArray<z.ZodString>;
+    skillContributions: z.ZodArray<z.ZodObject<{
+        skillName: z.ZodString;
+        contribution: z.ZodString;
+    }, z.core.$strict>>;
+    successSignals: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const odunoMeditationSchema: z.ZodObject<{
+    summary: z.ZodString;
+    inspectedPaths: z.ZodArray<z.ZodString>;
+    deletionCandidates: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            function: "function";
+            test: "test";
+        }>;
+        path: z.ZodString;
+        name: z.ZodString;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const idealSubmissionSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    advisoryRoundDigest: z.ZodOptional<z.ZodString>;
+    advisoryDisposition: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        disposition: z.ZodEnum<{
+            unavailable: "unavailable";
+            adopted: "adopted";
+            not_adopted: "not_adopted";
+        }>;
+        rationale: z.ZodString;
+    }, z.core.$strict>>>;
+    ideal: z.ZodObject<{
+        objective: z.ZodString;
+        principles: z.ZodArray<z.ZodString>;
+        skillContributions: z.ZodArray<z.ZodObject<{
+            skillName: z.ZodString;
+            contribution: z.ZodString;
+        }, z.core.$strict>>;
+        successSignals: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const planSubmissionSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    advisoryRoundDigest: z.ZodOptional<z.ZodString>;
+    advisoryDisposition: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        disposition: z.ZodEnum<{
+            unavailable: "unavailable";
+            adopted: "adopted";
+            not_adopted: "not_adopted";
+        }>;
+        rationale: z.ZodString;
+    }, z.core.$strict>>>;
+    scope: z.ZodArray<z.ZodString>;
+    exclusions: z.ZodArray<z.ZodString>;
+    acceptanceCriteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+    }, z.core.$strict>>;
+    workPlan: z.ZodObject<{
+        objective: z.ZodString;
+        units: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            objective: z.ZodString;
+            scope: z.ZodArray<z.ZodString>;
+            dependencies: z.ZodArray<z.ZodString>;
+            skillNames: z.ZodArray<z.ZodString>;
+            expertRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                id: z.ZodEnum<{
+                    "ui.interaction.v1": "ui.interaction.v1";
+                    "ui.async.v1": "ui.async.v1";
+                    "ui.forms.v1": "ui.forms.v1";
+                    "ui.accessibility.v1": "ui.accessibility.v1";
+                    "ui.layout.v1": "ui.layout.v1";
+                    "ui.safety.v1": "ui.safety.v1";
+                    "code.boundary.v1": "code.boundary.v1";
+                    "code.domain.v1": "code.domain.v1";
+                    "code.effects.v1": "code.effects.v1";
+                    "code.protocol.v1": "code.protocol.v1";
+                    "code.verification.v1": "code.verification.v1";
+                    "code.modeling.v1": "code.modeling.v1";
+                }>;
+                reason: z.ZodString;
+            }, z.core.$strict>>>;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+            focusedVerifiers: z.ZodArray<z.ZodObject<{
+                cwd: z.ZodString;
+                id: z.ZodString;
+                kind: z.ZodEnum<{
+                    build: "build";
+                    custom: "custom";
+                    test: "test";
+                    typecheck: "typecheck";
+                    lint: "lint";
+                }>;
+                executable: z.ZodString;
+                args: z.ZodArray<z.ZodString>;
+                timeoutMs: z.ZodNumber;
+            }, z.core.$strict>>;
+            routes: z.ZodArray<z.ZodEnum<{
+                code: "code";
+                docs: "docs";
+                test: "test";
+                ui: "ui";
+                operations: "operations";
+            }>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    skillRequirements: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        purposes: z.ZodArray<z.ZodEnum<{
+            review: "review";
+            implementation: "implementation";
+            testing: "testing";
+            planning: "planning";
+            ui: "ui";
+            operations: "operations";
+        }>>;
+        required: z.ZodBoolean;
+    }, z.core.$strict>>;
+    finalVerifiers: z.ZodArray<z.ZodObject<{
+        cwd: z.ZodString;
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            build: "build";
+            custom: "custom";
+            test: "test";
+            typecheck: "typecheck";
+            lint: "lint";
+        }>;
+        executable: z.ZodString;
+        args: z.ZodArray<z.ZodString>;
+        timeoutMs: z.ZodNumber;
+    }, z.core.$strict>>;
+    maxAttempts: z.ZodDefault<z.ZodNumber>;
+    provenance: z.ZodObject<{
+        scope: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        exclusions: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        acceptanceCriteria: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        workPlan: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        skillSet: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        finalVerifiers: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+        maxAttempts: z.ZodEnum<{
+            explicit_user: "explicit_user";
+            repository_evidence: "repository_evidence";
+            inferred: "inferred";
+        }>;
+    }, z.core.$strict>;
+    recoveryAction: z.ZodOptional<z.ZodEnum<{
+        continue_same_plan: "continue_same_plan";
+        revise_plan: "revise_plan";
+    }>>;
+    capabilities: z.ZodOptional<z.ZodArray<z.ZodUnknown>>;
+}, z.core.$strict>;
+export declare const ennoAnswerSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    action: z.ZodEnum<{
+        approve: "approve";
+        revise: "revise";
+        cancel: "cancel";
+    }>;
+    requestedChanges: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export declare const workReportSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    leaseToken: z.ZodOptional<z.ZodString>;
+    routeEpoch: z.ZodOptional<z.ZodNumber>;
+    workUnitId: z.ZodString;
+    result: z.ZodObject<{
+        outcome: z.ZodEnum<{
+            completed: "completed";
+            failed: "failed";
+            blocked: "blocked";
+        }>;
+        summary: z.ZodString;
+        mutated: z.ZodBoolean;
+        changedPaths: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const finishSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    advisoryRoundDigest: z.ZodOptional<z.ZodString>;
+    advisoryDisposition: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        slotId: z.ZodPipe<z.ZodString, z.ZodEnum<{
+            [x: string]: string;
+        }>>;
+        disposition: z.ZodEnum<{
+            unavailable: "unavailable";
+            adopted: "adopted";
+            not_adopted: "not_adopted";
+        }>;
+        rationale: z.ZodString;
+    }, z.core.$strict>>>;
+    review: z.ZodObject<{
+        decision: z.ZodEnum<{
+            accept: "accept";
+            replan: "replan";
+        }>;
+        summary: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const verificationPrepareSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+}, z.core.$strict>;
+export declare const meditationSubmissionSchema: z.ZodObject<{
+    runId: z.ZodString;
+    workspace: z.ZodOptional<z.ZodString>;
+    orchestrationId: z.ZodOptional<z.ZodString>;
+    resumeToken: z.ZodOptional<z.ZodString>;
+    expectedRevision: z.ZodNumber;
+    idempotencyKey: z.ZodString;
+    meditation: z.ZodObject<{
+        summary: z.ZodString;
+        inspectedPaths: z.ZodArray<z.ZodString>;
+        deletionCandidates: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                function: "function";
+                test: "test";
+            }>;
+            path: z.ZodString;
+            name: z.ZodString;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare function parseWorkPlan(input: unknown): WorkPlan;
+export declare function parseEnnoContract(input: unknown): EnnoOdunoContract;
+export declare function parseEnnoRequestHandoff(input: unknown): EnnoRequestHandoff;
+export declare function parseOdunoIdeal(input: unknown): OdunoIdeal;
+export declare function parseOdunoMeditation(input: unknown): OdunoMeditation;
+export declare function parseVerifierSpec(input: unknown): VerifierSpec;
+export declare function parseWorkReportResult(input: unknown): WorkReportResult;
+export declare function parsePlanSubmission(input: unknown): z.infer<typeof planSubmissionSchema>;
+export declare function parseAdviceSubmission(input: unknown): z.infer<typeof adviceSubmissionSchema>;
+export declare function parseAdviceRead(input: unknown): z.infer<typeof adviceReadSchema>;
+export declare function parseIdealSubmission(input: unknown): z.infer<typeof idealSubmissionSchema>;
+export declare function parseEnnoAnswer(input: unknown): z.infer<typeof ennoAnswerSchema>;
+export declare function parseWorkReport(input: unknown): z.infer<typeof workReportSchema>;
+export declare function parseFinishRequest(input: unknown): z.infer<typeof finishSchema>;
+export declare function parseVerificationPrepare(input: unknown): z.infer<typeof verificationPrepareSchema>;
+export declare function parseMeditationSubmission(input: unknown): z.infer<typeof meditationSubmissionSchema>;
+export declare function assertVerifierCwd(repositoryRoot: string, verifier: VerifierSpec): void;
+export declare function assertContractVerifierCwds(repositoryRoot: string, contract: Pick<EnnoOdunoContract, 'workPlan' | 'finalVerifiers'>): void;
+//# sourceMappingURL=schemas.d.ts.map