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

package/dist/v1/schema/diagnostic.js

@@ -0,0 +1,21 @@
+export class DomainSchemaError extends Error {
+    diagnostics;
+    constructor(diagnostics) {
+        const ordered = [...diagnostics].sort(compareDiagnostic);
+        super(ordered.map(formatDiagnostic).join('\n'));
+        this.name = 'DomainSchemaError';
+        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));
+}
+function formatDiagnostic(value) {
+    return `${value.pointer || '/'} [${value.code}] ${value.message}`;
+}
+//# sourceMappingURL=diagnostic.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,4 @@
+import type { DomainSchema } from './domain.ir.js';
+import type { DomainSchemaLookup } from './domain.lookup.js';
+export declare function acceptDomainSchema(input: unknown, lookup?: DomainSchemaLookup): DomainSchema;
+//# sourceMappingURL=domain.accept.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.accept.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.accept.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAS5D,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,MAAM,GAAE,kBAA8C,GACrD,YAAY,CAiBd"}

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

@@ -0,0 +1,27 @@
+import { accept as acceptJsonValue, BoundaryError as JsonBoundaryError, } from '@astrale-os/kernel-dsl/value';
+import { DomainSchemaError, diagnostic } from './diagnostic.js';
+import { emptyDomainSchemaLookup } from './domain.lookup.js';
+import { canonicalDomainSchemaAfterValidation } from './domain.revision.js';
+import { validateDomainSchemaSemantics } from './domain.validate.js';
+import { rememberDomainClosure } from './resolution/closure.js';
+import { routeDomainSchema } from './validation/domain.route.js';
+export function acceptDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
+    let admitted;
+    try {
+        admitted = acceptJsonValue(input);
+    }
+    catch (error) {
+        if (error instanceof JsonBoundaryError) {
+            throw new DomainSchemaError([diagnostic('DV_JSON_VALUE', error.pointer, error.message)]);
+        }
+        throw error;
+    }
+    const structured = routeDomainSchema(admitted);
+    const validation = validateDomainSchemaSemantics(structured, lookup);
+    if (validation.diagnostics.length > 0)
+        throw new DomainSchemaError(validation.diagnostics);
+    const accepted = canonicalDomainSchemaAfterValidation(structured).schema;
+    rememberDomainClosure(accepted, validation.context.dependencies.values());
+    return accepted;
+}
+//# sourceMappingURL=domain.accept.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.accept.js","sourceRoot":"","sources":["../../../v1/schema/domain.accept.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,IAAI,eAAe,EACzB,aAAa,IAAI,iBAAiB,GACnC,MAAM,8BAA8B,CAAA;AAKrC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,oCAAoC,EAAE,MAAM,sBAAsB,CAAA;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAEhE,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,MAAM,GAAuB,uBAAuB,EAAE;IAEtD,IAAI,QAAQ,CAAA;IACZ,IAAI,CAAC;QACH,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACvC,MAAM,IAAI,iBAAiB,CAAC,CAAC,UAAU,CAAC,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG,6BAA6B,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IACpE,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;IAC1F,MAAM,QAAQ,GAAG,oCAAoC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAA;IACxE,qBAAqB,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAA;IACzE,OAAO,QAAQ,CAAA;AACjB,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { DomainSchema } from './domain.ir.js';
+import type { DomainSchemaLookup } from './domain.lookup.js';
+export declare function decodeDomainSchema(input: string | Uint8Array, lookup?: DomainSchemaLookup): DomainSchema;
+export declare function serializeDomainSchema(schema: DomainSchema): string;
+export declare function encodeDomainSchema(schema: DomainSchema): Uint8Array;
+//# sourceMappingURL=domain.codec.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.codec.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.codec.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAM5D,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,GAAG,UAAU,EAC1B,MAAM,GAAE,kBAA8C,GACrD,YAAY,CASd;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAElE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAEnE"}

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

