@astrale-os/kernel-core 0.9.0-beta.9 → 0.9.0

package/dist/schema/kernel/syscalls/contracts/mutate.d.ts

@@ -1,251 +1,270 @@
 export declare const mutateInput: import("zod").ZodObject<{
-    format: import("zod").ZodLiteral<"astrale.graph.mutation">;
-    version: import("zod").ZodLiteral<"v3">;
-    preconditions: import("zod").ZodArray<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
-        kind: import("zod").ZodLiteral<"node">;
-        node: import("zod").ZodString;
-        class: import("zod").ZodString;
-        props: import("zod").ZodOptional<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
-            equals: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-            absent: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
-        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-            absent: import("zod").ZodArray<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>]>>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        kind: import("zod").ZodLiteral<"edge">;
-        edge: import("zod").ZodObject<{
-            source: import("zod").ZodString;
-            target: import("zod").ZodString;
+    ast: import("zod").ZodObject<{
+        format: import("zod").ZodLiteral<"astrale.graph.mutation">;
+        version: import("zod").ZodLiteral<"v3">;
+        preconditions: import("zod").ZodArray<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
+            kind: import("zod").ZodLiteral<"node">;
+            node: import("zod").ZodString;
             class: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>;
-        slug: import("zod").ZodOptional<import("zod").ZodNullable<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>>;
-        props: import("zod").ZodOptional<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
-            equals: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-            absent: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+            props: import("zod").ZodOptional<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
+                equals: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+                absent: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+            }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                absent: import("zod").ZodArray<import("zod").ZodString>;
+            }, import("zod/v4/core").$strict>]>>;
         }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-            absent: import("zod").ZodArray<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>]>>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        kind: import("zod").ZodLiteral<"query">;
-        query: import("zod").ZodObject<{
-            format: import("zod").ZodLiteral<"astrale.graph.query">;
-            version: import("zod").ZodLiteral<"v6">;
-            source: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"node">;
-                terms: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"path">;
-                    path: import("zod").ZodString;
-                }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"class">;
-                    class: import("zod").ZodObject<{
-                        origin: import("zod").ZodString;
-                        kind: import("zod").ZodLiteral<"class">;
-                        name: import("zod").ZodString;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>], "kind">>;
-                binding: import("zod").ZodString;
+            kind: import("zod").ZodLiteral<"edge">;
+            edge: import("zod").ZodObject<{
+                source: import("zod").ZodString;
+                target: import("zod").ZodString;
+                class: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>;
+            slug: import("zod").ZodOptional<import("zod").ZodNullable<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>>;
+            props: import("zod").ZodOptional<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
+                equals: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+                absent: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"edge">;
-                terms: import("zod").ZodArray<import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"class">;
-                    class: import("zod").ZodObject<{
-                        origin: import("zod").ZodString;
+                absent: import("zod").ZodArray<import("zod").ZodString>;
+            }, import("zod/v4/core").$strict>]>>;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            kind: import("zod").ZodLiteral<"query">;
+            query: import("zod").ZodObject<{
+                format: import("zod").ZodLiteral<"astrale.graph.query">;
+                version: import("zod").ZodLiteral<"v6">;
+                source: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                    kind: import("zod").ZodLiteral<"node">;
+                    terms: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"path">;
+                        path: import("zod").ZodString;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
                         kind: import("zod").ZodLiteral<"class">;
-                        name: import("zod").ZodString;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>>;
-                bindings: import("zod").ZodObject<{
-                    source: import("zod").ZodString;
-                    edge: import("zod").ZodString;
-                    target: import("zod").ZodString;
-                }, import("zod/v4/core").$strict>;
-            }, import("zod/v4/core").$strict>], "kind">;
-            steps: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                op: import("zod").ZodLiteral<"filter">;
-                binding: import("zod").ZodString;
-                predicate: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"class.satisfies">;
-                    class: import("zod").ZodObject<{
-                        origin: import("zod").ZodString;
+                        class: import("zod").ZodObject<{
+                            origin: import("zod").ZodString;
+                            kind: import("zod").ZodLiteral<"class">;
+                            name: import("zod").ZodString;
+                        }, import("zod/v4/core").$strict>;
+                    }, import("zod/v4/core").$strict>], "kind">>;
+                    binding: import("zod").ZodString;
+                }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                    kind: import("zod").ZodLiteral<"edge">;
+                    terms: import("zod").ZodArray<import("zod").ZodObject<{
                         kind: import("zod").ZodLiteral<"class">;
-                        name: import("zod").ZodString;
+                        class: import("zod").ZodObject<{
+                            origin: import("zod").ZodString;
+                            kind: import("zod").ZodLiteral<"class">;
+                            name: import("zod").ZodString;
+                        }, import("zod/v4/core").$strict>;
+                    }, import("zod/v4/core").$strict>>;
+                    bindings: import("zod").ZodObject<{
+                        source: import("zod").ZodString;
+                        edge: import("zod").ZodString;
+                        target: import("zod").ZodString;
                     }, import("zod/v4/core").$strict>;
