@astrale-os/kernel-dsl 0.2.0-beta.1 → 0.2.0-beta.11

package/dist/index.d.ts

@@ -1,2 +1 @@
 export * from './v1/index.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -1,2 +1 @@
 export * from './v1/index.js';
-//# sourceMappingURL=index.js.map

package/dist/upgrade/contract.d.ts

@@ -29,4 +29,3 @@ export interface BundleUpgrade<Source extends VersionedBundle, Target extends Ve
     readonly to: LanguageVersionOf<Target>;
     readonly upgrade: (bundle: Source) => BundleUpgradeResult<Target>;
 }
-//# sourceMappingURL=contract.d.ts.map

package/dist/upgrade/contract.js

@@ -1,2 +1 @@
 export {};
-//# sourceMappingURL=contract.js.map

package/dist/upgrade/index.d.ts

@@ -1,2 +1 @@
 export type { BundleUpgrade, BundleUpgradeResult, UpgradeIssue, VersionedBundle, } from './contract.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/upgrade/index.js

@@ -1,2 +1 @@
 export {};
-//# sourceMappingURL=index.js.map

package/dist/v1/addressing/class-key.d.ts

@@ -0,0 +1,12 @@
+import { type ClassRef } from './definition-ref.js';
+import { Key, type DefinitionKey } from './key.js';
+/** Canonical qualified string identity of one exact Class declaration. */
+export type ClassKey<Origin extends Key.Origin = Key.Origin, Name extends string = string> = DefinitionKey<Origin, 'class', Name>;
+/** Admit exact canonical Class-key text. */
+export declare function ClassKey<Origin extends Key.Origin = Key.Origin, Name extends string = string>(input: string): ClassKey<Origin, Name>;
+/** Construction, admission, and structural-coordinate operations for exact Class keys. */
+export declare namespace ClassKey {
+    function of<const Ref extends ClassRef>(ref: Ref): ClassKey<Ref['origin'], Ref['name']>;
+    function is(input: unknown): input is ClassKey;
+    function ref(input: ClassKey): ClassRef;
+}

package/dist/v1/addressing/class-key.js

@@ -0,0 +1,39 @@
+import { acceptDefinitionRef } from './definition-ref.js';
+import { Key } from './key.js';
+/** Admit exact canonical Class-key text. */
+export function ClassKey(input) {
+    if (!ClassKey.is(input)) {
+        throw new TypeError(`Invalid canonical ClassKey: ${JSON.stringify(input)}.`);
+    }
+    return input;
+}
+/** Construction, admission, and structural-coordinate operations for exact Class keys. */
+(function (ClassKey) {
+    function of(ref) {
+        const admitted = acceptDefinitionRef(ref);
+        if (admitted.kind !== 'class') {
+            throw new TypeError(`Invalid ClassKey coordinate: ${JSON.stringify(ref)}.`);
+        }
+        return Key.of(admitted);
+    }
+    ClassKey.of = of;
+    function is(input) {
+        if (typeof input !== 'string' || !Key.is(input))
+            return false;
+        const separator = input.indexOf(':');
+        return (input.slice(separator + 1).startsWith('class.') &&
+            !input.includes('.property.') &&
+            !input.includes('.method.'));
+    }
+    ClassKey.is = is;
+    function ref(input) {
+        const admitted = ClassKey(input);
+        const separator = admitted.indexOf(':');
+        return acceptDefinitionRef({
+            origin: admitted.slice(0, separator),
+            kind: 'class',
+            name: admitted.slice(separator + ':class.'.length),
+        });
+    }
+    ClassKey.ref = ref;
+})(ClassKey || (ClassKey = {}));

package/dist/v1/addressing/definition-ref.d.ts