@@ -0,0 +1,22 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { DomainSchemaError, diagnostic } from './diagnostic.js';
+import { acceptDomainSchema } from './domain.accept.js';
+import { emptyDomainSchemaLookup } from './domain.lookup.js';
+export function decodeDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
+    try {
+        return acceptDomainSchema(json.decode(input), lookup);
+    }
+    catch (error) {
+        if (error instanceof json.DecodeError) {
+            throw new DomainSchemaError([diagnostic('DV_JSON_VALUE', '', error.message)]);
+        }
+        throw error;
+    }
+}
+export function serializeDomainSchema(schema) {
+    return json.serialize(schema);
+}
+export function encodeDomainSchema(schema) {
+    return json.encode(schema);
+}
+//# sourceMappingURL=domain.codec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.codec.js","sourceRoot":"","sources":["../../../v1/schema/domain.codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAKnD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAE5D,MAAM,UAAU,kBAAkB,CAChC,KAA0B,EAC1B,MAAM,GAAuB,uBAAuB,EAAE;IAEtD,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;IACvD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,MAAM,IAAI,iBAAiB,CAAC,CAAC,UAAU,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC/E,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAoB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5B,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { Key } from '../addressing/index.js';
+import type { DomainDependency } from './reference.js';
+/**
+ * Structurally trusted routing information used to discover an exact
+ * dependency closure before whole-Domain semantic acceptance is possible.
+ *
+ * This is deliberately not a DomainSchema: callers must still load the
+ * declared revisions and pass the original document to acceptDomainSchema.
+ */
+export interface DomainSchemaHeader {
+    readonly origin: Key.Origin;
+    readonly dependencies: readonly DomainDependency[];
+}
+export declare function readDomainSchemaHeader(input: unknown): DomainSchemaHeader;
+//# sourceMappingURL=domain.header.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.header.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.header.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAKtD;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACnD;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,CAgBzE"}

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

@@ -0,0 +1,21 @@
+import { accept as acceptJsonValue, BoundaryError as JsonBoundaryError, } from '@astrale-os/kernel-dsl/value';
+import { DomainSchemaError, diagnostic } from './diagnostic.js';
+import { routeDomainSchema } from './validation/domain.route.js';
+export function readDomainSchemaHeader(input) {
+    let admitted;
+    try {
+        admitted = acceptJsonValue(input);
+    }
+    catch (error) {
+        if (error instanceof JsonBoundaryError) {
+            throw new DomainSchemaError([diagnostic('DV_JSON_VALUE', error.pointer, error.message)]);
+        }
+        throw error;
+    }
+    const structured = routeDomainSchema(admitted);
+    return Object.freeze({
+        dependencies: Object.freeze([...structured.dependencies]),
+        origin: structured.origin,
+    });
+}
+//# sourceMappingURL=domain.header.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.header.js","sourceRoot":"","sources":["../../../v1/schema/domain.header.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,IAAI,eAAe,EACzB,aAAa,IAAI,iBAAiB,GACnC,MAAM,8BAA8B,CAAA;AAKrC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAchE,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,IAAI,QAAQ,CAAA;IACZ,IAAI,CAAC;QACH,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACvC,MAAM,IAAI,iBAAiB,CAAC,CAAC,UAAU,CAAC,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAA;AACJ,CAAC"}

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

