@astrale-os/kernel-protocol 0.5.0-beta.9 → 1.0.0-beta.1

package/dist/routes/header.js

@@ -0,0 +1,34 @@
+import * as auth from '@astrale-os/kernel-core/auth';
+import { fail } from './error.js';
+const STRONG_DIGEST = /^"(sha256:[0-9a-f]{64})"$/u;
+/** The digest one header value names as exactly one strong quoted digest, else undefined. */
+export function strongDigest(input) {
+    return STRONG_DIGEST.exec(input)?.[1];
+}
+/** Read one reserved header, which occurs at most once in any spelling. */
+export function reservedHeader(input, name) {
+    if (input instanceof Headers)
+        return input.get(name) ?? undefined;
+    let found;
+    for (const [candidate, value] of Object.entries(input ?? {})) {
+        if (candidate.toLowerCase() !== name || value === undefined)
+            continue;
+        if (found !== undefined || (Array.isArray(value) && value.length !== 1)) {
+            fail('NATIVE_ROUTE_ROUTING_INVALID', `Header ${name} must occur at most once.`);
+        }
+        found = typeof value === 'string' ? value : value[0];
+    }
+    return found;
+}
+/** Admit the routing Kernel issuer one native route request names in header `name`. */
+export function acceptIssuerHeader(encoded, name) {
+    try {
+        return auth.issuer.accept(encoded);
+    }
+    catch (cause) {
+        if (cause instanceof auth.AuthValueError) {
+            return fail('NATIVE_ROUTE_ROUTING_INVALID', `${name} is invalid.`, cause);
+        }
+        throw cause;
+    }
+}

package/dist/routes/index.d.ts

@@ -12,8 +12,8 @@ export type { Plan, PlanEntry } from './plan.js';
 export type { Route, Table } from './table.js';
 export type { RouteTarget } from './target.js';
 export { place } from './placement.js';
-export { decodeReleaseUnavailable, HTTP_ROUTE_RELEASE_UNAVAILABLE, HTTP_ROUTE_RELEASE_UNAVAILABLE_STATUS, releaseUnavailableHeaders, type ReleaseUnavailable, } from './release-unavailable.js';
-export { decodeRouting, decodeMiss, decodeStale, HTTP_ROUTE_PUBLICATION, HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_MISS_STATUS, HTTP_ROUTE_STALE, HTTP_ROUTE_STALE_STATUS, missHeaders, staleHeaders, type MissControl, type StaleControl, } from './routing.js';
+export { decodeDeploymentRetired, deploymentRetiredBody, deploymentRetiredHeaders, HTTP_DEPLOYMENT_RETIRED, HTTP_DEPLOYMENT_RETIRED_STATUS, type DeploymentRetired, } from './deployment-retired.js';
+export { decodeRouting, decodeMiss, decodeStale, HTTP_ROUTE_DIGEST, HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_MISS_STATUS, HTTP_ROUTE_STALE, HTTP_ROUTE_STALE_STATUS, missHeaders, staleHeaders, type MissControl, type ServedReferences, type StaleControl, } from './routing.js';
 export { select } from './select.js';
 export { decodeStreamFrame, encodeStreamFrame, STREAM_MEDIA_TYPE, type StreamFrame, } from './stream.js';
 export { templatesOverlap } from './template.js';

package/dist/routes/index.js

@@ -9,8 +9,8 @@ export { RouteError } from './error.js';
 export { match } from './match.js';
 export {} from './request.js';
 export { place } from './placement.js';
-export { decodeReleaseUnavailable, HTTP_ROUTE_RELEASE_UNAVAILABLE, HTTP_ROUTE_RELEASE_UNAVAILABLE_STATUS, releaseUnavailableHeaders, } from './release-unavailable.js';
-export { decodeRouting, decodeMiss, decodeStale, HTTP_ROUTE_PUBLICATION, HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_MISS_STATUS, HTTP_ROUTE_STALE, HTTP_ROUTE_STALE_STATUS, missHeaders, staleHeaders, } from './routing.js';
+export { decodeDeploymentRetired, deploymentRetiredBody, deploymentRetiredHeaders, HTTP_DEPLOYMENT_RETIRED, HTTP_DEPLOYMENT_RETIRED_STATUS, } from './deployment-retired.js';
+export { decodeRouting, decodeMiss, decodeStale, HTTP_ROUTE_DIGEST, HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_MISS_STATUS, HTTP_ROUTE_STALE, HTTP_ROUTE_STALE_STATUS, missHeaders, staleHeaders, } from './routing.js';
 export { select } from './select.js';
 export { decodeStreamFrame, encodeStreamFrame, STREAM_MEDIA_TYPE, } from './stream.js';
 export { templatesOverlap } from './template.js';