@@ -0,0 +1,28 @@
+import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
+import type { DomainOrigin } from './patterns.js';
+/** The broad named Definition categories addressable by V1. */
+export declare namespace Definition {
+    type Kind = 'class' | 'function' | 'policy' | 'view' | 'core';
+}
+export type DefinitionKind = Definition.Kind;
+/** The one structured coordinate for an exact Definition declaration. */
+export interface DefinitionRef<out Kind extends Definition.Kind = Definition.Kind, out Name extends string = string> {
+    readonly origin: DomainOrigin;
+    readonly kind: Kind;
+    readonly name: Name;
+}
+export type ClassRef<Name extends string = string> = DefinitionRef<'class', Name>;
+export type FunctionRef<Name extends string = string> = DefinitionRef<'function', Name>;
+export type PolicyRef<Name extends string = string> = DefinitionRef<'policy', Name>;
+export type ViewRef<Name extends string = string> = DefinitionRef<'view', Name>;
+export type CoreRef<Name extends string = string> = DefinitionRef<'core', Name>;
+export type DefinitionRefValue = JsonObject & DefinitionRef;
+export interface DefinitionBase<out Ref extends DefinitionRef = DefinitionRef> {
+    readonly ref: Ref;
+}
+/** Admit and detach one canonical DefinitionRef from an untrusted value. */
+export declare function acceptDefinitionRef(input: unknown): DefinitionRef;
+/** Identify a canonical DefinitionRef-shaped value without retaining caller state. */
+export declare function isDefinitionRef(input: unknown): input is DefinitionRef;
+/** Compare exact Definition coordinates, independent of object identity. */
+export declare function equalDefinitionRefs(left: DefinitionRef, right: DefinitionRef): boolean;

package/dist/v1/addressing/definition-ref.js

@@ -0,0 +1,63 @@
+import { CORE_SLUG_PATTERN, DOMAIN_ORIGIN_PATTERN, MEMBER_NAME_PATTERN } from './patterns.js';
+const DEFINITION_KINDS = new Set([
+    'class',
+    'function',
+    'policy',
+    'view',
+    'core',
+]);
+/** Admit and detach one canonical DefinitionRef from an untrusted value. */
+export function acceptDefinitionRef(input) {
+    if (input === null || typeof input !== 'object' || Array.isArray(input)) {
+        invalid(input);
+    }
+    const value = input;
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== 3 ||
+        !keys.every((key) => key === 'origin' || key === 'kind' || key === 'name')) {
+        invalid(input);
+    }
+    const origin = value.origin;
+    const kind = value.kind;
+    const name = value.name;
+    if (typeof origin !== 'string' ||
+        !DOMAIN_ORIGIN_PATTERN.test(origin) ||
+        typeof kind !== 'string' ||
+        !DEFINITION_KINDS.has(kind) ||
+        typeof name !== 'string' ||
+        !definitionNameMatches(kind, name)) {
+        invalid(input);
+    }
+    return Object.freeze({
+        origin,
+        kind: kind,
+        name,
+    });
+}
+/** Identify a canonical DefinitionRef-shaped value without retaining caller state. */
+export function isDefinitionRef(input) {
+    if (input === null || typeof input !== 'object' || Array.isArray(input))
+        return false;
+    const value = input;
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== 3 ||
+        !keys.every((key) => key === 'origin' || key === 'kind' || key === 'name')) {
+        return false;
+    }
+    return (typeof value.origin === 'string' &&
+        DOMAIN_ORIGIN_PATTERN.test(value.origin) &&
+        typeof value.kind === 'string' &&
+        DEFINITION_KINDS.has(value.kind) &&
+        typeof value.name === 'string' &&
+        definitionNameMatches(value.kind, value.name));
+}
+/** Compare exact Definition coordinates, independent of object identity. */
+export function equalDefinitionRefs(left, right) {
+    return left.origin === right.origin && left.kind === right.kind && left.name === right.name;
+}
+function invalid(input) {
+    throw new TypeError(`Invalid DefinitionRef: ${JSON.stringify(input)}.`);
+}
+function definitionNameMatches(kind, name) {
+    return kind === 'core' ? CORE_SLUG_PATTERN.test(name) : MEMBER_NAME_PATTERN.test(name);
+}

package/dist/v1/addressing/domain-dependency.d.ts

@@ -0,0 +1,18 @@
+import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
+import type { Key } from './key.js';
+import type { Revision } from './revision.js';
+/** Exact portable coordinate of one admitted Domain revision. */
+export type DomainDependency = JsonObject & {
+    readonly origin: Key.Origin;
+    readonly revision: Revision;
+};
+/** Canonical authored name of one exact direct dependency. */
+export type DependencyAlias = string;
+/** Exact direct dependency pins keyed by their authored aliases. */
+export type DomainDependencyMap = Readonly<Record<DependencyAlias, DomainDependency>>;
+/** Representation-neutral admission budgets shared by source and compiled closures. */
+export declare const dependencyLimits: Readonly<{
+    direct: 32;
+    closure: 256;
+    depth: 32;
+}>;

