@astrale-os/kernel-dsl 0.2.0-beta.2 → 0.2.0-beta.20

package/dist/v1/domain/validation/create.d.ts

@@ -0,0 +1,18 @@
+import type { Key, PropertyKey } from '../../addressing/index.js';
+import type { Diagnostic } from '../../language/validation/diagnostic.js';
+import type { OrderingKind } from '../../language/value/ordering.js';
+import type { DomainValidation } from '../model/input.js';
+export interface PropertyValidation {
+    readonly ordering?: OrderingKind;
+    validate(input: unknown): readonly Diagnostic[];
+}
+export interface CallableValidation {
+    readonly fields?: readonly string[];
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+}
+/** Build the one Domain-level router shared by source resolution and compiled loading. */
+export declare function createDomainValidation(properties: ReadonlyMap<PropertyKey, PropertyValidation>, callables: ReadonlyMap<Key.Callable, CallableValidation>): DomainValidation;
+export declare function combineDomainValidation(values: readonly DomainValidation[]): DomainValidation;
+export declare function unknownInputField(field: string): readonly Diagnostic[];

package/dist/v1/domain/validation/create.js

@@ -0,0 +1,75 @@
+/** Build the one Domain-level router shared by source resolution and compiled loading. */
+export function createDomainValidation(properties, callables) {
+    const validation = {
+        propertyExists: (key) => properties.has(key),
+        property(key, input) {
+            const target = properties.get(key);
+            return target === undefined ? unknownTarget('Property', key) : target.validate(input);
+        },
+        propertyOrdering: (key) => properties.get(key)?.ordering,
+        callableExists: (key) => callables.has(key),
+        callableInput(key, input) {
+            const target = callables.get(key);
+            return target === undefined ? unknownTarget('Callable', key) : target.validateInput(input);
+        },
+        callableFields: (key) => callables.get(key)?.fields,
+        callableInputField(key, field, input) {
+            const target = callables.get(key);
+            return target === undefined
+                ? unknownTarget('Callable', key)
+                : target.validateInputField(field, input);
+        },
+        callableOutput(key, output) {
+            const target = callables.get(key);
+            return target === undefined ? unknownTarget('Callable', key) : target.validateOutput(output);
+        },
+    };
+    return Object.freeze(validation);
+}
+export function combineDomainValidation(values) {
+    const validation = {
+        propertyExists: (key) => values.some((value) => value.propertyExists(key)),
+        property(key, input) {
+            const owner = values.find((value) => value.propertyExists(key));
+            return owner === undefined ? unknownTarget('Property', key) : owner.property(key, input);
+        },
+        propertyOrdering: (key) => values.find((value) => value.propertyExists(key))?.propertyOrdering(key),
+        callableExists: (key) => values.some((value) => value.callableExists(key)),
+        callableInput(key, input) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined ? unknownTarget('Callable', key) : owner.callableInput(key, input);
+        },
+        callableFields: (key) => values.find((value) => value.callableExists(key))?.callableFields(key),
+        callableInputField(key, field, input) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined
+                ? unknownTarget('Callable', key)
+                : owner.callableInputField(key, field, input);
+        },
+        callableOutput(key, output) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined
+                ? unknownTarget('Callable', key)
+                : owner.callableOutput(key, output);
+        },
+    };
+    return Object.freeze(validation);
+}
+export function unknownInputField(field) {
+    return [
+        Object.freeze({
+            code: 'CALLABLE_INPUT_FIELD_UNKNOWN',
+            pointer: '',
+            message: `Input field ${field} is absent.`,
+        }),
+    ];
+}
+function unknownTarget(kind, key) {
+    return [
+        Object.freeze({
+            code: 'DOMAIN_VALIDATION_TARGET_UNKNOWN',
+            pointer: '',
+            message: `${kind} ${key} is absent.`,
+        }),
+    ];
+}

package/dist/v1/index.d.ts

@@ -1,9 +1,18 @@
 /** Stable aggregate facade for the V1 language. */
