@astrale-os/kernel-core 0.9.0-beta.60 → 0.9.0-beta.62

package/dist/auth/authority/admission/admission.js

@@ -61,13 +61,11 @@ function admit(input, path, locals, subjectBound, depth) {
             };
         case 'related': {
             const hasRepeat = Object.hasOwn(value, 'repeat');
-            exact(value, hasRepeat
-                ? ['classes', 'op', 'repeat', 'source', 'target']
-                : ['classes', 'op', 'source', 'target'], path);
+            exact(value, hasRepeat ? ['via', 'op', 'repeat', 'source', 'target'] : ['via', 'op', 'source', 'target'], path);
             return {
                 op: 'related',
                 source: term(value.source, `${path}/source`, locals, subjectBound),
-                classes: array(value.classes, `${path}/classes`, 1, limits.classesPerRelation).map((entry, index) => edgeClassRef(entry, `${path}/classes/${index}`)),
+                via: array(value.via, `${path}/via`, 1, limits.classesPerRelation).map((entry, index) => edgeClassRef(entry, `${path}/via/${index}`)),
                 target: term(value.target, `${path}/target`, locals, subjectBound),
                 ...(hasRepeat ? { repeat: repeat(value.repeat, `${path}/repeat`) } : {}),
             };

package/dist/auth/authority/index.d.ts

@@ -5,4 +5,4 @@ export { prepareGrantBody } from './prepare-grant-body.js';
 export { limits } from './admission/index.js';
 export { canonicalize } from './normalization/index.js';
 export { AUTHORITY_PREDICATE_VERSION } from './language/index.js';
-export type { AuthorityExpr, AuthorityPredicate, ClassRef, Input, LocalDeclaration, Operation, Repeat, Requirement, Term, } from './language/index.js';
+export type { AuthorityExpr, AuthorityPredicate, ClassRef, ClosedEdgeExtent, Input, LocalDeclaration, Operation, Repeat, Requirement, Term, } from './language/index.js';

package/dist/auth/authority/language/index.d.ts

@@ -1,2 +1,2 @@
 export { AUTHORITY_PREDICATE_VERSION } from './predicate.js';
-export type { AuthorityExpr, AuthorityPredicate, ClassRef, Input, LocalDeclaration, Operation, Repeat, Requirement, Term, } from './predicate.js';
+export type { AuthorityExpr, AuthorityPredicate, ClassRef, ClosedEdgeExtent, Input, LocalDeclaration, Operation, Repeat, Requirement, Term, } from './predicate.js';

package/dist/auth/authority/language/predicate.d.ts

@@ -1,7 +1,9 @@
 import type { ClassRef, CoreRef, FunctionRef, PolicyRef, ViewRef, Key } from '@astrale-os/kernel-dsl/v1/addressing';
 import type { NodeId } from '../../../graph/node/index.js';
 import type { Grant } from '../../grant/index.js';
-export declare const AUTHORITY_PREDICATE_VERSION: 9;
+export declare const AUTHORITY_PREDICATE_VERSION: 10;
+/** Concrete Edge Classes selected by Runtime closure, reused at every bounded hop. */
+export type ClosedEdgeExtent = readonly [ClassRef, ...ClassRef[]];
 export type Operation = 'create' | 'read' | 'traverse' | 'update' | 'delete';
 export type Input = 'object' | 'source' | 'target';
 export type { ClassRef } from '@astrale-os/kernel-dsl/v1/addressing';
@@ -70,10 +72,10 @@ export type AuthorityExpr = {
     readonly grant: Grant;
     readonly where: AuthorityExpr;
 } | {
-    /** One concrete Class relation extent, reused at every bounded hop. */
+    /** One closed Edge extent, reused at every bounded hop. */
     readonly op: 'related';
     readonly source: Term;
-    readonly classes: readonly [ClassRef, ...ClassRef[]];
+    readonly via: ClosedEdgeExtent;
     readonly target: Term;
     readonly repeat?: Repeat;
 } | {

package/dist/auth/authority/language/predicate.js

@@ -1 +1 @@
-export const AUTHORITY_PREDICATE_VERSION = 9;
+export const AUTHORITY_PREDICATE_VERSION = 10;

package/dist/auth/authority/normalization/normalize.js

@@ -60,7 +60,7 @@ function normalize(expr, path, locals, subjectBound) {
             return Object.freeze({
                 op: 'related',
                 source: normalizeTerm(expr.source),
-                classes: normalizeClasses(expr.classes),
+                via: normalizeClasses(expr.via),
                 target: normalizeTerm(expr.target),
                 ...(expr.repeat === undefined ? {} : { repeat: Object.freeze({ ...expr.repeat }) }),
             });

package/dist/auth/index.d.ts

@@ -1,6 +1,6 @@
 export { AuthValueError } from './error.js';
 export type { Attestation } from './attestation/index.js';
-export type { AuthorityExpr, AuthorityPredicate } from './authority/language/index.js';
+export type { AuthorityExpr, AuthorityPredicate, ClosedEdgeExtent, } from './authority/language/index.js';
 export type { ClaimConstraint } from './claims/index.js';
 export type { AuthenticationEvidence, AuthenticationMethod, CredentialAudience, CredentialInput, MintedCredential, UnverifiedCredential, VerifiedCredential, } from './credential/index.js';
 export type { AuthContext, Authenticated, CredentialContext } from './context/index.js';

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

@@ -1,15 +1,13 @@
-import type { Key, Revision } from '@astrale-os/kernel-dsl/v1/addressing';
+import type { Key } from '@astrale-os/kernel-dsl/v1/addressing';
 import type { Value } from '@astrale-os/kernel-dsl/value';
 import { type NodePath } from '@astrale-os/kernel-core/path';
 /**
  * One declaration, optionally bound to an instance and to the caller's expectation of it: the
- * declaring Domain revision, or the fingerprint of the callable meaning it compiled against.
+ * fingerprint of the callable meaning it compiled against.
  */
 export type Target = {
     readonly callable: Key.Callable;
     readonly instance?: NodePath;
-    /** @deprecated Pin the callable meaning with `fingerprint`; revision pinning will be removed. */
-    readonly revision?: Revision;
     readonly fingerprint?: `sha256:${string}`;
 };
 /** Capture a structured invocation target at a representation boundary. */

package/dist/callable/invocation/call.js

@@ -1,21 +1,16 @@
 import { Path } from '@astrale-os/kernel-core/path';
-import { callableAddress, patterns } from '@astrale-os/kernel-dsl/v1/addressing';
+import { callableAddress } from '@astrale-os/kernel-dsl/v1/addressing';
 const FINGERPRINT_PATTERN = /^sha256:[0-9a-f]{64}$/u;
 /** Capture a structured invocation target at a representation boundary. */
 export function Target(input) {
     if (input === null ||
         typeof input !== 'object' ||
         Array.isArray(input) ||
-        Reflect.ownKeys(input).some((field) => !['callable', 'instance', 'revision', 'fingerprint'].includes(String(field)))) {
-        throw new TypeError('Invocation Target must contain only callable, instance, revision and fingerprint.');
+        Reflect.ownKeys(input).some((field) => !['callable', 'instance', 'fingerprint'].includes(String(field)))) {
+        throw new TypeError('Invocation Target must contain only callable, instance and fingerprint.');
     }
     const callable = input.callable;
     const coordinate = callableAddress(callable);
-    const revision = input.revision;
-    if (revision !== undefined &&
-        (typeof revision !== 'string' || !patterns.revision.test(revision))) {
-        throw new TypeError('Invocation Target revision is invalid.');
-    }
     const fingerprint = input.fingerprint;
     if (fingerprint !== undefined &&
         (typeof fingerprint !== 'string' || !FINGERPRINT_PATTERN.test(fingerprint))) {
@@ -30,7 +25,6 @@ export function Target(input) {
     return Object.freeze({
         callable,
         ...(instance === undefined ? {} : { instance: instance.raw }),
-        ...(revision === undefined ? {} : { revision }),
         ...(fingerprint === undefined ? {} : { fingerprint }),
     });
 }

package/dist/schema/callables/function.d.ts

@@ -2529,7 +2529,6 @@ export declare const Function: builder.NodeClass<{
                 target: string | {
                     callable: string;
                     instance?: string | undefined;
-                    revision?: string | undefined;
                     fingerprint?: string | undefined;
                 };
                 input: unknown;
@@ -3489,7 +3488,6 @@ export declare const Function: builder.NodeClass<{
             target: string | {
                 callable: string;
                 instance?: string | undefined;
-                revision?: string | undefined;
                 fingerprint?: string | undefined;
             };
             input: unknown;

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

@@ -6684,7 +6684,6 @@ declare const KernelDefinitions: {
                         target: string | {
                             callable: string;
                             instance?: string | undefined;
-                            revision?: string | undefined;
                             fingerprint?: string | undefined;
                         };
                         input: unknown;
@@ -7644,7 +7643,6 @@ declare const KernelDefinitions: {
                     target: string | {
                         callable: string;
                         instance?: string | undefined;
-                        revision?: string | undefined;
                         fingerprint?: string | undefined;
                     };
                     input: unknown;
@@ -8944,16 +8942,24 @@ 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<{
-    node: string;
-    property: string;
-}, {
-    readonly mode: 'binary';
+export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-dsl/v1").ResolvedFunction<import("@astrale-os/kernel-dsl/v1").BinaryInputProjection<{
+    mediaType: string;
+}>, {
+    readonly mode: 'value';
+    readonly value: {
+        receipt: string;
+        ref: {
+            digest: string;
+            mediaType: string;
+            size: number;
+        };
+        expiresAt: string;
+    };
 }, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>> & {
-    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"download"> & {
+    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"upload"> & {
         readonly origin: "kernel.astrale.ai";
     };
-    readonly key: "kernel.astrale.ai:function.download";
+    readonly key: "kernel.astrale.ai:function.upload";
     readonly execution: undefined;
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
     operation: string;
@@ -8981,39 +8987,6 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     };
     readonly key: "kernel.astrale.ai:function.install";
     readonly execution: undefined;
-}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
-    invocation?: {
-        source: string;
-        id: string;
-    } | undefined;
-    topics?: {
-        exact?: string[] | undefined;
-        prefixes?: string[] | undefined;
-    } | undefined;
-    principal?: string | undefined;
-    since?: string | undefined;
-    until?: string | undefined;
-    cursor?: string | undefined;
-    limit?: number | undefined;
-}, {
-    readonly mode: 'value';
-    readonly value: {
-        records: unknown[];
-        frontier: {
-            id: string;
-            first?: number | undefined;
-            committed: number;
-            durable: number;
-        };
-        cursor?: string | undefined;
-        gap?: unknown;
-    };
-}, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>> & {
-    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"journal"> & {
-        readonly origin: "kernel.astrale.ai";
-    };
-    readonly key: "kernel.astrale.ai:function.journal";
-    readonly execution: undefined;
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
     ast: {
         format: "astrale.graph.mutation";
@@ -9472,6 +9445,17 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     };
     readonly key: "kernel.astrale.ai:function.query";
     readonly execution: undefined;
+}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
+    node: string;
+    property: string;
+}, {
+    readonly mode: 'binary';
+}, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>> & {
+    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<{
     idempotencyKey: string;
     identities: ({
@@ -9545,36 +9529,38 @@ export declare const KernelRootFunctions: readonly ((import("@astrale-os/kernel-
     };
     readonly key: "kernel.astrale.ai:function.uninstall";
     readonly execution: undefined;
-}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<import("@astrale-os/kernel-dsl/v1").BinaryInputProjection<{
-    mediaType: string;
-}>, {
+}) | (import("@astrale-os/kernel-dsl/v1").ResolvedFunction<{
+    invocation?: {
+        source: string;
+        id: string;
+    } | undefined;
+    topics?: {
+        exact?: string[] | undefined;
+        prefixes?: string[] | undefined;
+    } | undefined;
+    principal?: string | undefined;
+    since?: string | undefined;
+    until?: string | undefined;
+    cursor?: string | undefined;
+    limit?: number | undefined;
+}, {
     readonly mode: 'value';
     readonly value: {
-        receipt: string;
-        ref: {
-            digest: string;
-            mediaType: string;
-            size: number;
+        records: unknown[];
+        frontier: {
+            id: string;
+            first?: number | undefined;
+            committed: number;
+            durable: number;
         };
-        expiresAt: string;
+        cursor?: string | undefined;
+        gap?: unknown;
     };
 }, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>> & {
-    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"upload"> & {
+    readonly ref: import("@astrale-os/kernel-dsl/v1").FunctionRef<"journal"> & {
         readonly origin: "kernel.astrale.ai";
     };
-    readonly key: "kernel.astrale.ai:function.upload";
-    readonly execution: undefined;
-}) | (import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
-    audience?: string | undefined;
-    ttlSeconds: number;
-    grant?: unknown;
-    identity: string;
-}, {
-    readonly mode: 'value';
-    readonly value: string;
-}, true, false, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>, "kernel.astrale.ai:class.Identity.method.impersonate"> & {
-    readonly name: "impersonate";
-    readonly executable: true;
+    readonly key: "kernel.astrale.ai:function.journal";
     readonly execution: undefined;
 }) | (import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
     iss: string;
@@ -9646,6 +9632,18 @@ 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<{
+    audience?: string | undefined;
+    ttlSeconds: number;
+    grant?: unknown;
+    identity: string;
+}, {
+    readonly mode: 'value';
+    readonly value: string;
+}, true, false, "authorized", import("@astrale-os/kernel-dsl/v1").PolicyCheckExpression<import("@astrale-os/kernel-dsl/v1").PolicyRef, import("@astrale-os/kernel-dsl/v1/language").PolicyCheckObject>, "kernel.astrale.ai:class.Identity.method.impersonate"> & {
+    readonly name: "impersonate";
+    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/admit.d.ts

@@ -3,7 +3,6 @@ export declare const admitInput: import("zod").ZodObject<{
         target: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
             callable: import("zod").ZodString;
             instance: import("zod").ZodOptional<import("zod").ZodString>;
-            revision: import("zod").ZodOptional<import("zod").ZodString>;
             fingerprint: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strict>]>;
         input: import("zod").ZodUnknown;

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

@@ -6,8 +6,6 @@ export const admitInput = strictObject({
             strictObject({
                 callable: string().min(1),
                 instance: string().min(1).optional(),
-                // Deprecated revision pin, retained until every client pins by fingerprint.
-                revision: string().min(1).optional(),
                 fingerprint: string().min(1).optional(),
             }),
         ]),

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

@@ -4,7 +4,6 @@ export declare const Admit: builder.Method<builder.CallableProjection<{
         target: string | {
             callable: string;
             instance?: string | undefined;
-            revision?: string | undefined;
             fingerprint?: string | undefined;
         };
         input: unknown;

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

@@ -684,7 +684,6 @@ export declare const FunctionMethods: Readonly<{
             target: string | {
                 callable: string;
                 instance?: string | undefined;
-                revision?: string | undefined;
                 fingerprint?: string | undefined;
             };
             input: unknown;

package/dist/schema/kernel/syscalls/descriptors/function.d.ts

@@ -5,7 +5,6 @@ declare const Admit: import("@astrale-os/kernel-dsl/v1").ResolvedMethod<{
         target: string | {
             callable: string;
             instance?: string | undefined;
-            revision?: string | undefined;
             fingerprint?: string | undefined;
         };
         input: unknown;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrale-os/kernel-core",
-  "version": "0.9.0-beta.60",
+  "version": "0.9.0-beta.62",
   "description": "Astrale Kernel Core - Types, Invariants, and Pure Logic",
   "license": "Apache-2.0",
   "repository": {
@@ -160,7 +160,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@astrale-os/kernel-dsl": "0.2.0-beta.43",
+    "@astrale-os/kernel-dsl": "0.2.0-beta.44",
     "@noble/hashes": "2.3.0",
     "@types/json-schema": "^7.0.15",
     "dequal": "2.0.3"