package/dist/routes/mapping.d.ts

@@ -1,4 +1,4 @@
-import type { HttpRoute } from '../publication/index.js';
+import type { HttpRoute } from '../release/route.js';
 export declare function validateMapping(route: HttpRoute, fields: readonly string[] | undefined, instanceMethod: boolean): void;
 export declare function validateWireMapping(route: HttpRoute): void;
 export declare function validateCredentialMapping(route: HttpRoute): void;

package/dist/routes/mapping.js

@@ -1,8 +1,8 @@
 import { HTTP_IDEMPOTENCY_KEY } from '../invocation/index.js';
 import { credentialSources } from './credential.js';
+import { HTTP_DEPLOYMENT_RETIRED } from './deployment-retired.js';
 import { fail } from './error.js';
-import { HTTP_ROUTE_RELEASE_UNAVAILABLE } from './release-unavailable.js';
-import { HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_PUBLICATION, HTTP_ROUTE_STALE, } from './routing.js';
+import { HTTP_ROUTE_DIGEST, HTTP_ROUTE_ISSUER, HTTP_ROUTE_MISS, HTTP_ROUTE_STALE, } from './routing.js';
 import { PLACEHOLDER } from './template.js';
 export function validateMapping(route, fields, instanceMethod) {
     if (fields === undefined) {
@@ -110,10 +110,10 @@ export function validateCredentialMapping(route) {
 }
 const RESERVED_HEADERS = new Set([
     HTTP_IDEMPOTENCY_KEY,
+    HTTP_DEPLOYMENT_RETIRED,
+    HTTP_ROUTE_DIGEST,
     HTTP_ROUTE_ISSUER,
     HTTP_ROUTE_MISS,
-    HTTP_ROUTE_PUBLICATION,
-    HTTP_ROUTE_RELEASE_UNAVAILABLE,
     HTTP_ROUTE_STALE,
 ]);
 export function isReservedHeader(input) {

package/dist/routes/match.d.ts

@@ -1,4 +1,4 @@
 import type { HttpRequest } from './request.js';
 import type { Route, Table } from './table.js';
-export declare function match(table: Table, request: Pick<HttpRequest, 'url' | 'method'>): Route | undefined;
+export declare function match(table: Pick<Table, 'entries'>, request: Pick<HttpRequest, 'url' | 'method'>): Route | undefined;
 export declare function methodMatches(entry: Route, method: string): boolean;

package/dist/routes/placement.d.ts

@@ -1,5 +1,5 @@
-import type * as publication from '../publication/index.js';
+import type { HttpRoute } from '../release/route.js';
 import type { Plan } from './plan.js';
 /** Resolve a provider-neutral Plan beneath one exact serving issuer. */
-export declare function place(plan: Plan, issuer: string): readonly publication.HttpRoute[];
+export declare function place(plan: Plan, issuer: string): readonly HttpRoute[];
 export declare function placePath(path: string, issuer: string): string;

package/dist/routes/plan.d.ts

@@ -1,6 +1,6 @@
 import type { FunctionAuth, Key, Revision } from '@astrale-os/kernel-dsl/v1';
 import type { OutputMode } from '@astrale-os/kernel-dsl/v1/language';
-import type { CredentialSource, HttpMethod, RouteBody, RouteHeaders } from '../publication/index.js';
+import type { CredentialSource, HttpMethod, RouteBody, RouteHeaders } from '../release/route.js';
 import type { RouteTarget } from './target.js';
 export interface PlanEntry {
     readonly name: string;

package/dist/routes/request.d.ts

@@ -1,10 +1,12 @@
 import type { Value } from '@astrale-os/kernel-dsl/value';
 import type { Call, Via } from '../invocation/index.js';
-import type { HttpMethod } from '../publication/index.js';
+import type { HttpMethod } from '../release/route.js';
 /** Canonical invocation values presented to or returned from a native route mapping. */
 export interface Invocation {
     readonly call: Call;
     readonly credential?: string;
+    /** The request channel that carried `credential`; `cookie` is ambient (CSRF-exposed). */
+    readonly credentialIn?: 'header' | 'cookie' | 'query';
     readonly routing?: Via;
     readonly method?: Exclude<HttpMethod, '*'>;
 }

package/dist/routes/reservation.d.ts

@@ -1,3 +1,5 @@
-import type { Publication } from '../publication/publication.js';
+import type { DomainRelease } from '../release/release.js';
 import type { Route } from './table.js';
-export declare function rejectReserved(publication: Publication, entries: readonly Route[]): void;
+/** The canonical Release fields read by route reservation admission. */
+export type Placed = Pick<DomainRelease, 'origin' | 'identity' | 'schema' | 'bindings' | 'routes' | 'delivery'>;
+export declare function rejectReserved(release: Placed, entries: readonly Route[]): void;

package/dist/routes/reservation.js

@@ -1,21 +1,27 @@
 import * as issuer from '../issuer/index.js';
-import { PATH as PUBLICATION_PATH } from '../publication/publication.js';
+import { bundleUrl } from '../release/bundle.js';
+import { PATH as RELEASE_PATH } from '../release/release.js';
 import { fail } from './error.js';
 import { templateUrl, templatesOverlap } from './template.js';
-const STATIC_RESERVED_PATHS = new Set([PUBLICATION_PATH]);
-export function rejectReserved(publication, entries) {
-    const discovery = issuer.paths(publication.identity.issuer);
+const STATIC_RESERVED_PATHS = new Set([RELEASE_PATH]);
+export function rejectReserved(release, entries) {
+    const discovery = issuer.paths(release.identity.issuer);
     const reservedPaths = new Set([...STATIC_RESERVED_PATHS, discovery.configuration, discovery.keys]);
     const reservedUrls = [
-        publication.schema.bundle.href,
-        ...(publication.delivery === undefined ? [] : [publication.delivery.href]),
-        ...publication.bindings.callables.flatMap(({ endpoint }) => [
+        release.schema.bundle.href,
+        ...(release.delivery === undefined ? [] : [release.delivery.href]),
+        ...release.bindings.callables.flatMap(({ endpoint }) => [
             endpoint.http,
             ...(endpoint.websocket === undefined ? [] : [httpUrlForWebSocket(endpoint.websocket)]),
         ]),
     ];
+    const addressed = bundleUrl(release.identity.issuer, release.schema.bundle.ref);
+    const bundlePattern = release.schema.bundle.href === addressed
+        ? `${addressed.slice(0, addressed.lastIndexOf('/') + 1)}{artifact}`
+        : undefined;
     for (const entry of entries) {
-        const claimed = [...reservedPaths].some((path) => templateClaimsPath(entry.href, path)) ||
+        const claimed = (bundlePattern !== undefined && templatesOverlap(entry.href, bundlePattern)) ||
+            [...reservedPaths].some((path) => templateClaimsPath(entry.href, path)) ||
             reservedUrls.some((reserved) => templatesOverlap(entry.href, routeLocation(reserved)));
         if (claimed) {
             fail('NATIVE_ROUTE_RESERVED', `Route ${entry.name} claims reserved URL ${templateUrl(entry.href).href}.`);

package/dist/routes/routing.d.ts

@@ -1,22 +1,34 @@
 import type * as invocation from '../invocation/index.js';
-import type { Etag, PublicationRef } from '../publication/index.js';
+import type { Sha256Digest } from '../release/digest.js';
+import type { ReleaseRef } from '../release/reference.js';
 import type { HttpRequest } from './request.js';
 export interface StaleControl {
     readonly kind: 'stale';
-    readonly current: Etag;
+    /** Current release digest. */
+    readonly current: Sha256Digest;
 }
 export interface MissControl {
     readonly kind: 'miss';
 }
-export declare const HTTP_ROUTE_PUBLICATION: 'if-match';
+/** The references one release-backed destination answers native routes for. */
+export interface ServedReferences {
+    readonly release: ReleaseRef;
+}
+/** If-Match carries the routed digest of a native route request (`invocation.routedDigest`). */
+export declare const HTTP_ROUTE_DIGEST: 'if-match';
 export declare const HTTP_ROUTE_ISSUER: 'x-astrale-issuer';
 export declare const HTTP_ROUTE_STALE: 'x-astrale-route-stale';
 export declare const HTTP_ROUTE_STALE_STATUS: 412;
 export declare const HTTP_ROUTE_MISS: 'x-astrale-route-miss';
 export declare const HTTP_ROUTE_MISS_STATUS: 421;
-export declare function decodeRouting(input: Pick<HttpRequest, 'headers'>, publication: PublicationRef): invocation.Via | undefined;
-export declare function staleHeaders(current: Etag): Readonly<Record<string, string>>;
+/**
+ * Decode a native route witness against the served release. A different strong digest is stale
+ * before issuer admission; otherwise the digest and issuer must occur together.
+ */
+export declare function decodeRouting(input: Pick<HttpRequest, 'headers'>, served: ServedReferences): invocation.Via | StaleControl | undefined;
+/** Emit the reserved stale header naming `current` (see `StaleControl.current`). */
+export declare function staleHeaders(current: Sha256Digest): Readonly<Record<string, string>>;
 export declare function decodeStale(status: number, headers: HttpRequest['headers']): StaleControl | undefined;
 export declare function missHeaders(): Readonly<Record<string, string>>;
 export declare function decodeMiss(status: number, headers: HttpRequest['headers']): MissControl | undefined;
-export declare function encodeStrongEtag(input: Etag): string;
+export declare function encodeStrongEtag(input: Sha256Digest): string;

package/dist/routes/routing.js

@@ -1,36 +1,35 @@
-import * as auth from '@astrale-os/kernel-core/auth';
 import { fail } from './error.js';
-export const HTTP_ROUTE_PUBLICATION = 'if-match';
+import { acceptIssuerHeader, reservedHeader, strongDigest } from './header.js';
+/** If-Match carries the routed digest of a native route request (`invocation.routedDigest`). */
+export const HTTP_ROUTE_DIGEST = 'if-match';
 export const HTTP_ROUTE_ISSUER = 'x-astrale-issuer';
 export const HTTP_ROUTE_STALE = 'x-astrale-route-stale';
 export const HTTP_ROUTE_STALE_STATUS = 412;
 export const HTTP_ROUTE_MISS = 'x-astrale-route-miss';
 export const HTTP_ROUTE_MISS_STATUS = 421;
-const STRONG_ETAG = /^"(sha256:[0-9a-f]{64})"$/u;
-export function decodeRouting(input, publication) {
-    const encodedEtag = routingHeader(input.headers, HTTP_ROUTE_PUBLICATION);
-    const encodedIssuer = routingHeader(input.headers, HTTP_ROUTE_ISSUER);
-    if (encodedEtag === undefined && encodedIssuer === undefined)
+/**
+ * Decode a native route witness against the served release. A different strong digest is stale
+ * before issuer admission; otherwise the digest and issuer must occur together.
+ */
+export function decodeRouting(input, served) {
+    const encodedDigest = reservedHeader(input.headers, HTTP_ROUTE_DIGEST);
+    const encodedIssuer = reservedHeader(input.headers, HTTP_ROUTE_ISSUER);
+    if (encodedDigest === undefined && encodedIssuer === undefined)
         return undefined;
-    if (encodedEtag === undefined || encodedIssuer === undefined) {
-        fail('NATIVE_ROUTE_ROUTING_INVALID', `${HTTP_ROUTE_PUBLICATION} and ${HTTP_ROUTE_ISSUER} must occur together.`);
+    const named = encodedDigest === undefined ? undefined : strongDigest(encodedDigest);
+    if (named !== undefined && named !== served.release.digest) {
+        return Object.freeze({ kind: 'stale', current: served.release.digest });
     }
-    const etag = decodeStrongEtag(encodedEtag, 'If-Match');
-    if (etag !== publication.etag) {
-        fail('NATIVE_ROUTE_ROUTING_INVALID', 'If-Match does not name the compiled Publication.');
+    if (encodedDigest === undefined || encodedIssuer === undefined) {
+        fail('NATIVE_ROUTE_ROUTING_INVALID', `${HTTP_ROUTE_DIGEST} and ${HTTP_ROUTE_ISSUER} must occur together.`);
     }
-    let issuer;
-    try {
-        issuer = auth.issuer.accept(encodedIssuer);
+    if (named === undefined) {
+        fail('NATIVE_ROUTE_ROUTING_INVALID', 'If-Match must contain exactly one strong quoted digest.');
     }
-    catch (cause) {
-        if (cause instanceof auth.AuthValueError) {
-            return fail('NATIVE_ROUTE_ROUTING_INVALID', `${HTTP_ROUTE_ISSUER} is invalid.`, cause);
-        }
-        throw cause;
-    }
-    return Object.freeze({ kind: 'via', publication, issuer });
+    const issuer = acceptIssuerHeader(encodedIssuer, HTTP_ROUTE_ISSUER);
+    return Object.freeze({ kind: 'via', release: served.release, issuer });
 }
+/** Emit the reserved stale header naming `current` (see `StaleControl.current`). */
 export function staleHeaders(current) {
     return Object.freeze({
         [HTTP_ROUTE_STALE]: encodeStrongEtag(current),
@@ -38,22 +37,23 @@ export function staleHeaders(current) {
     });
 }
 export function decodeStale(status, headers) {
-    const encoded = routingHeader(headers, HTTP_ROUTE_STALE);
+    const encoded = reservedHeader(headers, HTTP_ROUTE_STALE);
     if (encoded === undefined)
         return undefined;
     if (status !== HTTP_ROUTE_STALE_STATUS) {
         fail('NATIVE_ROUTE_ROUTING_INVALID', `Header ${HTTP_ROUTE_STALE} is reserved for status ${HTTP_ROUTE_STALE_STATUS}.`);
     }
-    return Object.freeze({
-        kind: 'stale',
-        current: decodeStrongEtag(encoded, HTTP_ROUTE_STALE),
-    });
+    const current = strongDigest(encoded);
+    if (current === undefined) {
+        fail('NATIVE_ROUTE_ROUTING_INVALID', `${HTTP_ROUTE_STALE} must contain exactly one strong quoted digest.`);
+    }
+    return Object.freeze({ kind: 'stale', current });
 }
 export function missHeaders() {
     return Object.freeze({ [HTTP_ROUTE_MISS]: '1', 'cache-control': 'no-store' });
 }
 export function decodeMiss(status, headers) {
-    const encoded = routingHeader(headers, HTTP_ROUTE_MISS);
+    const encoded = reservedHeader(headers, HTTP_ROUTE_MISS);
     if (encoded === undefined)
         return undefined;
     if (status !== HTTP_ROUTE_MISS_STATUS || encoded !== '1') {
@@ -64,24 +64,3 @@ export function decodeMiss(status, headers) {
 export function encodeStrongEtag(input) {
     return `"${input}"`;
 }
-function decodeStrongEtag(input, label) {
-    const matched = STRONG_ETAG.exec(input);
-    if (matched === null) {
-        fail('NATIVE_ROUTE_ROUTING_INVALID', `${label} must contain exactly one strong quoted Publication ETag.`);
-    }
-    return matched[1];
-}
-function routingHeader(input, name) {
-    if (input instanceof Headers)
-        return input.get(name) ?? undefined;
-    let found;
-    for (const [candidate, value] of Object.entries(input ?? {})) {
-        if (candidate.toLowerCase() !== name || value === undefined)
-            continue;
-        if (found !== undefined || (Array.isArray(value) && value.length !== 1)) {
-            fail('NATIVE_ROUTE_ROUTING_INVALID', `Header ${name} must occur at most once.`);
-        }
-        found = typeof value === 'string' ? value : value[0];
-    }
-    return found;
-}

package/dist/routes/select.d.ts

@@ -1,3 +1,3 @@
 import type { Key } from '@astrale-os/kernel-dsl/v1';
 import type { Route, Table } from './table.js';
-export declare function select(table: Table, callable: Key.Callable, route?: string): Route | undefined;
+export declare function select(table: Pick<Table, 'entries'>, callable: Key.Callable, route?: string): Route | undefined;

package/dist/routes/table.d.ts

@@ -1,9 +1,10 @@
-import type { PublicationRef } from '../publication/index.js';
+import type { ReleaseRef } from '../release/reference.js';
 import type { PlanEntry } from './plan.js';
 export interface Route extends Omit<PlanEntry, 'path'> {
     readonly href: string;
 }
+/** Serving proof tied to one exact release and its resolved Domain. */
 export interface Table {
-    readonly publication: PublicationRef;
+    readonly release: ReleaseRef;
     readonly entries: readonly Route[];
 }

package/dist/routes/target.d.ts

@@ -1,3 +1,6 @@
+import type { Domain } from '@astrale-os/kernel-dsl/v1';
+import type { Key } from '@astrale-os/kernel-dsl/v1/addressing';
+import type { MeaningFingerprint } from '@astrale-os/kernel-dsl/v1/schema/fingerprint';
 export type RouteTarget = {
     readonly kind: 'function';
 } | {
@@ -11,3 +14,5 @@ export type RouteTarget = {
 export declare function requiresReceiver(entry: {
     readonly target: RouteTarget;
 }): boolean;
+/** Fingerprint of the route Domain's callable meaning, which every native route Target pins. */
+export declare function routeFingerprint(domain: Pick<Domain, 'callable'>, callable: Key.Callable): MeaningFingerprint;

package/dist/routes/target.js

@@ -1,3 +1,19 @@
+import { callableFingerprint } from '@astrale-os/kernel-dsl/v1/schema/fingerprint';
+import { fail } from './error.js';
 export function requiresReceiver(entry) {
     return entry.target.kind === 'method' && entry.target.dispatch === 'instance';
 }
+const FINGERPRINTS = new WeakMap();
+/** Fingerprint of the route Domain's callable meaning, which every native route Target pins. */
+export function routeFingerprint(domain, callable) {
+    const meaning = domain.callable(callable);
+    if (meaning === undefined) {
+        fail('NATIVE_ROUTE_BINDING_INVALID', `Route callable ${callable} is absent from its Domain.`);
+    }
+    let fingerprint = FINGERPRINTS.get(meaning);
+    if (fingerprint === undefined) {
+        fingerprint = callableFingerprint(meaning);
+        FINGERPRINTS.set(meaning, fingerprint);
+    }
+    return fingerprint;
+}

package/dist/routes/template.d.ts

@@ -1,7 +1,6 @@
 export declare const PLACEHOLDER: RegExp;
 export declare function validateTemplate(href: string): void;
 export declare function templateUrl(href: string): URL;
-export declare function routePattern(href: string): string;
 export declare function templatesOverlap(left: string, right: string): boolean;
 export declare function matchTemplate(template: string, input: string): Record<string, string> | undefined;
 export declare function encodeTemplate(value: unknown, catchall: string | undefined, host: boolean): string;

package/dist/routes/template.js

@@ -43,9 +43,6 @@ export function templateUrl(href) {
         throw cause;
     }
 }
-export function routePattern(href) {
-    return href.replaceAll(PLACEHOLDER, (_whole, _name, catchall) => catchall === '+' ? '{+}' : catchall === '*' ? '{*}' : '{}');
-}
 export function templatesOverlap(left, right) {
     const leftUrl = templateUrl(left);
     const rightUrl = templateUrl(right);

package/dist/runtime/artifact.d.ts

@@ -1,7 +1,7 @@
 import type { IssuerId } from '@astrale-os/kernel-core/auth/issuer';
 import type { Key, Revision } from '@astrale-os/kernel-dsl/v1';
 import type { Digest, Ref } from '../artifact/index.js';
-import type { PublicationRequirements } from '../publication/index.js';
+import type { Requirements } from '../release/requirements.js';
 export interface ExecutableDependency {
     readonly path: string;
     readonly ref: Ref;
@@ -31,13 +31,14 @@ export interface Module {
 /** Immutable portable closure selected by one local Schema installation source. */
 export interface RuntimeArtifact {
     readonly format: 'astrale.domain-runtime-artifact';
-    readonly version: 2;
+    readonly version: 3;
     readonly issuer: IssuerId;
     readonly bundle: Ref;
-    readonly requirements: PublicationRequirements;
+    readonly requirements: Requirements;
     readonly modules: readonly [Module, ...Module[]];
 }
-export declare const MEDIA_TYPE: 'application/vnd.astrale.domain-runtime+json;v=2';
+export declare const MEDIA_TYPE: 'application/vnd.astrale.domain-runtime+json;v=3';
+export declare function mediaType(_input: Pick<RuntimeArtifact, 'version'>): typeof MEDIA_TYPE;
 export declare function accept(input: unknown): RuntimeArtifact;
 export declare function encode(input: RuntimeArtifact): Uint8Array;
 export declare function runtimeDigest(input: RuntimeArtifact): Digest;

package/dist/runtime/artifact.js

@@ -3,12 +3,15 @@ import { patterns } from '@astrale-os/kernel-dsl/v1/addressing';
 import * as portable from '@astrale-os/kernel-dsl/value';
 import { sha256 } from '@noble/hashes/sha2.js';
 import * as artifact from '../artifact/index.js';
-import { admitRequirements } from '../publication/index.js';
-export const MEDIA_TYPE = 'application/vnd.astrale.domain-runtime+json;v=2';
+import { admitRequirements } from '../release/requirements.js';
+export const MEDIA_TYPE = 'application/vnd.astrale.domain-runtime+json;v=3';
+export function mediaType(_input) {
+    return MEDIA_TYPE;
+}
 export function accept(input) {
     const root = record(input, 'Domain Runtime artifact');
     exact(root, ['bundle', 'format', 'issuer', 'modules', 'requirements', 'version']);
-    if (root.format !== 'astrale.domain-runtime-artifact' || root.version !== 2) {
+    if (root.format !== 'astrale.domain-runtime-artifact' || root.version !== 3) {
         invalid('Domain Runtime artifact format or version is unsupported.');
     }
     if (typeof root.issuer !== 'string')
@@ -26,7 +29,7 @@ export function accept(input) {
     }
     return Object.freeze({
         format: 'astrale.domain-runtime-artifact',
-        version: 2,
+        version: root.version,
         issuer: admittedIssuer,
         bundle,
         requirements,

package/dist/runtime/index.d.ts

@@ -1 +1 @@
-export { MEDIA_TYPE, accept, acceptExecutable, encode, executableClosure, executableDigest, runtimeDigest, type Digest, type Executable, type ExecutableDependency, type Export, type Module, type RuntimeArtifact, type Ref, } from './artifact.js';
+export { MEDIA_TYPE, mediaType, accept, acceptExecutable, encode, executableClosure, executableDigest, runtimeDigest, type Digest, type Executable, type ExecutableDependency, type Export, type Module, type RuntimeArtifact, type Ref, } from './artifact.js';

package/dist/runtime/index.js

@@ -1 +1 @@
-export { MEDIA_TYPE, accept, acceptExecutable, encode, executableClosure, executableDigest, runtimeDigest, } from './artifact.js';
+export { MEDIA_TYPE, mediaType, accept, acceptExecutable, encode, executableClosure, executableDigest, runtimeDigest, } from './artifact.js';

package/dist/schema/installation/codec.d.ts

@@ -0,0 +1,4 @@
+import type { InstallResult } from './result.js';
+export declare const MEDIA_TYPE: 'application/vnd.astrale.schema-installation.v3+json';
+export declare function encode(result: InstallResult): Promise<Uint8Array>;
+export declare function decode(bytes: Uint8Array, maximumBytes: number): Promise<InstallResult>;

package/dist/schema/installation/codec.js

@@ -0,0 +1,70 @@
+import { installReceipt } from '@astrale-os/kernel-core/schema/kernel/syscalls/contracts';
+import { json } from '@astrale-os/kernel-dsl/value';
+import { acceptDomainInfo } from './introspection/index.js';
+export const MEDIA_TYPE = 'application/vnd.astrale.schema-installation.v3+json';
+const encoder = new TextEncoder();
+export async function encode(result) {
+    return encoder.encode(json.serialize(accept(result)));
+}
+export async function decode(bytes, maximumBytes) {
+    if (!(bytes instanceof Uint8Array) ||
+        !Number.isSafeInteger(maximumBytes) ||
+        maximumBytes < 1 ||
+        bytes.byteLength > maximumBytes) {
+        throw new TypeError('Schema installation evidence is invalid or exceeds its bound.');
+    }
+    let value;
+    try {
+        value = json.decode(bytes, { limits: { maxBytes: maximumBytes } });
+    }
+    catch (cause) {
+        throw new TypeError('Schema installation evidence is malformed.', { cause });
+    }
+    return accept(value);
+}
+function accept(input) {
+    const value = record(input);
+    if (value.changed === true) {
+        exact(value, ['changed', 'receipt']);
+        const receipt = installReceipt.parse(value.receipt);
+        if (receipt.transitions.some((transition) => transition.intent.operation !== receipt.operation)) {
+            throw new TypeError('Schema installation Transition belongs to another operation.');
+        }
+        uniqueOrigins(receipt.transitions.map((transition) => transition.intent.origin), 'Schema installation Transitions');
+        return Object.freeze({
+            changed: true,
+            receipt,
+        });
+    }
+    if (value.changed === false) {
+        exact(value, ['changed', 'domains']);
+        if (!Array.isArray(value.domains) || value.domains.length === 0) {
+            throw new TypeError('Schema installation unchanged Domains are empty.');
+        }
+        const domains = value.domains.map(acceptDomainInfo);
+        uniqueOrigins(domains.map((domain) => domain.origin), 'Schema installation unchanged Domains');
+        return Object.freeze({
+            changed: false,
+            domains: Object.freeze(domains),
+        });
+    }
+    throw new TypeError('Schema installation result kind is invalid.');
+}
+function uniqueOrigins(origins, label) {
+    if (new Set(origins).size !== origins.length) {
+        throw new TypeError(`${label} contain duplicate origins.`);
+    }
+}
+function record(input) {
+    if (input === null || typeof input !== 'object' || Array.isArray(input)) {
+        throw new TypeError('Schema installation result is invalid.');
+    }
+    return input;
+}
+function exact(input, expected) {
+    const keys = Object.keys(input).sort();
+    const wanted = [...expected].sort();
+    if (keys.length !== wanted.length || keys.some((key, index) => key !== wanted[index])) {
+        throw new TypeError('Schema installation result fields are invalid.');
+    }
+}

package/dist/schema/installation/index.d.ts

@@ -1 +1,3 @@
+export { MEDIA_TYPE, decode, encode } from './codec.js';
 export * as introspection from './introspection/index.js';
+export type { InstallResult } from './result.js';

package/dist/schema/installation/index.js

@@ -1 +1,2 @@
+export { MEDIA_TYPE, decode, encode } from './codec.js';
 export * as introspection from './introspection/index.js';

package/dist/schema/installation/introspection/codec.d.ts

@@ -1,5 +1,8 @@
 import type { introspection } from '@astrale-os/kernel-core/schema';
-import type { Limits, ResultFor } from './result.js';
-export declare const MEDIA_TYPE: 'application/vnd.astrale.schema-introspection.v1+msgpack';
+import type { DomainDependencies, DomainInfo, Limits, ResultFor } from './result.js';
+export declare const MEDIA_TYPE: 'application/vnd.astrale.schema-introspection.v4+json';
 export declare function encode<Input extends introspection.Introspection>(input: Input, result: ResultFor<Input>): Promise<Uint8Array>;
 export declare function decode<Input extends introspection.Introspection>(input: Input, bytes: Uint8Array, limits: Limits): Promise<ResultFor<Input>>;
+/** Admit dependency bindings: origin-ordered, one per origin, each label agreeing with its revisions. */
+export declare function acceptDomainDependencies(input: unknown): DomainDependencies;
+export declare function acceptDomainInfo(input: unknown): DomainInfo;