-export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
-export type * from './builder/index.js';
-export type { FunctionAuth, MethodInheritance, PolicyCheckExpression, ViewAuth, } from './schema/index.js';
-export { Key, PropertyKey, Ref } from './addressing/index.js';
+export { auto, core, defineClass, defineSchema, edgeClass, func, fullMatch, method, nodeClass, output, path, policy, property, stateProperty, valueSchema, view, } from './builder/index.js';
+export { stateMachine } from './language/state/index.js';
+export type { EventOf, StateMachine, StateOf } from './language/state/index.js';
+export { PropertyValues } from './language/index.js';
+export * as metadata from './language/definition/metadata.js';
+export type { AnyResolvedClass, BoundMethodOf, BoundMethodShortcutsOf, CallableResultOf, CallableInputOf, CallableOutputOf, ClassSatisfactionKeysOf, ClassDefinition, CoreDefinition, CoreEdge, FunctionAuth, FunctionDefinition, MethodDefinition, MethodInheritance, MethodOwnerKeyOf, PolicyCheckExpression, PolicyDefinition, PropertyInputOf, PropertyAccessOf, PropertyOutputOf, PropertyShortcutsOf, PropertyValuesOf, ResolvedClass, ResolvedCoreDefinition, ResolvedData, ResolvedFunction, ResolvedMethod, ResolvedMethodCollection, ResolvedPolicy, ResolvedProperty, ResolvedView, MethodAccessOf, SelfMethodsOf, SelfPropertiesOf, SelfStaticMethodsOf, StaticMethodsOf, ViewDefinition, } from './language/index.js';
+export { acceptDefinitionRef, callableAddress, ClassKey, equalDefinitionRefs, isDefinitionRef, Key, MethodKey, PropertyKey, } from './addressing/index.js';
+export type { ClassRef, CoreRef, DefinitionBase, DefinitionKey, DefinitionRef, FunctionRef, MethodAddress, PolicyRef, Revision, ViewRef, } from './addressing/index.js';
+export type { Definition } from './language/index.js';
+export type { Domain, MethodOwnerOf, SourceDomain } from './domain/index.js';
+export { isDomain } from './domain/index.js';
 export type * as builder from './builder/index.js';
+export type { PathAuthoring, TypedValueSchema } from './builder/index.js';
+export type { PropertyValues as PropertyValuesValue } from './language/index.js';
+export type { CompiledSchema } from './compiled/index.js';
 export * as schema from './schema/index.js';
 export * as bundle from './bundle/index.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/v1/index.js

@@ -1,6 +1,9 @@
 /** Stable aggregate facade for the V1 language. */
-export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
-export { Key, PropertyKey, Ref } from './addressing/index.js';
+export { auto, core, defineClass, defineSchema, edgeClass, func, fullMatch, method, nodeClass, output, path, policy, property, stateProperty, valueSchema, view, } from './builder/index.js';
+export { stateMachine } from './language/state/index.js';
+export { PropertyValues } from './language/index.js';
+export * as metadata from './language/definition/metadata.js';
+export { acceptDefinitionRef, callableAddress, ClassKey, equalDefinitionRefs, isDefinitionRef, Key, MethodKey, PropertyKey, } from './addressing/index.js';
+export { isDomain } from './domain/index.js';
 export * as schema from './schema/index.js';
 export * as bundle from './bundle/index.js';
-//# sourceMappingURL=index.js.map

package/dist/v1/language/callable/index.d.ts

@@ -0,0 +1,2 @@
+export type * from './model/callable.js';
+export type * from './resolved.js';

package/dist/v1/language/callable/index.js

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

package/dist/v1/language/callable/model/callable.d.ts

@@ -0,0 +1,33 @@
+import type { DefinitionBase, FunctionRef } from '../../../addressing/index.js';
+import type { PolicyCheckExpression } from '../../policy/model/policy.js';
+import type { JsonSchema } from '../../value/model/schema.js';
+export type MethodInheritance = 'abstract' | 'default' | 'sealed';
+export type FunctionAuth = 'anonymous' | 'authenticated' | 'authorized';
+export type CallableOutput = {
+    readonly mode: 'value';
+    readonly schema: JsonSchema;
+} | {
+    readonly mode: 'stream';
+    readonly item: JsonSchema;
+} | {
+    readonly mode: 'binary';
+};
+export type OutputMode = CallableOutput['mode'];
+export interface CallableDefinitionBase {
+    readonly description?: string;
+    readonly input: JsonSchema;
+    readonly output: CallableOutput;
+}
+export type CallableDefinition = CallableDefinitionBase & ({
+    readonly auth: 'anonymous' | 'authenticated';
+    readonly policy?: never;
+} | {
+    readonly auth: 'authorized';
+    readonly policy?: PolicyCheckExpression;
+});
+export type FunctionDefinition = DefinitionBase<FunctionRef> & CallableDefinition;
+export type MethodDefinition = CallableDefinition & {
+    readonly static: boolean;
+    readonly inheritance: MethodInheritance;
+};
+export type MethodRecord = Readonly<Record<string, MethodDefinition>>;

