@astrale-os/kernel-core 1.0.0-beta.5 → 1.0.0-beta.7

package/dist/callable/invocation/result.d.ts

@@ -1,5 +1,9 @@
+import type { NodeId } from '@astrale-os/kernel-core/graph/node';
 import type { BinaryOutput } from '../contract/index.js';
-/** Successful callable output modes parameterized by the owner's stream capability. */
+/**
+ * Successful result of invoking a callable: its output in the declared mode, or the Execution a
+ * durable callable started, whose outcome later carries that output.
+ */
 export type CallableResult<Output, Stream extends AsyncIterable<Output>> = {
     readonly kind: 'value';
     readonly value: Output;
@@ -9,4 +13,7 @@ export type CallableResult<Output, Stream extends AsyncIterable<Output>> = {
 } | {
     readonly kind: 'binary';
     readonly value: BinaryOutput;
+} | {
+    readonly kind: 'execution';
+    readonly execution: NodeId;
 };

package/dist/schema/kernel/schema.d.ts

@@ -9142,7 +9142,23 @@ export declare const AuthorityRelations: Readonly<{
     };
 }>;
 /** Exact authorized Kernel Functions for which pristine Root receives direct can_use authority. */
-export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-dsl/v1").ResolvedFunction<import("@astrale-os/kernel-dsl/v1").BinaryInputProjection<{
+export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
+    node: string;
+    property: string;
+} | {
+    slots: {
+        node: string;
+        property: string;
+    }[];
+}, {
+    readonly mode: 'binary';
+}, "authorized", import("@astrale-os/kernel-dsl/v1").CallablePolicy> & {
+    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"download"> & {
+        readonly origin: "kernel.astrale.ai";
+    };
+    readonly key: "kernel.astrale.ai:function.download";
+    readonly execution: undefined;
+}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<import("@astrale-os/kernel-dsl/v1").BinaryInputProjection<{
     mediaType: string;
 }>, {
     readonly mode: 'value';
@@ -9161,95 +9177,6 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     };
     readonly key: "kernel.astrale.ai:function.upload";
     readonly execution: undefined;
