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

package/dist/v1/schema/dependency/lookup.js

@@ -0,0 +1,32 @@
+import { revisionOfDomainSchema } from '../canonical/revision.js';
+export class MemoryDomainSchemaLookup {
+    #entries = new Map();
+    constructor(entries = []) {
+        for (const entry of entries)
+            this.set(entry);
+    }
+    get(origin, revision) {
+        return this.#entries.get(lookupKey(origin, revision));
+    }
+    set(entry) {
+        const { revision, schema } = entry;
+        const actualRevision = revisionOfDomainSchema(schema);
+        if (revision !== actualRevision) {
+            throw new Error(`Schema lookup revision ${revision} disagrees with ${schema.origin}@${actualRevision}`);
+        }
+        const key = lookupKey(schema.origin, revision);
+        const existing = this.#entries.get(key);
+        if (existing !== undefined && existing !== schema) {
+            throw new Error(`Schema lookup entry ${schema.origin}@${revision} is already bound`);
+        }
+        this.#entries.set(key, schema);
+        return this;
+    }
+}
+export function emptyDomainSchemaLookup() {
+    return { get: () => undefined };
+}
+function lookupKey(origin, revision) {
+    return `${origin}\u0000${revision}`;
+}
+//# sourceMappingURL=lookup.js.map

package/dist/v1/schema/dependency/lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lookup.js","sourceRoot":"","sources":["../../../../v1/schema/dependency/lookup.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAYjE,MAAM,OAAO,wBAAwB;IAC1B,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAA;IAEnD,YAAY,OAAO,GAAiC,EAAE;QACpD,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC9C,CAAC;IAED,GAAG,CAAC,MAAkB,EAAE,QAAkB;QACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvD,CAAC;IAED,GAAG,CAAC,KAAwB;QAC1B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAA;QAClC,MAAM,cAAc,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAA;QACrD,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,0BAA0B,QAAQ,mBAAmB,MAAM,CAAC,MAAM,IAAI,cAAc,EAAE,CACvF,CAAA;QACH,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACvC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,CAAC,MAAM,IAAI,QAAQ,mBAAmB,CAAC,CAAA;QACtF,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAC9B,OAAO,IAAI,CAAA;IACb,CAAC;CACF;AAED,MAAM,UAAU,uBAAuB;IACrC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAA;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,MAAkB,EAAE,QAAkB;IACvD,OAAO,GAAG,MAAM,SAAS,QAAQ,EAAE,CAAA;AACrC,CAAC"}

package/dist/v1/schema/diagnostic.d.ts

