@mquan/mochi 0.1.2 → 1.0.0

package/dist/shared/diagram-spec.d.ts

@@ -1,899 +1,347 @@
 import { z } from "zod";
-export declare const LensSchema: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
-export declare const CodeAnchorSchema: z.ZodEffects<z.ZodObject<{
+export declare const LensSchema: z.ZodEnum<{
+    flow: "flow";
+    architecture: "architecture";
+    protocol: "protocol";
+}>;
+export declare const CodeAnchorSchema: z.ZodObject<{
     file: z.ZodString;
     range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-}, "strip", z.ZodTypeAny, {
-    file: string;
-    range: [number, number];
-}, {
-    file: string;
-    range: [number, number];
-}>, {
-    file: string;
-    range: [number, number];
-}, {
-    file: string;
-    range: [number, number];
-}>;
+}, z.core.$strip>;
 export declare const ScopeSchema: z.ZodObject<{
-    files: z.ZodArray<z.ZodString, "many">;
+    files: z.ZodArray<z.ZodString>;
     intent: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    files: string[];
-    intent?: string | undefined;
-}, {
-    files: string[];
-    intent?: string | undefined;
-}>;
+}, z.core.$strip>;
 export declare const NodeSchema: z.ZodObject<{
     id: z.ZodString;
     label: z.ZodString;
-    kind: z.ZodEnum<["entry", "call", "branch", "loop", "await", "throw", "catch", "return", "initial", "intermediate", "terminal", "composite", "client", "gateway", "service", "module", "datastore", "queue", "external", "actor", "group"]>;
-    code_anchor: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+    kind: z.ZodEnum<{
+        catch: "catch";
+        entry: "entry";
+        call: "call";
+        branch: "branch";
+        loop: "loop";
+        await: "await";
+        throw: "throw";
+        return: "return";
+        client: "client";
+        gateway: "gateway";
+        service: "service";
+        module: "module";
+        datastore: "datastore";
+        queue: "queue";
+        external: "external";
+        actor: "actor";
+        group: "group";
+    }>;
+    code_anchor: z.ZodOptional<z.ZodObject<{
         file: z.ZodString;
         range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-    }, "strip", z.ZodTypeAny, {
-        file: string;
-        range: [number, number];
-    }, {
-        file: string;
-        range: [number, number];
-    }>, {
-        file: string;
-        range: [number, number];
-    }, {
-        file: string;
-        range: [number, number];
-    }>>;
+    }, z.core.$strip>>;
     metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-}, "strip", z.ZodTypeAny, {
-    id: string;
-    label: string;
-    kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-    code_anchor?: {
-        file: string;
-        range: [number, number];
-    } | undefined;
-    metadata?: Record<string, unknown> | undefined;
-}, {
-    id: string;
-    label: string;
-    kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-    code_anchor?: {
-        file: string;
-        range: [number, number];
-    } | undefined;
-    metadata?: Record<string, unknown> | undefined;
-}>;
+}, z.core.$strip>;
 export declare const EdgeSchema: z.ZodObject<{
     id: z.ZodString;
     from: z.ZodString;
     to: z.ZodString;
     label: z.ZodOptional<z.ZodString>;
-    kind: z.ZodOptional<z.ZodEnum<["next", "branch_true", "branch_false", "loop_back", "fallthrough", "transition", "self_transition", "call_sync", "call_async", "event", "data_flow", "depends_on", "request", "response", "async_message", "return", "create", "destroy"]>>;
-}, "strip", z.ZodTypeAny, {
-    id: string;
-    from: string;
-    to: string;
-    label?: string | undefined;
-    kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-}, {
-    id: string;
-    from: string;
-    to: string;
-    label?: string | undefined;
-    kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-}>;
+    kind: z.ZodOptional<z.ZodEnum<{
+        return: "return";
+        next: "next";
+        branch_true: "branch_true";
+        branch_false: "branch_false";
+        loop_back: "loop_back";
+        fallthrough: "fallthrough";
+        call_sync: "call_sync";
+        call_async: "call_async";
+        event: "event";
+        data_flow: "data_flow";
+        depends_on: "depends_on";
+        request: "request";
+        response: "response";
+        async_message: "async_message";
+        create: "create";
+        destroy: "destroy";
+    }>>;
+}, z.core.$strip>;
 export declare const StepSchema: z.ZodObject<{
     id: z.ZodString;
     narration: z.ZodString;
     highlight: z.ZodObject<{
-        nodes: z.ZodArray<z.ZodString, "many">;
-        edges: z.ZodArray<z.ZodString, "many">;
-    }, "strip", z.ZodTypeAny, {
-        nodes: string[];
-        edges: string[];
-    }, {
-        nodes: string[];
-        edges: string[];
-    }>;
-    code_focus: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        nodes: z.ZodArray<z.ZodString>;
+        edges: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+    code_focus: z.ZodOptional<z.ZodObject<{
         file: z.ZodString;
         range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-    }, "strip", z.ZodTypeAny, {
-        file: string;
-        range: [number, number];
-    }, {
-        file: string;
-        range: [number, number];
-    }>, {
-        file: string;
-        range: [number, number];
-    }, {
-        file: string;
-        range: [number, number];
-    }>>;
-}, "strip", z.ZodTypeAny, {
-    id: string;
-    narration: string;
-    highlight: {
-        nodes: string[];
-        edges: string[];
-    };
-    code_focus?: {
-        file: string;
-        range: [number, number];
-    } | undefined;
-}, {
-    id: string;
-    narration: string;
-    highlight: {
-        nodes: string[];
-        edges: string[];
-    };
-    code_focus?: {
-        file: string;
-        range: [number, number];
-    } | undefined;
-}>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
 export declare const AlternativeLensSchema: z.ZodObject<{
-    lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+    lens: z.ZodEnum<{
+        flow: "flow";
+        architecture: "architecture";
+        protocol: "protocol";
+    }>;
     reason: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    lens: "flow" | "architecture" | "state" | "protocol";
-    reason: string;
-}, {
-    lens: "flow" | "architecture" | "state" | "protocol";
-    reason: string;
-}>;
+}, z.core.$strip>;
 declare const DiagramSpecObjectSchema: z.ZodObject<{
-    lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+    lens: z.ZodEnum<{
+        flow: "flow";
+        architecture: "architecture";
+        protocol: "protocol";
+    }>;
     scope: z.ZodObject<{
-        files: z.ZodArray<z.ZodString, "many">;
+        files: z.ZodArray<z.ZodString>;
         intent: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        files: string[];
-        intent?: string | undefined;
-    }, {
-        files: string[];
-        intent?: string | undefined;
-    }>;
+    }, z.core.$strip>;
     nodes: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
