@mquan/mochi 0.1.0

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

@@ -0,0 +1,914 @@
+import { z } from "zod";
+export declare const LensSchema: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+export declare const CodeAnchorSchema: z.ZodEffects<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];
+}>;
+export declare const ScopeSchema: z.ZodObject<{
+    files: z.ZodArray<z.ZodString, "many">;
+    intent: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    files: string[];
+    intent?: string | undefined;
+}, {
+    files: string[];
+    intent?: string | undefined;
+}>;
+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<{
+        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];
+    }>>;
+    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;
+}>;
+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;
+}>;
+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<{
+        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;
+}>;
+export declare const AlternativeLensSchema: z.ZodObject<{
+    lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    lens: "flow" | "architecture" | "state" | "protocol";
+    reason: string;
+}, {
+    lens: "flow" | "architecture" | "state" | "protocol";
+    reason: string;
+}>;
+declare const DiagramSpecObjectSchema: z.ZodObject<{
+    lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+    scope: z.ZodObject<{
+        files: z.ZodArray<z.ZodString, "many">;
+        intent: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        files: string[];
+        intent?: string | undefined;
+    }, {
+        files: string[];
+        intent?: string | undefined;
+    }>;
+    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<{
+            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];
+        }>>;
+        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">;
+    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">;
+    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<{
+            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">;
+    alternative_lenses: z.ZodArray<z.ZodObject<{
+        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }>, "many">;
+    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"]>;
+    scope: z.ZodObject<{
+        files: z.ZodArray<z.ZodString, "many">;
+        intent: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        files: string[];
+        intent?: string | undefined;
+    }, {
+        files: string[];
+        intent?: string | undefined;
+    }>;
+    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<{
+            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];
+        }>>;
+        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">;
+    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">;
+    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<{
+            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">;
+    alternative_lenses: z.ZodArray<z.ZodObject<{
+        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }>, "many">;
+    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;
+}>;
+export declare const PartialDiagramSpecSchema: z.ZodObject<{
+    lens: z.ZodOptional<z.ZodEnum<["flow", "architecture", "state", "protocol"]>>;
+    scope: z.ZodOptional<z.ZodObject<{
+        files: z.ZodArray<z.ZodString, "many">;
+        intent: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        files: string[];
+        intent?: string | undefined;
+    }, {
+        files: string[];
+        intent?: string | undefined;
+    }>>;
+    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<{
+            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];
+        }>>;
+        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">>;
+    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">>;
+    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<{
+            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">>;
+    alternative_lenses: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        lens: z.ZodEnum<["flow", "architecture", "state", "protocol"]>;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }, {
+        lens: "flow" | "architecture" | "state" | "protocol";
+        reason: string;
+    }>, "many">>;
+    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;
+}>;
+export type Lens = z.infer<typeof LensSchema>;
+export type CodeAnchor = z.infer<typeof CodeAnchorSchema>;
+export type Scope = z.infer<typeof ScopeSchema>;
+export type Node = z.infer<typeof NodeSchema>;
+export type Edge = z.infer<typeof EdgeSchema>;
+export type Step = z.infer<typeof StepSchema>;
+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 issues: z.ZodIssue[];
+    constructor(message: string, path: (string | number)[], issues: z.ZodIssue[]);
+}
+export declare function parseDiagramSpec(json: unknown): DiagramSpec;
+export declare function parsePartialDiagramSpec(json: unknown): PartialDiagramSpec;
+export {};
+//# sourceMappingURL=diagram-spec.d.ts.map