@@ -1,12 +1,13 @@
-export interface DomainDiagnostic {
-    readonly code: string;
+export type SchemaDiagnosticCode = 'DM_MEMBER_ROOT_INVALID' | 'DM_DEPENDENCY_CONTEXT_INVALID' | 'DM_DEPENDENCY_NOT_RETAINED' | 'DM_MEANING_INCONSISTENT' | 'DM_MEMBER_ORIGIN_MISMATCH' | 'DV_ACCEPTANCE_CONTEXT' | 'DV_CALLABLE_AUTH' | 'DV_CALLABLE_IO' | 'DV_CALLABLE_POLICY_AUTH' | 'DV_CLASS_ABSTRACT' | 'DV_CLASS_ACYCLIC' | 'DV_CLASS_KIND' | 'DV_CORE_EDGE_CLASS' | 'DV_CORE_EDGE_CONSTRAINTS' | 'DV_CORE_EDGE_KEY' | 'DV_CORE_EDGE_PROPERTIES' | 'DV_CORE_NODE_CLASS' | 'DV_CORE_NODE_PROPERTIES' | 'DV_CORE_REF' | 'DV_DATA_COMPOSITION' | 'DV_DEPENDENCY_ACYCLIC' | 'DV_DEPENDENCY_DIRECT' | 'DV_DEPENDENCY_EXACT' | 'DV_DEPENDENCY_REVISION_COHERENCE' | 'DV_DEPENDENCY_UNIQUE' | 'DV_DEPENDENCY_USED' | 'DV_EDGE_ACCEPTS' | 'DV_EDGE_CLASS_COMPOSITION' | 'DV_EDGE_CONSTRAINT' | 'DV_EDGE_ROLE' | 'DV_EDGE_UNDIRECTED' | 'DV_JSON_VALUE' | 'DV_METHOD_ABSTRACT' | 'DV_METHOD_COMPOSITION' | 'DV_PROPERTY_AUTO' | 'DV_PROPERTY_COMPOSITION' | 'DV_REF_RESOLVES' | 'DV_VALUE_SCHEMA' | 'DV_VIEW_TARGET' | 'PL_BUDGET' | 'PL_COMPOSITION' | 'PL_CONNECTIVITY' | 'PL_REF' | 'PL_REPEAT' | 'PL_TARGET' | 'PL_TYPING' | 'PL_USE' | 'PL_VARIABLE_SCOPE' | 'STRUCTURE_ABSTRACT_POLICY' | 'STRUCTURE_CALLABLE_POLICY_AUTH' | 'STRUCTURE_DUPLICATE_ITEM' | 'STRUCTURE_EDGE_ORIENTATION' | 'STRUCTURE_FORMAT' | 'STRUCTURE_INVALID' | 'STRUCTURE_KEY' | 'STRUCTURE_MAXIMUM' | 'STRUCTURE_MINIMUM' | 'STRUCTURE_MULTIPLE' | 'STRUCTURE_REQUIRED' | 'STRUCTURE_TYPE' | 'STRUCTURE_UNION' | 'STRUCTURE_UNKNOWN_FIELD' | 'STRUCTURE_VALUE' | 'UNSUPPORTED_DOCUMENT_FORMAT' | 'UNSUPPORTED_DSL_VERSION';
+export interface SchemaDiagnostic<out Code extends SchemaDiagnosticCode = SchemaDiagnosticCode> {
+    readonly code: Code;
     readonly pointer: string;
     readonly message: string;
     readonly ref?: string;
 }
-export declare class DomainSchemaError extends Error {
-    readonly diagnostics: readonly DomainDiagnostic[];
-    constructor(diagnostics: readonly DomainDiagnostic[]);
+export declare function diagnostic<const Code extends SchemaDiagnosticCode>(code: Code, pointer: string, message: string, ref?: string): SchemaDiagnostic<Code>;
+export declare class SchemaError extends Error {
+    readonly diagnostics: readonly SchemaDiagnostic[];
+    constructor(diagnostics: readonly SchemaDiagnostic[]);
 }
-export declare function diagnostic(code: string, pointer: string, message: string, ref?: string): DomainDiagnostic;
 //# sourceMappingURL=diagnostic.d.ts.map

package/dist/v1/schema/diagnostic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../v1/schema/diagnostic.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;IAEjD,YAAY,WAAW,EAAE,SAAS,gBAAgB,EAAE,EAKnD;CACF;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,GAAG,CAAC,EAAE,MAAM,GACX,gBAAgB,CAElB"}
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../v1/schema/diagnostic.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,oBAAoB,GAC5B,wBAAwB,GACxB,+BAA+B,GAC/B,4BAA4B,GAC5B,yBAAyB,GACzB,2BAA2B,GAC3B,uBAAuB,GACvB,kBAAkB,GAClB,gBAAgB,GAChB,yBAAyB,GACzB,mBAAmB,GACnB,kBAAkB,GAClB,eAAe,GACf,oBAAoB,GACpB,0BAA0B,GAC1B,kBAAkB,GAClB,yBAAyB,GACzB,oBAAoB,GACpB,yBAAyB,GACzB,aAAa,GACb,qBAAqB,GACrB,uBAAuB,GACvB,sBAAsB,GACtB,qBAAqB,GACrB,kCAAkC,GAClC,sBAAsB,GACtB,oBAAoB,GACpB,iBAAiB,GACjB,2BAA2B,GAC3B,oBAAoB,GACpB,cAAc,GACd,oBAAoB,GACpB,eAAe,GACf,oBAAoB,GACpB,uBAAuB,GACvB,kBAAkB,GAClB,yBAAyB,GACzB,iBAAiB,GACjB,iBAAiB,GACjB,gBAAgB,GAChB,WAAW,GACX,gBAAgB,GAChB,iBAAiB,GACjB,QAAQ,GACR,WAAW,GACX,WAAW,GACX,WAAW,GACX,QAAQ,GACR,mBAAmB,GACnB,2BAA2B,GAC3B,gCAAgC,GAChC,0BAA0B,GAC1B,4BAA4B,GAC5B,kBAAkB,GAClB,mBAAmB,GACnB,eAAe,GACf,mBAAmB,GACnB,mBAAmB,GACnB,oBAAoB,GACpB,oBAAoB,GACpB,gBAAgB,GAChB,iBAAiB,GACjB,yBAAyB,GACzB,iBAAiB,GACjB,6BAA6B,GAC7B,yBAAyB,CAAA;AAE7B,MAAM,WAAW,gBAAgB,CAAC,GAAG,CAAC,IAAI,SAAS,oBAAoB,GAAG,oBAAoB;IAC5F,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,oBAAoB,EAChE,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,GAAG,CAAC,EAAE,MAAM,GACX,gBAAgB,CAAC,IAAI,CAAC,CAExB;AAED,qBAAa,WAAY,SAAQ,KAAK;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;IAEjD,YAAY,WAAW,EAAE,SAAS,gBAAgB,EAAE,EAKnD;CACF"}

package/dist/v1/schema/diagnostic.js

@@ -1,19 +1,20 @@
-export class DomainSchemaError extends Error {
+import { compareUnicode } from '../addressing/ordering.js';
+export function diagnostic(code, pointer, message, ref) {
+    return Object.freeze({ code, pointer, message, ...(ref === undefined ? {} : { ref }) });
+}
+export class SchemaError extends Error {
     diagnostics;
     constructor(diagnostics) {
         const ordered = [...diagnostics].sort(compareDiagnostic);
         super(ordered.map(formatDiagnostic).join('\n'));
-        this.name = 'DomainSchemaError';
+        this.name = 'SchemaError';
         this.diagnostics = Object.freeze(ordered);
     }
 }
-export function diagnostic(code, pointer, message, ref) {
-    return Object.freeze({ code, pointer, message, ...(ref === undefined ? {} : { ref }) });
-}
 function compareDiagnostic(left, right) {
-    return (left.pointer.localeCompare(right.pointer) ||
-        left.code.localeCompare(right.code) ||
-        left.message.localeCompare(right.message));
+    return (compareUnicode(left.pointer, right.pointer) ||
+        compareUnicode(left.code, right.code) ||
+        compareUnicode(left.message, right.message));
 }
 function formatDiagnostic(value) {
     return `${value.pointer || '/'} [${value.code}] ${value.message}`;

package/dist/v1/schema/diagnostic.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../v1/schema/diagnostic.ts"],"names":[],"mappings":"AAOA,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACjC,WAAW,CAA6B;IAEjD,YAAY,WAAwC;QAClD,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACxD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC/C,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;QAC/B,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC3C,CAAC;CACF;AAED,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,OAAe,EACf,OAAe,EACf,GAAY;IAEZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;AACzF,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAsB,EAAE,KAAuB;IACxE,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAC1C,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuB;IAC/C,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,GAAG,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAA;AACnE,CAAC"}
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../v1/schema/diagnostic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AA4E1D,MAAM,UAAU,UAAU,CACxB,IAAU,EACV,OAAe,EACf,OAAe,EACf,GAAY;IAEZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;AACzF,CAAC;AAED,MAAM,OAAO,WAAY,SAAQ,KAAK;IAC3B,WAAW,CAA6B;IAEjD,YAAY,WAAwC;QAClD,MAAM,OAAO,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACxD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC/C,IAAI,CAAC,IAAI,GAAG,aAAa,CAAA;QACzB,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC3C,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,IAAsB,EAAE,KAAuB;IACxE,OAAO,CACL,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;QAC3C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAC5C,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAuB;IAC/C,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,GAAG,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAA;AACnE,CAAC"}

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

@@ -1,42 +1,27 @@
 /** Admit, encode, inspect, and semantically resolve canonical V1 DomainSchemas. */
-export type { DomainSchema, DomainSchemaIR, DomainSchemaInputOf as InputOf } from './domain.ir.js';
-export { acceptDomainSchema as accept } from './domain.accept.js';
-export { decodeDomainSchema as decode, encodeDomainSchema as encode, serializeDomainSchema as serialize, } from './domain.codec.js';
-export { revisionOfDomainSchema as revision } from './domain.revision.js';
-export { resolveDomainSchema as resolve } from './domain.resolve.js';
-export { compareDependencyMeaning, compareMemberMeaning } from './dependency.meaning.js';
-export type { DependencyMeaningChange, DependencyMeaningChangeKind, DependencyMeaningComparison, } from './dependency.meaning.js';
-export { readDomainSchemaHeader as readHeader } from './domain.header.js';
-export { DOMAIN_FORMAT as FORMAT, DOMAIN_VERSION as VERSION } from './reference.js';
-export { namedTypeUri as typeUri } from './reference.js';
-export { patterns } from '../addressing/index.js';
-export { compile } from './compiled/compiler.js';
-export { validator } from './compiled/authored-validator.js';
-export { load } from './compiled/validator.js';
-export type { Bundle, CallableTarget, CompiledSchema, Pattern, PatternState, PatternTransition, ScalarRange, ValueNode, ValueProgram, } from './compiled/model.js';
-export type { CallableMeaning, Validator } from './compiled/validator.js';
-export { DomainSchemaError as Error } from './diagnostic.js';
-export type { DomainDiagnostic as Diagnostic } from './diagnostic.js';
-export type { DomainSchemaLookup as Lookup } from './domain.lookup.js';
-export type { DomainSchemaHeader as Header } from './domain.header.js';
-/** Exact structured identities retained only by schema lifecycle and resolution. */
-export type { CoreEndpointRef, CoreRef, ClassFamily, ClassRef, DefinitionKind, DefinitionRef, DomainDependency, DomainMemberKind, DomainRef, Revision, Family, FunctionRef, MemberKind, InterfaceFamily, InterfaceRef, PolicyRef, SchemaRef, ValueTypeRef, ViewRef, } from './reference.js';
-export type { ClassDeclaration, NodeClassDeclaration, EdgeClassDeclaration, EdgeClassPolicies, NodeClassPolicies, } from './definition/class.js';
-export type { InterfaceDeclaration, NodeInterfaceDeclaration, EdgeInterfaceDeclaration, } from './definition/interface.js';
-export type { DefinitionAnalysis } from './definition/analysis.js';
-export type { AutoEvent, AutoSet, PropertyFacet, PropertyAuto, PropertyMetadata, PropertyMetadataRecord, PropertyVisibility, } from './definition/property.js';
-export type { PropertyObjectSchema } from './value/schema.js';
-export type { DirectedEdgeContract, DirectedSourceEndpoint, DirectedTargetEndpoint, EdgeConstraints, EdgeContract, EdgeCount, EdgeEndpointBase, EdgeOrientation, IncidentEndpoint, UndirectedEdgeContract, } from './definition/edge.js';
-export type { CallableContract, CallableOutput, FunctionAuth, FunctionDeclaration, MethodDeclaration, MethodInheritance, MethodRecord, OutputMode, } from './callable.js';
-export { fullMatch, fullMatchSource, type FullMatch } from './value/full-match.js';
-export type { DataDeclaration, DataFacet, MediaType } from './definition/data.js';
-export type { ViewDeclaration, ViewTarget } from './view/declaration.js';
-export type { PolicyCheckExpression, PolicyCheckObject, PolicyObjectRef, PolicyDeclaration, PolicyEdgePattern, PolicyVariable, PolicyPatternExpression, PolicyPatternTerm, PolicyRepeat, } from './policy/ast.js';
-export type { CoreDeclaration, CoreEdgeDeclaration, CoreNodeDeclaration, } from './core/declaration.js';
-export type { ResolvedDomainSchema as Resolution, ResolvedDomainSchemaReferences as ResolutionReferences, } from './domain.resolve.js';
-export type { ResolvedDefinition } from './resolution/definition.index.js';
+import type { SourceDomain } from '../domain/index.js';
+import type { DomainOfSchema, DomainSchema } from './model/schema.js';
+export type { DomainSchema, DomainSchemaIR, DomainOfSchema as DomainOf, DomainSchemaInputOf as InputOf, } from './model/schema.js';
+export type ResolvedDomainOf<Schema extends DomainSchema> = SourceDomain<Schema, DomainOfSchema<Schema>>;
+export interface Resolve {
+    <const Schema extends DomainSchema>(schema: Schema): ResolvedDomainOf<Schema>;
+}
+export type { SchemaDiagnosticCode as DiagnosticCode } from './diagnostic.js';
+export { acceptDomainSchema as accept } from './admission/accept.js';
+export { decodeDomainSchema as decode, encodeDomainSchema as encode, serializeDomainSchema as serialize, } from './codec/schema.js';
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';
+export { resolve } from './resolution/domain.js';
+export { compareDependencyMeaning, compareMemberMeaning } from './compatibility/meaning.js';
+export type { DependencyMeaningChange, DependencyMeaningChangeKind, DependencyMeaningComparison, MeaningFingerprint, } from './compatibility/meaning.js';
+export { header } from './codec/header.js';
+export { DOMAIN_FORMAT as FORMAT, DOMAIN_VERSION as VERSION } from './model/format.js';
+export { compile, load } from '../compiled/index.js';
+export type { CompiledSchema, DomainOfCompiled } from '../compiled/index.js';
+export { SchemaError as Error } from './diagnostic.js';
+export type { SchemaDiagnostic as Diagnostic } from './diagnostic.js';
+export type { DomainSchemaLookup as Lookup } from './dependency/lookup.js';
+export type { DomainSchemaHeader as Header } from './codec/header.js';
+export type { DomainDependency } from '../addressing/index.js';
 /** The versioned value-schema grammar embedded in declarations. */
-export * as values from './value/index.js';
-/** Shared exact value bounds for declaration metadata. */
-export * as metadata from './metadata.js';
+export * as values from './validation/value-api.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../v1/schema/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AAEnF,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,mBAAmB,IAAI,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAElG,OAAO,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAA;AACjE,OAAO,EACL,kBAAkB,IAAI,MAAM,EAC5B,kBAAkB,IAAI,MAAM,EAC5B,qBAAqB,IAAI,SAAS,GACnC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AACzE,OAAO,EAAE,mBAAmB,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAA;AACpE,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACxF,YAAY,EACV,uBAAuB,EACvB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,sBAAsB,IAAI,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACzE,OAAO,EAAE,aAAa,IAAI,MAAM,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACnF,OAAO,EAAE,YAAY,IAAI,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAA;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC9C,YAAY,EACV,MAAM,EACN,cAAc,EACd,cAAc,EACd,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,YAAY,GACb,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAEzE,OAAO,EAAE,iBAAiB,IAAI,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAC5D,YAAY,EAAE,gBAAgB,IAAI,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACrE,YAAY,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAA;AACtE,YAAY,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAEtE,oFAAoF;AACpF,YAAY,EACV,eAAe,EACf,OAAO,EACP,WAAW,EACX,QAAQ,EACR,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,MAAM,EACN,WAAW,EACX,UAAU,EACV,eAAe,EACf,YAAY,EACZ,SAAS,EACT,SAAS,EACT,YAAY,EACZ,OAAO,GACR,MAAM,gBAAgB,CAAA;AAEvB,YAAY,EACV,gBAAgB,EAChB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EACV,oBAAoB,EACpB,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,2BAA2B,CAAA;AAClC,YAAY,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,YAAY,EACV,SAAS,EACT,OAAO,EACP,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAC7D,YAAY,EACV,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,YAAY,EACZ,SAAS,EACT,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,sBAAsB,CAAA;AAC7B,YAAY,EACV,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,UAAU,GACX,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAA;AAClF,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AACjF,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACxE,YAAY,EACV,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,uBAAuB,EACvB,iBAAiB,EACjB,YAAY,GACb,MAAM,iBAAiB,CAAA;AACxB,YAAY,EACV,eAAe,EACf,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,uBAAuB,CAAA;AAE9B,YAAY,EACV,oBAAoB,IAAI,UAAU,EAClC,8BAA8B,IAAI,oBAAoB,GACvD,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,kBAAkB,CAAA;AAE1C,0DAA0D;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../v1/schema/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AAEnF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErE,YAAY,EACV,YAAY,EACZ,cAAc,EACd,cAAc,IAAI,QAAQ,EAC1B,mBAAmB,IAAI,OAAO,GAC/B,MAAM,mBAAmB,CAAA;AAE1B,MAAM,MAAM,gBAAgB,CAAC,MAAM,SAAS,YAAY,IAAI,YAAY,CACtE,MAAM,EACN,cAAc,CAAC,MAAM,CAAC,CACvB,CAAA;AAED,MAAM,WAAW,OAAO;IACtB,CAAC,KAAK,CAAC,MAAM,SAAS,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;CAC9E;AAED,YAAY,EAAE,oBAAoB,IAAI,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAE7E,OAAO,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,EACL,kBAAkB,IAAI,MAAM,EAC5B,kBAAkB,IAAI,MAAM,EAC5B,qBAAqB,IAAI,SAAS,GACnC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAA;AAC3F,YAAY,EACV,uBAAuB,EACvB,2BAA2B,EAC3B,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,IAAI,MAAM,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACtF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AACpD,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAE5E,OAAO,EAAE,WAAW,IAAI,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACtD,YAAY,EAAE,gBAAgB,IAAI,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACrE,YAAY,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAC1E,YAAY,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAErE,YAAY,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAE9D,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,2BAA2B,CAAA"}

package/dist/v1/schema/index.js

@@ -1,20 +1,13 @@
 /** Admit, encode, inspect, and semantically resolve canonical V1 DomainSchemas. */
-export { acceptDomainSchema as accept } from './domain.accept.js';
-export { decodeDomainSchema as decode, encodeDomainSchema as encode, serializeDomainSchema as serialize, } from './domain.codec.js';
-export { revisionOfDomainSchema as revision } from './domain.revision.js';
-export { resolveDomainSchema as resolve } from './domain.resolve.js';
-export { compareDependencyMeaning, compareMemberMeaning } from './dependency.meaning.js';
-export { readDomainSchemaHeader as readHeader } from './domain.header.js';
-export { DOMAIN_FORMAT as FORMAT, DOMAIN_VERSION as VERSION } from './reference.js';
-export { namedTypeUri as typeUri } from './reference.js';
-export { patterns } from '../addressing/index.js';
-export { compile } from './compiled/compiler.js';
-export { validator } from './compiled/authored-validator.js';
-export { load } from './compiled/validator.js';
-export { DomainSchemaError as Error } from './diagnostic.js';
-export { fullMatch, fullMatchSource } from './value/full-match.js';
+export { acceptDomainSchema as accept } from './admission/accept.js';
+export { decodeDomainSchema as decode, encodeDomainSchema as encode, serializeDomainSchema as serialize, } from './codec/schema.js';
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';
+export { resolve } from './resolution/domain.js';
+export { compareDependencyMeaning, compareMemberMeaning } from './compatibility/meaning.js';
+export { header } from './codec/header.js';
+export { DOMAIN_FORMAT as FORMAT, DOMAIN_VERSION as VERSION } from './model/format.js';
+export { compile, load } from '../compiled/index.js';
+export { SchemaError as Error } from './diagnostic.js';
 /** The versioned value-schema grammar embedded in declarations. */
-export * as values from './value/index.js';
-/** Shared exact value bounds for declaration metadata. */
-export * as metadata from './metadata.js';
+export * as values from './validation/value-api.js';
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../v1/schema/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AAInF,OAAO,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,oBAAoB,CAAA;AACjE,OAAO,EACL,kBAAkB,IAAI,MAAM,EAC5B,kBAAkB,IAAI,MAAM,EAC5B,qBAAqB,IAAI,SAAS,GACnC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AACzE,OAAO,EAAE,mBAAmB,IAAI,OAAO,EAAE,MAAM,qBAAqB,CAAA;AACpE,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAMxF,OAAO,EAAE,sBAAsB,IAAI,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACzE,OAAO,EAAE,aAAa,IAAI,MAAM,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACnF,OAAO,EAAE,YAAY,IAAI,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAA;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAc9C,OAAO,EAAE,iBAAiB,IAAI,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAyE5D,OAAO,EAAE,SAAS,EAAE,eAAe,EAAkB,MAAM,uBAAuB,CAAA;AA0BlF,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,kBAAkB,CAAA;AAE1C,0DAA0D;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../v1/schema/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AAuBnF,OAAO,EAAE,kBAAkB,IAAI,MAAM,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,EACL,kBAAkB,IAAI,MAAM,EAC5B,kBAAkB,IAAI,MAAM,EAC5B,qBAAqB,IAAI,SAAS,GACnC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AAChD,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAA;AAO3F,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,IAAI,MAAM,EAAE,cAAc,IAAI,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACtF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAGpD,OAAO,EAAE,WAAW,IAAI,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAOtD,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,2BAA2B,CAAA"}

package/dist/v1/schema/model/format.d.ts

@@ -0,0 +1,3 @@
+export declare const DOMAIN_FORMAT: 'astrale.dsl';
+export declare const DOMAIN_VERSION: 'v1';
+//# sourceMappingURL=format.d.ts.map

package/dist/v1/schema/model/format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../../v1/schema/model/format.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,aAAa,EAAG,aAAsB,CAAA;AACnD,eAAO,MAAM,cAAc,EAAG,IAAa,CAAA"}

package/dist/v1/schema/model/format.js

@@ -0,0 +1,3 @@
+export const DOMAIN_FORMAT = 'astrale.dsl';
+export const DOMAIN_VERSION = 'v1';
+//# sourceMappingURL=format.js.map

package/dist/v1/schema/model/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../../../v1/schema/model/format.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,aAAa,GAAG,aAAsB,CAAA;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAa,CAAA"}

package/dist/v1/schema/model/schema.d.ts

@@ -0,0 +1,40 @@
+import type { Key } from '../../addressing/index.js';
+import type { DomainDependency } from '../../addressing/index.js';
+import type { Domain } from '../../domain/model/domain.js';
+import type { FunctionDefinition } from '../../language/callable/model/callable.js';
+import type { ClassDefinition } from '../../language/class/model/class.js';
+import type { CoreContent } from '../../language/core/model/core.js';
+import type { PolicyDefinition } from '../../language/policy/model/policy.js';
+import type { ViewDefinition } from '../../language/view/model/view.js';
+export interface DomainSchemaIR {
+    readonly format: 'astrale.dsl';
+    readonly version: 'v1';
+    readonly origin: Key.Origin;
+    readonly dependencies: readonly DomainDependency[];
+    readonly classes: Readonly<Record<string, ClassDefinition>>;
+    readonly functions: Readonly<Record<string, FunctionDefinition>>;
+    readonly policies: Readonly<Record<string, PolicyDefinition>>;
+    readonly views: Readonly<Record<string, ViewDefinition>>;
+    readonly core: CoreContent;
+}
+declare const DOMAIN_SCHEMA_BRAND: unique symbol;
+declare const DOMAIN_SCHEMA_INPUT: unique symbol;
+declare const DOMAIN_SCHEMA_DOMAIN: unique symbol;
+/**
+ * Accepted canonical schema retaining its exact builder input at the type level.
+ *
+ * The input marker never exists as a JavaScript property and therefore cannot
+ * affect canonical JSON, bytes, or revision identity.
+ */
+export type DomainSchema<Origin extends string = string, Input = unknown, Resolved extends Domain = Domain> = DomainSchemaIR & {
+    readonly origin: Origin;
+    readonly [DOMAIN_SCHEMA_BRAND]: true;
+    readonly [DOMAIN_SCHEMA_INPUT]: Input;
+    readonly [DOMAIN_SCHEMA_DOMAIN]: Resolved;
+};
+/** Recover the exact builder input retained by a locally defined schema. */
+export type DomainSchemaInputOf<Schema extends DomainSchema> = Schema[typeof DOMAIN_SCHEMA_INPUT];
+export type DomainOfSchema<Schema extends DomainSchema> = Schema[typeof DOMAIN_SCHEMA_DOMAIN];
+export declare function asDomainSchema<Origin extends string = string, Input = unknown, Resolved extends Domain = Domain>(value: DomainSchemaIR): DomainSchema<Origin, Input, Resolved>;
+export {};
+//# sourceMappingURL=schema.d.ts.map

package/dist/v1/schema/model/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../v1/schema/model/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAA;AAC1D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAA;AACnF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAA;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAA;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAA;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAA;AAIvE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAC3B;AAED,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAA;AAChD,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAA;AAChD,OAAO,CAAC,MAAM,oBAAoB,EAAE,OAAO,MAAM,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,MAAM,SAAS,MAAM,GAAG,MAAM,EAC9B,KAAK,GAAG,OAAO,EACf,QAAQ,SAAS,MAAM,GAAG,MAAM,IAC9B,cAAc,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAA;IACpC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,KAAK,CAAA;IACrC,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAA;CAC1C,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,YAAY,IAAI,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AACjG,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,YAAY,IAAI,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAE7F,wBAAgB,cAAc,CAC5B,MAAM,SAAS,MAAM,GAAG,MAAM,EAC9B,KAAK,GAAG,OAAO,EACf,QAAQ,SAAS,MAAM,GAAG,MAAM,EAChC,KAAK,EAAE,cAAc,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAE9D"}

package/dist/v1/schema/model/schema.js

@@ -0,0 +1,5 @@
+import { deepFreeze } from '../canonical/freeze.js';
+export function asDomainSchema(value) {
+    return deepFreeze(value);
+}
+//# sourceMappingURL=schema.js.map

package/dist/v1/schema/model/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../../v1/schema/model/schema.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AAuCnD,MAAM,UAAU,cAAc,CAI5B,KAAqB;IACrB,OAAO,UAAU,CAAC,KAAK,CAA0C,CAAA;AACnE,CAAC"}

package/dist/v1/schema/normalization/domain.d.ts

@@ -0,0 +1,3 @@
+import type { DomainSchemaIR } from '../model/schema.js';
+export declare function normalizeDomainSchema(schema: DomainSchemaIR): DomainSchemaIR;
+//# sourceMappingURL=domain.d.ts.map

package/dist/v1/schema/normalization/domain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.d.ts","sourceRoot":"","sources":["../../../../v1/schema/normalization/domain.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AASxD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAkC5E"}

package/dist/v1/schema/normalization/domain.js

@@ -0,0 +1,208 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { compareDefinitionRefs, compareUnicode } from '../../addressing/ordering.js';
+import { normalizePolicyChecks, normalizePolicyExpression, } from '../../language/policy/normalization/normalize.js';
+import { canonicalizeValueSchema } from '../../language/value/profile/canonicalize.js';
+export function normalizeDomainSchema(schema) {
+    const classes = mapRecord(schema.classes, canonicalizeClass);
+    const orientationByClass = new Map(Object.entries(classes)
+        .filter((entry) => entry[1].kind === 'edge')
+        .map(([name, declaration]) => [name, declaration.orientation]));
+    const normalized = {
+        format: 'astrale.dsl',
+        version: 'v1',
+        origin: schema.origin,
+        dependencies: [...schema.dependencies].sort((left, right) => compareUnicode(left.origin, right.origin)),
+        classes,
+        functions: mapRecord(schema.functions, canonicalizeFunction),
+        policies: mapRecord(schema.policies, canonicalizePolicy),
+        views: mapRecord(schema.views, canonicalizeView),
+        core: {
+            nodes: mapRecord(schema.core.nodes, (node) => ({
+                ref: node.ref,
+                class: node.class,
+                properties: copyJsonValue(node.properties),
+            })),
+            edges: schema.core.edges
+                .map((edge) => canonicalizeCoreEdge(edge, schema.origin, orientationByClass))
+                .sort(compareCoreEdges),
+        },
+    };
+    return copyJsonValue(normalized);
+}
+function canonicalizePolicy(value) {
+    return {
+        ref: value.ref,
+        ...withDescription(value),
+        expression: normalizePolicyExpression(value.expression),
+    };
+}
+function canonicalizeView(value) {
+    return {
+        ref: value.ref,
+        ...withDescription(value),
+        target: value.target.kind === 'domain'
+            ? { kind: 'domain' }
+            : {
+                kind: 'definition',
+                definitions: [...value.target.definitions].sort(compareDefinitionRefs),
+            },
+    };
+}
+function canonicalizeClass(value) {
+    const base = {
+        ...withDescription(value),
+        ref: value.ref,
+        kind: value.kind,
+        abstract: value.abstract,
+        extends: [...value.extends].sort(compareDefinitionRefs),
+        properties: mapRecord(value.properties, canonicalizeProperty),
+    };
+    if (value.kind === 'node') {
+        return {
+            ...base,
+            methods: mapRecord(value.methods, canonicalizeMethod),
+            ...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
+            ...(value.icon === undefined ? {} : { icon: value.icon }),
+            policies: value.policies,
+        };
+    }
+    return value.orientation === 'directed'
+        ? {
+            ...base,
+            orientation: 'directed',
+            endpoints: canonicalizeDirectedEndpoints(value.endpoints),
+            policies: value.policies,
+            constraints: value.constraints,
+        }
+        : {
+            ...base,
+            orientation: 'undirected',
+            endpoints: canonicalizeIncidentEndpoints(value.endpoints),
+            policies: value.policies,
+            constraints: value.constraints,
+        };
+}
+function canonicalizeFunction(value) {
+    return {
+        ref: value.ref,
+        ...canonicalizeCallable(value),
+    };
+}
+function canonicalizeCallable(value) {
+    const base = {
+        ...withDescription(value),
+        input: canonicalizeValueSchema(value.input, 'callable-input'),
+        output: canonicalizeCallableOutput(value.output),
+    };
+    return value.auth === 'authorized'
+        ? {
+            ...base,
+            auth: value.auth,
+            ...(value.policy === undefined ? {} : { policy: normalizePolicyChecks(value.policy) }),
+        }
+        : { ...base, auth: value.auth };
+}
+function canonicalizeMethod(value) {
+    return {
+        ...canonicalizeCallable(value),
+        static: value.static,
+        inheritance: value.inheritance,
+    };
+}
+function canonicalizeCallableOutput(value) {
+    switch (value.mode) {
+        case 'value':
+            return { mode: 'value', schema: canonicalizeValueSchema(value.schema, 'callable-output') };
+        case 'stream':
+            return { mode: 'stream', item: canonicalizeValueSchema(value.item, 'callable-output') };
+        case 'binary':
+            return { mode: 'binary' };
+    }
+}
+function canonicalizeProperty(value) {
+    return {
+        schema: canonicalizeValueSchema(value.schema, 'property-facet'),
+        required: value.required,
+        visibility: value.visibility,
+        ...(value.auto === undefined
+            ? {}
+            : {
+                auto: {
+                    on: [...new Set(value.auto.on)].sort(compareUnicode),
+                    set: value.auto.set,
+                },
+            }),
+        ...(value.description === undefined ? {} : { description: value.description }),
+    };
+}
+function canonicalizeDirectedEndpoints(value) {
+    return {
+        ...value,
+        source: { ...value.source, accepts: [...value.source.accepts].sort(compareDefinitionRefs) },
+        target: { ...value.target, accepts: [...value.target.accepts].sort(compareDefinitionRefs) },
+    };
+}
+function canonicalizeIncidentEndpoints(value) {
+    return [
+        { ...value[0], accepts: [...value[0].accepts].sort(compareDefinitionRefs) },
+        { ...value[1], accepts: [...value[1].accepts].sort(compareDefinitionRefs) },
+    ];
+}
+function canonicalizeCoreEdge(edge, origin, orientationByClass) {
+    const isLocal = edge.class.origin === origin;
+    const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
+    const [source, target] = isUndirected && compareCoreEndpoints(edge.source, edge.target) > 0
+        ? [edge.target, edge.source]
+        : [edge.source, edge.target];
+    return {
+        class: edge.class,
+        source,
+        target,
+        properties: copyJsonValue(edge.properties),
+    };
+}
+function compareCoreEdges(left, right) {
+    return (compareDefinitionRefs(left.class, right.class) ||
+        compareCoreEndpoints(left.source, right.source) ||
+        compareCoreEndpoints(left.target, right.target) ||
+        compareBytes(json.serialize(left.properties), json.serialize(right.properties)));
+}
+function compareCoreEndpoints(left, right) {
+    if (left.kind === 'domain')
+        return right.kind === 'domain' ? 0 : -1;
+    if (right.kind === 'domain')
+        return 1;
+    return compareDefinitionRefs(left, right);
+}
+function compareBytes(left, right) {
+    const encoder = new TextEncoder();
+    const a = encoder.encode(left);
+    const b = encoder.encode(right);
+    const length = Math.min(a.length, b.length);
+    for (let index = 0; index < length; index++) {
+        if (a[index] !== b[index])
+            return (a[index] ?? 0) - (b[index] ?? 0);
+    }
+    return a.length - b.length;
+}
+function mapRecord(value, map) {
+    return Object.fromEntries(Object.entries(value)
+        .sort(([left], [right]) => compareUnicode(left, right))
+        .map(([name, entry]) => [name, map(entry, name)]));
+}
+function withDescription(value) {
+    return value.description === undefined ? {} : { description: value.description };
+}
+function copyJsonValue(value) {
+    if (typeof value === 'number') {
+        if (Object.is(value, -0))
+            throw new TypeError('Cannot canonicalize negative zero.');
+        return value;
+    }
+    if (value === null || typeof value !== 'object')
+        return value;
+    if (Array.isArray(value))
+        return value.map((entry) => copyJsonValue(entry));
+    return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, copyJsonValue(entry)]));
+}
+//# sourceMappingURL=domain.js.map

package/dist/v1/schema/normalization/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/normalization/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAiBnD,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AACpF,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kDAAkD,CAAA;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8CAA8C,CAAA;AAEtF,MAAM,UAAU,qBAAqB,CAAC,MAAsB;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAiE,EAAE,CACvE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAC3B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,UAAU,GAAmB;QACjC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QACxD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,UAAU,CAA8B,CAAA;AAC/D,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAuB;IACjD,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;KACxD,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAqB;IAC7C,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAGpE;aACF;KACR,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB;IAC/C,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;QACvD,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,oBAAoB,CAAC;KAC9D,CAAA;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACN,CAAA;IACtB,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,KAAK,UAAU;QACrC,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,UAAU;YACvB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACX;QACvB,CAAC,CAAE;YACC,GAAG,IAAI;YACP,WAAW,EAAE,YAAY;YACzB,SAAS,EAAE,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;SACX,CAAA;AAC3B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAyB;IACrD,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,GAAG,oBAAoB,CAAC,KAAK,CAAC;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA4C;IACxE,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;KACjD,CAAA;IACD,OAAO,KAAK,CAAC,IAAI,KAAK,YAAY;QAChC,CAAC,CAAC;YACE,GAAG,IAAI;YACP,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;SACvF;QACH,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAA;AACnC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAuB;IACjD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAyB;IACrD,OAAO;QACL,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC/D,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC1B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;oBACpD,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG;iBACpB;aACF,CAAC;QACN,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;KAC/E,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE;QAC3F,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE;KAC5F,CAAA;AACH,CAAC;AAED,SAAS,6BAA6B,CAKpC,KAAQ;IACR,OAAO;QACL,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE;QAC3E,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE;KAC5D,CAAA;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAc,EACd,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc,EAAE,KAAe;IACvD,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC9C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}