package/dist/v1/language/callable/model/callable.js

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

package/dist/v1/language/callable/resolved.d.ts

@@ -0,0 +1,68 @@
+import type { DefinitionKey, FunctionRef, Key, MethodKey } from '../../addressing/index.js';
+import type { ResolvedClass } from '../class/resolved.js';
+import type { PolicyCheckExpression } from '../policy/model/policy.js';
+import type { Diagnostic } from '../validation/diagnostic.js';
+import type { FunctionDefinition, MethodDefinition } from './model/callable.js';
+import type { FunctionAuth } from './model/callable.js';
+type CallableDefinitionOf<Definition extends FunctionDefinition | MethodDefinition, Auth extends FunctionAuth, Policy extends PolicyCheckExpression> = Omit<Definition, 'auth' | 'policy'> & (Auth extends FunctionAuth ? {
+    readonly auth: Auth;
+} & (Auth extends 'authorized' ? {
+    readonly policy?: Policy;
+} : {
+    readonly policy?: never;
+}) : never);
+export interface ResolvedMethod<out Input = unknown, out Output = unknown, out Static extends boolean = boolean, out Inheritance extends MethodDefinition['inheritance'] = MethodDefinition['inheritance'], out Auth extends FunctionAuth = FunctionAuth, out Policy extends PolicyCheckExpression = PolicyCheckExpression, out ExactKey extends MethodKey = MethodKey> {
+    readonly owner: ResolvedClass<'node'> & {
+        readonly key: MethodOwnerKeyOfKey<ExactKey>;
+    };
+    readonly name: string;
+    readonly key: ExactKey;
+    readonly description?: MethodDefinition['description'];
+    readonly input: MethodDefinition['input'];
+    readonly output: MethodDefinition['output'];
+    readonly auth: Auth;
+    readonly policy?: Auth extends 'authorized' ? Policy : never;
+    readonly static: Static;
+    readonly inheritance: Inheritance;
+    /** Present only when the callable input is a safely enumerable closed object. */
+    readonly inputFields?: readonly string[];
+    readonly definition: CallableDefinitionOf<MethodDefinition, Auth, Policy> & {
+        readonly static: Static;
+        readonly inheritance: Inheritance;
+    };
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+    readonly __input?: Input;
+    readonly __output?: Output;
+}
+export type ResolvedMethodCollection<ByKey extends Readonly<Record<MethodKey, ResolvedMethod>> = Readonly<Record<MethodKey, ResolvedMethod>>, ByName extends Readonly<Record<string, ResolvedMethod>> = Readonly<Record<never, never>>> = Readonly<ByName> & Iterable<ByKey[keyof ByKey]> & {
+    readonly byKey: ByKey;
+    get<Key extends keyof ByKey>(key: Key): ByKey[Key];
+    get(key: MethodKey): ResolvedMethod | undefined;
+};
+export interface ResolvedFunction<out Input = unknown, out Output = unknown, out Auth extends FunctionAuth = FunctionAuth, out Policy extends PolicyCheckExpression = PolicyCheckExpression> {
+    readonly ref: FunctionRef;
+    readonly key: DefinitionKey<string, 'function'>;
+    readonly description?: FunctionDefinition['description'];
+    readonly input: FunctionDefinition['input'];
+    readonly output: FunctionDefinition['output'];
+    readonly auth: Auth;
+    readonly policy?: Auth extends 'authorized' ? Policy : never;
+    /** Present only when the callable input is a safely enumerable closed object. */
+    readonly inputFields?: readonly string[];
+    readonly definition: CallableDefinitionOf<FunctionDefinition, Auth, Policy>;
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+    readonly __input?: Input;
+    readonly __output?: Output;
+}
+export type ResolvedCallable = ResolvedFunction | ResolvedMethod;
+export type MethodOwnerKeyOf<Method> = Method extends {
+    readonly key: infer ExactKey extends MethodKey;
+} ? MethodOwnerKeyOfKey<ExactKey> : never;
+type MethodOwnerKeyOfKey<ExactKey extends MethodKey> = ExactKey extends `${infer Origin}:class.${infer Owner}.method.${string}` ? DefinitionKey<Extract<Origin, Key.Origin>, 'class', Owner> : never;
+export type CallableInputOf<Callable> = Callable extends ResolvedMethod<infer Input, unknown, boolean> ? Input : Callable extends ResolvedFunction<infer Input, unknown> ? Input : never;
+export type CallableOutputOf<Callable> = Callable extends ResolvedMethod<unknown, infer Output, boolean> ? Output : Callable extends ResolvedFunction<unknown, infer Output> ? Output : never;
+export {};

