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

package/dist/v1/schema/value/extensions/node-path/validate.js

@@ -0,0 +1,80 @@
+import { diagnostic } from '../../../diagnostic.js';
+import { schemaRefIndex, DOMAIN_ORIGIN_PATTERN, MEMBER_NAME_PATTERN } from '../../../reference.js';
+import { parseJsonPointerFragment } from '../../location/pointer.js';
+import { walkSchema } from '../../location/walk.js';
+import { isValueObject as isJsonObject } from '../../object.js';
+import { GRAPH_NODE_PATH_SCHEMA_ID } from './schema.js';
+export function validateNodePathExtension(schema, context, pointer, definitionExists) {
+    const diagnostics = [];
+    walkSchema(schema, (location) => {
+        if (!isJsonObject(location.schema) || !Object.hasOwn(location.schema, 'x-astrale-path')) {
+            return;
+        }
+        const extensionPointer = `${pointer}${location.pointer}/x-astrale-path`;
+        const tokens = parseJsonPointerFragment(`#${location.pointer}`);
+        const fieldName = tokens?.length === 2 && tokens[0] === 'properties' ? tokens[1] : undefined;
+        const root = isJsonObject(schema) ? schema : undefined;
+        const directRequiredField = context === 'callable-input' &&
+            root?.type === 'object' &&
+            location.depth === 1 &&
+            location.parentKeyword === 'properties' &&
+            fieldName !== undefined &&
+            Array.isArray(root?.required) &&
+            root.required.includes(fieldName);
+        if (!directRequiredField) {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path is allowed only on a direct required property schema at a callable-input object root.'));
+        }
+        const schemaKeys = Object.keys(location.schema);
+        if (schemaKeys.length !== 2 ||
+            !Object.hasOwn(location.schema, '$ref') ||
+            location.schema.$ref !== GRAPH_NODE_PATH_SCHEMA_ID) {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${pointer}${location.pointer}`, `A Path field schema contains exactly $ref ${GRAPH_NODE_PATH_SCHEMA_ID} and x-astrale-path.`, GRAPH_NODE_PATH_SCHEMA_ID));
+        }
+        const annotation = location.schema['x-astrale-path'];
+        if (!isJsonObject(annotation)) {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path must be a closed annotation object.'));
+            return;
+        }
+        if (!hasExactKeys(annotation, ['target', 'cardinality', 'accepts'])) {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path contains exactly target, cardinality, and accepts.'));
+        }
+        if (annotation.target !== 'node' || annotation.cardinality !== 'one') {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'A V1 Path field resolves exactly one Node.'));
+        }
+        if (!Array.isArray(annotation.accepts) || annotation.accepts.length === 0) {
+            diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${extensionPointer}/accepts`, 'x-astrale-path.accepts must be a non-empty Node Definition ref set.'));
+            return;
+        }
+        const seen = new Set();
+        annotation.accepts.forEach((candidate, candidateIndex) => {
+            const candidatePointer = `${extensionPointer}/accepts/${candidateIndex}`;
+            if (!isNodeDefinitionRef(candidate)) {
+                diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'Path acceptance entries are exact node-family class or interface refs.'));
+                return;
+            }
+            const key = schemaRefIndex(candidate);
+            if (seen.has(key)) {
+                diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'x-astrale-path.accepts rejects duplicate Definition refs.'));
+            }
+            seen.add(key);
+            if (!definitionExists(candidate)) {
+                diagnostics.push(diagnostic('VS_REFERENCE_RESOLUTION', candidatePointer, 'Path acceptance Definition is absent from the current/direct exact registry.'));
+            }
+        });
+    });
+    return diagnostics;
+}
+function isNodeDefinitionRef(value) {
+    return (isJsonObject(value) &&
+        hasExactKeys(value, ['origin', 'kind', 'name']) &&
+        typeof value.origin === 'string' &&
+        DOMAIN_ORIGIN_PATTERN.test(value.origin) &&
+        (value.kind === 'interface' || value.kind === 'class') &&
+        typeof value.name === 'string' &&
+        MEMBER_NAME_PATTERN.test(value.name));
+}
+function hasExactKeys(value, expected) {
+    const actual = Object.keys(value);
+    return actual.length === expected.length && expected.every((key) => Object.hasOwn(value, key));
+}
+//# sourceMappingURL=validate.js.map

