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

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

@@ -1,256 +1,239 @@
-import type { builder } from '@astrale-os/kernel-dsl/v1';
-export declare const Mutate: builder.Function<{
-    readonly description: "Validate, authorize, and commit one atomic graph mutation.";
-    readonly auth: "authorized";
-    readonly input: 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;
-                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<{
-                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;
-                }, 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;
-                            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<"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<{
-                    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";
-                        }>;
-                    }, 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<{
-                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>]>>;
-        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>;
-    readonly output: import("zod").ZodObject<{
-        createdNodes: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodString>;
-    }, import("zod/v4/core").$strict>;
-}>;
+import { type builder } from '@astrale-os/kernel-dsl/v1';
+export declare const Mutate: builder.Function<builder.CallableProjection<{
+    ast: {
+        format: "astrale.graph.mutation";
+        version: "v3";
+        preconditions: ({
+            kind: "node";
+            node: string;
+            class: string;
+            props?: {
+                equals: Record<string, unknown>;
+                absent?: string[] | undefined;
+            } | {
+                absent: string[];
+            } | undefined;
+        } | {
+            kind: "edge";
+            edge: {
+                source: string;
+                target: string;
+                class: string;
+            };
+            slug?: unknown;
+            props?: {
+                equals: Record<string, unknown>;
+                absent?: string[] | undefined;
+            } | {
+                absent: string[];
+            } | undefined;
+        } | {
+            kind: "query";
+            query: {
+                format: "astrale.graph.query";
+                version: "v6";
+                source: {
+                    kind: "node";
+                    terms: ({
+                        kind: "path";
+                        path: string;
+                    } | {
+                        kind: "class";
+                        class: {
+                            origin: string;
+                            kind: "class";
+                            name: string;
+                        };
+                    })[];
+                    binding: string;
+                } | {
+                    kind: "edge";
+                    terms: {
+                        kind: "class";
+                        class: {
+                            origin: string;
+                            kind: "class";
+                            name: string;
+                        };
+                    }[];
+                    bindings: {
+                        source: string;
+                        edge: string;
+                        target: string;
+                    };
+                };
+                steps: ({
+                    op: "filter";
+                    binding: string;
+                    predicate: {
+                        kind: "class.satisfies";
+                        class: {
+                            origin: string;
+                            kind: "class";
+                            name: string;
+                        };
+                    } | {
+                        kind: "class.equal";
+                        class: {
+                            origin: string;
+                            kind: "class";
+                            name: string;
+                        };
+                    } | {
+                        kind: "property.equal";
+                        property: string;
+                        value: unknown;
+                    } | {
+                        kind: "property.present";
+                        property: string;
+                    } | {
+                        kind: "property.range";
+                        property: string;
+                        lower?: {
+                            value: string | number;
+                            inclusive: boolean;
+                        } | undefined;
+                        upper?: {
+                            value: string | number;
+                            inclusive: boolean;
+                        } | undefined;
+                    } | {
+                        kind: "identity.equal";
+                        identity: string | {
+                            source: string;
+                            target: string;
+                            class: string;
+                        };
+                    };
+                } | {
+                    op: "expand";
+                    from: string;
+                    via: {
+                        origin: string;
+                        kind: "class";
+                        name: string;
+                    }[];
+                    direction: "incident" | "incoming" | "outgoing";
+                    bindings: {
+                        edge: string;
+                        node: string;
+                    };
+                })[];
+                select: {
+                    kind: "graph";
+                    binding: string;
+                    order?: {
+                        property: string;
+                        direction: "asc" | "desc";
+                        unranked: "first" | "last";
+                    } | undefined;
+                } | {
+                    kind: "nodes";
+                    binding: string;
+                    projection: {
+                        kind: "reference" | "value";
+                    };
+                    order?: {
+                        property: string;
+                        direction: "asc" | "desc";
+                        unranked: "first" | "last";
+                    } | undefined;
+                } | {
+                    kind: "edges";
+                    binding: string;
+                    projection: {
+                        edge: "reference" | "value";
+                        source: "reference" | "value";
+                        target: "reference" | "value";
+                    };
+                    order?: {
+                        property: string;
+                        direction: "asc" | "desc";
+                        unranked: "first" | "last";
+                    } | undefined;
+                };
+            };
+            equals: {
+                kind: "node";
+                ids: string[];
+            } | {
+                kind: "edge";
+                keys: {
+                    source: string;
+                    target: string;
+                    class: string;
+                }[];
+            };
+        })[];
+        operations: ({
+            op: "node.create";
+            as: string;
+            class: string;
+            props: Record<string, unknown>;
+        } | {
+            op: "node.update";
+            node: string;
+            class: string;
+            props: {
+                set: Record<string, unknown>;
+                unset: string[];
+            };
+        } | {
+            op: "node.delete";
+            node: string;
+            class: string;
+        } | {
+            op: "edge.create";
+            class: string;
+            source: string | {
+                created: string;
+            };
+            target: string | {
+                created: string;
+            };
+            slug?: unknown;
+            props: Record<string, unknown>;
+        } | {
+            op: "edge.update";
+            edge: {
+                source: string;
+                target: string;
+                class: string;
+            };
+            slug: unknown;
+            props?: {
+                set: Record<string, unknown>;
+                unset: string[];
+            } | undefined;
+        } | {
+            op: "edge.update";
+            edge: {
+                source: string;
+                target: string;
+                class: string;
+            };
+            props: {
+                set: Record<string, unknown>;
+                unset: string[];
+            };
+        } | {
+            op: "edge.delete";
+            edge: {
+                source: string;
+                target: string;
+                class: string;
+            };
+        })[];
+    };
+    expected?: {
+        origin: string;
+        revision: string;
+    }[] | undefined;
+    idempotencyKey?: string | undefined;
+}, {
+    readonly mode: 'value';
+    readonly value: {
+        createdNodes: Record<string, string>;
+        replayed?: true | undefined;
+    };
+}, "authorized", false, false, undefined>>;

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

@@ -1,8 +1,10 @@
+import { func } from '@astrale-os/kernel-dsl/v1';
 import { mutateInput, mutateOutput } from '../contracts/index.js';
-import { defineFunction } from './define.js';
-export const Mutate = defineFunction({
+import { usePolicy } from './use-policy.js';
+export const Mutate = func({
     description: 'Validate, authorize, and commit one atomic graph mutation.',
     auth: 'authorized',
+    policy: usePolicy(() => Mutate),
     input: mutateInput,
     output: mutateOutput,
 });