package/dist/v1/language/callable/resolved.js

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

package/dist/v1/language/class/facets.d.ts

@@ -0,0 +1,58 @@
+import type { CallableInputOf, CallableOutputOf, ResolvedMethod, ResolvedMethodCollection } from '../callable/resolved.js';
+import type { ResolvedProperty, ResolvedPropertyCollection } from './resolved.js';
+type MemberName = string | number | symbol;
+type ValueAt<Collection, Key> = Key extends keyof Collection ? Collection[Key] : never;
+type PropertyCollectionOf<Class> = Class extends {
+    readonly properties: infer Properties;
+} ? Properties : never;
+type PropertyByKeyOf<Class> = PropertyCollectionOf<Class> extends {
+    readonly byKey: infer ByKey extends Readonly<Record<string, ResolvedProperty>>;
+} ? ByKey : Readonly<Record<never, never>>;
+type PropertyByNameOf<Class> = Pick<PropertyCollectionOf<Class>, Exclude<keyof PropertyCollectionOf<Class>, keyof ResolvedPropertyCollection>>;
+type MethodCollectionOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly methods: infer Methods extends ResolvedMethodCollection;
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+type MethodByKeyOf<Class> = MethodCollectionOf<Class> extends {
+    readonly byKey: infer ByKey extends Readonly<Record<string, ResolvedMethod>>;
+} ? ByKey : Readonly<Record<never, never>>;
+type MethodByNameOf<Class> = Pick<MethodCollectionOf<Class>, Exclude<keyof MethodCollectionOf<Class>, keyof ResolvedMethodCollection>>;
+export type PropertyOutputOf<Property> = Property extends ResolvedProperty<infer Value, infer Required> ? Required extends true ? Value : Value | undefined : never;
+/** Collision-safe direct Property values. Client supplies graph/wrapper reserved names. */
+export type PropertyShortcutsOf<Class, Reserved extends MemberName = never> = Readonly<{
+    [Name in Exclude<keyof PropertyByNameOf<Class>, keyof MethodByNameOf<Class> | Reserved>]: PropertyOutputOf<ValueAt<PropertyByNameOf<Class>, Name>>;
+}>;
+type EffectiveProperty<Class> = PropertyByKeyOf<Class>[keyof PropertyByKeyOf<Class>];
+/** Exact and unambiguous Property access signatures, independent of graph values. */
+export type PropertyAccessOf<Class> = {
+    readonly property: {
+        <Property extends EffectiveProperty<Class>>(property: Property): PropertyOutputOf<Property>;
+        <Key extends keyof PropertyByKeyOf<Class>>(key: Key): PropertyOutputOf<PropertyByKeyOf<Class>[Key]>;
+        <Name extends keyof PropertyByNameOf<Class>>(name: Name): PropertyOutputOf<PropertyByNameOf<Class>[Name]>;
+    };
+};
+export type CallableResultOf<Callable, Binary = unknown> = CallableOutputOf<Callable> extends infer Output ? Output extends {
+    readonly mode: 'value';
+    readonly value: infer Value;
+} ? Value : Output extends {
+    readonly mode: 'stream';
+    readonly item: infer Item;
+} ? AsyncIterable<Item> : Output extends {
+    readonly mode: 'binary';
+} ? Binary : never : never;
+type ExecutableMethod<Method> = Method extends ResolvedMethod<unknown, unknown, false, infer Inheritance> ? Inheritance extends 'abstract' ? never : Method : never;
+export type BoundMethodOf<Method, Binary = unknown> = ExecutableMethod<Method> extends infer Callable ? [Callable] extends [never] ? never : (input: CallableInputOf<Callable>) => Promise<CallableResultOf<Callable, Binary>> : never;
+/** Collision-safe direct bound Methods. Client supplies graph/wrapper reserved names. */
+export type BoundMethodShortcutsOf<Class, Binary = unknown, Reserved extends MemberName = never> = Readonly<{
+    [Name in Exclude<keyof MethodByNameOf<Class>, keyof PropertyByNameOf<Class> | Reserved> as BoundMethodOf<ValueAt<MethodByNameOf<Class>, Name>, Binary> extends never ? never : Name]: BoundMethodOf<ValueAt<MethodByNameOf<Class>, Name>, Binary>;
+}>;
+type EffectiveMethod<Class> = MethodByKeyOf<Class>[keyof MethodByKeyOf<Class>];
+/** Exact and unambiguous bound Method access signatures, independent of Client provenance. */
+export type MethodAccessOf<Class, Binary = unknown> = {
+    readonly method: {
+        <Method extends EffectiveMethod<Class>>(method: Method): BoundMethodOf<Method, Binary>;
+        <Key extends keyof MethodByKeyOf<Class>>(key: Key): BoundMethodOf<MethodByKeyOf<Class>[Key], Binary>;
+        <Name extends keyof MethodByNameOf<Class>>(name: Name): BoundMethodOf<MethodByNameOf<Class>[Name], Binary>;
+    };
+};
+export {};