+                }, import("zod/v4/core").$strict>], "kind">;
+                steps: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                    op: import("zod").ZodLiteral<"filter">;
+                    binding: import("zod").ZodString;
+                    predicate: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"class.satisfies">;
+                        class: import("zod").ZodObject<{
+                            origin: import("zod").ZodString;
+                            kind: import("zod").ZodLiteral<"class">;
+                            name: import("zod").ZodString;
+                        }, import("zod/v4/core").$strict>;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"class.equal">;
+                        class: import("zod").ZodObject<{
+                            origin: import("zod").ZodString;
+                            kind: import("zod").ZodLiteral<"class">;
+                            name: import("zod").ZodString;
+                        }, import("zod/v4/core").$strict>;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"property.equal">;
+                        property: import("zod").ZodString;
+                        value: import("zod").ZodUnknown;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"property.present">;
+                        property: import("zod").ZodString;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"property.range">;
+                        property: import("zod").ZodString;
+                        lower: import("zod").ZodOptional<import("zod").ZodObject<{
+                            value: import("zod").ZodUnion<readonly [import("zod").ZodNumber, import("zod").ZodString]>;
+                            inclusive: import("zod").ZodBoolean;
+                        }, import("zod/v4/core").$strict>>;
+                        upper: import("zod").ZodOptional<import("zod").ZodObject<{
+                            value: import("zod").ZodUnion<readonly [import("zod").ZodNumber, import("zod").ZodString]>;
+                            inclusive: import("zod").ZodBoolean;
+                        }, import("zod/v4/core").$strict>>;
+                    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+                        kind: import("zod").ZodLiteral<"identity.equal">;
+                        identity: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
+                            source: import("zod").ZodString;
+                            target: import("zod").ZodString;
+                            class: import("zod").ZodString;
+                        }, import("zod/v4/core").$strict>]>;
+                    }, import("zod/v4/core").$strict>], "kind">;
                 }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"class.equal">;
-                    class: import("zod").ZodObject<{
+                    op: import("zod").ZodLiteral<"expand">;
+                    from: import("zod").ZodString;
+                    via: import("zod").ZodArray<import("zod").ZodObject<{
                         origin: import("zod").ZodString;
                         kind: import("zod").ZodLiteral<"class">;
                         name: import("zod").ZodString;
+                    }, import("zod/v4/core").$strict>>;
+                    direction: import("zod").ZodEnum<{
+                        incident: "incident";
+                        incoming: "incoming";
+                        outgoing: "outgoing";
+                    }>;
+                    bindings: import("zod").ZodObject<{
+                        edge: import("zod").ZodString;
+                        node: import("zod").ZodString;
                     }, import("zod/v4/core").$strict>;
+                }, import("zod/v4/core").$strict>], "op">>;
+                select: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                    kind: import("zod").ZodLiteral<"graph">;
+                    binding: import("zod").ZodString;
+                    order: import("zod").ZodOptional<import("zod").ZodObject<{
+                        property: import("zod").ZodString;
+                        direction: import("zod").ZodEnum<{
+                            asc: "asc";
+                            desc: "desc";
+                        }>;
+                        unranked: import("zod").ZodEnum<{
+                            first: "first";
+                            last: "last";
+                        }>;
+                    }, import("zod/v4/core").$strict>>;
                 }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"property.equal">;
-                    property: import("zod").ZodString;
-                    value: import("zod").ZodUnknown;
-                }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"property.present">;
-                    property: import("zod").ZodString;
+                    kind: import("zod").ZodLiteral<"nodes">;
+                    binding: import("zod").ZodString;
+                    projection: import("zod").ZodObject<{
+                        kind: import("zod").ZodEnum<{
+                            reference: "reference";
+                            value: "value";
+                        }>;
+                    }, import("zod/v4/core").$strict>;
+                    order: import("zod").ZodOptional<import("zod").ZodObject<{
+                        property: import("zod").ZodString;
+                        direction: import("zod").ZodEnum<{
+                            asc: "asc";
+                            desc: "desc";
+                        }>;
+                        unranked: import("zod").ZodEnum<{
+                            first: "first";
+                            last: "last";
+                        }>;
+                    }, import("zod/v4/core").$strict>>;
                 }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"identity.equal">;
