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

package/dist/auth/context/context.d.ts

@@ -2,7 +2,6 @@ import type { Attestation } from '../attestation/index.js';
 import type { CredentialInput } from '../credential/input/index.js';
 import type { VerifiedCredential } from '../credential/verified/index.js';
 import type { Delegation } from '../delegation/index.js';
-import type { Grant } from '../grant/index.js';
 import type { IdentityId } from '../identity/index.js';
 /** The original credential together with the claims established by verification. */
 export interface CredentialContext {
@@ -12,15 +11,17 @@ export interface CredentialContext {
 /** Verified credential result before every runtime authority value is necessarily resolved. */
 export interface Authenticated {
     readonly credential: CredentialContext;
-    readonly grant?: Grant;
+    readonly caller?: IdentityId;
     readonly attestation?: Attestation;
     readonly delegation?: Delegation;
 }
 /** Complete authenticated kernel context. */
 export interface AuthContext {
     readonly credential: CredentialContext;
+    /** Authenticated executor: ceiling, installed ownership, Root bypass, and audit. */
     readonly principal: IdentityId;
-    readonly grant: Grant;
+    /** The one Identity whose authority the call exercises; equals principal for direct calls. */
+    readonly caller: IdentityId;
     /** Earliest expiry of all credential proofs from which this authority was derived. */
     readonly validUntil?: number;
     readonly attestation?: Attestation;

package/dist/auth/expression/authoring/builder.d.ts

@@ -6,11 +6,8 @@ export type BuiltExpr = IdentityExpr | UnresolvedIdentityExpr;
 export interface ExprBuilder<E extends BuiltExpr = IdentityExpr> {
     build(): E;
 }
-/** Immutable fluent expression handle. */
+/** Immutable handle for one Identity leaf; there is no Identity set algebra. */
 export interface Expr<E extends BuiltExpr = IdentityExpr> extends ExprBuilder<E> {
-    union(other: Expr<E>): Expr<E>;
-    intersect(other: Expr<E>): Expr<E>;
-    exclude(other: Expr<E>): Expr<E>;
 }
 export declare function isExprBuilder(input: unknown): input is ExprBuilder<IdentityExpr> | ExprBuilder<UnresolvedIdentityExpr>;
 /** Build one resolved Identity leaf. */
@@ -19,11 +16,5 @@ export declare function identity(id: IdentityId): Expr<IdentityExpr>;
 export declare function self(): Expr<UnresolvedIdentityExpr>;
 /** Build one unresolved nested-credential leaf. */
 export declare function cred(credential: CredentialInput): Expr<UnresolvedIdentityExpr>;
-/** Re-enter the fluent algebra from an already trusted or separately admitted expression. */
+/** Re-enter from an already trusted or separately admitted Identity leaf. */
 export declare function raw<E extends BuiltExpr>(expr: E): Expr<E>;
-/** Compose at least two expressions of the same resolved or unresolved phase. */
-export declare function union<E extends BuiltExpr>(first: Expr<E>, second: Expr<NoInfer<E>>, ...rest: Expr<NoInfer<E>>[]): Expr<E>;
-/** Intersect at least two expressions of the same resolved or unresolved phase. */
-export declare function intersect<E extends BuiltExpr>(first: Expr<E>, second: Expr<NoInfer<E>>, ...rest: Expr<NoInfer<E>>[]): Expr<E>;
-/** Exclude one expression from another expression of the same phase. */
-export declare function exclude<E extends BuiltExpr>(base: Expr<E>, excluded: Expr<NoInfer<E>>): Expr<E>;

package/dist/auth/expression/authoring/builder.js

@@ -13,27 +13,6 @@ class Expression {
     build() {
         return this.value;
     }
-    union(other) {
-        return compose('union', this, other);
-    }
-    intersect(other) {
-        return compose('intersect', this, other);
-    }
-    exclude(other) {
-        const current = this.value;
-        if (current.kind === 'exclude') {
-            return expression({
-                kind: 'exclude',
-                base: current.base,
-                excluded: [...current.excluded, other.build()],
-            });
-        }
-        return expression({
-            kind: 'exclude',
-            base: current,
-            excluded: [other.build()],
-        });
-    }
 }
 /** Build one resolved Identity leaf. */
 export function identity(id) {
@@ -55,33 +34,10 @@ export function cred(credential) {
     }
     return expression(Object.freeze({ kind: 'identity', credential: credential.slice() }));
 }
-/** Re-enter the fluent algebra from an already trusted or separately admitted expression. */
+/** Re-enter from an already trusted or separately admitted Identity leaf. */
 export function raw(expr) {
     return expression(expr);
 }
-/** Compose at least two expressions of the same resolved or unresolved phase. */
-export function union(first, second, ...rest) {
-    return compose('union', first, second, ...rest);
-}
-/** Intersect at least two expressions of the same resolved or unresolved phase. */
-export function intersect(first, second, ...rest) {
-    return compose('intersect', first, second, ...rest);
-}
-/** Exclude one expression from another expression of the same phase. */
-export function exclude(base, excluded) {
-    return base.exclude(excluded);
-}
-function compose(kind, first, second, ...rest) {
-    const operands = [];
-    for (const builder of [first, second, ...rest]) {
-        const value = builder.build();
-        if (value.kind === kind)
-            operands.push(...value.operands);
-        else
-            operands.push(value);
-    }
-    return expression({ kind, operands });
-}
 function expression(value) {
     return Object.freeze(new Expression(value));
 }

package/dist/auth/expression/authoring/index.d.ts

@@ -1,2 +1,2 @@
 export type { BuiltExpr, Expr, ExprBuilder } from './builder.js';
-export { cred, exclude, identity, intersect, isExprBuilder, raw, self, union } from './builder.js';
+export { cred, identity, isExprBuilder, raw, self } from './builder.js';

package/dist/auth/expression/authoring/index.js

@@ -1 +1 @@
-export { cred, exclude, identity, intersect, isExprBuilder, raw, self, union } from './builder.js';
+export { cred, identity, isExprBuilder, raw, self } from './builder.js';

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

@@ -1,4 +1,3 @@
 export type { BuiltExpr, Expr, ExprBuilder } from './authoring/index.js';
-export { cred, exclude, identity, intersect, isExprBuilder, raw, self, union, } from './authoring/index.js';
+export { cred, identity, isExprBuilder, raw, self } from './authoring/index.js';
 export type { IdentityExpr, SelfIdentityExpr, UnresolvedIdentityExpr } from './language/index.js';
-export { canonicalize, raiseDenials } from './normalization/index.js';

package/dist/auth/expression/index.js

@@ -1,2 +1 @@
-export { cred, exclude, identity, intersect, isExprBuilder, raw, self, union, } from './authoring/index.js';
-export { canonicalize, raiseDenials } from './normalization/index.js';
+export { cred, identity, isExprBuilder, raw, self } from './authoring/index.js';

package/dist/auth/expression/language/identity-expression.d.ts

@@ -5,33 +5,13 @@ export type SelfIdentityExpr = {
     readonly kind: 'identity';
     readonly self: true;
 };
-/** Resolved Identity set algebra. Every leaf is one stable IdentityId. */
+/** The one resolved Identity leaf carried by Kernel bearer and delegation proof claims. */
 export type IdentityExpr = {
     readonly kind: 'identity';
     readonly id: IdentityId;
-} | {
-    readonly kind: 'union';
-    readonly operands: readonly IdentityExpr[];
-} | {
-    readonly kind: 'intersect';
-    readonly operands: readonly IdentityExpr[];
-} | {
-    readonly kind: 'exclude';
-    readonly base: IdentityExpr;
-    readonly excluded: readonly IdentityExpr[];
 };
-/** Caller-authored expression accepted only inside a versioned credential claim. */
+/** Caller-authored single leaf accepted only inside a versioned credential claim. */
 export type UnresolvedIdentityExpr = SelfIdentityExpr | {
     readonly kind: 'identity';
     readonly credential: CredentialInput;
-} | {
-    readonly kind: 'union';
-    readonly operands: readonly UnresolvedIdentityExpr[];
-} | {
-    readonly kind: 'intersect';
-    readonly operands: readonly UnresolvedIdentityExpr[];
-} | {
-    readonly kind: 'exclude';
-    readonly base: UnresolvedIdentityExpr;
-    readonly excluded: readonly UnresolvedIdentityExpr[];
 };

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

@@ -1,4 +1,4 @@
-export { accept, canonicalize, self } from './resolved/index.js';
+export { accept, self } from './resolved/index.js';
 export type { Grant } from './resolved/index.js';
 export { acceptUnresolved, limits } from './unresolved/index.js';
 export type { UnresolvedGrant } from './unresolved/index.js';

package/dist/auth/grant/index.js

@@ -1,2 +1,2 @@
-export { accept, canonicalize, self } from './resolved/index.js';
+export { accept, self } from './resolved/index.js';
 export { acceptUnresolved, limits } from './unresolved/index.js';

package/dist/auth/grant/resolved/admission.d.ts

@@ -1,5 +1,6 @@
 import type { Grant } from './grant.js';
-/** Admit one exact resolved Grant. */
+/**
+ * Admit one exact resolved claim value `{ expr: { kind: 'identity', id } }`. Compound structure
+ * keeps the unresolved claim's stable code, AUTH_GRANT_COMPOUND.
+ */
 export declare function accept(input: unknown): Grant;
-/** Re-canonicalize a trusted Grant value. */
-export declare function canonicalize(input: Grant): Grant;

package/dist/auth/grant/resolved/admission.js

@@ -1,30 +1,40 @@
 import * as portable from '@astrale-os/kernel-dsl/value';
+import { isNodeId, NodeId } from '../../../graph/node/index.js';
 import { AuthValueError } from '../../error.js';
-import { admitResolvedExpression, canonicalize as canonicalizeExpression, } from '../../expression/normalization/index.js';
-/** Admit one exact resolved Grant. */
+const COMPOUND = new Set(['union', 'intersect', 'exclude']);
+/**
+ * Admit one exact resolved claim value `{ expr: { kind: 'identity', id } }`. Compound structure
+ * keeps the unresolved claim's stable code, AUTH_GRANT_COMPOUND.
+ */
 export function accept(input) {
     try {
         const value = portable.accept(input);
-        if (value === null || Array.isArray(value) || typeof value !== 'object') {
-            invalid('', 'Expected a Grant object');
-        }
-        const grant = value;
+        const grant = record(value, '', 'Expected a Grant object');
         exact(grant, ['expr'], '');
-        if (grant.expr === undefined)
-            invalid('/expr', 'Expected a resolved Identity expression');
-        return Object.freeze({ expr: admitResolvedExpression(grant.expr, '/expr', 0) });
+        const expr = record(grant.expr, '/expr', 'Expected one resolved Identity leaf');
+        if (typeof expr.kind === 'string' && COMPOUND.has(expr.kind)) {
+            throw new AuthValueError('AUTH_GRANT_COMPOUND', 'Resolved Grant must name exactly one Identity', '/expr');
+        }
+        exact(expr, ['id', 'kind'], '/expr');
+        if (expr.kind !== 'identity')
+            invalid('/expr/kind', 'Expected one resolved Identity leaf');
+        if (typeof expr.id !== 'string' || !isNodeId(expr.id)) {
+            invalid('/expr/id', 'Expected one canonical IdentityId');
+        }
+        return Object.freeze({ expr: Object.freeze({ kind: 'identity', id: NodeId(expr.id) }) });
     }
     catch (cause) {
         if (cause instanceof AuthValueError)
             throw cause;
-        throw new AuthValueError('AUTH_GRANT_INVALID', 'Expected a canonical resolved Grant', '', {
+        throw new AuthValueError('AUTH_GRANT_INVALID', 'Expected a resolved single-Identity Grant', '', {
             cause,
         });
     }
 }
-/** Re-canonicalize a trusted Grant value. */
-export function canonicalize(input) {
-    return Object.freeze({ expr: canonicalizeExpression(input.expr) });
+function record(value, path, message) {
+    if (value === null || Array.isArray(value) || typeof value !== 'object')
+        invalid(path, message);
+    return value;
 }
 function exact(value, expected, path) {
     const actual = Object.keys(value).sort(compare);

package/dist/auth/grant/resolved/grant.d.ts

@@ -1,5 +1,5 @@
 import type { IdentityExpr } from '../../expression/language/index.js';
-/** One resolved, canonical authority expression. */
+/** The resolved single-identity claim value carried by Kernel bearers and delegation proofs. */
 export interface Grant {
     readonly expr: IdentityExpr;
 }

package/dist/auth/grant/resolved/index.d.ts

@@ -1,3 +1,3 @@
-export { accept, canonicalize } from './admission.js';
+export { accept } from './admission.js';
 export { self } from './self.js';
 export type { Grant } from './grant.js';

package/dist/auth/grant/resolved/index.js

@@ -1,2 +1,2 @@
-export { accept, canonicalize } from './admission.js';
+export { accept } from './admission.js';
 export { self } from './self.js';

package/dist/auth/grant/unresolved/admission.d.ts

@@ -1,3 +1,6 @@
 import type { UnresolvedGrant } from './grant.js';
-/** Admit the exact bounded unresolved Grant wire language. */
+/**
+ * Admit the exact version-1 unresolved Grant claim: exactly one `self` or one credential leaf.
+ * Compound structure is refused before any nested credential could be verified.
+ */
 export declare function acceptUnresolved(input: unknown): UnresolvedGrant;

package/dist/auth/grant/unresolved/admission.js

@@ -1,17 +1,17 @@
 import { AuthValueError } from '../../error.js';
-import { EXPRESSION_DEPTH_LIMIT, EXPRESSION_OPERAND_LIMIT, } from '../../expression/normalization/index.js';
-import { CREDENTIAL_BYTES_LIMIT, CREDENTIAL_NESTING_DEPTH_LIMIT } from './limits.js';
-/** Admit the exact bounded unresolved Grant wire language. */
+import { CREDENTIAL_BYTES_LIMIT } from './limits.js';
+const COMPOUND = new Set(['union', 'intersect', 'exclude']);
+/**
+ * Admit the exact version-1 unresolved Grant claim: exactly one `self` or one credential leaf.
+ * Compound structure is refused before any nested credential could be verified.
+ */
 export function acceptUnresolved(input) {
     try {
         const value = record(input, '');
         exact(value, ['expr', 'v'], '');
         if (data(value, 'v', '/v') !== 1)
             invalid('/v', 'Unsupported unresolved Grant version');
-        return Object.freeze({
-            v: 1,
-            expr: expression(data(value, 'expr', '/expr'), '/expr', 0, 0, new WeakSet()),
-        });
+        return Object.freeze({ v: 1, expr: leaf(data(value, 'expr', '/expr'), '/expr') });
     }
     catch (cause) {
         if (cause instanceof AuthValueError)
@@ -21,61 +21,29 @@ export function acceptUnresolved(input) {
         });
     }
 }
-function expression(input, path, depth, credentialDepth, active) {
-    if (depth > EXPRESSION_DEPTH_LIMIT)
-        invalid(path, 'Identity expression exceeds its depth limit');
+function leaf(input, path) {
     const value = record(input, path);
-    if (active.has(value))
-        invalid(path, 'Cyclic Identity expressions are not supported');
-    active.add(value);
-    try {
-        const kind = data(value, 'kind', `${path}/kind`);
-        switch (kind) {
-            case 'identity': {
-                const hasSelf = own(value, 'self');
-                const hasCredential = own(value, 'credential');
-                if (hasSelf === hasCredential)
-                    invalid(path, 'Expected exactly one unresolved Identity leaf');
-                if (hasSelf) {
-                    exact(value, ['kind', 'self'], path);
-                    if (data(value, 'self', `${path}/self`) !== true)
-                        invalid(`${path}/self`, 'Expected true');
-                    return Object.freeze({ kind: 'identity', self: true });
-                }
-                exact(value, ['credential', 'kind'], path);
-                if (credentialDepth >= CREDENTIAL_NESTING_DEPTH_LIMIT) {
-                    invalid(`${path}/credential`, 'Credential nesting exceeds its limit');
-                }
-                return Object.freeze({
-                    kind: 'identity',
-                    credential: credential(data(value, 'credential', `${path}/credential`), `${path}/credential`),
-                });
-            }
-            case 'union':
-            case 'intersect': {
-                exact(value, ['kind', 'operands'], path);
-                const operands = list(data(value, 'operands', `${path}/operands`), `${path}/operands`, 2);
-                return Object.freeze({
-                    kind,
-                    operands: Object.freeze(operands.map((operand, index) => expression(operand, `${path}/operands/${index}`, depth + 1, credentialDepth, active))),
-                });
-            }
-            case 'exclude': {
-                exact(value, ['base', 'excluded', 'kind'], path);
-                const excluded = list(data(value, 'excluded', `${path}/excluded`), `${path}/excluded`, 1);
-                return Object.freeze({
-                    kind: 'exclude',
-                    base: expression(data(value, 'base', `${path}/base`), `${path}/base`, depth + 1, credentialDepth, active),
-                    excluded: Object.freeze(excluded.map((operand, index) => expression(operand, `${path}/excluded/${index}`, depth + 1, credentialDepth, active))),
-                });
-            }
-            default:
-                invalid(`${path}/kind`, 'Expected identity, union, intersect, or exclude');
-        }
+    const kind = data(value, 'kind', `${path}/kind`);
+    if (typeof kind === 'string' && COMPOUND.has(kind)) {
+        throw new AuthValueError('AUTH_GRANT_COMPOUND', 'Unresolved Grant must name exactly one Identity', path);
+    }
+    if (kind !== 'identity')
+        invalid(`${path}/kind`, 'Expected identity');
+    const hasSelf = own(value, 'self');
+    if (hasSelf === own(value, 'credential')) {
+        invalid(path, 'Expected exactly one unresolved Identity leaf');
     }
-    finally {
-        active.delete(value);
+    if (hasSelf) {
+        exact(value, ['kind', 'self'], path);
+        if (data(value, 'self', `${path}/self`) !== true)
+            invalid(`${path}/self`, 'Expected true');
+        return Object.freeze({ kind: 'identity', self: true });
     }
+    exact(value, ['credential', 'kind'], path);
+    return Object.freeze({
+        kind: 'identity',
+        credential: credential(data(value, 'credential', `${path}/credential`), `${path}/credential`),
+    });
 }
 function credential(input, path) {
     if (typeof input === 'string') {
@@ -120,14 +88,6 @@ function exact(input, expected, path) {
         invalid(path, `Expected exactly ${expected.join(', ')}`);
     }
 }
-function list(input, path, minimum) {
-    if (!Array.isArray(input) || input.length < minimum || input.length > EXPRESSION_OPERAND_LIMIT) {
-        invalid(path, `Expected ${minimum}-${EXPRESSION_OPERAND_LIMIT} operands`);
-    }
-    if (Object.keys(input).length !== input.length)
-        invalid(path, 'Expected a dense array');
-    return input;
-}
 function compare(left, right) {
     return left < right ? -1 : left > right ? 1 : 0;
 }

package/dist/auth/grant/unresolved/limits.d.ts

@@ -1,7 +1,5 @@
-export declare const CREDENTIAL_NESTING_DEPTH_LIMIT = 3;
 export declare const CREDENTIAL_BYTES_LIMIT: number;
 export declare const limits: {
-    readonly expressionDepth: 32;
-    readonly operandsPerExpression: 64;
-    readonly credentialNestingDepth: 3;
+    /** One nested Kernel delegation proof; proofs never nest further. */
+    readonly credentialNestingDepth: 1;
 };

package/dist/auth/grant/unresolved/limits.js

@@ -1,8 +1,4 @@
-import { EXPRESSION_DEPTH_LIMIT, EXPRESSION_OPERAND_LIMIT, } from '../../expression/normalization/index.js';
-export const CREDENTIAL_NESTING_DEPTH_LIMIT = 3;
 export const CREDENTIAL_BYTES_LIMIT = 64 * 1024;
 export const limits = Object.freeze({
-    expressionDepth: EXPRESSION_DEPTH_LIMIT,
-    operandsPerExpression: EXPRESSION_OPERAND_LIMIT,
-    credentialNestingDepth: CREDENTIAL_NESTING_DEPTH_LIMIT,
+    credentialNestingDepth: 1,
 });

package/dist/auth/identity/admission.js

@@ -7,11 +7,19 @@ import { accept as acceptIssuer } from '../issuer/index.js';
 export function accept(input) {
     try {
         const value = object(portable.accept(input), '');
-        exact(value, ['frozen', 'id', 'issuer', 'requiredClaims', 'subject'], '');
+        exact(value, ['frozen', 'id', 'iss', 'requiredClaims', 'sub'], '');
+        const hasIssuer = value.iss !== undefined;
+        const hasSubject = value.sub !== undefined;
+        if (hasIssuer !== hasSubject)
+            invalid('', 'Expected both iss and sub or neither');
         return Object.freeze({
             id: NodeId(text(value.id, '/id')),
-            issuer: acceptIssuer(text(value.issuer, '/issuer')),
-            subject: text(value.subject, '/subject'),
+            ...(hasIssuer
+                ? {
+                    iss: acceptIssuer(text(value.iss, '/iss')),
+                    sub: text(value.sub, '/sub'),
+                }
+                : {}),
             frozen: value.frozen === undefined ? false : boolean(value.frozen, '/frozen'),
             requiredClaims: constraints(value.requiredClaims, '/requiredClaims'),
         });

package/dist/auth/identity/identity.d.ts

@@ -4,11 +4,23 @@ import type { IssuerId } from '../issuer/index.js';
 /** Stable graph identity of one authenticated principal. */
 export type IdentityId = NodeId;
 export type Subject = string;
+/** One complete authentication assertion at an API boundary. */
+export interface Authentication {
+    readonly iss: IssuerId;
+    readonly sub: Subject;
+}
 /** Normalized Identity value used at authentication boundaries, not a complete graph Node. */
-export interface Identity {
+interface IdentityBase {
     readonly id: IdentityId;
-    readonly issuer: IssuerId;
-    readonly subject: Subject;
     readonly frozen: boolean;
     readonly requiredClaims: readonly ClaimConstraint[];
 }
+/** A stable principal with either both protected authentication facts or neither. */
+export type Identity = IdentityBase & ({
+    readonly iss?: never;
+    readonly sub?: never;
+} | {
+    readonly iss: IssuerId;
+    readonly sub: Subject;
+});
+export {};

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

@@ -1,3 +1,3 @@
 export { accept } from './admission.js';
 export { verify, verifyFrozen } from './verification.js';
-export type { Identity, IdentityId, Subject } from './identity.js';
+export type { Authentication, Identity, IdentityId, Subject } from './identity.js';

package/dist/auth/index.d.ts

@@ -1,16 +1,16 @@
 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, AuthorityProgram, PredicateRef, 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';
 export type { Delegation, DelegationCredential } from './delegation/index.js';
 export type { IdentityExpr, SelfIdentityExpr, UnresolvedIdentityExpr } from './expression/index.js';
 export type { Grant, UnresolvedGrant } from './grant/index.js';
-export type { Identity, IdentityId, Subject } from './identity/index.js';
+export type { Authentication, Identity, IdentityId, Subject } from './identity/index.js';
 export type { IssuerId } from './issuer/index.js';
 export type { JsonWebKey, KeyId } from './jwk/index.js';
-export type { AssertedIdentityProvision, IdentityProvisionInput, ProvisionFingerprint, ProvisionRequest, ProvisionResult, ProvisionedIdentity, RequiredClaims, SelfIdentityProvision, } from './provision/index.js';
+export type { IdentityRegistration, RegisterFingerprint, RegisterFingerprintIdentity, RegisterFingerprintInput, RegisterRequest, RegisterResult, RegisteredIdentity, } from './register/index.js';
 export type { AuthenticationCandidate, AuthenticationTrust, StringPatternSet, TrustDecision, TrustRule, } from './trust/index.js';
 export * as attestation from './attestation/index.js';
 export * as authority from './authority/index.js';
@@ -22,5 +22,5 @@ export * as grant from './grant/index.js';
 export * as identity from './identity/index.js';
 export * as issuer from './issuer/index.js';
 export * as jwk from './jwk/index.js';
-export * as provision from './provision/index.js';
+export * as register from './register/index.js';
 export * as trust from './trust/index.js';

package/dist/auth/index.js

@@ -9,5 +9,5 @@ export * as grant from './grant/index.js';
 export * as identity from './identity/index.js';
 export * as issuer from './issuer/index.js';
 export * as jwk from './jwk/index.js';
-export * as provision from './provision/index.js';
+export * as register from './register/index.js';
 export * as trust from './trust/index.js';

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

@@ -1,3 +1,3 @@
 export { acceptPublic } from './public-key.js';
-export { thumbprint } from './thumbprint.js';
+export { thumbprint, thumbprintMembers } from './thumbprint.js';
 export type { JsonWebKey, KeyId } from './public-key.js';

package/dist/auth/jwk/index.js

@@ -1,2 +1,2 @@
 export { acceptPublic } from './public-key.js';
-export { thumbprint } from './thumbprint.js';
+export { thumbprint, thumbprintMembers } from './thumbprint.js';

package/dist/auth/jwk/thumbprint.d.ts

@@ -1,3 +1,5 @@
 import type { JsonWebKey } from './public-key.js';
 /** Compute the RFC 7638 SHA-256 thumbprint of an admitted public key. */
 export declare function thumbprint(input: JsonWebKey): Promise<string>;
+/** Return the exact RFC 7638 members that identify one public key's cryptographic material. */
+export declare function thumbprintMembers(input: JsonWebKey): Readonly<Record<string, string>>;

package/dist/auth/jwk/thumbprint.js

@@ -1,19 +1,25 @@
 import { acceptPublic } from './public-key.js';
 /** Compute the RFC 7638 SHA-256 thumbprint of an admitted public key. */
 export async function thumbprint(input) {
-    const key = acceptPublic(input);
-    const canonical = JSON.stringify(members(key));
+    const canonical = JSON.stringify(thumbprintMembers(input));
     const digest = new Uint8Array(await crypto.subtle.digest('SHA-256', new TextEncoder().encode(canonical)));
     return base64url(digest);
 }
-function members(key) {
+/** Return the exact RFC 7638 members that identify one public key's cryptographic material. */
+export function thumbprintMembers(input) {
+    const key = acceptPublic(input);
     if (key.kty === 'EC') {
-        return { crv: key.crv, kty: key.kty, x: key.x, y: key.y };
+        return Object.freeze({
+            crv: key.crv,
+            kty: key.kty,
+            x: key.x,
+            y: key.y,
+        });
     }
     if (key.kty === 'RSA') {
-        return { e: key.e, kty: key.kty, n: key.n };
+        return Object.freeze({ e: key.e, kty: key.kty, n: key.n });
     }
-    return { crv: key.crv, kty: key.kty, x: key.x };
+    return Object.freeze({ crv: key.crv, kty: key.kty, x: key.x });
 }
 function base64url(input) {
     let binary = '';

package/dist/auth/register/fingerprint/fingerprint.d.ts

@@ -0,0 +1,25 @@
+import type { Authentication, IdentityId } from '../../identity/index.js';
+import type { JsonWebKey } from '../../jwk/index.js';
+declare const REGISTER_FINGERPRINT: unique symbol;
+/** Digest of the semantic request. Credential bytes and verifier evidence are excluded. */
+export type RegisterFingerprint = `sha256:${string}` & {
+    readonly [REGISTER_FINGERPRINT]: true;
+};
+export type RegisterFingerprintIdentity = {
+    readonly id: IdentityId;
+    readonly mode: 'external';
+    readonly authentication: Authentication;
+    readonly publicKey?: never;
+} | {
+    readonly id: IdentityId;
+    readonly mode: 'self';
+    readonly authentication: Authentication;
+    readonly publicKey: JsonWebKey;
+};
+export interface RegisterFingerprintInput {
+    readonly idempotencyKey: string;
+    readonly identities: readonly [RegisterFingerprintIdentity, ...RegisterFingerprintIdentity[]];
+}
+/** Compute a deterministic post-verification digest without retaining credential evidence. */
+export declare function fingerprint(input: RegisterFingerprintInput): Promise<RegisterFingerprint>;
+export {};

package/dist/auth/register/fingerprint/fingerprint.js

@@ -0,0 +1,31 @@
+import * as portable from '@astrale-os/kernel-dsl/value';
+import { thumbprint as jwkThumbprint } from '../../jwk/index.js';
+/** Compute a deterministic post-verification digest without retaining credential evidence. */
+export async function fingerprint(input) {
+    const identities = await Promise.all([...input.identities]
+        .sort((left, right) => compare(left.id, right.id))
+        .map(async (identity) => ({
+        id: identity.id,
+        mode: identity.mode,
+        iss: identity.authentication.iss,
+        sub: identity.authentication.sub,
+        ...(identity.mode === 'self' ? { publication: await publication(identity.publicKey) } : {}),
+    })));
+    const encoded = portable.json.encode(portable.accept({ version: 2, idempotencyKey: input.idempotencyKey, identities }));
+    const digest = await crypto.subtle.digest('SHA-256', Uint8Array.from(encoded).buffer);
+    return `sha256:${hex(new Uint8Array(digest))}`;
+}
+async function publication(publicKey) {
+    const thumbprint = await jwkThumbprint(publicKey);
+    return Object.freeze({
+        key: publicKey,
+        thumbprint,
+        slot: publicKey.kid === undefined ? `thumbprint:${thumbprint}` : `kid:${publicKey.kid}`,
+    });
+}
+function hex(input) {
+    return [...input].map((value) => value.toString(16).padStart(2, '0')).join('');
+}
+function compare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}