@@ -0,0 +1,40 @@
+import type { Key } from '../addressing/index.js';
+import type { FunctionDeclaration } from './callable.js';
+import type { CoreDeclaration } from './core/declaration.js';
+import type { ClassDeclaration } from './definition/class.js';
+import type { InterfaceDeclaration } from './definition/interface.js';
+import type { PolicyDeclaration } from './policy/ast.js';
+import type { DomainDependency } from './reference.js';
+import type { JsonSchema } from './value/schema.js';
+import type { ViewDeclaration } from './view/declaration.js';
+export interface DomainSchemaIR {
+    readonly format: 'astrale.dsl';
+    readonly version: 'v1';
+    readonly origin: Key.Origin;
+    readonly dependencies: readonly DomainDependency[];
+    readonly types: Readonly<Record<string, JsonSchema>>;
+    readonly interfaces: Readonly<Record<string, InterfaceDeclaration>>;
+    readonly classes: Readonly<Record<string, ClassDeclaration>>;
+    readonly functions: Readonly<Record<string, FunctionDeclaration>>;
+    readonly policies: Readonly<Record<string, PolicyDeclaration>>;
+    readonly views: Readonly<Record<string, ViewDeclaration>>;
+    readonly core: CoreDeclaration;
+}
+declare const DOMAIN_SCHEMA_BRAND: unique symbol;
+declare const DOMAIN_SCHEMA_INPUT: 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> = DomainSchemaIR & {
+    readonly origin: Origin;
+    readonly [DOMAIN_SCHEMA_BRAND]: true;
+    readonly [DOMAIN_SCHEMA_INPUT]: Input;
+};
+/** Recover the exact builder input retained by a locally defined schema. */
+export type DomainSchemaInputOf<Schema extends DomainSchema> = Schema[typeof DOMAIN_SCHEMA_INPUT];
+export declare function asDomainSchema<Origin extends string = string, Input = unknown>(value: DomainSchemaIR): DomainSchema<Origin, Input>;
+export {};
+//# sourceMappingURL=domain.ir.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.ir.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAI5D,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,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IAC5D,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;IACzD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAC/B;AAED,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAA;AAChD,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,GAAG,OAAO,IAAI,cAAc,GAAG;IAC3F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAA;IACpC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,KAAK,CAAA;CACtC,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,YAAY,IAAI,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAEjG,wBAAgB,cAAc,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,EAAE,KAAK,GAAG,OAAO,EAC5E,KAAK,EAAE,cAAc,GACpB,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAE7B"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.ir.js","sourceRoot":"","sources":["../../../v1/schema/domain.ir.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAkClD,MAAM,UAAU,cAAc,CAC5B,KAAqB;IAErB,OAAO,UAAU,CAAC,KAAK,CAAgC,CAAA;AACzD,CAAC"}

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

@@ -0,0 +1,19 @@
+import type { Key } from '../addressing/index.js';
+import type { DomainSchema } from './domain.ir.js';
+import type { Revision } from './reference.js';
+/** Exact revision-addressed lookup used while accepting a dependency closure. */
+export interface DomainSchemaLookup {
+    get(origin: Key.Origin, revision: Revision): DomainSchema | undefined;
+}
+export interface DomainSchemaEntry {
+    readonly revision: Revision;
+    readonly schema: DomainSchema;
+}
+export declare class MemoryDomainSchemaLookup implements DomainSchemaLookup {
+    #private;
+    constructor(entries?: readonly DomainSchemaEntry[]);
+    get(origin: Key.Origin, revision: Revision): DomainSchema | undefined;
+    set(entry: DomainSchemaEntry): this;
+}
+export declare function emptyDomainSchemaLookup(): DomainSchemaLookup;
+//# sourceMappingURL=domain.lookup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.lookup.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAI9C,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS,CAAA;CACtE;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC9B;AAED,qBAAa,wBAAyB,YAAW,kBAAkB;;IAGjE,YAAY,OAAO,GAAE,SAAS,iBAAiB,EAAO,EAErD;IAED,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,YAAY,GAAG,SAAS,CAEpE;IAED,GAAG,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI,CAelC;CACF;AAED,wBAAgB,uBAAuB,IAAI,kBAAkB,CAE5D"}

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

@@ -0,0 +1,32 @@
+import { revisionOfDomainSchema } from './domain.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=domain.lookup.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.lookup.js","sourceRoot":"","sources":["../../../v1/schema/domain.lookup.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAY7D,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/domain.resolve.d.ts