-                    identity: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
-                        source: import("zod").ZodString;
-                        target: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                    }, import("zod/v4/core").$strict>]>;
+                    kind: import("zod").ZodLiteral<"edges">;
+                    binding: import("zod").ZodString;
+                    projection: import("zod").ZodObject<{
+                        edge: import("zod").ZodEnum<{
+                            reference: "reference";
+                            value: "value";
+                        }>;
+                        source: import("zod").ZodEnum<{
+                            reference: "reference";
+                            value: "value";
+                        }>;
+                        target: import("zod").ZodEnum<{
+                            reference: "reference";
+                            value: "value";
+                        }>;
+                    }, import("zod/v4/core").$strict>;
+                    order: import("zod").ZodOptional<import("zod").ZodObject<{
+                        property: import("zod").ZodString;
+                        direction: import("zod").ZodEnum<{
+                            asc: "asc";
+                            desc: "desc";
+                        }>;
+                        unranked: import("zod").ZodEnum<{
+                            first: "first";
+                            last: "last";
+                        }>;
+                    }, import("zod/v4/core").$strict>>;
                 }, import("zod/v4/core").$strict>], "kind">;
+            }, import("zod/v4/core").$strict>;
+            equals: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                kind: import("zod").ZodLiteral<"node">;
+                ids: import("zod").ZodArray<import("zod").ZodString>;
             }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                op: import("zod").ZodLiteral<"expand">;
-                from: import("zod").ZodString;
-                via: import("zod").ZodArray<import("zod").ZodObject<{
-                    origin: import("zod").ZodString;
-                    kind: import("zod").ZodLiteral<"class">;
-                    name: import("zod").ZodString;
-                }, import("zod/v4/core").$strict>>;
-                direction: import("zod").ZodEnum<{
-                    incident: "incident";
-                    incoming: "incoming";
-                    outgoing: "outgoing";
-                }>;
-                bindings: import("zod").ZodObject<{
-                    edge: import("zod").ZodString;
-                    node: import("zod").ZodString;
-                }, import("zod/v4/core").$strict>;
-            }, import("zod/v4/core").$strict>], "op">>;
-            select: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"graph">;
-                binding: import("zod").ZodString;
-                order: import("zod").ZodOptional<import("zod").ZodObject<{
-                    property: import("zod").ZodString;
-                    direction: import("zod").ZodEnum<{
-                        asc: "asc";
-                        desc: "desc";
-                    }>;
-                    unranked: import("zod").ZodEnum<{
-                        first: "first";
-                        last: "last";
-                    }>;
-                }, import("zod/v4/core").$strict>>;
-            }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"nodes">;
-                binding: import("zod").ZodString;
-                projection: import("zod").ZodObject<{
-                    kind: import("zod").ZodEnum<{
-                        reference: "reference";
-                        value: "value";
-                    }>;
-                }, import("zod/v4/core").$strict>;
-                order: import("zod").ZodOptional<import("zod").ZodObject<{
-                    property: import("zod").ZodString;
-                    direction: import("zod").ZodEnum<{
-                        asc: "asc";
-                        desc: "desc";
-                    }>;
-                    unranked: import("zod").ZodEnum<{
-                        first: "first";
-                        last: "last";
-                    }>;
-                }, import("zod/v4/core").$strict>>;
-            }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"edges">;
-                binding: import("zod").ZodString;
-                projection: import("zod").ZodObject<{
-                    edge: import("zod").ZodEnum<{
-                        reference: "reference";
-                        value: "value";
-                    }>;
-                    source: import("zod").ZodEnum<{
-                        reference: "reference";
-                        value: "value";
-                    }>;
-                    target: import("zod").ZodEnum<{
-                        reference: "reference";
-                        value: "value";
-                    }>;
-                }, import("zod/v4/core").$strict>;
-                order: import("zod").ZodOptional<import("zod").ZodObject<{
-                    property: import("zod").ZodString;
-                    direction: import("zod").ZodEnum<{
-                        asc: "asc";
-                        desc: "desc";
-                    }>;
-                    unranked: import("zod").ZodEnum<{
-                        first: "first";
-                        last: "last";
-                    }>;
+                kind: import("zod").ZodLiteral<"edge">;
+                keys: import("zod").ZodArray<import("zod").ZodObject<{
+                    source: import("zod").ZodString;
+                    target: import("zod").ZodString;
+                    class: import("zod").ZodString;
                 }, import("zod/v4/core").$strict>>;
             }, import("zod/v4/core").$strict>], "kind">;
-        }, import("zod/v4/core").$strict>;
-        equals: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-            kind: import("zod").ZodLiteral<"node">;
-            ids: import("zod").ZodArray<import("zod").ZodString>;
+        }, import("zod/v4/core").$strict>]>>;
+        operations: import("zod").ZodArray<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"node.create">;
+            as: import("zod").ZodString;
+            class: import("zod").ZodString;
+            props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
         }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-            kind: import("zod").ZodLiteral<"edge">;