-        kind: z.ZodEnum<["entry", "call", "branch", "loop", "await", "throw", "catch", "return", "initial", "intermediate", "terminal", "composite", "client", "gateway", "service", "module", "datastore", "queue", "external", "actor", "group"]>;
-        code_anchor: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        kind: z.ZodEnum<{
+            catch: "catch";
+            entry: "entry";
+            call: "call";
+            branch: "branch";
+            loop: "loop";
+            await: "await";
+            throw: "throw";
+            return: "return";
+            client: "client";
+            gateway: "gateway";
+            service: "service";
+            module: "module";
+            datastore: "datastore";
+            queue: "queue";
+            external: "external";
+            actor: "actor";
+            group: "group";
+        }>;
+        code_anchor: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
+        }, z.core.$strip>>;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }>, "many">;
+    }, z.core.$strip>>;
     edges: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         from: z.ZodString;
         to: z.ZodString;
         label: z.ZodOptional<z.ZodString>;
-        kind: z.ZodOptional<z.ZodEnum<["next", "branch_true", "branch_false", "loop_back", "fallthrough", "transition", "self_transition", "call_sync", "call_async", "event", "data_flow", "depends_on", "request", "response", "async_message", "return", "create", "destroy"]>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }>, "many">;
+        kind: z.ZodOptional<z.ZodEnum<{
+            return: "return";
+            next: "next";
+            branch_true: "branch_true";
+            branch_false: "branch_false";
+            loop_back: "loop_back";
+            fallthrough: "fallthrough";
+            call_sync: "call_sync";
+            call_async: "call_async";
+            event: "event";
+            data_flow: "data_flow";
+            depends_on: "depends_on";
+            request: "request";
+            response: "response";
+            async_message: "async_message";
+            create: "create";
+            destroy: "destroy";
+        }>>;
+    }, z.core.$strip>>;
     steps: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         narration: z.ZodString;
         highlight: z.ZodObject<{
-            nodes: z.ZodArray<z.ZodString, "many">;
-            edges: z.ZodArray<z.ZodString, "many">;
-        }, "strip", z.ZodTypeAny, {
-            nodes: string[];
-            edges: string[];
-        }, {
-            nodes: string[];
-            edges: string[];
-        }>;
-        code_focus: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            nodes: z.ZodArray<z.ZodString>;
+            edges: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>;
+        code_focus: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }>, "many">;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
     alternative_lenses: z.ZodArray<z.ZodObject<{
-        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        lens: z.ZodEnum<{
+            flow: "flow";
+            architecture: "architecture";
+            protocol: "protocol";
+        }>;
         reason: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }>, "many">;