package/dist/v1/schema/value/extensions/node-path/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../../../v1/schema/value/extensions/node-path/validate.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAClG,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAA;AAEvD,MAAM,UAAU,yBAAyB,CACvC,MAAkB,EAClB,OAA2B,EAC3B,OAAe,EACf,gBAAiD;IAEjD,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,UAAU,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC9B,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACxF,OAAM;QACR,CAAC;QAED,MAAM,gBAAgB,GAAG,GAAG,OAAO,GAAG,QAAQ,CAAC,OAAO,iBAAiB,CAAA;QACvE,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QAC/D,MAAM,SAAS,GAAG,MAAM,EAAE,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC5F,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,MAAM,mBAAmB,GACvB,OAAO,KAAK,gBAAgB;YAC5B,IAAI,EAAE,IAAI,KAAK,QAAQ;YACvB,QAAQ,CAAC,KAAK,KAAK,CAAC;YACpB,QAAQ,CAAC,aAAa,KAAK,YAAY;YACvC,SAAS,KAAK,SAAS;YACvB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;QAEnC,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,sGAAsG,CACvG,CACF,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC/C,IACE,UAAU,CAAC,MAAM,KAAK,CAAC;YACvB,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YACvC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAClD,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,EAC/B,6CAA6C,yBAAyB,sBAAsB,EAC5F,yBAAyB,CAC1B,CACF,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;QACpD,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,oDAAoD,CACrD,CACF,CAAA;YACD,OAAM;QACR,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACpE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,mEAAmE,CACpE,CACF,CAAA;QACH,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,UAAU,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;YACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,4CAA4C,CAC7C,CACF,CAAA;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,gBAAgB,UAAU,EAC7B,qEAAqE,CACtE,CACF,CAAA;YACD,OAAM;QACR,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;YACvD,MAAM,gBAAgB,GAAG,GAAG,gBAAgB,YAAY,cAAc,EAAE,CAAA;YACxE,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,wEAAwE,CACzE,CACF,CAAA;gBACD,OAAM;YACR,CAAC;YACD,MAAM,GAAG,GAAG,cAAc,CAAC,SAAS,CAAC,CAAA;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,EAChB,2DAA2D,CAC5D,CACF,CAAA;YACH,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,gBAAgB,EAChB,8EAA8E,CAC/E,CACF,CAAA;YACH,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,OAAO,CACL,YAAY,CAAC,KAAK,CAAC;QACnB,YAAY,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAChC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACxC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;QACtD,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CACrC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAA8B,EAAE,QAA2B;IAC/E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;AAChG,CAAC"}

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

@@ -0,0 +1,14 @@
+/** The exact V1 value-schema grammar embedded in DomainSchema declarations. */
+import type { DomainDiagnostic } from '../diagnostic.js';
+import type { DomainSchema } from '../domain.ir.js';
+import type { OrderingKind } from './ordering.js';
+import type { JsonSchema } from './schema.js';
+export { VALUE_SCHEMA_DIALECT as DIALECT, VALUE_SCHEMA_VOCABULARY as VOCABULARY } from './schema.js';
+export type { JsonSchema as Schema, JsonSchemaObject as SchemaObject, PathAnnotation, PropertyObjectSchema as PropertySchema, ValueSchemaContext as Context, } from './schema.js';
+export { instant } from './instant.js';
+export type { OrderingKind } from './ordering.js';
+/** Validate one complete JSON value under the exact accepted schema that owns the contract. */
+export declare function validate(owner: DomainSchema, contract: JsonSchema, input: unknown, pointer?: string): readonly DomainDiagnostic[];
+/** Return the one portable scalar ordering domain admitted by a property schema, if any. */
+export declare function classifyOrdering(owner: DomainSchema, contract: JsonSchema): OrderingKind | undefined;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../v1/schema/value/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAQ7C,OAAO,EAAE,oBAAoB,IAAI,OAAO,EAAE,uBAAuB,IAAI,UAAU,EAAE,MAAM,aAAa,CAAA;AACpG,YAAY,EACV,UAAU,IAAI,MAAM,EACpB,gBAAgB,IAAI,YAAY,EAChC,cAAc,EACd,oBAAoB,IAAI,cAAc,EACtC,kBAAkB,IAAI,OAAO,GAC9B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,YAAY,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAEjD,+FAA+F;AAC/F,wBAAgB,QAAQ,CACtB,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,UAAU,EACpB,KAAK,EAAE,OAAO,EACd,OAAO,SAAK,GACX,SAAS,gBAAgB,EAAE,CAE7B;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,UAAU,GACnB,YAAY,GAAG,SAAS,CAE1B"}

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