-            keys: import("zod").ZodArray<import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"node.update">;
+            node: import("zod").ZodString;
+            class: import("zod").ZodString;
+            props: import("zod").ZodObject<{
+                set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+                unset: import("zod").ZodArray<import("zod").ZodString>;
+            }, import("zod/v4/core").$strict>;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"node.delete">;
+            node: import("zod").ZodString;
+            class: import("zod").ZodString;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"edge.create">;
+            class: import("zod").ZodString;
+            source: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
+                created: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>]>;
+            target: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
+                created: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>]>;
+            slug: import("zod").ZodOptional<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>;
+            props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"edge.update">;
+            edge: import("zod").ZodObject<{
                 source: import("zod").ZodString;
                 target: import("zod").ZodString;
                 class: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>;
+            slug: import("zod").ZodNullable<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>;
+            props: import("zod").ZodOptional<import("zod").ZodObject<{
+                set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+                unset: import("zod").ZodArray<import("zod").ZodString>;
             }, import("zod/v4/core").$strict>>;
-        }, import("zod/v4/core").$strict>], "kind">;
-    }, import("zod/v4/core").$strict>]>>;
-    operations: import("zod").ZodArray<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"node.create">;
-        as: import("zod").ZodString;
-        class: import("zod").ZodString;
-        props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"node.update">;
-        node: import("zod").ZodString;
-        class: import("zod").ZodString;
-        props: import("zod").ZodObject<{
-            set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-            unset: import("zod").ZodArray<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"node.delete">;
-        node: import("zod").ZodString;
-        class: import("zod").ZodString;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"edge.create">;
-        class: import("zod").ZodString;
-        source: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
-            created: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>]>;
-        target: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
-            created: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>]>;
-        slug: import("zod").ZodOptional<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>;
-        props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"edge.update">;
-        edge: import("zod").ZodObject<{
-            source: import("zod").ZodString;
-            target: import("zod").ZodString;
-            class: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>;
-        slug: import("zod").ZodNullable<import("zod").ZodType<import("../../../../graph/edge/index.js").EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<import("../../../../graph/edge/index.js").EdgeSlug, unknown>>>;
-        props: import("zod").ZodOptional<import("zod").ZodObject<{
-            set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-            unset: import("zod").ZodArray<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"edge.update">;
-        edge: import("zod").ZodObject<{
-            source: import("zod").ZodString;
-            target: import("zod").ZodString;
-            class: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>;
-        props: import("zod").ZodObject<{
-            set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-            unset: import("zod").ZodArray<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>;
-    }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-        op: import("zod").ZodLiteral<"edge.delete">;
-        edge: import("zod").ZodObject<{
-            source: import("zod").ZodString;
-            target: import("zod").ZodString;
-            class: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>;
-    }, import("zod/v4/core").$strict>]>>;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"edge.update">;
+            edge: import("zod").ZodObject<{
+                source: import("zod").ZodString;
+                target: import("zod").ZodString;
+                class: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>;
+            props: import("zod").ZodObject<{
+                set: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
+                unset: import("zod").ZodArray<import("zod").ZodString>;
+            }, import("zod/v4/core").$strict>;
+        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+            op: import("zod").ZodLiteral<"edge.delete">;
+            edge: import("zod").ZodObject<{
+                source: import("zod").ZodString;
+                target: import("zod").ZodString;
+                class: import("zod").ZodString;
+            }, import("zod/v4/core").$strict>;
+        }, import("zod/v4/core").$strict>]>>;
+    }, import("zod/v4/core").$strict>;
+    expected: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+        origin: import("zod").ZodString;
+        revision: import("zod").ZodString;
+    }, import("zod/v4/core").$strict>>>;
+    idempotencyKey: import("zod").ZodOptional<import("zod").ZodString>;
 }, import("zod/v4/core").$strict>;
 export declare const mutateOutput: import("zod").ZodObject<{
     createdNodes: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodString>;
+    replayed: import("zod").ZodOptional<import("zod").ZodLiteral<true>>;
 }, import("zod/v4/core").$strict>;

package/dist/schema/kernel/syscalls/contracts/mutate.js

@@ -1,3 +1,9 @@
+import { strictObject, string } from 'zod';
 import { mutationAstSchema, mutationResultSchema } from '#graph/mutate/wire';
-export const mutateInput = mutationAstSchema;
+import { domainExpectations } from './expected.js';
+export const mutateInput = strictObject({
+    ast: mutationAstSchema,
+    expected: domainExpectations.optional(),
+    idempotencyKey: string().min(1).max(256).optional(),
+});
 export const mutateOutput = mutationResultSchema;