@@ -0,0 +1,26 @@
+import type { DefinitionAnalysis } from './definition/analysis.js';
+import type { DomainSchema } from './domain.ir.js';
+import type { DomainSchemaLookup } from './domain.lookup.js';
+import type { DefinitionRef, Revision } from './reference.js';
+import type { ResolvedDefinition } from './resolution/definition.index.js';
+export interface ResolvedDomainSchemaReferences {
+    readonly definitions: ReadonlyMap<string, ResolvedDefinition>;
+    readonly effectiveDefinitions: ReadonlyMap<string, DefinitionAnalysis>;
+    definition(ref: DefinitionRef): ResolvedDefinition | undefined;
+    effective(ref: DefinitionRef): DefinitionAnalysis | undefined;
+}
+export interface ResolvedDomainSchema<S extends DomainSchema = DomainSchema> {
+    readonly $: {
+        readonly schema: S;
+        readonly revision: Revision;
+        readonly closure: readonly DomainSchema[];
+        readonly refs: ResolvedDomainSchemaReferences;
+    };
+}
+export interface DomainSchemaResolver {
+    resolve<S extends DomainSchema>(schema: S): ResolvedDomainSchema<S>;
+}
+/** Resolve one accepted schema through the exact closure retained at acceptance. */
+export declare function resolveDomainSchema<const S extends DomainSchema>(schema: S): ResolvedDomainSchema<S>;
+export declare function createDomainSchemaResolver(lookup: DomainSchemaLookup): DomainSchemaResolver;
+//# sourceMappingURL=domain.resolve.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.resolve.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.resolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAQ1E,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IAC7D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IACtE,UAAU,CAAC,GAAG,EAAE,aAAa,GAAG,kBAAkB,GAAG,SAAS,CAAA;IAC9D,SAAS,CAAC,GAAG,EAAE,aAAa,GAAG,kBAAkB,GAAG,SAAS,CAAA;CAC9D;AAED,MAAM,WAAW,oBAAoB,CAAC,CAAC,SAAS,YAAY,GAAG,YAAY;IACzE,QAAQ,CAAC,CAAC,EAAE;QACV,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QAClB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;QAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;QACzC,QAAQ,CAAC,IAAI,EAAE,8BAA8B,CAAA;KAC9C,CAAA;CACF;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,CAAC,CAAC,SAAS,YAAY,EAAE,MAAM,EAAE,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;CACpE;AAID,oFAAoF;AACpF,wBAAgB,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,YAAY,EAC9D,MAAM,EAAE,CAAC,GACR,oBAAoB,CAAC,CAAC,CAAC,CAMzB;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,kBAAkB,GAAG,oBAAoB,CAM3F"}

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

@@ -0,0 +1,43 @@
+import { DomainSchemaError } from './diagnostic.js';
+import { revisionOfDomainSchema } from './domain.revision.js';
+import { validateDomainSchemaSemantics } from './domain.validate.js';
+import { schemaRefIndex, compareUnicode } from './reference.js';
+import { lookupForDomainClosure } from './resolution/closure.js';
+const resolvedSchemas = new WeakMap();
+/** Resolve one accepted schema through the exact closure retained at acceptance. */
+export function resolveDomainSchema(schema) {
+    const cached = resolvedSchemas.get(schema);
+    if (cached !== undefined)
+        return cached;
+    const resolved = resolveWithLookup(schema, lookupForDomainClosure(schema));
+    resolvedSchemas.set(schema, resolved);
+    return resolved;
+}
+export function createDomainSchemaResolver(lookup) {
+    return Object.freeze({
+        resolve(schema) {
+            return resolveWithLookup(schema, lookup);
+        },
+    });
+}
+function resolveWithLookup(schema, lookup) {
+    const validation = validateDomainSchemaSemantics(schema, lookup);
+    if (validation.diagnostics.length > 0) {
+        throw new DomainSchemaError(validation.diagnostics);
+    }
+    const refs = Object.freeze({
+        definitions: validation.context.definitions,
+        effectiveDefinitions: validation.analysis.definitions,
+        definition: (ref) => validation.context.resolve(ref),
+        effective: (ref) => validation.analysis.definitions.get(schemaRefIndex(ref)),
+    });
+    return Object.freeze({
+        $: Object.freeze({
+            schema,
+            revision: revisionOfDomainSchema(schema),
+            closure: Object.freeze([...validation.context.dependencies.values()].sort((left, right) => compareUnicode(left.origin, right.origin))),
+            refs,
+        }),
+    });
+}
+//# sourceMappingURL=domain.resolve.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.resolve.js","sourceRoot":"","sources":["../../../v1/schema/domain.resolve.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAsBhE,MAAM,eAAe,GAAG,IAAI,OAAO,EAAsC,CAAA;AAEzE,oFAAoF;AACpF,MAAM,UAAU,mBAAmB,CACjC,MAAS;IAET,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAiC,CAAA;IAClE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1E,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrC,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAA0B;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,CAAyB,MAAS;YACvC,OAAO,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC1C,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAS,EACT,MAA0B;IAE1B,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChE,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;IACrD,CAAC;IAED,MAAM,IAAI,GAAmC,MAAM,CAAC,MAAM,CAAC;QACzD,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW;QAC3C,oBAAoB,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW;QACrD,UAAU,EAAE,CAAC,GAAkB,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;QACnE,SAAS,EAAE,CAAC,GAAkB,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;KAC5F,CAAC,CAAA;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC;YACf,MAAM;YACN,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;YACxC,OAAO,EAAE,MAAM,CAAC,MAAM,CACpB,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACjE,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C,CACF;YACD,IAAI;SACL,CAAC;KACH,CAAC,CAAA;AACJ,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { Revision } from './reference.js';
+import { type DomainSchema, type DomainSchemaIR } from './domain.ir.js';
+export interface CanonicalDomainSchema {
+    readonly schema: DomainSchema;
+    readonly bytes: Uint8Array;
+    readonly revision: Revision;
+}
+export declare function canonicalDomainSchema(value: DomainSchema): CanonicalDomainSchema;
+/** Internal acceptance seam. The caller must establish whole-Domain validity first. */
+export declare function canonicalDomainSchemaAfterValidation(value: DomainSchemaIR): CanonicalDomainSchema;
+export declare function revisionOfDomainSchema(schema: DomainSchema): Revision;
+//# sourceMappingURL=domain.revision.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.revision.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.revision.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAI9C,OAAO,EAAkB,KAAK,YAAY,EAAE,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEvF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,YAAY,GAAG,qBAAqB,CAEhF;AAED,uFAAuF;AACvF,wBAAgB,oCAAoC,CAAC,KAAK,EAAE,cAAc,GAAG,qBAAqB,CAKjG;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,QAAQ,CAErE"}

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