package/dist/v1/addressing/domain-dependency.js

@@ -0,0 +1,6 @@
+/** Representation-neutral admission budgets shared by source and compiled closures. */
+export const dependencyLimits = Object.freeze({
+    direct: 32,
+    closure: 256,
+    depth: 32,
+});

package/dist/v1/addressing/index.d.ts

@@ -1,6 +1,12 @@
-export { CORE_SLUG_PATTERN, DOMAIN_ORIGIN_PATTERN, DOMAIN_REVISION_PATTERN, MEMBER_NAME_PATTERN, PROPERTY_KEY_FULL_MATCH, PROPERTY_KEY_PATTERN, patterns, } from './patterns.js';
-export type { SchemaRef } from './schema-ref.js';
-export { Ref } from './ref.js';
+export { acceptDefinitionRef, equalDefinitionRefs, isDefinitionRef } from './definition-ref.js';
+export { ClassKey } from './class-key.js';
+export type { ClassRef, CoreRef, Definition, DefinitionBase, DefinitionKind, DefinitionRef, DefinitionRefValue, FunctionRef, PolicyRef, ViewRef, } from './definition-ref.js';
+export type { CoreKey, DefinitionKey } from './key.js';
+export { callableAddress, MethodKey } from './method-key.js';
+export type { MethodAddress } from './method-key.js';
+export { patterns } from './patterns.js';
 export { Key } from './key.js';
+export { compareUnicode } from './ordering.js';
 export { PropertyKey } from './property-key.js';
-//# sourceMappingURL=index.d.ts.map
+export type { Revision } from './revision.js';
+export type { DependencyAlias, DomainDependency, DomainDependencyMap } from './domain-dependency.js';

package/dist/v1/addressing/index.js

@@ -1,5 +1,7 @@
-export { CORE_SLUG_PATTERN, DOMAIN_ORIGIN_PATTERN, DOMAIN_REVISION_PATTERN, MEMBER_NAME_PATTERN, PROPERTY_KEY_FULL_MATCH, PROPERTY_KEY_PATTERN, patterns, } from './patterns.js';
-export { Ref } from './ref.js';
+export { acceptDefinitionRef, equalDefinitionRefs, isDefinitionRef } from './definition-ref.js';
+export { ClassKey } from './class-key.js';
+export { callableAddress, MethodKey } from './method-key.js';
+export { patterns } from './patterns.js';
 export { Key } from './key.js';
+export { compareUnicode } from './ordering.js';
 export { PropertyKey } from './property-key.js';
-//# sourceMappingURL=index.js.map

package/dist/v1/addressing/key.d.ts

@@ -1,21 +1,19 @@
-import type { SchemaRef } from './schema-ref.js';
+import type { MethodKey } from './method-address.js';
+import { type Definition, type DefinitionKind, type DefinitionRef } from './definition-ref.js';
 import { type DomainOrigin } from './patterns.js';
