@astrale-os/kernel-dsl 0.2.0-beta.4 → 0.2.0-beta.6

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

@@ -0,0 +1,9 @@
+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';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../v1/language/class/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,kBAAkB,CAAA;AACrC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,qBAAqB,CAAA;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,YAAY,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AACpE,mBAAmB,aAAa,CAAA;AAChC,mBAAmB,eAAe,CAAA"}

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

@@ -0,0 +1,2 @@
+export { PropertyValues } from './property-values.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../v1/language/class/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA"}

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 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';
+}>;
+//# sourceMappingURL=class.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../../../../../v1/language/class/model/class.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAA;AACvF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAA;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,CAAA;AAEvC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAC9B;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,SAAS;IAC7F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;CACrC;AAED,MAAM,MAAM,mBAAmB,GAAG,cAAc,CAAC,QAAQ,CAAC,GACxD,aAAa,GACb,YAAY,GAAG;IACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;CACrC,CAAA;AAEH,MAAM,MAAM,eAAe,GAAG,mBAAmB,GAAG,mBAAmB,CAAA;AACvE,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAC1C,mBAAmB,EACnB;IAAE,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAA;CAAE,CACrC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,OAAO,CAC5C,mBAAmB,EACnB;IAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAA;CAAE,CACvC,CAAA"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.js","sourceRoot":"","sources":["../../../../../v1/language/class/model/class.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,12 @@
+import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
+/** Canonical lowercase RFC 6838 media type without parameters. */
+export declare const MEDIA_TYPE_PATTERN: RegExp;
+export type MediaType = string;
+/** Schema-level contract for one externally stored Node payload. */
+export type DataDefinition = JsonObject & {
+    readonly mediaType: MediaType;
+};
+export interface DataFacet {
+    readonly data?: DataDefinition;
+}
+//# sourceMappingURL=data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../../../../v1/language/class/model/data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAExE,kEAAkE;AAClE,eAAO,MAAM,kBAAkB,QAC0C,CAAA;AAEzE,MAAM,MAAM,SAAS,GAAG,MAAM,CAAA;AAE9B,oEAAoE;AACpE,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAC9B,CAAA;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAA;CAC/B"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../../../../v1/language/class/model/data.ts"],"names":[],"mappings":"AAEA,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAC7B,uEAAuE,CAAA"}

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

@@ -0,0 +1,39 @@
+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 ClassRef[];
+}
+export interface DirectedSourceEndpoint extends EdgeEndpointBase {
+    readonly outgoing: EdgeCount;
+}
+export interface DirectedTargetEndpoint extends EdgeEndpointBase {
+    readonly incoming: EdgeCount;
+}
+export interface IncidentEndpoint extends EdgeEndpointBase {
+    readonly incident: EdgeCount;
+}
+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: DirectedEdgeConstraints;
+}
+export interface UndirectedEdgeContract {
+    readonly orientation: 'undirected';
+    readonly endpoints: readonly [IncidentEndpoint, IncidentEndpoint];
+    readonly constraints: UndirectedEdgeConstraints;
+}
+export type EdgeContract = DirectedEdgeContract | UndirectedEdgeContract;
+//# sourceMappingURL=edge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../../../../../v1/language/class/model/edge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE5D,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,CAAA;AACtD,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,YAAY,CAAA;AAEvD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;CACtC;AAED,MAAM,WAAW,sBAAuB,SAAQ,gBAAgB;IAC9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,sBAAuB,SAAQ,gBAAgB;IAC9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,gBAAiB,SAAQ,gBAAgB;IACxD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;QACvC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;KACxC,CAAA;IACD,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAA;CAC9C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAA;IACjE,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAA;CAChD;AAED,MAAM,MAAM,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,CAAA"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"edge.js","sourceRoot":"","sources":["../../../../../v1/language/class/model/edge.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,19 @@
+export type PropertyVisibility = 'public' | 'private';
+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 visibility: PropertyVisibility;
+    readonly auto?: PropertyAuto;
+    readonly description?: string;
+}
+export type PropertyRecord = Readonly<Record<string, PropertyDefinition>>;
+export interface PropertyFacet {
+    readonly properties: PropertyRecord;
+}
+//# sourceMappingURL=property.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../../../v1/language/class/model/property.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAA;AAErD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAC3C,MAAM,MAAM,OAAO,GAAG,SAAS,CAAA;AAE/B,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,6BAA6B,EAAE,UAAU,CAAA;IACjE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;IACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;AAEzE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../../../v1/language/class/model/property.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,16 @@
+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 {};
+//# sourceMappingURL=property-values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"property-values.d.ts","sourceRoot":"","sources":["../../../../v1/language/class/property-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAI1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAI5D,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAA;AAE5C,yFAAyF;AACzF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG;IAC1E,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,CAAA;CACjC,CAAA;AAED,MAAM,WAAW,wBAAwB;IACvC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,cAAc,CAAA;IACxD,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG,cAAc,CAAA;CACjF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,SAAK,GAAG,cAAc,CAQjF;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,GACvD,cAAc,CAMhB;AAED,eAAO,MAAM,cAAc,EAAE,wBAG3B,CAAA"}

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