+    }, z.core.$strip>>;
     generated_at: z.ZodString;
     prompt_version: z.ZodString;
     model: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}>;
-export declare const DiagramSpecSchema: z.ZodEffects<z.ZodObject<{
-    lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+}, z.core.$strip>;
+export declare const DiagramSpecSchema: z.ZodObject<{
+    lens: z.ZodEnum<{
+        flow: "flow";
+        architecture: "architecture";
+        protocol: "protocol";
+    }>;
     scope: z.ZodObject<{
-        files: z.ZodArray<z.ZodString, "many">;
+        files: z.ZodArray<z.ZodString>;
         intent: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        files: string[];
-        intent?: string | undefined;
-    }, {
-        files: string[];
-        intent?: string | undefined;
-    }>;
+    }, z.core.$strip>;
     nodes: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
-        kind: z.ZodEnum<["entry", "call", "branch", "loop", "await", "throw", "catch", "return", "initial", "intermediate", "terminal", "composite", "client", "gateway", "service", "module", "datastore", "queue", "external", "actor", "group"]>;
-        code_anchor: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        kind: z.ZodEnum<{
+            catch: "catch";
+            entry: "entry";
+            call: "call";
+            branch: "branch";
+            loop: "loop";
+            await: "await";
+            throw: "throw";
+            return: "return";
+            client: "client";
+            gateway: "gateway";
+            service: "service";
+            module: "module";
+            datastore: "datastore";
+            queue: "queue";
+            external: "external";
+            actor: "actor";
+            group: "group";
+        }>;
+        code_anchor: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
+        }, z.core.$strip>>;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }>, "many">;
+    }, z.core.$strip>>;
     edges: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         from: z.ZodString;
         to: z.ZodString;
         label: z.ZodOptional<z.ZodString>;
-        kind: z.ZodOptional<z.ZodEnum<["next", "branch_true", "branch_false", "loop_back", "fallthrough", "transition", "self_transition", "call_sync", "call_async", "event", "data_flow", "depends_on", "request", "response", "async_message", "return", "create", "destroy"]>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }>, "many">;
+        kind: z.ZodOptional<z.ZodEnum<{
+            return: "return";
+            next: "next";
+            branch_true: "branch_true";
+            branch_false: "branch_false";
+            loop_back: "loop_back";
+            fallthrough: "fallthrough";
+            call_sync: "call_sync";
+            call_async: "call_async";
+            event: "event";
+            data_flow: "data_flow";
+            depends_on: "depends_on";
+            request: "request";
+            response: "response";
+            async_message: "async_message";
+            create: "create";
+            destroy: "destroy";
+        }>>;
+    }, z.core.$strip>>;
     steps: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         narration: z.ZodString;
         highlight: z.ZodObject<{
-            nodes: z.ZodArray<z.ZodString, "many">;
-            edges: z.ZodArray<z.ZodString, "many">;
-        }, "strip", z.ZodTypeAny, {
-            nodes: string[];
-            edges: string[];
-        }, {
-            nodes: string[];
-            edges: string[];
-        }>;
-        code_focus: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            nodes: z.ZodArray<z.ZodString>;
+            edges: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>;
+        code_focus: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }>, "many">;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
     alternative_lenses: z.ZodArray<z.ZodObject<{
-        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        lens: z.ZodEnum<{
+            flow: "flow";
+            architecture: "architecture";
+            protocol: "protocol";
+        }>;
         reason: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }>, "many">;