package/dist/v1/schema/resolution/closure.d.ts

@@ -1,5 +1,5 @@
-import type { DomainSchema } from '../domain.ir.js';
-import type { DomainSchemaEntry, DomainSchemaLookup } from '../domain.lookup.js';
+import type { DomainSchemaEntry, DomainSchemaLookup } from '../dependency/lookup.js';
+import type { DomainSchema } from '../model/schema.js';
 /** Retain the exact schema objects used by one successful semantic acceptance. */
 export declare function rememberDomainClosure(schema: DomainSchema, dependencies: Iterable<DomainSchema>): void;
 /** Undefined means the value did not pass through this process's acceptance boundary. */

package/dist/v1/schema/resolution/closure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../../v1/schema/resolution/closure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAShF,kFAAkF;AAClF,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,GACnC,IAAI,CAON;AAED,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,iBAAiB,EAAE,GAAG,SAAS,CAEjG;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,iBAAiB,EAAE,CAUvF;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,kBAAkB,CAE/E;AAED,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,SAAS,YAAY,EAAE,GACpC,SAAS,iBAAiB,EAAE,CAU9B"}
+{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../../v1/schema/resolution/closure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAStD,kFAAkF;AAClF,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,GACnC,IAAI,CAON;AAED,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,iBAAiB,EAAE,GAAG,SAAS,CAEjG;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,iBAAiB,EAAE,CAUvF;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,kBAAkB,CAE/E;AAED,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,SAAS,YAAY,EAAE,GACpC,SAAS,iBAAiB,EAAE,CAU9B"}

package/dist/v1/schema/resolution/closure.js

@@ -1,7 +1,7 @@
-import { DomainSchemaError, diagnostic } from '../diagnostic.js';
-import { MemoryDomainSchemaLookup } from '../domain.lookup.js';
-import { revisionOfDomainSchema } from '../domain.revision.js';
-import { compareUnicode } from '../reference.js';
+import { compareUnicode } from '../../addressing/ordering.js';
+import { revisionOfDomainSchema } from '../canonical/revision.js';
+import { MemoryDomainSchemaLookup } from '../dependency/lookup.js';
+import { SchemaError, diagnostic } from '../diagnostic.js';
 const knownClosure = new WeakMap();
 /** Retain the exact schema objects used by one successful semantic acceptance. */
 export function rememberDomainClosure(schema, dependencies) {
@@ -20,7 +20,7 @@ export function requireDomainClosure(schema) {
     const closure = knownDomainClosure(schema);
     if (closure !== undefined)
         return closure;
-    throw new DomainSchemaError([
+    throw new SchemaError([
         diagnostic('DV_ACCEPTANCE_CONTEXT', '', `DomainSchema ${schema.origin} has no retained acceptance context; accept it again against its exact lookup.`),
     ]);
 }

package/dist/v1/schema/resolution/closure.js.map

@@ -1 +1 @@
-{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../v1/schema/resolution/closure.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,YAAY,GAAG,IAAI,OAAO,EAA8C,CAAA;AAE9E,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CACnC,MAAoB,EACpB,YAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAA;QACnD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;IACxF,CAAC;IACD,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,OAAO,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAoB;IACvD,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAA;IACzC,MAAM,IAAI,iBAAiB,CAAC;QAC1B,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,gBAAgB,MAAM,CAAC,MAAM,gFAAgF,CAC9G;KACF,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,OAAO,IAAI,wBAAwB,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,YAAqC;IAErC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAA;QAC/C,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,KAAK,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,aAAa,CAAC,OAAoC;IACzD,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,OAAO,CAAC;SACT,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;SAClE,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QACvD,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAChD,CACJ,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,QAAgB;IAClD,OAAO,GAAG,MAAM,SAAS,QAAQ,EAAE,CAAA;AACrC,CAAC"}
+{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../v1/schema/resolution/closure.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE1D,MAAM,YAAY,GAAG,IAAI,OAAO,EAA8C,CAAA;AAE9E,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CACnC,MAAoB,EACpB,YAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAA;QACnD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;IACxF,CAAC;IACD,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;AAC3D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,OAAO,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;AACjC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAoB;IACvD,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAA;IACzC,MAAM,IAAI,WAAW,CAAC;QACpB,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,gBAAgB,MAAM,CAAC,MAAM,gFAAgF,CAC9G;KACF,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,OAAO,IAAI,wBAAwB,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,YAAqC;IAErC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAA;QAC/C,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,KAAK,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,aAAa,CAAC,OAAoC;IACzD,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,OAAO,CAAC;SACT,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;SAClE,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QACvD,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAChD,CACJ,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,QAAgB;IAClD,OAAO,GAAG,MAAM,SAAS,QAAQ,EAAE,CAAA;AACrC,CAAC"}