@@ -0,0 +1,31 @@
+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;
+}
+//# sourceMappingURL=property-values.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"property-values.js","sourceRoot":"","sources":["../../../../v1/language/class/property-values.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,IAAI,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAIvE,OAAO,EAAE,WAAW,IAAI,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAc3E,MAAM,UAAU,oBAAoB,CAAC,KAAc,EAAE,OAAO,GAAG,EAAE;IAC/D,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,SAAS,CAAC,qCAAqC,OAAO,IAAI,GAAG,GAAG,CAAC,CAAA;IAC7E,CAAC;IACD,OAAO,oBAAoB,CACzB,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,KAAK,CAAU,CAAC,CACxF,CAAA;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAwD;IAExD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAuC,CAAA;IACxE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAmB,CAAA;AAChD,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAA6B,MAAM,CAAC,MAAM,CAAC;IACpE,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,oBAAoB;CAC7B,CAAC,CAAA;AAEF,SAAS,MAAM,CAAC,KAAoB;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa;IAC1C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACjD,CAAC"}

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

@@ -0,0 +1,124 @@
+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 { 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> {
+    readonly owner: AnyResolvedClass;
+    readonly name: string;
+    readonly key: PropertyKey;
+    readonly definition: PropertyDefinition & {
+        readonly required: Required;
+    };
+    /** 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<Kind extends ClassKind = ClassKind> {
+    readonly read: Kind extends 'node' ? readonly PolicyRef[] : readonly [];
+    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<Kind>;
+    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 {};
+//# sourceMappingURL=resolved.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolved.d.ts","sourceRoot":"","sources":["../../../../v1/language/class/resolved.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE1E,OAAO,KAAK,EACV,QAAQ,EACR,aAAa,EACb,GAAG,EACH,SAAS,EACT,WAAW,EACZ,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AACvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,MAAM,WAAW,gBAAgB,CAC/B,GAAG,CAAC,KAAK,GAAG,aAAa,EACzB,GAAG,CAAC,QAAQ,SAAS,OAAO,GAAG,OAAO;IAEtC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,GAAG;QAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;KAAE,CAAA;IACzE,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IAC/C,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC;AAED,MAAM,WAAW,qBAAqB,CAAC,IAAI,SAAS,SAAS,GAAG,SAAS;IACvE,QAAQ,CAAC,IAAI,EAAE,IAAI,SAAS,MAAM,GAAG,SAAS,SAAS,EAAE,GAAG,SAAS,EAAE,CAAA;IACvE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAA;CACxC;AAED,MAAM,MAAM,0BAA0B,CACpC,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAC/E,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAC/C,EACD,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAC3E,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CACrB,IACC,QAAQ,CAAC,MAAM,CAAC,GAClB,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,GAAG,CAAC,GAAG,SAAS,MAAM,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;IAClD,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,gBAAgB,GAAG,SAAS,CAAA;IACnD,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,cAAc,CAAA;CAC1D,CAAA;AAEH,MAAM,WAAW,aAAa,CAC5B,IAAI,SAAS,SAAS,GAAG,SAAS,EAClC,UAAU,SAAS,0BAA0B,GAAG,0BAA0B,EAC1E,eAAe,SAAS,wBAAwB,GAAG,wBAAwB,EAC3E,aAAa,SAAS,wBAAwB,GAAG,wBAAwB,EACzE,cAAc,SAAS,0BAA0B,GAAG,0BAA0B,EAC9E,mBAAmB,SAAS,wBAAwB,GAAG,wBAAwB,EAC/E,iBAAiB,SAAS,wBAAwB,GAAG,wBAAwB,EAC7E,UAAU,SAAS,OAAO,CAAC,eAAe,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,OAAO,CAC5E,eAAe,EACf;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CACxB,EACD,OAAO,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE;IAEvD,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;IAC1D,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC9C,QAAQ,CAAC,IAAI,EAAE,IAAI,SAAS,MAAM,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,CAAA;IACzE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,IAAI,SAAS,MAAM,GACjC,eAAe,GACf,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,OAAO,EAAE,IAAI,SAAS,MAAM,GACjC,aAAa,GACb,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;KACnD,CAAA;IACD,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,IAAI,SAAS,MAAM,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,CAAA;QACzE,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;QACnC,kDAAkD;QAClD,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;QACzC,QAAQ,CAAC,OAAO,EAAE,IAAI,SAAS,MAAM,GACjC,mBAAmB,GACnB,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QAClD,QAAQ,CAAC,MAAM,EAAE;YACf,QAAQ,CAAC,OAAO,EAAE,IAAI,SAAS,MAAM,GACjC,iBAAiB,GACjB,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;SACnD,CAAA;KACF,CAAA;IACD,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;IACjD,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;CAC1D;AAED,4FAA4F;AAC5F,MAAM,MAAM,gBAAgB,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;AAE5E,sFAAsF;AACtF,MAAM,MAAM,uBAAuB,CAAC,KAAK,IAAI,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAEhF,KAAK,qBAAqB,CAAC,KAAK,EAAE,IAAI,IAAI,KAAK,SAAS,IAAI,GACxD,KAAK,GAED,CAAC,KAAK,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,QAAQ,SAAS,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACtF,QAAQ,GACR,KAAK,CAAC,GACV,CAAC,KAAK,SAAS,aAAa,CAC1B,SAAS,EACT,0BAA0B,EAC1B,wBAAwB,EACxB,wBAAwB,EACxB,0BAA0B,EAC1B,wBAAwB,EACxB,wBAAwB,EACxB,eAAe,EACf,MAAM,OAAO,CACd,GACG,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,GAC5E,KAAK,CAAC,CAAA;AAElB,MAAM,MAAM,eAAe,CAAC,QAAQ,IAClC,QAAQ,SAAS,gBAAgB,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;AAEhE,MAAM,MAAM,YAAY,CAAC,KAAK,IAAI,KAAK,SAAS;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,SAAS,0BAA0B,CAAA;CACzE,GACG,UAAU,GACV,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpD,MAAM,MAAM,gBAAgB,CAAC,KAAK,IAAI,cAAc,GAClD,QAAQ,CAAC;KACN,GAAG,IAAI,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;CACrF,CAAC,CAAA;AAEJ,MAAM,MAAM,eAAe,CAAC,KAAK,IAAI,aAAa,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAA;AAEnG,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,wBAAwB,CAAA;CACjE,GACG,OAAO,GACP,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAElD,MAAM,MAAM,eAAe,CAAC,KAAK,IAAI,KAAK,SAAS;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,wBAAwB,CAAA;KAAE,CAAA;CACtF,GACG,OAAO,GACP,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAElD,MAAM,MAAM,gBAAgB,CAAC,KAAK,IAAI,KAAK,SAAS;IAClD,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,SAAS,0BAA0B,CAAA;KAAE,CAAA;CAC5F,GACG,UAAU,GACV,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpD,MAAM,MAAM,aAAa,CAAC,KAAK,IAAI,KAAK,SAAS;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,wBAAwB,CAAA;KAAE,CAAA;CACpF,GACG,OAAO,GACP,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAElD,MAAM,MAAM,mBAAmB,CAAC,KAAK,IAAI,KAAK,SAAS;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,wBAAwB,CAAA;SAAE,CAAA;KACtF,CAAA;CACF,GACG,OAAO,GACP,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAElD,KAAK,aAAa,CAChB,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EACtE,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,IAChE,QAAQ,CACV;KAAG,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;CAAE,GAAG;KACtD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACvD,CACF,CAAA;AAED,KAAK,eAAe,CAAC,KAAK,IACxB,YAAY,CAAC,KAAK,CAAC,SAAS;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;CAC7F,GACG,KAAK,GACL,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpC,KAAK,gBAAgB,CAAC,KAAK,IAAI,QAAQ,CAAC;KACrC,IAAI,IAAI,OAAO,CAAC,MAAM,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,0BAA0B,CAAC,GAAG,OAAO,CACrF,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EACzB,gBAAgB,CACjB;CACF,CAAC,CAAA"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolved.js","sourceRoot":"","sources":["../../../../v1/language/class/resolved.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,3 @@
+export type * from './model/core.js';
+export type * from './resolved.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../v1/language/core/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,iBAAiB,CAAA;AACpC,mBAAmB,eAAe,CAAA"}

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

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

package/dist/v1/language/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../v1/language/core/index.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,21 @@
+import type { ClassRef, CoreRef, DefinitionBase } from '../../../addressing/index.js';
+import type { PropertyValues } from '../../class/property-values.js';
+export interface DomainEndpointRef {
+    readonly kind: 'domain';
+}
+export type CoreEndpointRef = CoreRef | DomainEndpointRef;
+export interface CoreDefinition extends DefinitionBase<CoreRef> {
+    readonly class: ClassRef;
+    readonly properties: PropertyValues;
+}
+export interface CoreEdge {
+    readonly class: ClassRef;
+    readonly source: CoreEndpointRef;
+    readonly target: CoreEndpointRef;
+    readonly properties: PropertyValues;
+}
+export interface CoreContent {
+    readonly nodes: Readonly<Record<string, CoreDefinition>>;
+    readonly edges: readonly CoreEdge[];
+}
+//# sourceMappingURL=core.d.ts.map

package/dist/v1/language/core/model/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../../../v1/language/core/model/core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AACrF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAEpE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACxB;AAED,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,iBAAiB,CAAA;AAEzD,MAAM,WAAW,cAAe,SAAQ,cAAc,CAAC,OAAO,CAAC;IAC7D,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAA;CACpC"}

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

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

package/dist/v1/language/core/model/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../../../v1/language/core/model/core.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,22 @@
+import type { DefinitionKey } from '../../addressing/index.js';
+import type { PropertyValues } from '../class/property-values.js';
+import type { ResolvedClass } from '../class/resolved.js';
+import type { CoreDefinition } from './model/core.js';
+export interface ResolvedCoreDefinition {
+    readonly ref: CoreDefinition['ref'];
+    readonly key: DefinitionKey<string, 'core'>;
+    readonly class: ResolvedClass<'node'>;
+    readonly properties: PropertyValues;
+    readonly definition: CoreDefinition;
+}
+export interface ResolvedDomainEndpoint {
+    readonly kind: 'domain';
+    readonly origin: string;
+}
+export interface ResolvedCoreEdge {
+    readonly class: ResolvedClass<'edge'>;
+    readonly source: ResolvedCoreDefinition | ResolvedDomainEndpoint;
+    readonly target: ResolvedCoreDefinition | ResolvedDomainEndpoint;
+    readonly properties: PropertyValues;
+}
+//# sourceMappingURL=resolved.d.ts.map

package/dist/v1/language/core/resolved.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved.d.ts","sourceRoot":"","sources":["../../../../v1/language/core/resolved.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC,KAAK,CAAC,CAAA;IACnC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;IACnC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAAA;IAChE,QAAQ,CAAC,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAAA;IAChE,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;CACpC"}

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

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

package/dist/v1/language/core/resolved.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved.js","sourceRoot":"","sources":["../../../../v1/language/core/resolved.ts"],"names":[],"mappings":""}

package/dist/v1/language/definition/metadata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.d.ts","sourceRoot":"","sources":["../../../../v1/language/definition/metadata.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CACzB,CAI4B,CAAA;AAE7B,iEAAiE;AACjE,eAAO,MAAM,IAAI,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CACzB,CAI4B,CAAA"}

package/dist/v1/language/definition/metadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../../../v1/language/definition/metadata.ts"],"names":[],"mappings":"AAEA,yEAAyE;AACzE,MAAM,CAAC,MAAM,WAAW,GAInB,MAAM,CAAC,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,IAAI;CAChB,CAA4B,CAAA;AAE7B,iEAAiE;AACjE,MAAM,CAAC,MAAM,IAAI,GAIZ,MAAM,CAAC,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,IAAI;CAChB,CAA4B,CAAA"}

package/dist/v1/language/definition.d.ts

@@ -0,0 +1,8 @@
+import type { FunctionDefinition } from './callable/model/callable.js';
+import type { ClassDefinition } from './class/model/class.js';
+import type { CoreDefinition } from './core/model/core.js';
+import type { PolicyDefinition } from './policy/model/policy.js';
+import type { ViewDefinition } from './view/model/view.js';
+/** Every named V1 product Definition. Property and Method remain Class-owned members. */
+export type Definition = ClassDefinition | FunctionDefinition | PolicyDefinition | ViewDefinition | CoreDefinition;
+//# sourceMappingURL=definition.d.ts.map

package/dist/v1/language/definition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../../v1/language/definition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,yFAAyF;AACzF,MAAM,MAAM,UAAU,GAClB,eAAe,GACf,kBAAkB,GAClB,gBAAgB,GAChB,cAAc,GACd,cAAc,CAAA"}

package/dist/v1/language/definition.js

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

package/dist/v1/language/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../v1/language/definition.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,24 @@
+export type { ClassRef, CoreRef, DefinitionBase, DefinitionKey, DefinitionRef, FunctionRef, MethodKey, PolicyRef, PropertyKey, ViewRef, } from '../addressing/index.js';
+export type { Value as PropertyValue } from '@astrale-os/kernel-dsl/value';
+export type { JsonSchema as ValueSchema, JsonSchemaObject as ValueSchemaObject, } from './value/model/schema.js';
+export type { OrderingKind } from './value/ordering.js';
+export type * from './callable/model/callable.js';
+export type * from './callable/resolved.js';
+export type * from './class/model/class.js';
+export type { DataDefinition, DataFacet, MediaType } from './class/model/data.js';
+export type * from './class/model/edge.js';
+export type * from './class/model/property.js';
+export type * from './class/resolved.js';
+export type * from './class/facets.js';
+export { PropertyValues } from './class/property-values.js';
+export type { PropertyValuesOperations } from './class/property-values.js';
+export type * from './core/model/core.js';
+export type * from './core/resolved.js';
+export type { Definition } from './definition.js';
+export type { ResolvedDefinition, ResolvedDefinitionOf } from './resolved.js';
+export type { Diagnostic, DiagnosticCode } from './validation/diagnostic.js';
+export type * from './policy/model/policy.js';
+export type * from './policy/resolved.js';
+export type * from './view/model/view.js';
+export type * from './view/resolved.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../v1/language/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,QAAQ,EACR,OAAO,EACP,cAAc,EACd,aAAa,EACb,aAAa,EACb,WAAW,EACX,SAAS,EACT,SAAS,EACT,WAAW,EACX,OAAO,GACR,MAAM,wBAAwB,CAAA;AAC/B,YAAY,EAAE,KAAK,IAAI,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC1E,YAAY,EACV,UAAU,IAAI,WAAW,EACzB,gBAAgB,IAAI,iBAAiB,GACtC,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AACvD,mBAAmB,8BAA8B,CAAA;AACjD,mBAAmB,wBAAwB,CAAA;AAC3C,mBAAmB,wBAAwB,CAAA;AAC3C,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAA;AACjF,mBAAmB,uBAAuB,CAAA;AAC1C,mBAAmB,2BAA2B,CAAA;AAC9C,mBAAmB,qBAAqB,CAAA;AACxC,mBAAmB,mBAAmB,CAAA;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,mBAAmB,sBAAsB,CAAA;AACzC,mBAAmB,oBAAoB,CAAA;AACvC,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,YAAY,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAA;AAC7E,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC5E,mBAAmB,0BAA0B,CAAA;AAC7C,mBAAmB,sBAAsB,CAAA;AACzC,mBAAmB,sBAAsB,CAAA;AACzC,mBAAmB,oBAAoB,CAAA"}

package/dist/v1/language/index.js

@@ -0,0 +1,2 @@
+export { PropertyValues } from './class/property-values.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../v1/language/index.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA"}

package/dist/v1/language/policy/analysis/branches.d.ts

@@ -0,0 +1,20 @@
+import type { ClassRef } from '../../../addressing/index.js';
+import type { PolicyEdgePattern, PolicyPatternExpression, PolicyPatternTerm } from '../model/policy.js';
+export interface PatternBranch {
+    readonly edges: readonly PatternEdgeUse[];
+    readonly variables: ReadonlyMap<string, ClassRef>;
+    readonly requiredVariables: ReadonlySet<string>;
+    readonly namespace: string;
+}
+export interface PatternEdgeUse {
+    readonly pattern: PolicyEdgePattern;
+    readonly namespace: string;
+}
+export type PolicyTargetMode = 'object' | 'edge';
+export declare function branchesOf(pattern: PolicyPatternExpression, namespace: string): readonly PatternBranch[];
+export declare function branchProduct(children: readonly (readonly PatternBranch[])[]): readonly PatternBranch[];
+export declare function capBranches(values: readonly PatternBranch[]): readonly PatternBranch[];
+export declare function isConnected(branch: PatternBranch): boolean;
+export declare function targetMode(branch: PatternBranch): PolicyTargetMode | undefined;
+export declare function termKey(term: PolicyPatternTerm, namespace: string): string;
+//# sourceMappingURL=branches.d.ts.map

package/dist/v1/language/policy/analysis/branches.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"branches.d.ts","sourceRoot":"","sources":["../../../../../v1/language/policy/analysis/branches.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EACV,iBAAiB,EACjB,uBAAuB,EACvB,iBAAiB,EAClB,MAAM,oBAAoB,CAAA;AAI3B,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACjD,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEhD,wBAAgB,UAAU,CACxB,OAAO,EAAE,uBAAuB,EAChC,SAAS,EAAE,MAAM,GAChB,SAAS,aAAa,EAAE,CAG1B;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,SAAS,CAAC,SAAS,aAAa,EAAE,CAAC,EAAE,GAC9C,SAAS,aAAa,EAAE,CAa1B;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,GAAG,SAAS,aAAa,EAAE,CAEtF;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAiB1D;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,aAAa,GAAG,gBAAgB,GAAG,SAAS,CAc9E;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAE1E"}