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

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

@@ -1,260 +1,236 @@
-import type { builder } from '@astrale-os/kernel-dsl/v1';
-export declare const Query: builder.Function<{
-    readonly description: "Execute one finite authorized graph query.";
-    readonly auth: "authorized";
-    readonly input: import("zod").ZodObject<{
-        ast: 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>;
-        expected: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
-            origin: import("zod").ZodString;
-            revision: import("zod").ZodString;
-        }, import("zod/v4/core").$strict>>>;
-        page: import("zod").ZodObject<{
-            size: import("zod").ZodNumber;
-            after: import("zod").ZodOptional<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>;
-    }, import("zod/v4/core").$strict>;
-    readonly output: import("zod").ZodObject<{
-        result: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-            kind: import("zod").ZodLiteral<"graph">;
-            graph: import("zod").ZodObject<{
-                nodes: import("zod").ZodArray<import("zod").ZodObject<{
-                    id: import("zod").ZodString;
-                    class: import("zod").ZodString;
-                    props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-                }, import("zod/v4/core").$strict>>;
-                edges: import("zod").ZodArray<import("zod").ZodObject<{
-                    source: import("zod").ZodString;
-                    target: import("zod").ZodString;
-                    class: import("zod").ZodString;
-                    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/v4/core").$strict>;
-            selection: 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>, import("zod").ZodObject<{
-            kind: import("zod").ZodLiteral<"nodes">;
-            nodes: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"reference">;
-                value: import("zod").ZodObject<{
-                    id: import("zod").ZodString;
-                    class: import("zod").ZodString;
-                }, import("zod/v4/core").$strict>;
-            }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                kind: import("zod").ZodLiteral<"value">;
-                value: import("zod").ZodObject<{
-                    id: import("zod").ZodString;
-                    class: import("zod").ZodString;
-                    props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-                }, import("zod/v4/core").$strict>;
-            }, import("zod/v4/core").$strict>], "kind">>;
-        }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-            kind: import("zod").ZodLiteral<"edges">;
-            edges: import("zod").ZodArray<import("zod").ZodObject<{
-                edge: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"reference">;
-                    value: 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").ZodObject<{
-                    kind: import("zod").ZodLiteral<"value">;
-                    value: import("zod").ZodObject<{
-                        source: import("zod").ZodString;
-                        target: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                        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/v4/core").$strict>], "kind">;
-                source: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"reference">;
-                    value: import("zod").ZodObject<{
-                        id: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"value">;
-                    value: import("zod").ZodObject<{
-                        id: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                        props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>], "kind">;
-                target: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"reference">;
-                    value: import("zod").ZodObject<{
-                        id: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
-                    kind: import("zod").ZodLiteral<"value">;
-                    value: import("zod").ZodObject<{
-                        id: import("zod").ZodString;
-                        class: import("zod").ZodString;
-                        props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
-                    }, import("zod/v4/core").$strict>;
-                }, import("zod/v4/core").$strict>], "kind">;
-            }, import("zod/v4/core").$strict>>;
-        }, import("zod/v4/core").$strict>], "kind">;
-        page: import("zod").ZodObject<{
-            next: import("zod").ZodOptional<import("zod").ZodString>;
-        }, import("zod/v4/core").$strict>;
-    }, import("zod/v4/core").$strict>;
-}>;
+import { type builder } from '@astrale-os/kernel-dsl/v1';
+export declare const Query: builder.Function<builder.CallableProjection<{
+    ast: {
+        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;
+        };
+    };
+    expected?: {
+        origin: string;
+        revision: string;
+    }[] | undefined;
+    page: {
+        size: number;
+        after?: string | undefined;
+    };
+}, {
+    readonly mode: 'value';
+    readonly value: {
+        result: {
+            kind: "graph";
+            graph: {
+                nodes: {
+                    id: string;
+                    class: string;
+                    props: Record<string, unknown>;
+                }[];
+                edges: {
+                    source: string;
+                    target: string;
+                    class: string;
+                    slug?: import("../../../../graph/edge/index.js").EdgeSlug | undefined;
+                    props: Record<string, unknown>;
+                }[];
+            };
+            selection: {
+                kind: "node";
+                ids: string[];
+            } | {
+                kind: "edge";
+                keys: {
+                    source: string;
+                    target: string;
+                    class: string;
+                }[];
+            };
+        } | {
+            kind: "nodes";
+            nodes: ({
+                kind: "reference";
+                value: {
+                    id: string;
+                    class: string;
+                };
+            } | {
+                kind: "value";
+                value: {
+                    id: string;
+                    class: string;
+                    props: Record<string, unknown>;
+                };
+            })[];
+        } | {
+            kind: "edges";
+            edges: {
+                edge: {
+                    kind: "reference";
+                    value: {
+                        source: string;
+                        target: string;
+                        class: string;
+                    };
+                } | {
+                    kind: "value";
+                    value: {
+                        source: string;
+                        target: string;
+                        class: string;
+                        slug?: import("../../../../graph/edge/index.js").EdgeSlug | undefined;
+                        props: Record<string, unknown>;
+                    };
+                };
+                source: {
+                    kind: "reference";
+                    value: {
+                        id: string;
+                        class: string;
+                    };
+                } | {
+                    kind: "value";
+                    value: {
+                        id: string;
+                        class: string;
+                        props: Record<string, unknown>;
+                    };
+                };
+                target: {
+                    kind: "reference";
+                    value: {
+                        id: string;
+                        class: string;
+                    };
+                } | {
+                    kind: "value";
+                    value: {
+                        id: string;
+                        class: string;
+                        props: Record<string, unknown>;
+                    };
+                };
+            }[];
+        };
+        page: {
+            next?: string | undefined;
+        };
+        certification?: "uncertified" | undefined;
+    };
+}, "authorized", false, false, undefined>>;

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

@@ -1,8 +1,10 @@
+import { func } from '@astrale-os/kernel-dsl/v1';
 import { queryInput, queryOutput } from '../contracts/index.js';
-import { defineFunction } from './define.js';
-export const Query = defineFunction({
+import { usePolicy } from './use-policy.js';
+export const Query = func({
     description: 'Execute one finite authorized graph query.',
     auth: 'authorized',
+    policy: usePolicy(() => Query),
     input: queryInput,
     output: queryOutput,
 });

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

@@ -0,0 +1,23 @@
+import { type builder } from '@astrale-os/kernel-dsl/v1';
+export declare const Register: builder.Function<builder.CallableProjection<{
+    idempotencyKey: string;
+    identities: ({
+        id: string;
+        mode: "external";
+        credential: string;
+    } | {
+        id: string;
+        mode: "self";
+        publicKey: unknown;
+        credential: string;
+    })[];
+}, {
+    readonly mode: 'value';
+    readonly value: {
+        identities: {
+            id: string;
+            iss: string;
+            sub: string;
+        }[];
+    };
+}, "authorized", false, false, undefined>>;

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

@@ -0,0 +1,10 @@
+import { func } from '@astrale-os/kernel-dsl/v1';
+import { registerInput, registerOutput } from '../contracts/index.js';
+import { usePolicy } from './use-policy.js';
+export const Register = func({
+    description: 'Atomically establish credential-evidenced, write-once Authentication on existing Identity-bearing Nodes.',
+    auth: 'authorized',
+    policy: usePolicy(() => Register),
+    input: registerInput,
+    output: registerOutput,
+});