@@ -0,0 +1,18 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { digestDomainSchemaBytes } from './canonical/domain.digest.js';
+import { canonicalizeDomainSchema } from './canonical/domain.js';
+import { asDomainSchema } from './domain.ir.js';
+export function canonicalDomainSchema(value) {
+    return canonicalDomainSchemaAfterValidation(value);
+}
+/** Internal acceptance seam. The caller must establish whole-Domain validity first. */
+export function canonicalDomainSchemaAfterValidation(value) {
+    const schema = asDomainSchema(canonicalizeDomainSchema(value));
+    const bytes = json.encode(schema);
+    const revision = digestDomainSchemaBytes(bytes);
+    return Object.freeze({ schema, bytes, revision });
+}
+export function revisionOfDomainSchema(schema) {
+    return canonicalDomainSchema(schema).revision;
+}
+//# sourceMappingURL=domain.revision.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.revision.js","sourceRoot":"","sources":["../../../v1/schema/domain.revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAInD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAA;AACtE,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AAChE,OAAO,EAAE,cAAc,EAA0C,MAAM,gBAAgB,CAAA;AAQvF,MAAM,UAAU,qBAAqB,CAAC,KAAmB;IACvD,OAAO,oCAAoC,CAAC,KAAK,CAAC,CAAA;AACpD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oCAAoC,CAAC,KAAqB;IACxE,MAAM,MAAM,GAAG,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAA;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAA;AAC/C,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { DefinitionAnalysisResult } from './definition/analysis.js';
+import type { DomainDiagnostic } from './diagnostic.js';
+import type { DomainSchemaIR } from './domain.ir.js';
+import type { DomainSchemaLookup } from './domain.lookup.js';
+import type { DomainResolutionContext } from './resolution/context.js';
+export interface DomainSchemaValidation {
+    readonly context: DomainResolutionContext;
+    readonly analysis: DefinitionAnalysisResult;
+    readonly diagnostics: readonly DomainDiagnostic[];
+}
+export declare function validateDomainSchemaSemantics(schema: DomainSchemaIR, lookup: DomainSchemaLookup): DomainSchemaValidation;
+//# sourceMappingURL=domain.validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.validate.d.ts","sourceRoot":"","sources":["../../../v1/schema/domain.validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAA;AACxE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AAWtE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,kBAAkB,GACzB,sBAAsB,CAiBxB"}

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

