mewkit 1.14.1 → 1.16.0

package/dist/visual-plan/domain/schemas.d.ts

@@ -0,0 +1,1492 @@
+/**
+ * `visual-plan/v1` canonical artifact schema (shape + bounded sizes only).
+ *
+ * This module validates STRUCTURE. Cross-reference integrity (dangling refs,
+ * duplicate ids), coverage closure, HTML safety, and source-hash freshness are
+ * separate deterministic passes (`cross-refs.ts`, `coverage.ts`, the sanitizer,
+ * `hashing.ts`) so each can emit an exact JSON path and a stable code.
+ *
+ * `.passthrough()` is used on the top-level object so a future additive field
+ * survives a read→write round-trip; every nested object stays strict.
+ *
+ * Bounds (red-team: agent-native precedent caps depth/count/size) protect the
+ * validator and the Phase-4 renderer from pathological artifacts.
+ */
+import { z } from "zod";
+/** Concrete caps. Generous for real plans, hard ceilings against abuse. */
+export declare const CAPS: {
+    readonly FRAMES: 200;
+    readonly CONNECTORS: 400;
+    readonly ANNOTATIONS: 200;
+    readonly LANES: 40;
+    readonly DOCUMENT_BLOCKS: 100;
+    readonly SURFACES: 50;
+    readonly STATES_PER_SURFACE: 100;
+    readonly SOURCE_REFS: 500;
+    readonly HTML_BYTES: 20000;
+};
+export declare const SURFACE_KINDS: readonly ["browser", "desktop", "mobile", "popover", "panel", "dialog"];
+export declare const CHANGE_MODES: readonly ["current", "target", "unchanged-context"];
+export declare const OMISSION_REASONS: readonly ["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"];
+export declare const REVIEW_STATUSES: readonly ["draft", "feedback-pending", "approved", "stale"];
+declare const CoverageStateSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+    frameIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    omitted: z.ZodOptional<z.ZodObject<{
+        reason: z.ZodEnum<["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"]>;
+        representedBy: z.ZodOptional<z.ZodString>;
+        riskId: z.ZodOptional<z.ZodString>;
+        note: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+        note?: string | undefined;
+        representedBy?: string | undefined;
+        riskId?: string | undefined;
+    }, {
+        reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+        note?: string | undefined;
+        representedBy?: string | undefined;
+        riskId?: string | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    frameIds: string[];
+    sourceRefIds: string[];
+    label?: string | undefined;
+    omitted?: {
+        reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+        note?: string | undefined;
+        representedBy?: string | undefined;
+        riskId?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    label?: string | undefined;
+    frameIds?: string[] | undefined;
+    sourceRefIds?: string[] | undefined;
+    omitted?: {
+        reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+        note?: string | undefined;
+        representedBy?: string | undefined;
+        riskId?: string | undefined;
+    } | undefined;
+}>;
+declare const CoverageSurfaceSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+    states: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+        frameIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        omitted: z.ZodOptional<z.ZodObject<{
+            reason: z.ZodEnum<["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"]>;
+            representedBy: z.ZodOptional<z.ZodString>;
+            riskId: z.ZodOptional<z.ZodString>;
+            note: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        }, {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        frameIds: string[];
+        sourceRefIds: string[];
+        label?: string | undefined;
+        omitted?: {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        } | undefined;
+    }, {
+        id: string;
+        label?: string | undefined;
+        frameIds?: string[] | undefined;
+        sourceRefIds?: string[] | undefined;
+        omitted?: {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        } | undefined;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    states: {
+        id: string;
+        frameIds: string[];
+        sourceRefIds: string[];
+        label?: string | undefined;
+        omitted?: {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        } | undefined;
+    }[];
+    label?: string | undefined;
+}, {
+    id: string;
+    states: {
+        id: string;
+        label?: string | undefined;
+        frameIds?: string[] | undefined;
+        sourceRefIds?: string[] | undefined;
+        omitted?: {
+            reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+            note?: string | undefined;
+            representedBy?: string | undefined;
+            riskId?: string | undefined;
+        } | undefined;
+    }[];
+    label?: string | undefined;
+}>;
+declare const FrameSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodString;
+    surface: z.ZodEnum<["browser", "desktop", "mobile", "popover", "panel", "dialog"]>;
+    laneId: z.ZodString;
+    order: z.ZodNumber;
+    x: z.ZodOptional<z.ZodNumber>;
+    y: z.ZodOptional<z.ZodNumber>;
+    stateKind: z.ZodOptional<z.ZodString>;
+    changeMode: z.ZodEnum<["current", "target", "unchanged-context"]>;
+    coverageStateIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    wireframe: z.ZodObject<{
+        format: z.ZodLiteral<"semantic-html">;
+        html: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        format: "semantic-html";
+        html: string;
+    }, {
+        format: "semantic-html";
+        html: string;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+    label: string;
+    sourceRefIds: string[];
+    laneId: string;
+    order: number;
+    changeMode: "target" | "current" | "unchanged-context";
+    coverageStateIds: string[];
+    wireframe: {
+        format: "semantic-html";
+        html: string;
+    };
+    y?: number | undefined;
+    x?: number | undefined;
+    stateKind?: string | undefined;
+}, {
+    id: string;
+    surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+    label: string;
+    laneId: string;
+    order: number;
+    changeMode: "target" | "current" | "unchanged-context";
+    wireframe: {
+        format: "semantic-html";
+        html: string;
+    };
+    y?: number | undefined;
+    sourceRefIds?: string[] | undefined;
+    x?: number | undefined;
+    stateKind?: string | undefined;
+    coverageStateIds?: string[] | undefined;
+}>;
+export declare const AnnotationSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<["note", "markup"]>;
+    text: z.ZodString;
+    targetId: z.ZodOptional<z.ZodString>;
+    placement: z.ZodOptional<z.ZodEnum<["top", "right", "bottom", "left"]>>;
+    points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        y: number;
+        x: number;
+    }, {
+        y: number;
+        x: number;
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    kind: "note" | "markup";
+    text: string;
+    targetId?: string | undefined;
+    placement?: "top" | "right" | "bottom" | "left" | undefined;
+    points?: {
+        y: number;
+        x: number;
+    }[] | undefined;
+}, {
+    id: string;
+    kind: "note" | "markup";
+    text: string;
+    targetId?: string | undefined;
+    placement?: "top" | "right" | "bottom" | "left" | undefined;
+    points?: {
+        y: number;
+        x: number;
+    }[] | undefined;
+}>;
+export declare const VisualPlanSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"visual-plan/v1">;
+    id: z.ZodString;
+    revision: z.ZodNumber;
+    source: z.ZodObject<{
+        planPath: z.ZodString;
+        planHash: z.ZodString;
+        phaseHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }>;
+    uiCoverage: z.ZodObject<{
+        surfaces: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            states: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodOptional<z.ZodString>;
+                frameIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                omitted: z.ZodOptional<z.ZodObject<{
+                    reason: z.ZodEnum<["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"]>;
+                    representedBy: z.ZodOptional<z.ZodString>;
+                    riskId: z.ZodOptional<z.ZodString>;
+                    note: z.ZodOptional<z.ZodString>;
+                }, "strict", z.ZodTypeAny, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }>>;
+            }, "strict", z.ZodTypeAny, {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }, {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }, {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }>, "many">;
+        /** Author totals are IGNORED — always recomputed from states. Optional here. */
+        summary: z.ZodOptional<z.ZodObject<{
+            total: z.ZodNumber;
+            resolved: z.ZodNumber;
+            planned: z.ZodNumber;
+            omitted: z.ZodNumber;
+            unresolved: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }>;
+    canvas: z.ZodObject<{
+        lanes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }>, "many">;
+        frames: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            surface: z.ZodEnum<["browser", "desktop", "mobile", "popover", "panel", "dialog"]>;
+            laneId: z.ZodString;
+            order: z.ZodNumber;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+            stateKind: z.ZodOptional<z.ZodString>;
+            changeMode: z.ZodEnum<["current", "target", "unchanged-context"]>;
+            coverageStateIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            wireframe: z.ZodObject<{
+                format: z.ZodLiteral<"semantic-html">;
+                html: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                format: "semantic-html";
+                html: string;
+            }, {
+                format: "semantic-html";
+                html: string;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }>, "many">;
+        connectors: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }>, "many">;
+        annotations: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<["note", "markup"]>;
+            text: z.ZodString;
+            targetId: z.ZodOptional<z.ZodString>;
+            placement: z.ZodOptional<z.ZodEnum<["top", "right", "bottom", "left"]>>;
+            points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                x: z.ZodNumber;
+                y: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                y: number;
+                x: number;
+            }, {
+                y: number;
+                x: number;
+            }>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }>;
+    documentBlocks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        body: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }>, "many">>;
+    sourceRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<["code", "plan-requirement"]>;
+        ref: z.ZodString;
+        note: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }>, "many">>;
+    review: z.ZodObject<{
+        status: z.ZodEnum<["draft", "feedback-pending", "approved", "stale"]>;
+        approvedRevision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        approvedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        pendingFeedbackBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision: number | null;
+        approvedAt: string | null;
+        pendingFeedbackBatchIds: string[];
+    }, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision?: number | null | undefined;
+        approvedAt?: string | null | undefined;
+        pendingFeedbackBatchIds?: string[] | undefined;
+    }>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    schemaVersion: z.ZodLiteral<"visual-plan/v1">;
+    id: z.ZodString;
+    revision: z.ZodNumber;
+    source: z.ZodObject<{
+        planPath: z.ZodString;
+        planHash: z.ZodString;
+        phaseHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }>;
+    uiCoverage: z.ZodObject<{
+        surfaces: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            states: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodOptional<z.ZodString>;
+                frameIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                omitted: z.ZodOptional<z.ZodObject<{
+                    reason: z.ZodEnum<["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"]>;
+                    representedBy: z.ZodOptional<z.ZodString>;
+                    riskId: z.ZodOptional<z.ZodString>;
+                    note: z.ZodOptional<z.ZodString>;
+                }, "strict", z.ZodTypeAny, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }>>;
+            }, "strict", z.ZodTypeAny, {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }, {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }, {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }>, "many">;
+        /** Author totals are IGNORED — always recomputed from states. Optional here. */
+        summary: z.ZodOptional<z.ZodObject<{
+            total: z.ZodNumber;
+            resolved: z.ZodNumber;
+            planned: z.ZodNumber;
+            omitted: z.ZodNumber;
+            unresolved: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }>;
+    canvas: z.ZodObject<{
+        lanes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }>, "many">;
+        frames: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            surface: z.ZodEnum<["browser", "desktop", "mobile", "popover", "panel", "dialog"]>;
+            laneId: z.ZodString;
+            order: z.ZodNumber;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+            stateKind: z.ZodOptional<z.ZodString>;
+            changeMode: z.ZodEnum<["current", "target", "unchanged-context"]>;
+            coverageStateIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            wireframe: z.ZodObject<{
+                format: z.ZodLiteral<"semantic-html">;
+                html: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                format: "semantic-html";
+                html: string;
+            }, {
+                format: "semantic-html";
+                html: string;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }>, "many">;
+        connectors: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }>, "many">;
+        annotations: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<["note", "markup"]>;
+            text: z.ZodString;
+            targetId: z.ZodOptional<z.ZodString>;
+            placement: z.ZodOptional<z.ZodEnum<["top", "right", "bottom", "left"]>>;
+            points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                x: z.ZodNumber;
+                y: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                y: number;
+                x: number;
+            }, {
+                y: number;
+                x: number;
+            }>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }>;
+    documentBlocks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        body: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }>, "many">>;
+    sourceRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<["code", "plan-requirement"]>;
+        ref: z.ZodString;
+        note: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }>, "many">>;
+    review: z.ZodObject<{
+        status: z.ZodEnum<["draft", "feedback-pending", "approved", "stale"]>;
+        approvedRevision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        approvedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        pendingFeedbackBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision: number | null;
+        approvedAt: string | null;
+        pendingFeedbackBatchIds: string[];
+    }, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision?: number | null | undefined;
+        approvedAt?: string | null | undefined;
+        pendingFeedbackBatchIds?: string[] | undefined;
+    }>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    schemaVersion: z.ZodLiteral<"visual-plan/v1">;
+    id: z.ZodString;
+    revision: z.ZodNumber;
+    source: z.ZodObject<{
+        planPath: z.ZodString;
+        planHash: z.ZodString;
+        phaseHashes: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }, {
+        planPath: string;
+        planHash: string;
+        phaseHashes: Record<string, string>;
+    }>;
+    uiCoverage: z.ZodObject<{
+        surfaces: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            states: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodOptional<z.ZodString>;
+                frameIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                omitted: z.ZodOptional<z.ZodObject<{
+                    reason: z.ZodEnum<["equivalent-layout", "out-of-scope", "unreachable-after-change", "non-visual-only", "requires-runtime-data", "accepted-risk"]>;
+                    representedBy: z.ZodOptional<z.ZodString>;
+                    riskId: z.ZodOptional<z.ZodString>;
+                    note: z.ZodOptional<z.ZodString>;
+                }, "strict", z.ZodTypeAny, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }, {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                }>>;
+            }, "strict", z.ZodTypeAny, {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }, {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }, {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }>, "many">;
+        /** Author totals are IGNORED — always recomputed from states. Optional here. */
+        summary: z.ZodOptional<z.ZodObject<{
+            total: z.ZodNumber;
+            resolved: z.ZodNumber;
+            planned: z.ZodNumber;
+            omitted: z.ZodNumber;
+            unresolved: z.ZodNumber;
+        }, "strict", z.ZodTypeAny, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }, {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                frameIds: string[];
+                sourceRefIds: string[];
+                label?: string | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }, {
+        surfaces: {
+            id: string;
+            states: {
+                id: string;
+                label?: string | undefined;
+                frameIds?: string[] | undefined;
+                sourceRefIds?: string[] | undefined;
+                omitted?: {
+                    reason: "out-of-scope" | "equivalent-layout" | "unreachable-after-change" | "non-visual-only" | "requires-runtime-data" | "accepted-risk";
+                    note?: string | undefined;
+                    representedBy?: string | undefined;
+                    riskId?: string | undefined;
+                } | undefined;
+            }[];
+            label?: string | undefined;
+        }[];
+        summary?: {
+            planned: number;
+            resolved: number;
+            total: number;
+            omitted: number;
+            unresolved: number;
+        } | undefined;
+    }>;
+    canvas: z.ZodObject<{
+        lanes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            kind: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }, {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }>, "many">;
+        frames: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            surface: z.ZodEnum<["browser", "desktop", "mobile", "popover", "panel", "dialog"]>;
+            laneId: z.ZodString;
+            order: z.ZodNumber;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+            stateKind: z.ZodOptional<z.ZodString>;
+            changeMode: z.ZodEnum<["current", "target", "unchanged-context"]>;
+            coverageStateIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            sourceRefIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            wireframe: z.ZodObject<{
+                format: z.ZodLiteral<"semantic-html">;
+                html: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                format: "semantic-html";
+                html: string;
+            }, {
+                format: "semantic-html";
+                html: string;
+            }>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }, {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }>, "many">;
+        connectors: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }, {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }>, "many">;
+        annotations: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<["note", "markup"]>;
+            text: z.ZodString;
+            targetId: z.ZodOptional<z.ZodString>;
+            placement: z.ZodOptional<z.ZodEnum<["top", "right", "bottom", "left"]>>;
+            points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                x: z.ZodNumber;
+                y: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                y: number;
+                x: number;
+            }, {
+                y: number;
+                x: number;
+            }>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }, {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }>, "many">;
+    }, "strict", z.ZodTypeAny, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            sourceRefIds: string[];
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            coverageStateIds: string[];
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }, {
+        lanes: {
+            id: string;
+            kind?: string | undefined;
+            label?: string | undefined;
+        }[];
+        frames: {
+            id: string;
+            surface: "browser" | "desktop" | "mobile" | "popover" | "panel" | "dialog";
+            label: string;
+            laneId: string;
+            order: number;
+            changeMode: "target" | "current" | "unchanged-context";
+            wireframe: {
+                format: "semantic-html";
+                html: string;
+            };
+            y?: number | undefined;
+            sourceRefIds?: string[] | undefined;
+            x?: number | undefined;
+            stateKind?: string | undefined;
+            coverageStateIds?: string[] | undefined;
+        }[];
+        connectors: {
+            id: string;
+            from: string;
+            to: string;
+            label?: string | undefined;
+        }[];
+        annotations: {
+            id: string;
+            kind: "note" | "markup";
+            text: string;
+            targetId?: string | undefined;
+            placement?: "top" | "right" | "bottom" | "left" | undefined;
+            points?: {
+                y: number;
+                x: number;
+            }[] | undefined;
+        }[];
+    }>;
+    documentBlocks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        body: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }, {
+        id: string;
+        body: string;
+        title?: string | undefined;
+    }>, "many">>;
+    sourceRefs: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<["code", "plan-requirement"]>;
+        ref: z.ZodString;
+        note: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }, {
+        id: string;
+        kind: "code" | "plan-requirement";
+        ref: string;
+        note?: string | undefined;
+    }>, "many">>;
+    review: z.ZodObject<{
+        status: z.ZodEnum<["draft", "feedback-pending", "approved", "stale"]>;
+        approvedRevision: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        approvedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        pendingFeedbackBatchIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision: number | null;
+        approvedAt: string | null;
+        pendingFeedbackBatchIds: string[];
+    }, {
+        status: "stale" | "approved" | "draft" | "feedback-pending";
+        approvedRevision?: number | null | undefined;
+        approvedAt?: string | null | undefined;
+        pendingFeedbackBatchIds?: string[] | undefined;
+    }>;
+}, z.ZodTypeAny, "passthrough">>;
+export type VisualPlan = z.infer<typeof VisualPlanSchema>;
+export type Frame = z.infer<typeof FrameSchema>;
+export type CoverageState = z.infer<typeof CoverageStateSchema>;
+export type CoverageSurface = z.infer<typeof CoverageSurfaceSchema>;
+export type Annotation = z.infer<typeof AnnotationSchema>;
+export {};
+//# sourceMappingURL=schemas.d.ts.map