-import { Ref, type Ref as SemanticRef } from './ref.js';
-export type Key<Origin extends Key.Origin = Key.Origin, Reference extends SemanticRef = SemanticRef> = `${Origin}:${Reference}`;
-type SemanticKey = Key;
-export declare function Key<Origin extends Key.Origin = Key.Origin, Reference extends SemanticRef = SemanticRef>(input: string): Key<Origin, Reference>;
-/** Origin-qualified semantic references and their canonical operations. */
+export type DefinitionKey<Origin extends Key.Origin = Key.Origin, Kind extends Definition.Kind = Definition.Kind, Name extends string = string> = `${Origin}:${Kind}.${Name}`;
+export type CoreKey<Origin extends Key.Origin = Key.Origin, Name extends string = string> = DefinitionKey<Origin, 'core', Name>;
+export type PropertyKey<Origin extends Key.Origin = Key.Origin, Owner extends string = string, Name extends string = string> = `${Origin}:class.${Owner}.property.${Name}`;
+export type Key = DefinitionKey | PropertyKey | MethodKey;
+export declare function Key(input: string): Key;
+/** Canonical origin-qualified address operations. */
 export declare namespace Key {
     type Origin = DomainOrigin;
-    type Definition<Kind extends Ref.Kind = Ref.Kind, Name extends string = string, Origin extends Key.Origin = Key.Origin> = Key<Origin, Ref.Definition<Kind, Name>>;
-    type Method<Origin extends Key.Origin = Key.Origin, Owner extends Ref.Class | Ref.Interface = Ref.Class | Ref.Interface, Name extends string = string> = Key<Origin, Ref.Method<Owner, Name>>;
-    type Callable = Key<Key.Origin, Ref.Callable>;
-    type View = Key<Key.Origin, Ref.View>;
-    function of<Origin extends Key.Origin, Reference extends SemanticRef>(origin: Origin, ref: Reference): Key<Origin, Reference>;
-    function fromSchema<Kind extends Ref.Kind | 'core', Name extends string>(ref: SchemaRef<Kind, Name>): Kind extends 'core' ? Key<Key.Origin, Ref.Core<Name>> : Kind extends Ref.Kind ? Key.Definition<Kind, Name> : never;
+    type Definition<Kind extends DefinitionKind = DefinitionKind, Name extends string = string, Origin extends Key.Origin = Key.Origin> = DefinitionKey<Origin, Kind, Name>;
+    type Callable = DefinitionKey<Key.Origin, 'function'> | MethodKey;
+    type View = DefinitionKey<Key.Origin, 'view'>;
+    /** Derive a canonical Definition key from its structured coordinate. */
+    function of<const Ref extends DefinitionRef>(ref: Ref): DefinitionKey<Ref['origin'], Ref['kind'], Ref['name']>;
     function origin(input: Key): Key.Origin;
-    function ref(input: Key): SemanticRef;
-    function is(input: unknown): input is SemanticKey;
+    function is(input: unknown): input is Key;
 }
-export {};
-//# sourceMappingURL=key.d.ts.map

package/dist/v1/addressing/key.js

@@ -1,49 +1,39 @@
+import { acceptDefinitionRef, } from './definition-ref.js';
 import { DOMAIN_ORIGIN_PATTERN } from './patterns.js';
