@ztothez/design-engineering 2.0.0

package/dist/src/contracts/schema.d.ts

@@ -0,0 +1,1038 @@
+import { z } from "zod";
+export declare const productArchetypeSchema: z.ZodEnum<{
+    "operational-dashboard": "operational-dashboard";
+    "ai-workspace": "ai-workspace";
+    "content-site": "content-site";
+    utility: "utility";
+    "full-stack-workflow": "full-stack-workflow";
+}>;
+export declare const productQualityDimensionSchema: z.ZodEnum<{
+    accessibility: "accessibility";
+    "truthful-disclosure": "truthful-disclosure";
+    "information-design": "information-design";
+    "visual-system": "visual-system";
+    "responsive-structure": "responsive-structure";
+    "state-integrity": "state-integrity";
+    maintainability: "maintainability";
+}>;
+export declare const productTaskProfileSchema: z.ZodObject<{
+    archetype: z.ZodEnum<{
+        "operational-dashboard": "operational-dashboard";
+        "ai-workspace": "ai-workspace";
+        "content-site": "content-site";
+        utility: "utility";
+        "full-stack-workflow": "full-stack-workflow";
+    }>;
+    interface: z.ZodEnum<{
+        browser: "browser";
+        desktop: "desktop";
+        "source-only": "source-only";
+    }>;
+    qualityDimensions: z.ZodArray<z.ZodObject<{
+        id: z.ZodEnum<{
+            accessibility: "accessibility";
+            "truthful-disclosure": "truthful-disclosure";
+            "information-design": "information-design";
+            "visual-system": "visual-system";
+            "responsive-structure": "responsive-structure";
+            "state-integrity": "state-integrity";
+            maintainability: "maintainability";
+        }>;
+        status: z.ZodEnum<{
+            required: "required";
+            "not-applicable": "not-applicable";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>>;
+    tasks: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        primary: z.ZodBoolean;
+        actor: z.ZodString;
+        mode: z.ZodString;
+        intent: z.ZodString;
+        start: z.ZodObject<{
+            stateMachine: z.ZodString;
+            state: z.ZodString;
+            observable: z.ZodString;
+        }, z.core.$strict>;
+        success: z.ZodObject<{
+            stateMachine: z.ZodString;
+            state: z.ZodString;
+            observable: z.ZodString;
+            evidence: z.ZodArray<z.ZodEnum<{
+                export: "export";
+                contract: "contract";
+                runtime: "runtime";
+                network: "network";
+                "manual-review": "manual-review";
+            }>>;
+        }, z.core.$strict>;
+        recovery: z.ZodObject<{
+            required: z.ZodBoolean;
+            failure: z.ZodObject<{
+                stateMachine: z.ZodString;
+                state: z.ZodString;
+                observable: z.ZodString;
+            }, z.core.$strict>;
+            observable: z.ZodString;
+        }, z.core.$strict>;
+        journey: z.ZodOptional<z.ZodObject<{
+            profile: z.ZodString;
+            journey: z.ZodString;
+        }, z.core.$strict>>;
+        browser: z.ZodOptional<z.ZodObject<{
+            route: z.ZodString;
+            narrowViewport: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    evidencePolicy: z.ZodObject<{
+        missingEvidence: z.ZodLiteral<"unverified">;
+        failedBehavior: z.ZodLiteral<"failed">;
+        unsupportedCapability: z.ZodLiteral<"limitation">;
+    }, z.core.$strict>;
+    comparison: z.ZodObject<{
+        taskContractId: z.ZodString;
+        crossContractRanking: z.ZodLiteral<false>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const productContractSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    id: z.ZodString;
+    name: z.ZodString;
+    status: z.ZodEnum<{
+        draft: "draft";
+        benchmark: "benchmark";
+        production: "production";
+    }>;
+    purpose: z.ZodString;
+    authority: z.ZodObject<{
+        behavior: z.ZodString;
+        visual: z.ZodString;
+        precedence: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodString;
+            authority: z.ZodEnum<{
+                primary: "primary";
+                supporting: "supporting";
+                historical: "historical";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    actors: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        goals: z.ZodArray<z.ZodString>;
+        responsibilities: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    modes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        purpose: z.ZodString;
+        input: z.ZodString;
+        outputs: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    stateMachines: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        initial: z.ZodString;
+        states: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            category: z.ZodEnum<{
+                error: "error";
+                success: "success";
+                loading: "loading";
+                idle: "idle";
+                fallback: "fallback";
+                terminal: "terminal";
+            }>;
+            userVisible: z.ZodBoolean;
+            requirement: z.ZodString;
+        }, z.core.$strict>>;
+        transitions: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            trigger: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    outputs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        requiredEvidence: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    metrics: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        definition: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        format: z.ZodEnum<{
+            status: "status";
+            percentage: "percentage";
+            duration: "duration";
+            count: "count";
+            text: "text";
+        }>;
+        evidenceRequired: z.ZodBoolean;
+        range: z.ZodOptional<z.ZodObject<{
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    constraints: z.ZodObject<{
+        outOfScope: z.ZodArray<z.ZodString>;
+        prohibitedClaims: z.ZodArray<z.ZodString>;
+        mockData: z.ZodObject<{
+            allowedEnvironments: z.ZodArray<z.ZodEnum<{
+                test: "test";
+                development: "development";
+                demo: "demo";
+            }>>;
+            mustBeLabeled: z.ZodBoolean;
+            prohibitedInProduction: z.ZodBoolean;
+            fallbackDisclosure: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    acceptanceCriteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<{
+            warning: "warning";
+            blocker: "blocker";
+        }>;
+        requirement: z.ZodString;
+        evidence: z.ZodArray<z.ZodEnum<{
+            export: "export";
+            screenshot: "screenshot";
+            contract: "contract";
+            runtime: "runtime";
+            network: "network";
+            accessibility: "accessibility";
+            "manual-review": "manual-review";
+        }>>;
+        appliesToModes: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    verification: z.ZodObject<{
+        journeyFile: z.ZodString;
+        viewports: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            width: z.ZodNumber;
+            height: z.ZodNumber;
+        }, z.core.$strip>>;
+        bindings: z.ZodArray<z.ZodObject<{
+            profile: z.ZodString;
+            journey: z.ZodString;
+            actor: z.ZodString;
+            mode: z.ZodString;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    version: z.ZodLiteral<"1.0">;
+}, z.core.$strict>, z.ZodObject<{
+    benchmark: z.ZodObject<{
+        archetype: z.ZodEnum<{
+            "operational-dashboard": "operational-dashboard";
+            "ai-workspace": "ai-workspace";
+            "content-site": "content-site";
+            utility: "utility";
+            "full-stack-workflow": "full-stack-workflow";
+        }>;
+        interface: z.ZodEnum<{
+            browser: "browser";
+            desktop: "desktop";
+            "source-only": "source-only";
+        }>;
+        qualityDimensions: z.ZodArray<z.ZodObject<{
+            id: z.ZodEnum<{
+                accessibility: "accessibility";
+                "truthful-disclosure": "truthful-disclosure";
+                "information-design": "information-design";
+                "visual-system": "visual-system";
+                "responsive-structure": "responsive-structure";
+                "state-integrity": "state-integrity";
+                maintainability: "maintainability";
+            }>;
+            status: z.ZodEnum<{
+                required: "required";
+                "not-applicable": "not-applicable";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        tasks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            primary: z.ZodBoolean;
+            actor: z.ZodString;
+            mode: z.ZodString;
+            intent: z.ZodString;
+            start: z.ZodObject<{
+                stateMachine: z.ZodString;
+                state: z.ZodString;
+                observable: z.ZodString;
+            }, z.core.$strict>;
+            success: z.ZodObject<{
+                stateMachine: z.ZodString;
+                state: z.ZodString;
+                observable: z.ZodString;
+                evidence: z.ZodArray<z.ZodEnum<{
+                    export: "export";
+                    contract: "contract";
+                    runtime: "runtime";
+                    network: "network";
+                    "manual-review": "manual-review";
+                }>>;
+            }, z.core.$strict>;
+            recovery: z.ZodObject<{
+                required: z.ZodBoolean;
+                failure: z.ZodObject<{
+                    stateMachine: z.ZodString;
+                    state: z.ZodString;
+                    observable: z.ZodString;
+                }, z.core.$strict>;
+                observable: z.ZodString;
+            }, z.core.$strict>;
+            journey: z.ZodOptional<z.ZodObject<{
+                profile: z.ZodString;
+                journey: z.ZodString;
+            }, z.core.$strict>>;
+            browser: z.ZodOptional<z.ZodObject<{
+                route: z.ZodString;
+                narrowViewport: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        evidencePolicy: z.ZodObject<{
+            missingEvidence: z.ZodLiteral<"unverified">;
+            failedBehavior: z.ZodLiteral<"failed">;
+            unsupportedCapability: z.ZodLiteral<"limitation">;
+        }, z.core.$strict>;
+        comparison: z.ZodObject<{
+            taskContractId: z.ZodString;
+            crossContractRanking: z.ZodLiteral<false>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    id: z.ZodString;
+    name: z.ZodString;
+    status: z.ZodEnum<{
+        draft: "draft";
+        benchmark: "benchmark";
+        production: "production";
+    }>;
+    purpose: z.ZodString;
+    authority: z.ZodObject<{
+        behavior: z.ZodString;
+        visual: z.ZodString;
+        precedence: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodString;
+            authority: z.ZodEnum<{
+                primary: "primary";
+                supporting: "supporting";
+                historical: "historical";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    actors: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        goals: z.ZodArray<z.ZodString>;
+        responsibilities: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    modes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        purpose: z.ZodString;
+        input: z.ZodString;
+        outputs: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    stateMachines: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        initial: z.ZodString;
+        states: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            category: z.ZodEnum<{
+                error: "error";
+                success: "success";
+                loading: "loading";
+                idle: "idle";
+                fallback: "fallback";
+                terminal: "terminal";
+            }>;
+            userVisible: z.ZodBoolean;
+            requirement: z.ZodString;
+        }, z.core.$strict>>;
+        transitions: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            trigger: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    outputs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        requiredEvidence: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    metrics: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        definition: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        format: z.ZodEnum<{
+            status: "status";
+            percentage: "percentage";
+            duration: "duration";
+            count: "count";
+            text: "text";
+        }>;
+        evidenceRequired: z.ZodBoolean;
+        range: z.ZodOptional<z.ZodObject<{
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    constraints: z.ZodObject<{
+        outOfScope: z.ZodArray<z.ZodString>;
+        prohibitedClaims: z.ZodArray<z.ZodString>;
+        mockData: z.ZodObject<{
+            allowedEnvironments: z.ZodArray<z.ZodEnum<{
+                test: "test";
+                development: "development";
+                demo: "demo";
+            }>>;
+            mustBeLabeled: z.ZodBoolean;
+            prohibitedInProduction: z.ZodBoolean;
+            fallbackDisclosure: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    acceptanceCriteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<{
+            warning: "warning";
+            blocker: "blocker";
+        }>;
+        requirement: z.ZodString;
+        evidence: z.ZodArray<z.ZodEnum<{
+            export: "export";
+            screenshot: "screenshot";
+            contract: "contract";
+            runtime: "runtime";
+            network: "network";
+            accessibility: "accessibility";
+            "manual-review": "manual-review";
+        }>>;
+        appliesToModes: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    verification: z.ZodObject<{
+        journeyFile: z.ZodString;
+        viewports: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            width: z.ZodNumber;
+            height: z.ZodNumber;
+        }, z.core.$strip>>;
+        bindings: z.ZodArray<z.ZodObject<{
+            profile: z.ZodString;
+            journey: z.ZodString;
+            actor: z.ZodString;
+            mode: z.ZodString;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    version: z.ZodLiteral<"1.1">;
+}, z.core.$strict>, z.ZodObject<{
+    benchmark: z.ZodObject<{
+        archetype: z.ZodEnum<{
+            "operational-dashboard": "operational-dashboard";
+            "ai-workspace": "ai-workspace";
+            "content-site": "content-site";
+            utility: "utility";
+            "full-stack-workflow": "full-stack-workflow";
+        }>;
+        interface: z.ZodEnum<{
+            browser: "browser";
+            desktop: "desktop";
+            "source-only": "source-only";
+        }>;
+        qualityDimensions: z.ZodArray<z.ZodObject<{
+            id: z.ZodEnum<{
+                accessibility: "accessibility";
+                "truthful-disclosure": "truthful-disclosure";
+                "information-design": "information-design";
+                "visual-system": "visual-system";
+                "responsive-structure": "responsive-structure";
+                "state-integrity": "state-integrity";
+                maintainability: "maintainability";
+            }>;
+            status: z.ZodEnum<{
+                required: "required";
+                "not-applicable": "not-applicable";
+            }>;
+            reason: z.ZodString;
+        }, z.core.$strict>>;
+        tasks: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            primary: z.ZodBoolean;
+            actor: z.ZodString;
+            mode: z.ZodString;
+            intent: z.ZodString;
+            start: z.ZodObject<{
+                stateMachine: z.ZodString;
+                state: z.ZodString;
+                observable: z.ZodString;
+            }, z.core.$strict>;
+            success: z.ZodObject<{
+                stateMachine: z.ZodString;
+                state: z.ZodString;
+                observable: z.ZodString;
+                evidence: z.ZodArray<z.ZodEnum<{
+                    export: "export";
+                    contract: "contract";
+                    runtime: "runtime";
+                    network: "network";
+                    "manual-review": "manual-review";
+                }>>;
+            }, z.core.$strict>;
+            recovery: z.ZodObject<{
+                required: z.ZodBoolean;
+                failure: z.ZodObject<{
+                    stateMachine: z.ZodString;
+                    state: z.ZodString;
+                    observable: z.ZodString;
+                }, z.core.$strict>;
+                observable: z.ZodString;
+            }, z.core.$strict>;
+            journey: z.ZodOptional<z.ZodObject<{
+                profile: z.ZodString;
+                journey: z.ZodString;
+            }, z.core.$strict>>;
+            browser: z.ZodOptional<z.ZodObject<{
+                route: z.ZodString;
+                narrowViewport: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        evidencePolicy: z.ZodObject<{
+            missingEvidence: z.ZodLiteral<"unverified">;
+            failedBehavior: z.ZodLiteral<"failed">;
+            unsupportedCapability: z.ZodLiteral<"limitation">;
+        }, z.core.$strict>;
+        comparison: z.ZodObject<{
+            taskContractId: z.ZodString;
+            crossContractRanking: z.ZodLiteral<false>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    id: z.ZodString;
+    name: z.ZodString;
+    status: z.ZodEnum<{
+        draft: "draft";
+        benchmark: "benchmark";
+        production: "production";
+    }>;
+    purpose: z.ZodString;
+    authority: z.ZodObject<{
+        behavior: z.ZodString;
+        visual: z.ZodString;
+        precedence: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            role: z.ZodString;
+            authority: z.ZodEnum<{
+                primary: "primary";
+                supporting: "supporting";
+                historical: "historical";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    actors: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        goals: z.ZodArray<z.ZodString>;
+        responsibilities: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    modes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        purpose: z.ZodString;
+        input: z.ZodString;
+        outputs: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    stateMachines: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        initial: z.ZodString;
+        states: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            category: z.ZodEnum<{
+                error: "error";
+                success: "success";
+                loading: "loading";
+                idle: "idle";
+                fallback: "fallback";
+                terminal: "terminal";
+            }>;
+            userVisible: z.ZodBoolean;
+            requirement: z.ZodString;
+        }, z.core.$strict>>;
+        transitions: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            trigger: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    outputs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        requiredEvidence: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    metrics: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        definition: z.ZodString;
+        sourceOfTruth: z.ZodString;
+        format: z.ZodEnum<{
+            status: "status";
+            percentage: "percentage";
+            duration: "duration";
+            count: "count";
+            text: "text";
+        }>;
+        evidenceRequired: z.ZodBoolean;
+        range: z.ZodOptional<z.ZodObject<{
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    constraints: z.ZodObject<{
+        outOfScope: z.ZodArray<z.ZodString>;
+        prohibitedClaims: z.ZodArray<z.ZodString>;
+        mockData: z.ZodObject<{
+            allowedEnvironments: z.ZodArray<z.ZodEnum<{
+                test: "test";
+                development: "development";
+                demo: "demo";
+            }>>;
+            mustBeLabeled: z.ZodBoolean;
+            prohibitedInProduction: z.ZodBoolean;
+            fallbackDisclosure: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    acceptanceCriteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<{
+            warning: "warning";
+            blocker: "blocker";
+        }>;
+        requirement: z.ZodString;
+        evidence: z.ZodArray<z.ZodEnum<{
+            export: "export";
+            screenshot: "screenshot";
+            contract: "contract";
+            runtime: "runtime";
+            network: "network";
+            accessibility: "accessibility";
+            "manual-review": "manual-review";
+        }>>;
+        appliesToModes: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    verification: z.ZodObject<{
+        journeyFile: z.ZodString;
+        viewports: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            width: z.ZodNumber;
+            height: z.ZodNumber;
+        }, z.core.$strip>>;
+        bindings: z.ZodArray<z.ZodObject<{
+            profile: z.ZodString;
+            journey: z.ZodString;
+            actor: z.ZodString;
+            mode: z.ZodString;
+            acceptanceCriteria: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    version: z.ZodLiteral<"1.2">;
+}, z.core.$strict>], "version">;
+export declare const journeyProfileSchema: z.ZodObject<{
+    id: z.ZodString;
+    name: z.ZodString;
+    environment: z.ZodArray<z.ZodString>;
+    expectedNetwork: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        method: z.ZodString;
+        urlIncludes: z.ZodString;
+        status: z.ZodOptional<z.ZodNumber>;
+        allowRequestFailure: z.ZodOptional<z.ZodBoolean>;
+        minOccurrences: z.ZodNumber;
+        maxOccurrences: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>>;
+    journeys: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        interaction: z.ZodOptional<z.ZodObject<{
+            task: z.ZodString;
+            phases: z.ZodArray<z.ZodEnum<{
+                primary: "primary";
+                recovery: "recovery";
+            }>>;
+            applicableStates: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                error: "error";
+                disconnected: "disconnected";
+                loading: "loading";
+                empty: "empty";
+                partial: "partial";
+                stale: "stale";
+                unauthorized: "unauthorized";
+            }>>>;
+            keyboard: z.ZodOptional<z.ZodBoolean>;
+            export: z.ZodOptional<z.ZodBoolean>;
+            offline: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strict>>;
+        steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            action: z.ZodLiteral<"navigate">;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"setNetwork">;
+            state: z.ZodEnum<{
+                offline: "offline";
+                online: "online";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"click">;
+            selector: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"fill">;
+            selector: z.ZodString;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"press">;
+            selector: z.ZodOptional<z.ZodString>;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"waitFor">;
+            selector: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectVisible">;
+            selector: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectValue">;
+            selector: z.ZodString;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectAttribute">;
+            selector: z.ZodString;
+            name: z.ZodString;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectJson">;
+            selector: z.ZodString;
+            path: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectDownload">;
+            selector: z.ZodString;
+            filenameIncludes: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectResponse">;
+            selector: z.ZodString;
+            urlIncludes: z.ZodString;
+            status: z.ZodNumber;
+            method: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"expectText">;
+            selector: z.ZodString;
+            value: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            action: z.ZodLiteral<"checkpoint">;
+            checkpoint: z.ZodEnum<{
+                error: "error";
+                start: "start";
+                success: "success";
+                failure: "failure";
+                "preserved-state": "preserved-state";
+                keyboard: "keyboard";
+                export: "export";
+                offline: "offline";
+                disconnected: "disconnected";
+                loading: "loading";
+                empty: "empty";
+                partial: "partial";
+                stale: "stale";
+                unauthorized: "unauthorized";
+            }>;
+        }, z.core.$strip>], "action">>;
+        id: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strict>;
+export declare const journeySuiteSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    version: z.ZodLiteral<"1.0">;
+    contract: z.ZodString;
+    profiles: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        environment: z.ZodArray<z.ZodString>;
+        expectedNetwork: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            method: z.ZodString;
+            urlIncludes: z.ZodString;
+            status: z.ZodOptional<z.ZodNumber>;
+            allowRequestFailure: z.ZodOptional<z.ZodBoolean>;
+            minOccurrences: z.ZodNumber;
+            maxOccurrences: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        journeys: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            interaction: z.ZodOptional<z.ZodObject<{
+                task: z.ZodString;
+                phases: z.ZodArray<z.ZodEnum<{
+                    primary: "primary";
+                    recovery: "recovery";
+                }>>;
+                applicableStates: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    error: "error";
+                    disconnected: "disconnected";
+                    loading: "loading";
+                    empty: "empty";
+                    partial: "partial";
+                    stale: "stale";
+                    unauthorized: "unauthorized";
+                }>>>;
+                keyboard: z.ZodOptional<z.ZodBoolean>;
+                export: z.ZodOptional<z.ZodBoolean>;
+                offline: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>;
+            steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                action: z.ZodLiteral<"navigate">;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"setNetwork">;
+                state: z.ZodEnum<{
+                    offline: "offline";
+                    online: "online";
+                }>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"click">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"fill">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"press">;
+                selector: z.ZodOptional<z.ZodString>;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"waitFor">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectVisible">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectValue">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectAttribute">;
+                selector: z.ZodString;
+                name: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectJson">;
+                selector: z.ZodString;
+                path: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectDownload">;
+                selector: z.ZodString;
+                filenameIncludes: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectResponse">;
+                selector: z.ZodString;
+                urlIncludes: z.ZodString;
+                status: z.ZodNumber;
+                method: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectText">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"checkpoint">;
+                checkpoint: z.ZodEnum<{
+                    error: "error";
+                    start: "start";
+                    success: "success";
+                    failure: "failure";
+                    "preserved-state": "preserved-state";
+                    keyboard: "keyboard";
+                    export: "export";
+                    offline: "offline";
+                    disconnected: "disconnected";
+                    loading: "loading";
+                    empty: "empty";
+                    partial: "partial";
+                    stale: "stale";
+                    unauthorized: "unauthorized";
+                }>;
+            }, z.core.$strip>], "action">>;
+            id: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    version: z.ZodLiteral<"1.1">;
+    contract: z.ZodString;
+    profiles: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        name: z.ZodString;
+        environment: z.ZodArray<z.ZodString>;
+        expectedNetwork: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            method: z.ZodString;
+            urlIncludes: z.ZodString;
+            status: z.ZodOptional<z.ZodNumber>;
+            allowRequestFailure: z.ZodOptional<z.ZodBoolean>;
+            minOccurrences: z.ZodNumber;
+            maxOccurrences: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>>;
+        journeys: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            interaction: z.ZodOptional<z.ZodObject<{
+                task: z.ZodString;
+                phases: z.ZodArray<z.ZodEnum<{
+                    primary: "primary";
+                    recovery: "recovery";
+                }>>;
+                applicableStates: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    error: "error";
+                    disconnected: "disconnected";
+                    loading: "loading";
+                    empty: "empty";
+                    partial: "partial";
+                    stale: "stale";
+                    unauthorized: "unauthorized";
+                }>>>;
+                keyboard: z.ZodOptional<z.ZodBoolean>;
+                export: z.ZodOptional<z.ZodBoolean>;
+                offline: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strict>>;
+            steps: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                action: z.ZodLiteral<"navigate">;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"setNetwork">;
+                state: z.ZodEnum<{
+                    offline: "offline";
+                    online: "online";
+                }>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"click">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"fill">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"press">;
+                selector: z.ZodOptional<z.ZodString>;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"waitFor">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectVisible">;
+                selector: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectValue">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectAttribute">;
+                selector: z.ZodString;
+                name: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectJson">;
+                selector: z.ZodString;
+                path: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectDownload">;
+                selector: z.ZodString;
+                filenameIncludes: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectResponse">;
+                selector: z.ZodString;
+                urlIncludes: z.ZodString;
+                status: z.ZodNumber;
+                method: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"expectText">;
+                selector: z.ZodString;
+                value: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                action: z.ZodLiteral<"checkpoint">;
+                checkpoint: z.ZodEnum<{
+                    error: "error";
+                    start: "start";
+                    success: "success";
+                    failure: "failure";
+                    "preserved-state": "preserved-state";
+                    keyboard: "keyboard";
+                    export: "export";
+                    offline: "offline";
+                    disconnected: "disconnected";
+                    loading: "loading";
+                    empty: "empty";
+                    partial: "partial";
+                    stale: "stale";
+                    unauthorized: "unauthorized";
+                }>;
+            }, z.core.$strip>], "action">>;
+            id: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>], "version">;
+export declare const contractIssueSchema: z.ZodObject<{
+    code: z.ZodString;
+    path: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>;
+export declare const contractValidationReportSchema: {
+    version: z.ZodString;
+    contractPath: z.ZodString;
+    journeyPath: z.ZodOptional<z.ZodString>;
+    generatedAt: z.ZodString;
+    contractId: z.ZodOptional<z.ZodString>;
+    counts: z.ZodObject<{
+        actors: z.ZodNumber;
+        modes: z.ZodNumber;
+        acceptanceCriteria: z.ZodNumber;
+        journeyProfiles: z.ZodNumber;
+        journeys: z.ZodNumber;
+    }, z.core.$strip>;
+    taskModel: z.ZodObject<{
+        status: z.ZodEnum<{
+            legacy: "legacy";
+            ready: "ready";
+            invalid: "invalid";
+        }>;
+        archetype: z.ZodOptional<z.ZodEnum<{
+            "operational-dashboard": "operational-dashboard";
+            "ai-workspace": "ai-workspace";
+            "content-site": "content-site";
+            utility: "utility";
+            "full-stack-workflow": "full-stack-workflow";
+        }>>;
+        primaryTasks: z.ZodNumber;
+        recoveryTasks: z.ZodNumber;
+        narrowViewportTasks: z.ZodNumber;
+        evidencePolicy: z.ZodObject<{
+            missingEvidence: z.ZodLiteral<"unverified">;
+            failedBehavior: z.ZodLiteral<"failed">;
+            unsupportedCapability: z.ZodLiteral<"limitation">;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    limitations: z.ZodArray<z.ZodString>;
+    issues: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        path: z.ZodString;
+        message: z.ZodString;
+    }, z.core.$strict>>;
+    passed: z.ZodBoolean;
+};
+export type ProductContract = z.infer<typeof productContractSchema>;
+export type ProductTaskProfile = z.infer<typeof productTaskProfileSchema>;
+export type JourneySuite = z.infer<typeof journeySuiteSchema>;
+export type ContractIssue = z.infer<typeof contractIssueSchema>;
+export type ContractValidationReport = z.infer<z.ZodObject<typeof contractValidationReportSchema>>;