@@ -0,0 +1,24 @@
+/** The exact V1 value-schema grammar embedded in DomainSchema declarations. */
+import { createDomainValueSchemaRegistry } from '../resolution/value.registry.js';
+import { validateJsonInstance } from './instance.validate.js';
+import { classifyOrdering as classifyOrderingWithRegistry } from './ordering.js';
+const registries = new WeakMap();
+export { VALUE_SCHEMA_DIALECT as DIALECT, VALUE_SCHEMA_VOCABULARY as VOCABULARY } from './schema.js';
+export { instant } from './instant.js';
+/** Validate one complete JSON value under the exact accepted schema that owns the contract. */
+export function validate(owner, contract, input, pointer = '') {
+    return validateJsonInstance(contract, input, registryFor(owner), pointer);
+}
+/** Return the one portable scalar ordering domain admitted by a property schema, if any. */
+export function classifyOrdering(owner, contract) {
+    return classifyOrderingWithRegistry(contract, registryFor(owner));
+}
+function registryFor(owner) {
+    let registry = registries.get(owner);
+    if (registry === undefined) {
+        registry = createDomainValueSchemaRegistry(owner);
+        registries.set(owner, registry);
+    }
+    return registry;
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../v1/schema/value/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAQ/E,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,gBAAgB,IAAI,4BAA4B,EAAE,MAAM,eAAe,CAAA;AAEhF,MAAM,UAAU,GAAG,IAAI,OAAO,EAAqC,CAAA;AAEnE,OAAO,EAAE,oBAAoB,IAAI,OAAO,EAAE,uBAAuB,IAAI,UAAU,EAAE,MAAM,aAAa,CAAA;AAQpG,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAGtC,+FAA+F;AAC/F,MAAM,UAAU,QAAQ,CACtB,KAAmB,EACnB,QAAoB,EACpB,KAAc,EACd,OAAO,GAAG,EAAE;IAEZ,OAAO,oBAAoB,CAAC,QAAQ,EAAE,KAAc,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AACpF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAC9B,KAAmB,EACnB,QAAoB;IAEpB,OAAO,4BAA4B,CAAC,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;AACnE,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACtC,IAAI,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,QAAQ,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAA;QACjD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC"}

package/dist/v1/schema/value/instance/assertions.d.ts

@@ -0,0 +1,7 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+export declare function matchesType(input: string, value: JsonValue): boolean;
+export declare function jsonEqual(left: JsonValue, right: JsonValue): boolean;
+export declare function unique(values: readonly JsonValue[]): boolean;
+/** Compare finite JSON numbers as their exact ECMAScript decimal spellings. */
+export declare function isMultipleOf(value: number, divisor: number): boolean;
+//# sourceMappingURL=assertions.d.ts.map

package/dist/v1/schema/value/instance/assertions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/instance/assertions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAMtE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAiBpE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAEpE;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,OAAO,CAQ5D;AAED,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAQpE"}

package/dist/v1/schema/value/instance/assertions.js

@@ -0,0 +1,59 @@
+import { equal, json } from '@astrale-os/kernel-dsl/value';
+import { isValueObject as isJsonObject } from '../object.js';
+export function matchesType(input, value) {
+    switch (input) {
+        case 'null':
+            return value === null;
+        case 'boolean':
+        case 'number':
+        case 'string':
+            return typeof value === input;
+        case 'integer':
+            return typeof value === 'number' && Number.isInteger(value);
+        case 'array':
+            return Array.isArray(value);
+        case 'object':
+            return isJsonObject(value);
+        default:
+            return false;
+    }
+}
+export function jsonEqual(left, right) {
+    return equal(left, right);
+}
+export function unique(values) {
+    const seen = new Set();
+    for (const value of values) {
+        const key = json.serialize(value);
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+    }
+    return true;
+}
+/** Compare finite JSON numbers as their exact ECMAScript decimal spellings. */
+export function isMultipleOf(value, divisor) {
+    if (!(divisor > 0))
+        return false;
+    const left = decimalInteger(value);
+    const right = decimalInteger(divisor);
+    const exponent = Math.min(left.exponent, right.exponent);
+    const dividend = left.coefficient * powerOfTen(left.exponent - exponent);
+    const factor = right.coefficient * powerOfTen(right.exponent - exponent);
+    return dividend % factor === 0n;
+}
+function decimalInteger(input) {
+    const source = input.toString().toLowerCase();
+    const [mantissa = '', exponentSource = '0'] = source.split('e');
+    const negative = mantissa.startsWith('-');
+    const unsigned = negative ? mantissa.slice(1) : mantissa;
+    const point = unsigned.indexOf('.');
+    const fractionDigits = point === -1 ? 0 : unsigned.length - point - 1;
+    const digits = unsigned.replace('.', '');
+    const coefficient = BigInt(`${negative ? '-' : ''}${digits}`);
+    return { coefficient, exponent: Number(exponentSource) - fractionDigits };
+}
+function powerOfTen(exponent) {
+    return 10n ** BigInt(exponent);
+}
+//# sourceMappingURL=assertions.js.map

package/dist/v1/schema/value/instance/assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../../../../../v1/schema/value/instance/assertions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAE1D,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,KAAgB;IACzD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,IAAI,CAAA;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,KAAK,CAAA;QAC/B,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7D,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC7B,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC,KAAK,CAAC,CAAA;QAC5B;YACE,OAAO,KAAK,CAAA;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,KAAgB;IACzD,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAC3B,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,MAA4B;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,OAAe;IACzD,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAChC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IAClC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAA;IACxE,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAA;IACxE,OAAO,QAAQ,GAAG,MAAM,KAAK,EAAE,CAAA;AACjC,CAAC;AAOD,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,CAAA;IAC7C,MAAM,CAAC,QAAQ,GAAG,EAAE,EAAE,cAAc,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;IACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACnC,MAAM,cAAc,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,GAAG,CAAC,CAAA;IACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IACxC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;IAC7D,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,cAAc,EAAE,CAAA;AAC3E,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,GAAG,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;AAChC,CAAC"}

package/dist/v1/schema/value/instance/compiler.d.ts

@@ -0,0 +1,13 @@
+import type { ValueSchemaRegistry } from '../registry.js';
+import type { JsonSchema } from '../schema.js';
+import type { CompiledInstanceSchema } from './types.js';
+export type InstanceSchemaCompilation = {
+    readonly compiled: true;
+    readonly value: CompiledInstanceSchema;
+} | {
+    readonly compiled: false;
+    readonly message: string;
+};
+/** Prepare reference and linear-regexp state without generating executable source. */
+export declare function compileInstanceSchema(schema: JsonSchema, registry: ValueSchemaRegistry, pointer: string): InstanceSchemaCompilation;
+//# sourceMappingURL=compiler.d.ts.map

package/dist/v1/schema/value/instance/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/instance/compiler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,sBAAsB,EAAkB,MAAM,YAAY,CAAA;AAQxE,MAAM,MAAM,yBAAyB,GACjC;IAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAE1D,sFAAsF;AACtF,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,EAAE,MAAM,GACd,yBAAyB,CAyD3B"}

package/dist/v1/schema/value/instance/compiler.js

@@ -0,0 +1,69 @@
+import { walkSchema } from '../location/walk.js';
+import { isValueObject as isJsonObject } from '../object.js';
+import { compileIRegexp } from '../regexp/linear.js';
+import { collectResourceClosure, locationKey } from '../resources/closure.js';
+import { indexRegistry, inferNamedTypePlacement } from '../resources/registry.index.js';
+/** Prepare reference and linear-regexp state without generating executable source. */
+export function compileInstanceSchema(schema, registry, pointer) {
+    const indexed = indexRegistry(registry, pointer);
+    if (indexed.diagnostics.length > 0)
+        return failed(indexed.diagnostics);
+    const namedType = inferNamedTypePlacement(schema, indexed.index, pointer);
+    const closure = collectResourceClosure(schema, namedType === undefined ? 'callable-input' : 'named-type', indexed.index, pointer, namedType);
+    if (closure.diagnostics.length > 0)
+        return failed(closure.diagnostics);
+    const locations = new Map();
+    const matchers = new Map();
+    for (const resource of closure.resources.values()) {
+        walkSchema(resource.schema, (location) => {
+            const key = locationKey(resource.key, location.pointer);
+            locations.set(key, {
+                key,
+                pointer: location.pointer,
+                resource,
+                schema: location.schema,
+            });
+            if (!isJsonObject(location.schema))
+                return;
+            rememberMatcher(matchers, location.schema.pattern);
+            rememberMatcher(matchers, location.schema.fullMatch);
+            if (isJsonObject(location.schema.patternProperties)) {
+                for (const pattern of Object.keys(location.schema.patternProperties)) {
+                    rememberMatcher(matchers, pattern);
+                }
+            }
+        });
+    }
+    const initial = closure.resources.values().next().value;
+    const root = initial === undefined ? undefined : locations.get(locationKey(initial.key, ''));
+    if (root === undefined) {
+        return { compiled: false, message: 'The root value schema is absent from its closure.' };
+    }
+    return {
+        compiled: true,
+        value: {
+            root,
+            locations,
+            resolutions: closure.resolutions,
+            matcher(source) {
+                const matcher = matchers.get(source);
+                if (matcher === undefined) {
+                    throw new TypeError('Value schema uses an unprepared I-Regexp source.');
+                }
+                return matcher;
+            },
+        },
+    };
+}
+function rememberMatcher(matchers, input) {
+    if (typeof input === 'string' && !matchers.has(input)) {
+        matchers.set(input, compileIRegexp(input));
+    }
+}
+function failed(diagnostics) {
+    return {
+        compiled: false,
+        message: diagnostics.map(({ code, message }) => `${code}: ${message}`).join('; '),
+    };
+}
+//# sourceMappingURL=compiler.js.map

package/dist/v1/schema/value/instance/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../../../v1/schema/value/instance/compiler.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAuB,MAAM,qBAAqB,CAAA;AACzE,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,aAAa,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAMvF,sFAAsF;AACtF,MAAM,UAAU,qBAAqB,CACnC,MAAkB,EAClB,QAA6B,EAC7B,OAAe;IAEf,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAChD,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;IAEtE,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACzE,MAAM,OAAO,GAAG,sBAAsB,CACpC,MAAM,EACN,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,EACzD,OAAO,CAAC,KAAK,EACb,OAAO,EACP,SAAS,CACV,CAAA;IACD,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;IAEtE,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAA;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAA;IAClD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;YACvC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YACvD,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE;gBACjB,GAAG;gBACH,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,QAAQ;gBACR,MAAM,EAAE,QAAQ,CAAC,MAAM;aACxB,CAAC,CAAA;YACF,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAM;YAC1C,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAClD,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;YACpD,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBACrE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;gBACpC,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAA;IACvD,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;IAC5F,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,mDAAmD,EAAE,CAAA;IAC1F,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE;YACL,IAAI;YACJ,SAAS;YACT,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,OAAO,CAAC,MAAc;gBACpB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAA;gBACzE,CAAC;gBACD,OAAO,OAAO,CAAA;YAChB,CAAC;SACF;KACF,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,QAAqC,EAAE,KAAc;IAC5E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CACb,WAA2E;IAE3E,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAClF,CAAA;AACH,CAAC"}

package/dist/v1/schema/value/instance/evaluator.d.ts

@@ -0,0 +1,5 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+import type { CompiledInstanceSchema, Evaluation } from './types.js';
+/** Evaluate complete Draft 2020-12 acceptance without dynamic source generation. */
+export declare function evaluateInstance(compiled: CompiledInstanceSchema, input: JsonValue): Evaluation;
+//# sourceMappingURL=evaluator.d.ts.map

package/dist/v1/schema/value/instance/evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/instance/evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAGtE,OAAO,KAAK,EACV,sBAAsB,EACtB,UAAU,EAGX,MAAM,YAAY,CAAA;AASnB,oFAAoF;AACpF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,KAAK,EAAE,SAAS,GAAG,UAAU,CAE/F"}