-}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
-    operation: string;
-    domains: ({
-        artifact: {
-            digest: string;
-            mediaType: string;
-            size: number;
-        };
-        currentRevision?: string | null | undefined;
-    } | {
-        release: {
-            url: string;
-            token?: string | undefined;
-            digest?: string | undefined;
-        };
-        consent?: {
-            issuer: {
-                from: string;
-                to: string;
-            };
-            previous?: "drain" | "revoke" | undefined;
-        } | undefined;
-        revision?: string | undefined;
-        currentRevision?: string | null | undefined;
-    })[];
-    mode?: "maintenance" | "online" | undefined;
-    validation?: {
-        scope?: "full" | "incremental" | undefined;
-        counts?: "exact" | "sample" | undefined;
-    } | undefined;
-}, {
-    readonly mode: 'value';
-    readonly value: {
-        changed: true;
-        receipt: {
-            operation: string;
-            transitions: {
-                intent: {
-                    transition: string;
-                    operation: string;
-                    origin: string;
-                    previous: {
-                        origin: string;
-                        revision: string;
-                        generation: string;
-                    } | null;
-                    generation: {
-                        origin: string;
-                        revision: string;
-                        generation: string;
-                    } | null;
-                    consent?: {
-                        issuer: {
-                            from: string;
-                            to: string;
-                        };
-                        previous: "drain" | "revoke";
-                    } | undefined;
-                };
-                phase: "converge" | "cutover";
-                state: "committed";
-                readiness?: {
-                    generation: string;
-                    transition: string;
-                    dependencies: {
-                        origin: string;
-                        generation: string;
-                        readiness: string;
-                        meaning: string;
-                    }[];
-                } | undefined;
-            }[];
-        };
-    } | {
-        changed: false;
-        domains: {
-            origin: string;
-            revision: string;
-            generation: string;
-        }[];
-    };
-}, "authorized", import("@astrale-os/kernel-dsl/v1").CallablePolicy> & {
-    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"install"> & {
-        readonly origin: "kernel.astrale.ai";
-    };
-    readonly key: "kernel.astrale.ai:function.install";
-    readonly execution: {
-        readonly durable: true;
-    };
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
     ast: {
         format: "astrale.graph.mutation";
@@ -9849,20 +9776,120 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     readonly key: "kernel.astrale.ai:function.journal";
     readonly execution: undefined;
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
-    node: string;
-    property: string;
-} | {
-    slots: {
-        node: string;
-        property: string;
-    }[];
+    operation: string;
+    domains: ({
+        artifact: {
+            digest: string;
+            mediaType: string;
+            size: number;
+        };
+        currentRevision?: string | null | undefined;
+    } | {
+        release: {
+            url: string;
+            token?: string | undefined;
+            digest?: string | undefined;
+        };
+        consent?: {
+            issuer: {
+                from: string;
+                to: string;
+            };
+            previous?: "drain" | "revoke" | undefined;
+        } | undefined;
+        revision?: string | undefined;
+        currentRevision?: string | null | undefined;
+    })[];
+    mode?: "maintenance" | "online" | undefined;
+    validation?: {
+        scope?: "full" | "incremental" | undefined;
+        counts?: "exact" | "sample" | undefined;
+    } | undefined;
 }, {
-    readonly mode: 'binary';
+    readonly mode: 'value';
+    readonly value: {
+        changed: true;
+        receipt: {
+            operation: string;
+            transitions: {
+                intent: {
+                    transition: string;
+                    operation: string;
+                    origin: string;
+                    previous: {
+                        origin: string;
+                        revision: string;
+                        generation: string;
+                    } | null;
+                    generation: {
+                        origin: string;
+                        revision: string;
+                        generation: string;
+                    } | null;
+                    consent?: {
+                        issuer: {
+                            from: string;
+                            to: string;
+                        };
+                        previous: "drain" | "revoke";
+                    } | undefined;
+                };
+                phase: "converge" | "cutover";
+                state: "committed";
+                readiness?: {
+                    generation: string;
+                    transition: string;
+                    dependencies: {
+                        origin: string;
+                        generation: string;
+                        readiness: string;
+                        meaning: string;
+                    }[];
+                } | undefined;
+            }[];
+        };
+    } | {
+        changed: false;
+        domains: {
+            origin: string;
+            revision: string;
+            generation: string;
+        }[];
+    };
 }, "authorized", import("@astrale-os/kernel-dsl/v1").CallablePolicy> & {
-    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"download"> & {
+    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"install"> & {
         readonly origin: "kernel.astrale.ai";
     };
-    readonly key: "kernel.astrale.ai:function.download";
+    readonly key: "kernel.astrale.ai:function.install";
+    readonly execution: {
+        readonly durable: true;
+    };
+}) | (import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
+    iss: string;
+    sub: string;
+}, {
+    readonly mode: 'value';
+    readonly value: {
+        id: string;
+        iss: string;
+        sub: string;
+        frozen: boolean;
+        requiredClaims: ({
+            claim: string;
+            op: "contains";
+            value: unknown;
+        } | {
+            claim: string;
+            op: "eq";
+            value: unknown;
+        } | {
+            claim: string;
+            op: "exists";
+        })[];
+    } | null;
+}, true, false, "authorized", import("@astrale-os/kernel-dsl/v1").CallablePolicy, "kernel.astrale.ai:class.Identity.method.whois"> & {
+    readonly name: "whois";
+    readonly executable: true;
     readonly execution: undefined;
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
     audience?: string | undefined;
@@ -9907,33 +9934,6 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     readonly name: "resolve";
     readonly executable: true;
     readonly execution: undefined;
-}) | (import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
-    iss: string;
-    sub: string;
-}, {
-    readonly mode: 'value';
-    readonly value: {
-        id: string;
-        iss: string;
-        sub: string;
-        frozen: boolean;
-        requiredClaims: ({
-            claim: string;
-            op: "contains";
-            value: unknown;
-        } | {
-            claim: string;
-            op: "eq";
-            value: unknown;
-        } | {
-            claim: string;
-            op: "exists";
-        })[];
-    } | null;
-}, true, false, "authorized", import("@astrale-os/kernel-dsl/v1").CallablePolicy, "kernel.astrale.ai:class.Identity.method.whois"> & {
-    readonly name: "whois";
-    readonly executable: true;
-    readonly execution: undefined;
 }))[];
 export { AuthorityOperationOrder, AuthorityOperations, operationOf } from '../authority/index.js';
 export type { AuthorityOperation, AuthorityRelation } from '../authority/index.js';

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

@@ -56,6 +56,12 @@ export declare const uninstallOutput: import("zod").ZodObject<{
 export interface UninstallInput {
     readonly operation: OperationId;
     readonly domains: readonly [string, ...string[]];
+    /**
+     * `safe` refuses while facts of their Classes remain, whatever their number. `destructive`
+     * deletes those facts in the uninstall's one activation, at most the Host's projection bound of
+     * each Class (`maximumProjectionFacts`, 10,000 facts in the production profile), and refuses a
+     * larger Class `budget-exceeded`: delete its facts beyond the bound first.
+     */
     readonly data: {
         readonly mode: 'safe' | 'destructive';
     };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrale-os/kernel-core",
-  "version": "1.0.0-beta.5",
+  "version": "1.0.0-beta.7",
   "description": "Astrale Kernel Core - Types, Invariants, and Pure Logic",
   "license": "Apache-2.0",
   "repository": {