-import { Ref } from './ref.js';
-const admitKey = (input) => {
-    const split = input.indexOf(':');
-    if (split < 0 ||
-        !DOMAIN_ORIGIN_PATTERN.test(input.slice(0, split)) ||
-        !Ref.is(input.slice(split + 1))) {
+const DEFINITION_KEY = /^(?:class|function|policy|view)\.([A-Za-z][A-Za-z0-9_]*)$/u;
+const CORE_KEY = /^core\.([a-z][a-z0-9-]{0,99})$/u;
+const MEMBER_KEY = /^class\.([A-Za-z][A-Za-z0-9_]*)\.(property|method)\.([A-Za-z][A-Za-z0-9_]*)$/u;
+export function Key(input) {
+    if (typeof input !== 'string' || !isCanonicalKey(input)) {
         throw new TypeError(`Invalid Key: ${JSON.stringify(input)}.`);
     }
     return input;
-};
-export function Key(input) {
-    return admitKey(input);
 }
-/** Origin-qualified semantic references and their canonical operations. */
+/** Canonical origin-qualified address operations. */
 (function (Key) {
-    function of(origin, ref) {
-        if (!DOMAIN_ORIGIN_PATTERN.test(origin)) {
-            throw new TypeError(`Invalid Domain origin: ${JSON.stringify(origin)}.`);
-        }
-        return `${origin}:${Ref(ref)}`;
+    /** Derive a canonical Definition key from its structured coordinate. */
+    function of(ref) {
+        const definition = acceptDefinitionRef(ref);
+        return Key(`${definition.origin}:${definition.kind}.${definition.name}`);
     }
     Key.of = of;
-    function fromSchema(ref) {
-        return Key.of(ref.origin, Ref.fromSchema(ref));
-    }
-    Key.fromSchema = fromSchema;
     function origin(input) {
-        return Key(input).slice(0, input.indexOf(':'));
+        const admitted = Key(input);
+        return admitted.slice(0, admitted.indexOf(':'));
     }
     Key.origin = origin;
-    function ref(input) {
-        return Key(input).slice(input.indexOf(':') + 1);
-    }
-    Key.ref = ref;
     function is(input) {
-        if (typeof input !== 'string')
-            return false;
-        try {
-            admitKey(input);
-            return true;
-        }
-        catch {
-            return false;
-        }
+        return typeof input === 'string' && isCanonicalKey(input);
     }
     Key.is = is;
 })(Key || (Key = {}));
-//# sourceMappingURL=key.js.map
+function isCanonicalKey(input) {
+    const separator = input.indexOf(':');
+    return (separator > 0 &&
+        separator === input.lastIndexOf(':') &&
+        DOMAIN_ORIGIN_PATTERN.test(input.slice(0, separator)) &&
+        isCanonicalCoordinate(input.slice(separator + 1)));
+}
+function isCanonicalCoordinate(input) {
+    return DEFINITION_KEY.test(input) || CORE_KEY.test(input) || MEMBER_KEY.test(input);
+}

package/dist/v1/addressing/method-address.d.ts

@@ -0,0 +1,9 @@
+import type { ClassRef } from './definition-ref.js';
+import type { DomainOrigin } from './patterns.js';
+export type MethodKey<Origin extends DomainOrigin = DomainOrigin, Owner extends string = string, Name extends string = string> = `${Origin}:class.${Owner}.method.${Name}`;
+/** The structured address of one Class-owned Method. */
+export interface MethodAddress<out Owner extends ClassRef = ClassRef, out Name extends string = string> {
+    readonly kind: 'method';
+    readonly owner: Owner;
+    readonly name: Name;
+}

package/dist/v1/addressing/method-address.js

@@ -0,0 +1 @@
+export {};

package/dist/v1/addressing/method-key.d.ts

@@ -0,0 +1,15 @@
+import type { MethodAddress, MethodKey as MethodKeyValue } from './method-address.js';
+import { type ClassRef, type FunctionRef } from './definition-ref.js';
+import { Key } from './key.js';
+export type MethodKey<Origin extends Key.Origin = Key.Origin, Owner extends string = string, Name extends string = string> = MethodKeyValue<Origin, Owner, Name>;
+export type { MethodAddress } from './method-address.js';
+/** Admit exact canonical Method-key text. */
+export declare function MethodKey<Origin extends Key.Origin = Key.Origin, Owner extends string = string, Name extends string = string>(input: string): MethodKeyValue<Origin, Owner, Name>;
+/** Construction, admission, and decomposition for canonical Class-owned Method keys. */
+export declare namespace MethodKey {
+    function of<const Owner extends ClassRef, const Name extends string>(owner: Owner, name: Name): MethodKeyValue<Owner['origin'], Owner['name'], Name>;
+    function is(input: unknown): input is MethodKeyValue;
+    function address(input: MethodKeyValue): MethodAddress;
+}
+/** Decompose one admitted callable key into its semantic Function or Method address. */
+export declare function callableAddress(input: Key.Callable): FunctionRef | MethodAddress;

package/dist/v1/addressing/method-key.js

@@ -0,0 +1,60 @@
+import { acceptDefinitionRef } from './definition-ref.js';
+import { Key } from './key.js';
+import { MEMBER_NAME_PATTERN } from './patterns.js';
+/** Admit exact canonical Method-key text. */
+export function MethodKey(input) {
+    if (!MethodKey.is(input)) {
+        throw new TypeError(`Invalid canonical MethodKey: ${JSON.stringify(input)}.`);
+    }
+    return input;
+}
+/** Construction, admission, and decomposition for canonical Class-owned Method keys. */
+(function (MethodKey) {
+    function of(owner, name) {
+        const admitted = acceptDefinitionRef(owner);
+        if (admitted.kind !== 'class' || !MEMBER_NAME_PATTERN.test(name)) {
+            throw new TypeError(`Invalid MethodKey address: ${JSON.stringify({ owner, name })}.`);
+        }
+        return Key(`${admitted.origin}:class.${admitted.name}.method.${name}`);
+    }
+    MethodKey.of = of;
+    function is(input) {
+        if (typeof input !== 'string' || !Key.is(input))
+            return false;
+        const coordinate = input.slice(input.indexOf(':') + 1);
+        return coordinate.startsWith('class.') && coordinate.includes('.method.');
+    }
+    MethodKey.is = is;
+    function address(input) {
+        const admitted = MethodKey(input);
+        const separator = admitted.indexOf(':');
+        const coordinate = admitted.slice(separator + ':class.'.length);
+        const member = coordinate.indexOf('.method.');
+        return Object.freeze({
+            kind: 'method',
+            owner: acceptDefinitionRef({
+                origin: admitted.slice(0, separator),
+                kind: 'class',
+                name: coordinate.slice(0, member),
+            }),
+            name: coordinate.slice(member + '.method.'.length),
+        });
+    }
+    MethodKey.address = address;
+})(MethodKey || (MethodKey = {}));
+/** Decompose one admitted callable key into its semantic Function or Method address. */
+export function callableAddress(input) {
+    if (MethodKey.is(input))
+        return MethodKey.address(input);
+    const admitted = Key(input);
+    const separator = admitted.indexOf(':');
+    const coordinate = admitted.slice(separator + 1);
+    if (!coordinate.startsWith('function.')) {
+        throw new TypeError(`Invalid callable Key: ${JSON.stringify(input)}.`);
+    }
+    return acceptDefinitionRef({
+        origin: admitted.slice(0, separator),
+        kind: 'function',
+        name: coordinate.slice('function.'.length),
+    });
+}

package/dist/v1/addressing/ordering.d.ts

@@ -0,0 +1,6 @@
+import type { DefinitionRef } from './definition-ref.js';
+/** Internal exact-kind index for deterministic semantic tables. */
+export declare function definitionRefIndex(ref: DefinitionRef): string;
+export declare function compareDefinitionRefs(left: DefinitionRef, right: DefinitionRef): number;
+/** Locale-independent Unicode code-point ordering for canonical DSL values. */
+export declare function compareUnicode(left: string, right: string): number;

package/dist/v1/addressing/ordering.js

@@ -0,0 +1,20 @@
+/** Internal exact-kind index for deterministic semantic tables. */
+export function definitionRefIndex(ref) {
+    return `${ref.origin}\u0000${ref.kind}\u0000${ref.name}`;
+}
+export function compareDefinitionRefs(left, right) {
+    return (compareUnicode(left.origin, right.origin) ||
+        compareUnicode(left.kind, right.kind) ||
+        compareUnicode(left.name, right.name));
+}
+/** Locale-independent Unicode code-point ordering for canonical DSL values. */
+export function compareUnicode(left, right) {
+    const a = Array.from(left, (value) => value.codePointAt(0) ?? 0);
+    const b = Array.from(right, (value) => value.codePointAt(0) ?? 0);
+    const length = Math.min(a.length, b.length);
+    for (let index = 0; index < length; index += 1) {
+        if (a[index] !== b[index])
+            return (a[index] ?? 0) - (b[index] ?? 0);
+    }
+    return a.length - b.length;
+}

package/dist/v1/addressing/patterns.d.ts

@@ -2,17 +2,26 @@
 export type DomainOrigin = string;
 export declare const DOMAIN_ORIGIN_PATTERN: RegExp;
 export declare const MEMBER_NAME_PATTERN: RegExp;
+export declare const DEPENDENCY_ALIAS_PATTERN: RegExp;
 export declare const CORE_SLUG_PATTERN: RegExp;
 export declare const DOMAIN_REVISION_PATTERN: RegExp;
-export declare const PROPERTY_KEY_FULL_MATCH = "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:(class|interface)\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*";
+export declare const DOMAIN_REVISION_FULL_MATCH = "sha256:[0-9a-f]{64}";
+export declare const DOMAIN_ORIGIN_FULL_MATCH = "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?";
+export declare const MEMBER_NAME_FULL_MATCH = "[A-Za-z][A-Za-z0-9_]*";
+export declare const DEPENDENCY_ALIAS_FULL_MATCH = "[a-z][A-Za-z0-9]*";
+export declare const PROPERTY_KEY_FULL_MATCH = "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:class\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*";
 export declare const PROPERTY_KEY_PATTERN: RegExp;
 export declare const patterns: Readonly<{
     coreSlug: RegExp;
+    dependencyAlias: RegExp;
+    dependencyAliasFullMatch: "[a-z][A-Za-z0-9]*";
     memberName: RegExp;
+    memberNameFullMatch: "[A-Za-z][A-Za-z0-9_]*";
     origin: RegExp;
+    originFullMatch: "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?";
     propertyKey: RegExp;
-    propertyKeyFullMatch: "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:(class|interface)\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*";
+    propertyKeyFullMatch: "([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:class\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*";
     revision: RegExp;
+    revisionFullMatch: "sha256:[0-9a-f]{64}";
 }>;
 export declare function assertMemberName(name: string): void;
-//# sourceMappingURL=patterns.d.ts.map

package/dist/v1/addressing/patterns.js

@@ -1,20 +1,29 @@
 export const DOMAIN_ORIGIN_PATTERN = /^(?:[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?\.)+[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?$/u;
 export const MEMBER_NAME_PATTERN = /^[A-Za-z][A-Za-z0-9_]*$/u;
+export const DEPENDENCY_ALIAS_PATTERN = /^[a-z][A-Za-z0-9]*$/u;
 export const CORE_SLUG_PATTERN = /^[a-z][a-z0-9-]{0,99}$/u;
 export const DOMAIN_REVISION_PATTERN = /^sha256:[0-9a-f]{64}$/u;
-export const PROPERTY_KEY_FULL_MATCH = '([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:(class|interface)\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*';
+export const DOMAIN_REVISION_FULL_MATCH = 'sha256:[0-9a-f]{64}';
+export const DOMAIN_ORIGIN_FULL_MATCH = '([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?';
+export const MEMBER_NAME_FULL_MATCH = '[A-Za-z][A-Za-z0-9_]*';
+export const DEPENDENCY_ALIAS_FULL_MATCH = '[a-z][A-Za-z0-9]*';
+export const PROPERTY_KEY_FULL_MATCH = '([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:class\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*';
 export const PROPERTY_KEY_PATTERN = new RegExp(`^(?:${PROPERTY_KEY_FULL_MATCH})$`, 'u');
 export const patterns = Object.freeze({
     coreSlug: CORE_SLUG_PATTERN,
+    dependencyAlias: DEPENDENCY_ALIAS_PATTERN,
+    dependencyAliasFullMatch: DEPENDENCY_ALIAS_FULL_MATCH,
     memberName: MEMBER_NAME_PATTERN,
+    memberNameFullMatch: MEMBER_NAME_FULL_MATCH,
     origin: DOMAIN_ORIGIN_PATTERN,
+    originFullMatch: DOMAIN_ORIGIN_FULL_MATCH,
     propertyKey: PROPERTY_KEY_PATTERN,
     propertyKeyFullMatch: PROPERTY_KEY_FULL_MATCH,
     revision: DOMAIN_REVISION_PATTERN,
+    revisionFullMatch: DOMAIN_REVISION_FULL_MATCH,
 });
 export function assertMemberName(name) {
     if (!MEMBER_NAME_PATTERN.test(name)) {
         throw new TypeError(`Invalid member name: ${JSON.stringify(name)}.`);
     }
 }
-//# sourceMappingURL=patterns.js.map

package/dist/v1/addressing/property-key.d.ts

@@ -1,18 +1,13 @@
-import type { SchemaRef } from './schema-ref.js';
-import { Key, type Key as SemanticKey } from './key.js';
-import { Ref } from './ref.js';
-export type PropertyKey<Origin extends Key.Origin = Key.Origin, Owner extends Ref.Class | Ref.Interface = Ref.Class | Ref.Interface, Name extends string = string> = SemanticKey<Origin, Ref.Property<Owner, Name>>;
-type CanonicalPropertyKey = PropertyKey;
-type SchemaDefinitionRef<Name extends string = string> = SchemaRef<'class', Name> | SchemaRef<'interface', Name>;
-export declare function PropertyKey<Origin extends Key.Origin = Key.Origin, Owner extends Ref.Class | Ref.Interface = Ref.Class | Ref.Interface, Name extends string = string>(input: string): PropertyKey<Origin, Owner, Name>;
-/** Construction and admission operations for canonical PropertyKeys. */
+import { type ClassRef } from './definition-ref.js';
+import { Key, type PropertyKey as CanonicalPropertyKey } from './key.js';
+export type PropertyKey<Origin extends Key.Origin = Key.Origin, Owner extends string = string, Name extends string = string> = CanonicalPropertyKey<Origin, Owner, Name>;
+export declare function PropertyKey<Origin extends Key.Origin = Key.Origin, Owner extends string = string, Name extends string = string>(input: string): PropertyKey<Origin, Owner, Name>;
+/** Construction and admission operations for canonical Class-owned Property keys. */
 export declare namespace PropertyKey {
-    function of<const Arguments extends readonly [owner: SchemaDefinitionRef, name: string] | readonly [origin: Key.Origin, owner: Ref.Class | Ref.Interface, name: string]>(...args: Arguments): Arguments extends readonly [owner: SchemaDefinitionRef, name: infer Name extends string] ? PropertyKey<Key.Origin, Ref.Class | Ref.Interface, Name> : Arguments extends readonly [
-        origin: infer Origin extends Key.Origin,
-        owner: infer Owner extends Ref.Class | Ref.Interface,
-        name: infer Name extends string
-    ] ? PropertyKey<Origin, Owner, Name> : never;
+    function of<const Owner extends ClassRef, const Name extends string>(owner: Owner, name: Name): PropertyKey<Owner['origin'], Owner['name'], Name>;
     function is(input: unknown): input is CanonicalPropertyKey;
+    function address(input: PropertyKey): {
+        readonly owner: ClassRef;
+        readonly name: string;
+    };
 }
-export {};
-//# sourceMappingURL=property-key.d.ts.map

package/dist/v1/addressing/property-key.js

@@ -1,30 +1,39 @@
+import { acceptDefinitionRef } from './definition-ref.js';
 import { Key } from './key.js';
-import { Ref } from './ref.js';
+import { MEMBER_NAME_PATTERN, PROPERTY_KEY_PATTERN } from './patterns.js';
 export function PropertyKey(input) {
     if (!PropertyKey.is(input)) {
         throw new TypeError(`Invalid canonical PropertyKey: ${JSON.stringify(input)}.`);
     }
     return input;
 }
-/** Construction and admission operations for canonical PropertyKeys. */
+/** Construction and admission operations for canonical Class-owned Property keys. */
 (function (PropertyKey) {
-    function of(...args) {
-        let result;
-        if (args.length === 3) {
-            const [origin, owner, name] = args;
-            result = Key.of(origin, Ref.property(owner, name));
+    function of(owner, name) {
+        const admitted = acceptDefinitionRef(owner);
+        if (admitted.kind !== 'class' || !MEMBER_NAME_PATTERN.test(name)) {
+            throw new TypeError(`Invalid PropertyKey coordinate: ${JSON.stringify({ owner, name })}.`);
         }
-        else {
-            const [schemaOwner, name] = args;
-            const owner = Ref.fromSchema(schemaOwner);
-            result = Key.of(schemaOwner.origin, Ref.property(owner, name));
-        }
-        return result;
+        return Key(`${admitted.origin}:class.${admitted.name}.property.${name}`);
     }
     PropertyKey.of = of;
     function is(input) {
-        return Key.is(input) && Ref.isProperty(Key.ref(input));
+        return typeof input === 'string' && Key.is(input) && PROPERTY_KEY_PATTERN.test(input);
     }
     PropertyKey.is = is;
+    function address(input) {
+        const admitted = PropertyKey(input);
+        const separator = admitted.indexOf(':');
+        const coordinate = admitted.slice(separator + ':class.'.length);
+        const member = coordinate.indexOf('.property.');
+        return Object.freeze({
+            owner: acceptDefinitionRef({
+                origin: admitted.slice(0, separator),
+                kind: 'class',
+                name: coordinate.slice(0, member),
+            }),
+            name: coordinate.slice(member + '.property.'.length),
+        });
+    }
+    PropertyKey.address = address;
 })(PropertyKey || (PropertyKey = {}));
-//# sourceMappingURL=property-key.js.map

package/dist/v1/addressing/revision.d.ts

@@ -0,0 +1,8 @@
+declare const DOMAIN_REVISION_BRAND: unique symbol;
+/** Content-addressed identity of one exact admitted Domain source. */
+export type Revision = `sha256:${string}` & {
+    readonly [DOMAIN_REVISION_BRAND]: true;
+};
+/** Content-address canonical Domain bytes with the one V1 revision algorithm. */
+export declare function digestRevisionBytes(bytes: Uint8Array): Revision;
+export {};