+    }, z.core.$strip>>;
     generated_at: z.ZodString;
     prompt_version: z.ZodString;
     model: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}>, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}, {
-    nodes: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[];
-    edges: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[];
-    lens: "flow" | "architecture" | "state" | "protocol";
-    scope: {
-        files: string[];
-        intent?: string | undefined;
-    };
-    steps: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[];
-    alternative_lenses: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[];
-    generated_at: string;
-    prompt_version: string;
-    model: string;
-}>;
+}, z.core.$strip>;
 export declare const PartialDiagramSpecSchema: z.ZodObject<{
-    lens: z.ZodOptional<z.ZodEnum<["flow", "architecture", "state", "protocol"]>>;
+    lens: z.ZodOptional<z.ZodEnum<{
+        flow: "flow";
+        architecture: "architecture";
+        protocol: "protocol";
+    }>>;
     scope: z.ZodOptional<z.ZodObject<{
-        files: z.ZodArray<z.ZodString, "many">;
+        files: z.ZodArray<z.ZodString>;
         intent: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        files: string[];
-        intent?: string | undefined;
-    }, {
-        files: string[];
-        intent?: string | undefined;
-    }>>;
+    }, z.core.$strip>>;
     nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         label: z.ZodString;
-        kind: z.ZodEnum<["entry", "call", "branch", "loop", "await", "throw", "catch", "return", "initial", "intermediate", "terminal", "composite", "client", "gateway", "service", "module", "datastore", "queue", "external", "actor", "group"]>;
-        code_anchor: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        kind: z.ZodEnum<{
+            catch: "catch";
+            entry: "entry";
+            call: "call";
+            branch: "branch";
+            loop: "loop";
+            await: "await";
+            throw: "throw";
+            return: "return";
+            client: "client";
+            gateway: "gateway";
+            service: "service";
+            module: "module";
+            datastore: "datastore";
+            queue: "queue";
+            external: "external";
+            actor: "actor";
+            group: "group";
+        }>;
+        code_anchor: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
+        }, z.core.$strip>>;
         metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }, {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }>, "many">>;
+    }, z.core.$strip>>>;
     edges: z.ZodOptional<z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         from: z.ZodString;
         to: z.ZodString;
         label: z.ZodOptional<z.ZodString>;
-        kind: z.ZodOptional<z.ZodEnum<["next", "branch_true", "branch_false", "loop_back", "fallthrough", "transition", "self_transition", "call_sync", "call_async", "event", "data_flow", "depends_on", "request", "response", "async_message", "return", "create", "destroy"]>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }, {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }>, "many">>;
+        kind: z.ZodOptional<z.ZodEnum<{
+            return: "return";
+            next: "next";
+            branch_true: "branch_true";
+            branch_false: "branch_false";
+            loop_back: "loop_back";
+            fallthrough: "fallthrough";
+            call_sync: "call_sync";
+            call_async: "call_async";
+            event: "event";
+            data_flow: "data_flow";
+            depends_on: "depends_on";
+            request: "request";
+            response: "response";
+            async_message: "async_message";
+            create: "create";
+            destroy: "destroy";
+        }>>;
+    }, z.core.$strip>>>;
     steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         narration: z.ZodString;
         highlight: z.ZodObject<{
-            nodes: z.ZodArray<z.ZodString, "many">;
-            edges: z.ZodArray<z.ZodString, "many">;
-        }, "strip", z.ZodTypeAny, {
-            nodes: string[];
-            edges: string[];
-        }, {
-            nodes: string[];
-            edges: string[];
-        }>;
-        code_focus: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            nodes: z.ZodArray<z.ZodString>;
+            edges: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>;
+        code_focus: z.ZodOptional<z.ZodObject<{
             file: z.ZodString;
             range: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
-        }, "strip", z.ZodTypeAny, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>, {
-            file: string;
-            range: [number, number];
-        }, {
-            file: string;
-            range: [number, number];
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }, {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }>, "many">>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
     alternative_lenses: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        lens: z.ZodEnum<{
+            flow: "flow";
+            architecture: "architecture";
+            protocol: "protocol";
+        }>;
         reason: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }, {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }>, "many">>;