package/dist/v1/language/class/facets.js

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

package/dist/v1/language/class/index.d.ts

@@ -0,0 +1,8 @@
+export type * from './model/class.js';
+export type * from './model/data.js';
+export type * from './model/edge.js';
+export type * from './model/property.js';
+export { PropertyValues } from './property-values.js';
+export type { PropertyValuesOperations } from './property-values.js';
+export type * from './facets.js';
+export type * from './resolved.js';

package/dist/v1/language/class/index.js

@@ -0,0 +1 @@
+export { PropertyValues } from './property-values.js';

package/dist/v1/language/class/model/class.d.ts

@@ -0,0 +1,37 @@
+import type { ClassRef, DefinitionBase, PolicyRef } from '../../../addressing/index.js';
+import type { MethodRecord } from '../../callable/model/callable.js';
+import type { DataFacet } from './data.js';
+import type { EdgeContract } from './edge.js';
+import type { PropertyFacet } from './property.js';
+export type ClassKind = 'node' | 'edge';
+export interface NodeClassPolicies {
+    readonly read?: PolicyRef;
+    readonly traverse?: PolicyRef;
+}
+export interface EdgeClassPolicies {
+    readonly read?: PolicyRef;
+    readonly traverse?: PolicyRef;
+}
+export interface NodeClassDefinition extends DefinitionBase<ClassRef>, PropertyFacet, DataFacet {
+    readonly kind: 'node';
+    readonly abstract: boolean;
+    readonly description?: string;
+    readonly extends: readonly ClassRef[];
+    readonly methods: MethodRecord;
+    readonly icon?: string;
+    readonly policies: NodeClassPolicies;
+}
+export type EdgeClassDefinition = DefinitionBase<ClassRef> & PropertyFacet & EdgeContract & {
+    readonly kind: 'edge';
+    readonly abstract: boolean;
+    readonly description?: string;
+    readonly extends: readonly ClassRef[];
+    readonly policies: EdgeClassPolicies;
+};
+export type ClassDefinition = NodeClassDefinition | EdgeClassDefinition;
+export type DirectedEdgeDefinition = Extract<EdgeClassDefinition, {
+    readonly orientation: 'directed';
+}>;
+export type UndirectedEdgeDefinition = Extract<EdgeClassDefinition, {
+    readonly orientation: 'undirected';
+}>;

package/dist/v1/language/class/model/class.js

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

package/dist/v1/{schema/definition → language/class/model}/data.d.ts

@@ -3,10 +3,9 @@ import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
 export declare const MEDIA_TYPE_PATTERN: RegExp;
 export type MediaType = string;
 /** Schema-level contract for one externally stored Node payload. */