@@ -0,0 +1,36 @@
+import { validateCore } from './core/validate.js';
+import { analyzeDefinitions } from './definition/analysis.js';
+import { validateDefinitions } from './definition/validate.js';
+import { validatePolicies } from './policy/validation/validate.js';
+import { buildDomainResolutionContext } from './resolution/context.js';
+import { createValueSchemaRegistry } from './resolution/value.registry.js';
+import { validateEmbeddedValueSchemas } from './validation/value.js';
+import { validateViews } from './view/validate.js';
+export function validateDomainSchemaSemantics(schema, lookup) {
+    const context = buildDomainResolutionContext(schema, lookup);
+    const analysis = analyzeDefinitions(context);
+    const registry = createValueSchemaRegistry(context);
+    const diagnostics = [
+        ...context.diagnostics,
+        ...validateEmbeddedValueSchemas(schema, registry),
+        ...validateDefinitions(context, analysis),
+        ...validatePolicies(context, analysis),
+        ...validateViews(context),
+        ...validateCore(context, analysis, registry),
+    ];
+    return Object.freeze({
+        context,
+        analysis,
+        diagnostics: Object.freeze(orderAndDeduplicate(diagnostics)),
+    });
+}
+function orderAndDeduplicate(diagnostics) {
+    const unique = new Map();
+    for (const value of diagnostics) {
+        unique.set(`${value.pointer}\u0000${value.code}\u0000${value.ref ?? ''}\u0000${value.message}`, value);
+    }
+    return [...unique.values()].sort((left, right) => left.pointer.localeCompare(right.pointer) ||
+        left.code.localeCompare(right.code) ||
+        left.message.localeCompare(right.message));
+}
+//# sourceMappingURL=domain.validate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.validate.js","sourceRoot":"","sources":["../../../v1/schema/domain.validate.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAA;AAClE,OAAO,EAAE,4BAA4B,EAAE,MAAM,yBAAyB,CAAA;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAA;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAQlD,MAAM,UAAU,6BAA6B,CAC3C,MAAsB,EACtB,MAA0B;IAE1B,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG;QAClB,GAAG,OAAO,CAAC,WAAW;QACtB,GAAG,4BAA4B,CAAC,MAAM,EAAE,QAAQ,CAAC;QACjD,GAAG,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC;QACzC,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC;QACtC,GAAG,aAAa,CAAC,OAAO,CAAC;QACzB,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;KAC7C,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;KAC7D,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAwC;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAA;IAClD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CACR,GAAG,KAAK,CAAC,OAAO,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,CAAC,OAAO,EAAE,EACnF,KAAK,CACN,CAAA;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,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,CAC5C,CAAA;AACH,CAAC"}

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

@@ -0,0 +1,36 @@
+/** 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 { 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 type { DataDeclaration, DataFacet, MediaType } from './definition/data.js';
+export type { ViewAuth, 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';
+/** 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';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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;AAEjD,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,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AACjF,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClF,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"}

package/dist/v1/schema/index.js

@@ -0,0 +1,16 @@
+/** 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 { DomainSchemaError 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';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +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;AAEjD,OAAO,EAAE,iBAAiB,IAAI,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAkG5D,mEAAmE;AACnE,OAAO,KAAK,MAAM,MAAM,kBAAkB,CAAA;AAE1C,0DAA0D;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}

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

@@ -0,0 +1,13 @@
+/** Exact V1 bound for optional human-facing declaration descriptions. */
+export declare const description: Readonly<{
+    readonly type: 'string';
+    readonly minLength: 1;
+    readonly maxLength: 1000;
+}>;
+/** Exact V1 bound for optional Node Class presentation icons. */
+export declare const icon: Readonly<{
+    readonly type: 'string';
+    readonly minLength: 1;
+    readonly maxLength: 8000;
+}>;
+//# sourceMappingURL=metadata.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.d.ts","sourceRoot":"","sources":["../../../v1/schema/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/schema/metadata.js

@@ -0,0 +1,13 @@
+/** Exact V1 bound for optional human-facing declaration descriptions. */
+export const description = Object.freeze({
+    type: 'string',
+    minLength: 1,
+    maxLength: 1000,
+});
+/** Exact V1 bound for optional Node Class presentation icons. */
+export const icon = Object.freeze({
+    type: 'string',
+    minLength: 1,
+    maxLength: 8000,
+});
+//# sourceMappingURL=metadata.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../../v1/schema/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"}