+    }, z.core.$strip>>>;
     generated_at: z.ZodOptional<z.ZodString>;
     prompt_version: z.ZodOptional<z.ZodString>;
     model: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    nodes?: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[] | undefined;
-    edges?: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[] | undefined;
-    lens?: "flow" | "architecture" | "state" | "protocol" | undefined;
-    scope?: {
-        files: string[];
-        intent?: string | undefined;
-    } | undefined;
-    steps?: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[] | undefined;
-    alternative_lenses?: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[] | undefined;
-    generated_at?: string | undefined;
-    prompt_version?: string | undefined;
-    model?: string | undefined;
-}, {
-    nodes?: {
-        id: string;
-        label: string;
-        kind: "entry" | "call" | "branch" | "loop" | "await" | "throw" | "catch" | "return" | "initial" | "intermediate" | "terminal" | "composite" | "client" | "gateway" | "service" | "module" | "datastore" | "queue" | "external" | "actor" | "group";
-        code_anchor?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-        metadata?: Record<string, unknown> | undefined;
-    }[] | undefined;
-    edges?: {
-        id: string;
-        from: string;
-        to: string;
-        label?: string | undefined;
-        kind?: "return" | "next" | "branch_true" | "branch_false" | "loop_back" | "fallthrough" | "transition" | "self_transition" | "call_sync" | "call_async" | "event" | "data_flow" | "depends_on" | "request" | "response" | "async_message" | "create" | "destroy" | undefined;
-    }[] | undefined;
-    lens?: "flow" | "architecture" | "state" | "protocol" | undefined;
-    scope?: {
-        files: string[];
-        intent?: string | undefined;
-    } | undefined;
-    steps?: {
-        id: string;
-        narration: string;
-        highlight: {
-            nodes: string[];
-            edges: string[];
-        };
-        code_focus?: {
-            file: string;
-            range: [number, number];
-        } | undefined;
-    }[] | undefined;
-    alternative_lenses?: {
-        lens: "flow" | "architecture" | "state" | "protocol";
-        reason: string;
-    }[] | undefined;
-    generated_at?: string | undefined;
-    prompt_version?: string | undefined;
-    model?: string | undefined;
-}>;
+}, z.core.$strip>;
 export type Lens = z.infer<typeof LensSchema>;
 export type CodeAnchor = z.infer<typeof CodeAnchorSchema>;
 export type Scope = z.infer<typeof ScopeSchema>;
@@ -904,9 +352,9 @@ export type AlternativeLens = z.infer<typeof AlternativeLensSchema>;
 export type DiagramSpec = z.infer<typeof DiagramSpecObjectSchema>;
 export type PartialDiagramSpec = z.infer<typeof PartialDiagramSpecSchema>;
 export declare class DiagramSpecValidationError extends Error {
-    readonly path: (string | number)[];
+    readonly path: PropertyKey[];
     readonly issues: z.ZodIssue[];
-    constructor(message: string, path: (string | number)[], issues: z.ZodIssue[]);
+    constructor(message: string, path: PropertyKey[], issues: z.ZodIssue[]);
 }
 export declare function parseDiagramSpec(json: unknown): DiagramSpec;
 export declare function parsePartialDiagramSpec(json: unknown): PartialDiagramSpec;