@algomotion/spec 0.0.0-stage → 1.0.0-alpha.1

package/dist/visualization.d.ts

@@ -0,0 +1,3591 @@
+/**
+ * Top-level document schemas.
+ *
+ * Two forms exist (ADR 0007):
+ * - `VisualizationInput` is what people and LLMs write; it allows shorthands.
+ * - `Visualization` is the canonical form that `parseVisualization` returns
+ *   and that renderers consume.
+ */
+import { z } from 'zod';
+/** Any built-in action in canonical form, tagged with its structure. */
+export declare const TargetedAction: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"swap">;
+    i: z.ZodInt;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    index: z.ZodInt;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    i: z.ZodInt;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    index: z.ZodNullable<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"align">;
+    shift: z.ZodInt;
+    matched: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"check">;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"push">;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pop">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"enqueue">;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"dequeue">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pushFront">;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"popBack">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+    end: z.ZodOptional<z.ZodEnum<{
+        front: "front";
+        back: "back";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    index: z.ZodInt;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"move">;
+    from: z.ZodInt;
+    to: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"link">;
+    from: z.ZodInt;
+    to: z.ZodNullable<z.ZodInt>;
+    field: z.ZodOptional<z.ZodEnum<{
+        next: "next";
+        prev: "prev";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    index: z.ZodNullable<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    slot: z.ZodOptional<z.ZodInt>;
+    type: z.ZodLiteral<"addNode">;
+    node: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        color: z.ZodOptional<z.ZodEnum<{
+            red: "red";
+            black: "black";
+        }>>;
+    }, z.core.$strict>;
+    parent: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeNode">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    slot: z.ZodOptional<z.ZodInt>;
+    type: z.ZodLiteral<"setChild">;
+    parent: z.ZodString;
+    child: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"detach">;
+    node: z.ZodString;
+    slot: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"rotate">;
+    node: z.ZodString;
+    direction: z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setValue">;
+    node: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"swapValues">;
+    a: z.ZodString;
+    b: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setColor">;
+    node: z.ZodString;
+    color: z.ZodNullable<z.ZodEnum<{
+        red: "red";
+        black: "black";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    nodes: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    a: z.ZodString;
+    b: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"group">;
+    node: z.ZodString;
+    group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        parent: z.ZodString;
+        slot: z.ZodInt;
+    }, z.core.$strict>]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+    field: z.ZodOptional<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"markEdge">;
+    node: z.ZodString;
+    mark: z.ZodNullable<z.ZodEnum<{
+        selected: "selected";
+        rejected: "rejected";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"labelEdge">;
+    node: z.ZodString;
+    label: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"addNode">;
+    node: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        x: z.ZodOptional<z.ZodNumber>;
+        y: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeNode">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setValue">;
+    node: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"addEdge">;
+    edge: z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeEdge">;
+    edge: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setWeight">;
+    edge: z.ZodString;
+    weight: z.ZodNullable<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    edges: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"group">;
+    node: z.ZodString;
+    group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"markEdge">;
+    edge: z.ZodString;
+    mark: z.ZodNullable<z.ZodEnum<{
+        selected: "selected";
+        rejected: "rejected";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"depend">;
+    cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+    on: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    bucket: z.ZodInt;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+    index: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    bucket: z.ZodInt;
+    indices: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    element: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+    key: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"extract">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setKey">;
+    id: z.ZodString;
+    key: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    ids: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insertKey">;
+    node: z.ZodString;
+    index: z.ZodInt;
+    key: z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeKey">;
+    key: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setKey">;
+    key: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"lift">;
+    key: z.ZodString;
+    over: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"split">;
+    node: z.ZodString;
+    index: z.ZodInt;
+    newNode: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"grow">;
+    newRoot: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"merge">;
+    node: z.ZodString;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"shrink">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"borrow">;
+    node: z.ZodString;
+    child: z.ZodInt;
+    from: z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    keys: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    key: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"addPoint">;
+    point: z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removePoint">;
+    id: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"addSegment">;
+    segment: z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeSegment">;
+    id: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"label">;
+    segment: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    points: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    segments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    points: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    point: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    point: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"select">;
+    segment: z.ZodString;
+    on: z.ZodBoolean;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    point: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"line">;
+    name: z.ZodString;
+    x: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">]>;
+export type TargetedAction = z.infer<typeof TargetedAction>;
+/** Any built-in action in authoring form, tagged with its structure. */
+export declare const TargetedActionInput: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"swap">;
+    i: z.ZodInt;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    index: z.ZodInt;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    i: z.ZodInt;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    index: z.ZodNullable<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"align">;
+    shift: z.ZodInt;
+    matched: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"check">;
+    j: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"push">;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pop">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"enqueue">;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"dequeue">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pushFront">;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"popBack">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+    end: z.ZodOptional<z.ZodEnum<{
+        front: "front";
+        back: "back";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    index: z.ZodInt;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"move">;
+    from: z.ZodInt;
+    to: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"link">;
+    from: z.ZodInt;
+    to: z.ZodNullable<z.ZodInt>;
+    field: z.ZodOptional<z.ZodEnum<{
+        next: "next";
+        prev: "prev";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    index: z.ZodNullable<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    indices: z.ZodArray<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    slot: z.ZodOptional<z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>]>>;
+    type: z.ZodLiteral<"addNode">;
+    node: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        color: z.ZodOptional<z.ZodEnum<{
+            red: "red";
+            black: "black";
+        }>>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+    parent: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeNode">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    slot: z.ZodOptional<z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>]>>;
+    type: z.ZodLiteral<"setChild">;
+    parent: z.ZodString;
+    child: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"detach">;
+    node: z.ZodString;
+    slot: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"rotate">;
+    node: z.ZodString;
+    direction: z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setValue">;
+    node: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"swapValues">;
+    a: z.ZodString;
+    b: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setColor">;
+    node: z.ZodString;
+    color: z.ZodNullable<z.ZodEnum<{
+        red: "red";
+        black: "black";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    nodes: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    a: z.ZodString;
+    b: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"group">;
+    node: z.ZodString;
+    group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        parent: z.ZodString;
+        slot: z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+            left: "left";
+            right: "right";
+        }>]>;
+    }, z.core.$strict>]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+    field: z.ZodOptional<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"markEdge">;
+    node: z.ZodString;
+    mark: z.ZodNullable<z.ZodEnum<{
+        selected: "selected";
+        rejected: "rejected";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"labelEdge">;
+    node: z.ZodString;
+    label: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"addNode">;
+    node: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodOptional<z.ZodNumber>;
+        y: z.ZodOptional<z.ZodNumber>;
+        value: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+    }, z.core.$strict>, z.ZodString, z.ZodNumber]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeNode">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setValue">;
+    node: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"addEdge">;
+    edge: z.ZodUnion<readonly [z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        id: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>], null>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeEdge">;
+    edge: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setWeight">;
+    edge: z.ZodString;
+    weight: z.ZodNullable<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    edges: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    node: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"group">;
+    node: z.ZodString;
+    group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"markEdge">;
+    edge: z.ZodString;
+    mark: z.ZodNullable<z.ZodEnum<{
+        selected: "selected";
+        rejected: "rejected";
+    }>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"depend">;
+    cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+    on: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    bucket: z.ZodInt;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+    index: z.ZodOptional<z.ZodInt>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"remove">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"set">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    bucket: z.ZodInt;
+    indices: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    bucket: z.ZodInt;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"resetMarks">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insert">;
+    element: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+    key: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"extract">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setKey">;
+    id: z.ZodString;
+    key: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"peek">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    ids: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"insertKey">;
+    node: z.ZodString;
+    index: z.ZodInt;
+    key: z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeKey">;
+    key: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"setKey">;
+    key: z.ZodString;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"lift">;
+    key: z.ZodString;
+    over: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"split">;
+    node: z.ZodString;
+    index: z.ZodInt;
+    newNode: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"grow">;
+    newRoot: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"merge">;
+    node: z.ZodString;
+    index: z.ZodInt;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"shrink">;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"borrow">;
+    node: z.ZodString;
+    child: z.ZodInt;
+    from: z.ZodEnum<{
+        left: "left";
+        right: "right";
+    }>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    keys: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    key: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    node: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"annotate">;
+    node: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"addPoint">;
+    point: z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removePoint">;
+    id: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"addSegment">;
+    segment: z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"removeSegment">;
+    id: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"label">;
+    segment: z.ZodString;
+    text: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"highlight">;
+    points: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    segments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"compare">;
+    points: z.ZodArray<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"visit">;
+    point: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"settle">;
+    point: z.ZodString;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"select">;
+    segment: z.ZodString;
+    on: z.ZodBoolean;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"pointer">;
+    name: z.ZodString;
+    point: z.ZodNullable<z.ZodString>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"line">;
+    name: z.ZodString;
+    x: z.ZodNullable<z.ZodNumber>;
+} & {
+    target: z.ZodString;
+}, z.core.$strict>], "type">]>;
+export type TargetedActionInput = z.infer<typeof TargetedActionInput>;
+export declare const StructureDecl: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"array">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    view: z.ZodOptional<z.ZodEnum<{
+        row: "row";
+        tree: "tree";
+        heap: "heap";
+    }>>;
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>;
+    pattern: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>>;
+    shift: z.ZodOptional<z.ZodInt>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"stack">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"queue">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>;
+    kind: z.ZodLiteral<"linkedList">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    doubly: z.ZodOptional<z.ZodBoolean>;
+    circular: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tree">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    binary: z.ZodBoolean;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        children: z.ZodOptional<z.ZodArray<z.ZodNullable<z.ZodString>>>;
+        color: z.ZodOptional<z.ZodEnum<{
+            red: "red";
+            black: "black";
+        }>>;
+    }, z.core.$strict>>;
+    roots: z.ZodArray<z.ZodString>;
+    rootList: z.ZodOptional<z.ZodEnum<{
+        circular: "circular";
+        list: "list";
+    }>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"graph">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    directed: z.ZodBoolean;
+    layout: z.ZodEnum<{
+        auto: "auto";
+        circle: "circle";
+        layered: "layered";
+        grid: "grid";
+        manual: "manual";
+    }>;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        x: z.ZodOptional<z.ZodNumber>;
+        y: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>>;
+    edges: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"table">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    cells: z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    rowLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    columnLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"hashTable">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    buckets: z.ZodArray<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"priorityQueue">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    order: z.ZodOptional<z.ZodEnum<{
+        min: "min";
+        max: "max";
+    }>>;
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        key: z.ZodNullable<z.ZodNumber>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"btree">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keys: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>;
+        children: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    root: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    points: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    segments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    kind: z.ZodLiteral<"plane">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    axes: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>], "kind">;
+export type StructureDecl = z.infer<typeof StructureDecl>;
+export declare const StructureDeclInput: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"array">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    view: z.ZodOptional<z.ZodEnum<{
+        row: "row";
+        tree: "tree";
+        heap: "heap";
+    }>>;
+    shift: z.ZodOptional<z.ZodInt>;
+    initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    pattern: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"stack">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"queue">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+}, z.core.$strict>, z.ZodObject<{
+    initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    kind: z.ZodLiteral<"linkedList">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    doubly: z.ZodOptional<z.ZodBoolean>;
+    circular: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tree">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    binary: z.ZodOptional<z.ZodBoolean>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        children: z.ZodOptional<z.ZodArray<z.ZodNullable<z.ZodString>>>;
+        color: z.ZodOptional<z.ZodEnum<{
+            red: "red";
+            black: "black";
+        }>>;
+    }, z.core.$strict>>>;
+    roots: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    rootList: z.ZodOptional<z.ZodEnum<{
+        circular: "circular";
+        list: "list";
+    }>>;
+    levelOrder: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"graph">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    directed: z.ZodOptional<z.ZodBoolean>;
+    layout: z.ZodOptional<z.ZodEnum<{
+        auto: "auto";
+        circle: "circle";
+        layered: "layered";
+        grid: "grid";
+        manual: "manual";
+    }>>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodOptional<z.ZodNumber>;
+        y: z.ZodOptional<z.ZodNumber>;
+        value: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+    }, z.core.$strict>, z.ZodString, z.ZodNumber]>>>;
+    edges: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        id: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>], null>]>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"table">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    rows: z.ZodOptional<z.ZodInt>;
+    columns: z.ZodOptional<z.ZodInt>;
+    initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+    rowLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    columnLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    cells: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"hashTable">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    size: z.ZodOptional<z.ZodInt>;
+    initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>>>;
+    buckets: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+    }, z.core.$strict>>>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"priorityQueue">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    order: z.ZodOptional<z.ZodEnum<{
+        min: "min";
+        max: "max";
+    }>>;
+    initial: z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        key: z.ZodNullable<z.ZodNumber>;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"btree">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        keys: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>;
+        children: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>>;
+    root: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    segments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        from: z.ZodString;
+        to: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    kind: z.ZodLiteral<"plane">;
+    label: z.ZodOptional<z.ZodString>;
+    place: z.ZodOptional<z.ZodEnum<{
+        main: "main";
+        side: "side";
+    }>>;
+    axes: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strict>], "kind">;
+export type StructureDeclInput = z.infer<typeof StructureDeclInput>;
+export declare const Visualization: z.ZodObject<{
+    version: z.ZodEnum<{
+        "1.0": "1.0";
+    }>;
+    title: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        code: z.ZodString;
+    }, z.core.$strict>>;
+    sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        language: z.ZodString;
+        code: z.ZodString;
+        anchors: z.ZodRecord<z.ZodString, z.ZodInt>;
+    }, z.core.$strict>>>;
+    structures: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"array">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        view: z.ZodOptional<z.ZodEnum<{
+            row: "row";
+            tree: "tree";
+            heap: "heap";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>;
+        pattern: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>>;
+        shift: z.ZodOptional<z.ZodInt>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"stack">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"queue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>;
+        kind: z.ZodLiteral<"linkedList">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        doubly: z.ZodOptional<z.ZodBoolean>;
+        circular: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        binary: z.ZodBoolean;
+        nodes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            children: z.ZodOptional<z.ZodArray<z.ZodNullable<z.ZodString>>>;
+            color: z.ZodOptional<z.ZodEnum<{
+                red: "red";
+                black: "black";
+            }>>;
+        }, z.core.$strict>>;
+        roots: z.ZodArray<z.ZodString>;
+        rootList: z.ZodOptional<z.ZodEnum<{
+            circular: "circular";
+            list: "list";
+        }>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"graph">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        directed: z.ZodBoolean;
+        layout: z.ZodEnum<{
+            auto: "auto";
+            circle: "circle";
+            layered: "layered";
+            grid: "grid";
+            manual: "manual";
+        }>;
+        nodes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>>;
+        edges: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"table">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        cells: z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        rowLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        columnLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"hashTable">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        buckets: z.ZodArray<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"priorityQueue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        order: z.ZodOptional<z.ZodEnum<{
+            min: "min";
+            max: "max";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            key: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"btree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        nodes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keys: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>>;
+            children: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+        root: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        points: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        segments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        kind: z.ZodLiteral<"plane">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        axes: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>], "kind">>;
+    steps: z.ZodArray<z.ZodObject<{
+        actions: z.ZodArray<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"swap">;
+            i: z.ZodInt;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            index: z.ZodInt;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            i: z.ZodInt;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            index: z.ZodNullable<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"align">;
+            shift: z.ZodInt;
+            matched: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"check">;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"push">;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pop">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"enqueue">;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"dequeue">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pushFront">;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"popBack">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+            end: z.ZodOptional<z.ZodEnum<{
+                front: "front";
+                back: "back";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            index: z.ZodInt;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"move">;
+            from: z.ZodInt;
+            to: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"link">;
+            from: z.ZodInt;
+            to: z.ZodNullable<z.ZodInt>;
+            field: z.ZodOptional<z.ZodEnum<{
+                next: "next";
+                prev: "prev";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            index: z.ZodNullable<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            slot: z.ZodOptional<z.ZodInt>;
+            type: z.ZodLiteral<"addNode">;
+            node: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+                color: z.ZodOptional<z.ZodEnum<{
+                    red: "red";
+                    black: "black";
+                }>>;
+            }, z.core.$strict>;
+            parent: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeNode">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            slot: z.ZodOptional<z.ZodInt>;
+            type: z.ZodLiteral<"setChild">;
+            parent: z.ZodString;
+            child: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"detach">;
+            node: z.ZodString;
+            slot: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"rotate">;
+            node: z.ZodString;
+            direction: z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setValue">;
+            node: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"swapValues">;
+            a: z.ZodString;
+            b: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setColor">;
+            node: z.ZodString;
+            color: z.ZodNullable<z.ZodEnum<{
+                red: "red";
+                black: "black";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            nodes: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            a: z.ZodString;
+            b: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"group">;
+            node: z.ZodString;
+            group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                parent: z.ZodString;
+                slot: z.ZodInt;
+            }, z.core.$strict>]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+            field: z.ZodOptional<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"markEdge">;
+            node: z.ZodString;
+            mark: z.ZodNullable<z.ZodEnum<{
+                selected: "selected";
+                rejected: "rejected";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"labelEdge">;
+            node: z.ZodString;
+            label: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"addNode">;
+            node: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+                x: z.ZodOptional<z.ZodNumber>;
+                y: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeNode">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setValue">;
+            node: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"addEdge">;
+            edge: z.ZodObject<{
+                id: z.ZodString;
+                from: z.ZodString;
+                to: z.ZodString;
+                weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeEdge">;
+            edge: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setWeight">;
+            edge: z.ZodString;
+            weight: z.ZodNullable<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            edges: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"group">;
+            node: z.ZodString;
+            group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"markEdge">;
+            edge: z.ZodString;
+            mark: z.ZodNullable<z.ZodEnum<{
+                selected: "selected";
+                rejected: "rejected";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"depend">;
+            cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+            on: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            bucket: z.ZodInt;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+            index: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            bucket: z.ZodInt;
+            indices: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            element: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+            key: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"extract">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setKey">;
+            id: z.ZodString;
+            key: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            ids: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insertKey">;
+            node: z.ZodString;
+            index: z.ZodInt;
+            key: z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeKey">;
+            key: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setKey">;
+            key: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"lift">;
+            key: z.ZodString;
+            over: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"split">;
+            node: z.ZodString;
+            index: z.ZodInt;
+            newNode: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"grow">;
+            newRoot: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"merge">;
+            node: z.ZodString;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"shrink">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"borrow">;
+            node: z.ZodString;
+            child: z.ZodInt;
+            from: z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            keys: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            key: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"addPoint">;
+            point: z.ZodObject<{
+                id: z.ZodString;
+                x: z.ZodNumber;
+                y: z.ZodNumber;
+                label: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removePoint">;
+            id: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"addSegment">;
+            segment: z.ZodObject<{
+                id: z.ZodString;
+                from: z.ZodString;
+                to: z.ZodString;
+                label: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeSegment">;
+            id: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"label">;
+            segment: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            points: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            segments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            points: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            point: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            point: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"select">;
+            segment: z.ZodString;
+            on: z.ZodBoolean;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            point: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"line">;
+            name: z.ZodString;
+            x: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">]>>;
+        meta: z.ZodOptional<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            at: z.ZodOptional<z.ZodString>;
+            line: z.ZodOptional<z.ZodInt>;
+            narration: z.ZodOptional<z.ZodString>;
+            vars: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    sections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        start: z.ZodInt;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type Visualization = z.infer<typeof Visualization>;
+export type Step = Visualization['steps'][number];
+export declare const VisualizationInput: z.ZodObject<{
+    version: z.ZodEnum<{
+        "1.0": "1.0";
+    }>;
+    title: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        code: z.ZodString;
+    }, z.core.$strict>>;
+    sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        language: z.ZodString;
+        code: z.ZodString;
+        anchors: z.ZodRecord<z.ZodString, z.ZodInt>;
+    }, z.core.$strict>>>;
+    structures: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"array">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        view: z.ZodOptional<z.ZodEnum<{
+            row: "row";
+            tree: "tree";
+            heap: "heap";
+        }>>;
+        shift: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+        pattern: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"stack">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"queue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+        kind: z.ZodLiteral<"linkedList">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        doubly: z.ZodOptional<z.ZodBoolean>;
+        circular: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        binary: z.ZodOptional<z.ZodBoolean>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            children: z.ZodOptional<z.ZodArray<z.ZodNullable<z.ZodString>>>;
+            color: z.ZodOptional<z.ZodEnum<{
+                red: "red";
+                black: "black";
+            }>>;
+        }, z.core.$strict>>>;
+        roots: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        rootList: z.ZodOptional<z.ZodEnum<{
+            circular: "circular";
+            list: "list";
+        }>>;
+        levelOrder: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"graph">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        directed: z.ZodOptional<z.ZodBoolean>;
+        layout: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            circle: "circle";
+            layered: "layered";
+            grid: "grid";
+            manual: "manual";
+        }>>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            id: z.ZodString;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+            value: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        }, z.core.$strict>, z.ZodString, z.ZodNumber]>>>;
+        edges: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+            id: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>], null>]>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"table">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        rows: z.ZodOptional<z.ZodInt>;
+        columns: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+        rowLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        columnLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        cells: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"hashTable">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        size: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>>>;
+        buckets: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"priorityQueue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        order: z.ZodOptional<z.ZodEnum<{
+            min: "min";
+            max: "max";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            key: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"btree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keys: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>;
+            children: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>>;
+        root: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        segments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        kind: z.ZodLiteral<"plane">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        axes: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>], "kind">>;
+    steps: z.ZodArray<z.ZodObject<{
+        actions: z.ZodArray<z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"swap">;
+            i: z.ZodInt;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            index: z.ZodInt;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            i: z.ZodInt;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            index: z.ZodNullable<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"align">;
+            shift: z.ZodInt;
+            matched: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"check">;
+            j: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"push">;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pop">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"enqueue">;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"dequeue">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pushFront">;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"popBack">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+            end: z.ZodOptional<z.ZodEnum<{
+                front: "front";
+                back: "back";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            index: z.ZodInt;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"move">;
+            from: z.ZodInt;
+            to: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"link">;
+            from: z.ZodInt;
+            to: z.ZodNullable<z.ZodInt>;
+            field: z.ZodOptional<z.ZodEnum<{
+                next: "next";
+                prev: "prev";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            index: z.ZodNullable<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            indices: z.ZodArray<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            slot: z.ZodOptional<z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>]>>;
+            type: z.ZodLiteral<"addNode">;
+            node: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+                color: z.ZodOptional<z.ZodEnum<{
+                    red: "red";
+                    black: "black";
+                }>>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+            parent: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeNode">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            slot: z.ZodOptional<z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>]>>;
+            type: z.ZodLiteral<"setChild">;
+            parent: z.ZodString;
+            child: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"detach">;
+            node: z.ZodString;
+            slot: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"rotate">;
+            node: z.ZodString;
+            direction: z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setValue">;
+            node: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"swapValues">;
+            a: z.ZodString;
+            b: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setColor">;
+            node: z.ZodString;
+            color: z.ZodNullable<z.ZodEnum<{
+                red: "red";
+                black: "black";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            nodes: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            a: z.ZodString;
+            b: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"group">;
+            node: z.ZodString;
+            group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                parent: z.ZodString;
+                slot: z.ZodUnion<readonly [z.ZodInt, z.ZodEnum<{
+                    left: "left";
+                    right: "right";
+                }>]>;
+            }, z.core.$strict>]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+            field: z.ZodOptional<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"markEdge">;
+            node: z.ZodString;
+            mark: z.ZodNullable<z.ZodEnum<{
+                selected: "selected";
+                rejected: "rejected";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"labelEdge">;
+            node: z.ZodString;
+            label: z.ZodNullable<z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"addNode">;
+            node: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                x: z.ZodOptional<z.ZodNumber>;
+                y: z.ZodOptional<z.ZodNumber>;
+                value: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+            }, z.core.$strict>, z.ZodString, z.ZodNumber]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeNode">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setValue">;
+            node: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"addEdge">;
+            edge: z.ZodUnion<readonly [z.ZodObject<{
+                from: z.ZodString;
+                to: z.ZodString;
+                weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+                id: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>], null>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeEdge">;
+            edge: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setWeight">;
+            edge: z.ZodString;
+            weight: z.ZodNullable<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            edges: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            node: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"group">;
+            node: z.ZodString;
+            group: z.ZodNullable<z.ZodLiteral<0 | 1 | 4 | 2 | 3 | 5>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"markEdge">;
+            edge: z.ZodString;
+            mark: z.ZodNullable<z.ZodEnum<{
+                selected: "selected";
+                rejected: "rejected";
+            }>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"depend">;
+            cell: z.ZodTuple<[z.ZodInt, z.ZodInt], null>;
+            on: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            cells: z.ZodArray<z.ZodTuple<[z.ZodInt, z.ZodInt], null>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            bucket: z.ZodInt;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+            index: z.ZodOptional<z.ZodInt>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"remove">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"set">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            bucket: z.ZodInt;
+            indices: z.ZodOptional<z.ZodArray<z.ZodInt>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            bucket: z.ZodInt;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"resetMarks">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insert">;
+            element: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+            key: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"extract">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setKey">;
+            id: z.ZodString;
+            key: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"peek">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            ids: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"insertKey">;
+            node: z.ZodString;
+            index: z.ZodInt;
+            key: z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeKey">;
+            key: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"setKey">;
+            key: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"lift">;
+            key: z.ZodString;
+            over: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"split">;
+            node: z.ZodString;
+            index: z.ZodInt;
+            newNode: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"grow">;
+            newRoot: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"merge">;
+            node: z.ZodString;
+            index: z.ZodInt;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"shrink">;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"borrow">;
+            node: z.ZodString;
+            child: z.ZodInt;
+            from: z.ZodEnum<{
+                left: "left";
+                right: "right";
+            }>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            keys: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            nodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            key: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            node: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"annotate">;
+            node: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"addPoint">;
+            point: z.ZodObject<{
+                id: z.ZodString;
+                x: z.ZodNumber;
+                y: z.ZodNumber;
+                label: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removePoint">;
+            id: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"addSegment">;
+            segment: z.ZodObject<{
+                id: z.ZodString;
+                from: z.ZodString;
+                to: z.ZodString;
+                label: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"removeSegment">;
+            id: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"label">;
+            segment: z.ZodString;
+            text: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"highlight">;
+            points: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            segments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"compare">;
+            points: z.ZodArray<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"visit">;
+            point: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"settle">;
+            point: z.ZodString;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"select">;
+            segment: z.ZodString;
+            on: z.ZodBoolean;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"pointer">;
+            name: z.ZodString;
+            point: z.ZodNullable<z.ZodString>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            type: z.ZodLiteral<"line">;
+            name: z.ZodString;
+            x: z.ZodNullable<z.ZodNumber>;
+        } & {
+            target: z.ZodString;
+        }, z.core.$strict>], "type">]>>;
+        meta: z.ZodOptional<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            at: z.ZodOptional<z.ZodString>;
+            line: z.ZodOptional<z.ZodInt>;
+            narration: z.ZodOptional<z.ZodString>;
+            vars: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    sections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        start: z.ZodInt;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type VisualizationInput = z.infer<typeof VisualizationInput>;
+/**
+ * First-pass schema used by the parser: actions are only checked for
+ * `target` and `type`, so that their payload can then be validated against
+ * the schema of the target's kind with precise error messages.
+ */
+export declare const Envelope: z.ZodObject<{
+    version: z.ZodEnum<{
+        "1.0": "1.0";
+    }>;
+    title: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodObject<{
+        language: z.ZodOptional<z.ZodString>;
+        code: z.ZodString;
+    }, z.core.$strict>>;
+    sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        language: z.ZodString;
+        code: z.ZodString;
+        anchors: z.ZodRecord<z.ZodString, z.ZodInt>;
+    }, z.core.$strict>>>;
+    structures: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"array">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        view: z.ZodOptional<z.ZodEnum<{
+            row: "row";
+            tree: "tree";
+            heap: "heap";
+        }>>;
+        shift: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+        pattern: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"stack">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"queue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        initial: z.ZodUnion<readonly [z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>, z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>]>;
+        kind: z.ZodLiteral<"linkedList">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        doubly: z.ZodOptional<z.ZodBoolean>;
+        circular: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        binary: z.ZodOptional<z.ZodBoolean>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            children: z.ZodOptional<z.ZodArray<z.ZodNullable<z.ZodString>>>;
+            color: z.ZodOptional<z.ZodEnum<{
+                red: "red";
+                black: "black";
+            }>>;
+        }, z.core.$strict>>>;
+        roots: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        rootList: z.ZodOptional<z.ZodEnum<{
+            circular: "circular";
+            list: "list";
+        }>>;
+        levelOrder: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"graph">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        directed: z.ZodOptional<z.ZodBoolean>;
+        layout: z.ZodOptional<z.ZodEnum<{
+            auto: "auto";
+            circle: "circle";
+            layered: "layered";
+            grid: "grid";
+            manual: "manual";
+        }>>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            id: z.ZodString;
+            x: z.ZodOptional<z.ZodNumber>;
+            y: z.ZodOptional<z.ZodNumber>;
+            value: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+        }, z.core.$strict>, z.ZodString, z.ZodNumber]>>>;
+        edges: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            weight: z.ZodOptional<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>;
+            id: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>], null>]>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"table">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        rows: z.ZodOptional<z.ZodInt>;
+        columns: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+        rowLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        columnLabels: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>;
+        cells: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"hashTable">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        size: z.ZodOptional<z.ZodInt>;
+        initial: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>>>;
+        buckets: z.ZodOptional<z.ZodArray<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+        }, z.core.$strict>>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"priorityQueue">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        order: z.ZodOptional<z.ZodEnum<{
+            min: "min";
+            max: "max";
+        }>>;
+        initial: z.ZodArray<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            key: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"btree">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            keys: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+                id: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>]>>;
+            children: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>>;
+        root: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        points: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        segments: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            from: z.ZodString;
+            to: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        kind: z.ZodLiteral<"plane">;
+        label: z.ZodOptional<z.ZodString>;
+        place: z.ZodOptional<z.ZodEnum<{
+            main: "main";
+            side: "side";
+        }>>;
+        axes: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strict>], "kind">>;
+    steps: z.ZodArray<z.ZodObject<{
+        actions: z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            type: z.ZodString;
+        }, z.core.$loose>>;
+        meta: z.ZodOptional<z.ZodObject<{
+            id: z.ZodOptional<z.ZodString>;
+            at: z.ZodOptional<z.ZodString>;
+            line: z.ZodOptional<z.ZodInt>;
+            narration: z.ZodOptional<z.ZodString>;
+            vars: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    sections: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        start: z.ZodInt;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+//# sourceMappingURL=visualization.d.ts.map