-export type DataDeclaration = JsonObject & {
+export type DataDefinition = JsonObject & {
     readonly mediaType: MediaType;
 };
 export interface DataFacet {
-    readonly data?: DataDeclaration;
+    readonly data?: DataDefinition;
 }
-//# sourceMappingURL=data.d.ts.map

package/dist/v1/{schema/definition → language/class/model}/data.js

@@ -1,3 +1,2 @@
 /** Canonical lowercase RFC 6838 media type without parameters. */
 export const MEDIA_TYPE_PATTERN = /^[a-z0-9][a-z0-9!#$&^_.+-]{0,126}\/[a-z0-9][a-z0-9!#$&^_.+-]{0,126}$/u;
-//# sourceMappingURL=data.js.map

package/dist/v1/{schema/definition → language/class/model}/edge.d.ts

@@ -1,9 +1,9 @@
-import type { DefinitionRef } from '../reference.js';
+import type { ClassRef } from '../../../addressing/index.js';
 export type EdgeCount = '0..*' | '1..*' | '0..1' | '1';
 export type EdgeOrientation = 'directed' | 'undirected';
 export interface EdgeEndpointBase {
     readonly role: string;
-    readonly accepts: readonly DefinitionRef[];
+    readonly accepts: readonly ClassRef[];
 }
 export interface DirectedSourceEndpoint extends EdgeEndpointBase {
     readonly outgoing: EdgeCount;
@@ -14,22 +14,25 @@ export interface DirectedTargetEndpoint extends EdgeEndpointBase {
 export interface IncidentEndpoint extends EdgeEndpointBase {
     readonly incident: EdgeCount;
 }
-export interface EdgeConstraints {
+export interface DirectedEdgeConstraints {
     readonly noSelf?: true;
     readonly acyclic?: true;
 }
+export interface UndirectedEdgeConstraints {
+    readonly noSelf?: true;
+    readonly acyclic?: never;
+}
 export interface DirectedEdgeContract {
     readonly orientation: 'directed';
     readonly endpoints: {
         readonly source: DirectedSourceEndpoint;
         readonly target: DirectedTargetEndpoint;
     };
-    readonly constraints: EdgeConstraints;
+    readonly constraints: DirectedEdgeConstraints;
 }
 export interface UndirectedEdgeContract {
     readonly orientation: 'undirected';
     readonly endpoints: readonly [IncidentEndpoint, IncidentEndpoint];
-    readonly constraints: EdgeConstraints;
+    readonly constraints: UndirectedEdgeConstraints;
 }
 export type EdgeContract = DirectedEdgeContract | UndirectedEdgeContract;
-//# sourceMappingURL=edge.d.ts.map

package/dist/v1/language/class/model/edge.js

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

package/dist/v1/language/class/model/property.d.ts

@@ -0,0 +1,17 @@
+export type AutoEvent = 'create' | 'update';
+export type AutoSet = 'instant';
+export interface PropertyAuto {
+    readonly on: readonly AutoEvent[];
+    readonly set: AutoSet;
+}
+export interface PropertyDefinition {
+    readonly schema: import('../../value/model/schema.js').JsonSchema;
+    readonly required: boolean;
+    readonly auto?: PropertyAuto;
+    readonly description?: string;
+    readonly state?: import('../../state/index.js').StateTopology;
+}
+export type PropertyRecord = Readonly<Record<string, PropertyDefinition>>;
+export interface PropertyFacet {
+    readonly properties: PropertyRecord;
+}

package/dist/v1/language/class/model/property.js

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

package/dist/v1/language/class/property-values.d.ts

@@ -0,0 +1,15 @@
+import type { Value as PortableValue } from '@astrale-os/kernel-dsl/value';
+import type { PropertyKey } from '../../addressing/index.js';
+declare const PROPERTY_VALUES: unique symbol;
+/** Detached, sorted, deeply frozen values keyed by exact declaring Property identity. */
+export type PropertyValues = Readonly<Record<PropertyKey, PortableValue>> & {
+    readonly [PROPERTY_VALUES]: true;
+};
+export interface PropertyValuesOperations {
+    accept(input: unknown, pointer?: string): PropertyValues;
+    create(entries: Iterable<readonly [PropertyKey, PortableValue]>): PropertyValues;
+}
+export declare function acceptPropertyValues(input: unknown, pointer?: string): PropertyValues;
+export declare function createPropertyValues(entries: Iterable<readonly [PropertyKey, PortableValue]>): PropertyValues;
+export declare const PropertyValues: PropertyValuesOperations;
+export {};

package/dist/v1/language/class/property-values.js

@@ -0,0 +1,30 @@
+import { accept as acceptPortable } from '@astrale-os/kernel-dsl/value';
+import { PropertyKey as admitPropertyKey } from '../../addressing/index.js';
+export function acceptPropertyValues(input, pointer = '') {
+    const admitted = acceptPortable(input);
+    if (admitted === null || typeof admitted !== 'object' || Array.isArray(admitted)) {
+        throw new TypeError(`Expected PropertyValues object at ${pointer || '/'}.`);
+    }
+    return createPropertyValues(Object.entries(admitted).map(([key, value]) => [admitPropertyKey(key), value]));
+}
+export function createPropertyValues(entries) {
+    const output = Object.create(null);
+    for (const [key, value] of [...entries].sort(([left], [right]) => compare(left, right))) {
+        Object.defineProperty(output, key, { enumerable: true, value: freeze(value) });
+    }
+    return Object.freeze(output);
+}
+export const PropertyValues = Object.freeze({
+    accept: acceptPropertyValues,
+    create: createPropertyValues,
+});
+function freeze(value) {
+    if (value === null || typeof value !== 'object')
+        return value;
+    for (const member of Object.values(value))
+        freeze(member);
+    return Object.freeze(value);
+}
+function compare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}

package/dist/v1/language/class/resolved.d.ts

@@ -0,0 +1,126 @@
+import type { Value as PortableValue } from '@astrale-os/kernel-dsl/value';
+import type { ClassRef, DefinitionKey, Key, PolicyRef, PropertyKey } from '../../addressing/index.js';
+import type { ResolvedMethodCollection } from '../callable/resolved.js';
+import type { StateTopology } from '../state/index.js';
+import type { Diagnostic } from '../validation/diagnostic.js';
+import type { OrderingKind } from '../value/ordering.js';
+import type { ClassDefinition, ClassKind } from './model/class.js';
+import type { DataDefinition } from './model/data.js';
+import type { PropertyDefinition } from './model/property.js';
+import type { PropertyValues } from './property-values.js';
+export interface ResolvedProperty<out Value = PortableValue, out Required extends boolean = boolean, out State extends StateTopology | undefined = StateTopology | undefined> {
+    readonly owner: AnyResolvedClass;
+    readonly name: string;
+    readonly key: PropertyKey;
+    readonly definition: Omit<PropertyDefinition, 'required' | 'state'> & {
+        readonly required: Required;
+        readonly state?: State;
+    };
+    /** The one portable scalar ordering domain, when the Property is orderable. */
+    readonly ordering?: OrderingKind;
+    validate(input: unknown): readonly Diagnostic[];
+    readonly __value?: Value;
+}
+export interface ResolvedData {
+    readonly owner: ResolvedClass<'node'>;
+    readonly definition: DataDefinition;
+}
+export interface ResolvedClassPolicies {
+    /** Effective read Policies for this Node or Edge Class. */
+    readonly read: readonly PolicyRef[];
+    readonly traverse: readonly PolicyRef[];
+}
+export type ResolvedPropertyCollection<ByKey extends Readonly<Record<PropertyKey, ResolvedProperty<unknown>>> = Readonly<Record<PropertyKey, ResolvedProperty<unknown>>>, ByName extends Readonly<Record<string, ResolvedProperty<unknown>>> = Readonly<Record<never, never>>> = Readonly<ByName> & Iterable<ByKey[keyof ByKey]> & {
+    readonly byKey: ByKey;
+    get<Key extends keyof ByKey>(key: Key): ByKey[Key];
+    get(key: PropertyKey): ResolvedProperty | undefined;
+    from(input: PropertyInput<ByKey, ByName>): PropertyValues;
+};
+export interface ResolvedClass<Kind extends ClassKind = ClassKind, Properties extends ResolvedPropertyCollection = ResolvedPropertyCollection, InstanceMethods extends ResolvedMethodCollection = ResolvedMethodCollection, StaticMethods extends ResolvedMethodCollection = ResolvedMethodCollection, SelfProperties extends ResolvedPropertyCollection = ResolvedPropertyCollection, SelfInstanceMethods extends ResolvedMethodCollection = ResolvedMethodCollection, SelfStaticMethods extends ResolvedMethodCollection = ResolvedMethodCollection, Definition extends Extract<ClassDefinition, {
+    readonly kind: Kind;
+}> = Extract<ClassDefinition, {
+    readonly kind: Kind;
+}>, Parents extends readonly unknown[] = readonly unknown[]> {
+    readonly ref: ClassRef;
+    readonly key: DefinitionKey<string, 'class'>;
+    readonly kind: Kind;
+    readonly abstract: boolean;
+    readonly definition: Definition;
+    readonly extends: Parents & readonly ResolvedClass<Kind>[];
+    /** Effective inherited Policy conjunction, deduplicated by exact Policy ref. */
+    readonly policies: ResolvedClassPolicies;
+    readonly data: Kind extends 'node' ? ResolvedData | undefined : undefined;
+    readonly properties: Properties;
+    readonly methods: Kind extends 'node' ? InstanceMethods : ResolvedMethodCollection<Record<never, never>>;
+    readonly static: {
+        readonly methods: Kind extends 'node' ? StaticMethods : ResolvedMethodCollection<Record<never, never>>;
+    };
+    readonly self: {
+        readonly data: Kind extends 'node' ? ResolvedData | undefined : undefined;
+        readonly properties: SelfProperties;
+        /** Policies declared by this exact Class only. */
+        readonly policies: Definition['policies'];
+        readonly methods: Kind extends 'node' ? SelfInstanceMethods : ResolvedMethodCollection<Record<never, never>>;
+        readonly static: {
+            readonly methods: Kind extends 'node' ? SelfStaticMethods : ResolvedMethodCollection<Record<never, never>>;
+        };
+    };
+    satisfies(selected: ResolvedClass<Kind>): boolean;
+    validateProperties(input: unknown): readonly Diagnostic[];
+}
+/** One resolved Class with an exact graph kind, used at heterogeneous Domain boundaries. */
+export type AnyResolvedClass = ResolvedClass<'node'> | ResolvedClass<'edge'>;
+/** Exact Class keys satisfied by one resolved Class, including transitive parents. */
+export type ClassSatisfactionKeysOf<Class> = ClassSatisfactionKeys<Class, never>;
+type ClassSatisfactionKeys<Class, Seen> = Class extends Seen ? never : (Class extends {
+    readonly key: infer ExactKey extends DefinitionKey<Key.Origin, 'class'>;
+} ? ExactKey : never) | (Class extends ResolvedClass<ClassKind, ResolvedPropertyCollection, ResolvedMethodCollection, ResolvedMethodCollection, ResolvedPropertyCollection, ResolvedMethodCollection, ResolvedMethodCollection, ClassDefinition, infer Parents> ? ClassSatisfactionKeys<Extract<Parents[number], ResolvedClass>, Seen | Class> : never);
+export type PropertyValueOf<Property> = Property extends ResolvedProperty<infer Value> ? Value : never;
+export type PropertiesOf<Class> = Class extends {
+    readonly properties: infer Properties extends ResolvedPropertyCollection;
+} ? Properties : ResolvedPropertyCollection<Record<never, never>>;
+export type PropertyValuesOf<Class> = PropertyValues & Readonly<{
+    [Key in keyof PropertyByKeyOf<Class>]?: PropertyValueOf<PropertyByKeyOf<Class>[Key]>;
+}>;
+export type PropertyInputOf<Class> = PropertyInput<PropertyByKeyOf<Class>, PropertyByNameOf<Class>>;
+export type MethodsOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly methods: infer Methods extends ResolvedMethodCollection;
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+export type StaticMethodsOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly static: {
+        readonly methods: infer Methods extends ResolvedMethodCollection;
+    };
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+export type SelfPropertiesOf<Class> = Class extends {
+    readonly self: {
+        readonly properties: infer Properties extends ResolvedPropertyCollection;
+    };
+} ? Properties : ResolvedPropertyCollection<Record<never, never>>;
+export type SelfMethodsOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly self: {
+        readonly methods: infer Methods extends ResolvedMethodCollection;
+    };
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+export type SelfStaticMethodsOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly self: {
+        readonly static: {
+            readonly methods: infer Methods extends ResolvedMethodCollection;
+        };
+    };
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+type PropertyInput<ByKey extends Readonly<Record<PropertyKey, ResolvedProperty<unknown>>>, ByName extends Readonly<Record<string, ResolvedProperty<unknown>>>> = Readonly<{
+    [Key in keyof ByKey]?: PropertyValueOf<ByKey[Key]>;
+} & {
+    [Name in keyof ByName]?: PropertyValueOf<ByName[Name]>;
+}>;
+type PropertyByKeyOf<Class> = PropertiesOf<Class> extends {
+    readonly byKey: infer ByKey extends Readonly<Record<PropertyKey, ResolvedProperty<unknown>>>;
+} ? ByKey : Readonly<Record<never, never>>;
+type PropertyByNameOf<Class> = Readonly<{
+    [Name in Exclude<keyof PropertiesOf<Class>, keyof ResolvedPropertyCollection>]: Extract<PropertiesOf<Class>[Name], ResolvedProperty>;
+}>;
+export {};

package/dist/v1/language/class/resolved.js

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

package/dist/v1/language/core/index.d.ts

@@ -0,0 +1,2 @@
+export type * from './model/core.js';
+export type * from './resolved.js';