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

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"}

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

@@ -0,0 +1,373 @@
+import { isInstantValue } from '../instant.js';
+import { appendPointer } from '../location/pointer.js';
+import { isValueObject as isJsonObject } from '../object.js';
+import { locationKey } from '../resources/closure.js';
+import { isMultipleOf, jsonEqual, matchesType, unique } from './assertions.js';
+import { evaluation, mergeAnnotations } from './types.js';
+/** Evaluate complete Draft 2020-12 acceptance without dynamic source generation. */
+export function evaluateInstance(compiled, input) {
+    return new InstanceEvaluator(compiled).evaluate(compiled.root, input, '');
+}
+class InstanceEvaluator {
+    compiled;
+    active = new Set();
+    constructor(compiled) {
+        this.compiled = compiled;
+    }
+    evaluate(location, input, instancePointer) {
+        const activeKey = `${location.key}\u0000${instancePointer}`;
+        if (this.active.has(activeKey)) {
+            throw new TypeError('Admitted value schema entered a non-productive evaluation cycle.');
+        }
+        this.active.add(activeKey);
+        try {
+            if (location.schema === true)
+                return evaluation();
+            if (location.schema === false) {
+                return evaluation([
+                    invalid(instancePointer, 'false', 'The false schema rejects every value.'),
+                ]);
+            }
+            return this.evaluateObjectSchema(location, location.schema, input, instancePointer);
+        }
+        finally {
+            this.active.delete(activeKey);
+        }
+    }
+    evaluateObjectSchema(location, schema, input, instancePointer) {
+        const failures = [];
+        const properties = new Set();
+        const items = new Set();
+        const absorbSameLocation = (result) => {
+            if (result.valid)
+                mergeAnnotations(properties, items, result);
+            else
+                failures.push(...result.failures);
+        };
+        if (Object.hasOwn(schema, '$ref')) {
+            const resolved = this.compiled.resolutions.get(location.key);
+            if (resolved === undefined) {
+                throw new TypeError('Admitted value schema reference has no prepared resolution.');
+            }
+            const target = this.compiled.locations.get(locationKey(resolved.resource.key, resolved.pointer));
+            if (target === undefined) {
+                throw new TypeError('Prepared value schema reference target is absent.');
+            }
+            absorbSameLocation(this.evaluate(target, input, instancePointer));
+        }
+        this.evaluateCompositions(location, schema, input, instancePointer, failures, properties, items);
+        this.evaluateCommonAssertions(schema, input, instancePointer, failures);
+        if (typeof input === 'number') {
+            this.evaluateNumberAssertions(schema, input, instancePointer, failures);
+        }
+        if (typeof input === 'string') {
+            this.evaluateStringAssertions(schema, input, instancePointer, failures);
+        }
+        if (Array.isArray(input)) {
+            this.evaluateArray(location, schema, input, instancePointer, failures, properties, items);
+        }
+        else if (isJsonObject(input)) {
+            this.evaluateObject(location, schema, input, instancePointer, failures, properties, items);
+        }
+        return evaluation(failures, properties, items);
+    }
+    evaluateCompositions(location, schema, input, instancePointer, failures, properties, items) {
+        const absorb = (result) => {
+            if (result.valid)
+                mergeAnnotations(properties, items, result);
+            else
+                failures.push(...result.failures);
+        };
+        const allOf = schemaList(schema.allOf);
+        allOf?.forEach((_, index) => {
+            absorb(this.evaluate(this.child(location, 'allOf', index), input, instancePointer));
+        });
+        const anyOf = schemaList(schema.anyOf);
+        if (anyOf !== undefined) {
+            const results = anyOf.map((_, index) => this.evaluate(this.child(location, 'anyOf', index), input, instancePointer));
+            const admitted = results.filter(({ valid }) => valid);
+            if (admitted.length === 0) {
+                failures.push(invalid(instancePointer, 'anyOf', 'Value satisfies no anyOf branch.'));
+            }
+            else {
+                admitted.forEach((result) => mergeAnnotations(properties, items, result));
+            }
+        }
+        const oneOf = schemaList(schema.oneOf);
+        if (oneOf !== undefined) {
+            const admitted = oneOf
+                .map((_, index) => this.evaluate(this.child(location, 'oneOf', index), input, instancePointer))
+                .filter(({ valid }) => valid);
+            if (admitted.length !== 1) {
+                failures.push(invalid(instancePointer, 'oneOf', 'Value must satisfy exactly one oneOf branch.'));
+            }
+            else {
+                mergeAnnotations(properties, items, admitted[0]);
+            }
+        }
+        if (isSchema(schema.not)) {
+            const result = this.evaluate(this.child(location, 'not'), input, instancePointer);
+            if (result.valid)
+                failures.push(invalid(instancePointer, 'not', 'Value satisfies not.'));
+        }
+        if (isSchema(schema.if)) {
+            const condition = this.evaluate(this.child(location, 'if'), input, instancePointer);
+            if (condition.valid)
+                mergeAnnotations(properties, items, condition);
+            const branch = condition.valid ? 'then' : 'else';
+            if (isSchema(schema[branch])) {
+                absorb(this.evaluate(this.child(location, branch), input, instancePointer));
+            }
+        }
+    }
+    evaluateCommonAssertions(schema, input, instancePointer, failures) {
+        if (schema['x-astrale-value-kind'] === 'instant' && !isInstantValue(input)) {
+            failures.push(invalid(instancePointer, 'x-astrale-value-kind', 'Value is not an exact UTC millisecond Instant.'));
+        }
+        if (typeof schema.type === 'string') {
+            if (!matchesType(schema.type, input)) {
+                failures.push(invalid(instancePointer, 'type', `Value is not of type ${schema.type}.`));
+            }
+        }
+        else if (Array.isArray(schema.type) &&
+            !schema.type.some((candidate) => typeof candidate === 'string' ? matchesType(candidate, input) : false)) {
+            failures.push(invalid(instancePointer, 'type', 'Value matches none of the admitted types.'));
+        }
+        if (Object.hasOwn(schema, 'const') && !jsonEqual(input, schema.const)) {
+            failures.push(invalid(instancePointer, 'const', 'Value differs from const.'));
+        }
+        if (Array.isArray(schema.enum) &&
+            !schema.enum.some((candidate) => jsonEqual(input, candidate))) {
+            failures.push(invalid(instancePointer, 'enum', 'Value is absent from enum.'));
+        }
+    }
+    evaluateNumberAssertions(schema, input, instancePointer, failures) {
+        if (typeof schema.multipleOf === 'number' && !isMultipleOf(input, schema.multipleOf)) {
+            failures.push(invalid(instancePointer, 'multipleOf', 'Number is not an exact multiple.'));
+        }
+        if (typeof schema.maximum === 'number' && input > schema.maximum) {
+            failures.push(invalid(instancePointer, 'maximum', 'Number exceeds maximum.'));
+        }
+        if (typeof schema.exclusiveMaximum === 'number' && input >= schema.exclusiveMaximum) {
+            failures.push(invalid(instancePointer, 'exclusiveMaximum', 'Number reaches exclusiveMaximum.'));
+        }
+        if (typeof schema.minimum === 'number' && input < schema.minimum) {
+            failures.push(invalid(instancePointer, 'minimum', 'Number is below minimum.'));
+        }
+        if (typeof schema.exclusiveMinimum === 'number' && input <= schema.exclusiveMinimum) {
+            failures.push(invalid(instancePointer, 'exclusiveMinimum', 'Number reaches exclusiveMinimum.'));
+        }
+    }
+    evaluateStringAssertions(schema, input, instancePointer, failures) {
+        const length = Array.from(input).length;
+        if (typeof schema.maxLength === 'number' && length > schema.maxLength) {
+            failures.push(invalid(instancePointer, 'maxLength', 'String exceeds maxLength.'));
+        }
+        if (typeof schema.minLength === 'number' && length < schema.minLength) {
+            failures.push(invalid(instancePointer, 'minLength', 'String is below minLength.'));
+        }
+        if (typeof schema.pattern === 'string' && !this.compiled.matcher(schema.pattern).test(input)) {
+            failures.push(invalid(instancePointer, 'pattern', 'String does not match pattern.'));
+        }
+        if (typeof schema.fullMatch === 'string' &&
+            !this.compiled.matcher(schema.fullMatch).matches(input)) {
+            failures.push(invalid(instancePointer, 'fullMatch', 'String does not match fullMatch.'));
+        }
+    }
+    evaluateArray(location, schema, input, instancePointer, failures, _properties, items) {
+        if (typeof schema.maxItems === 'number' && input.length > schema.maxItems) {
+            failures.push(invalid(instancePointer, 'maxItems', 'Array exceeds maxItems.'));
+        }
+        if (typeof schema.minItems === 'number' && input.length < schema.minItems) {
+            failures.push(invalid(instancePointer, 'minItems', 'Array is below minItems.'));
+        }
+        if (schema.uniqueItems === true && !unique(input)) {
+            failures.push(invalid(instancePointer, 'uniqueItems', 'Array items are not unique.'));
+        }
+        const prefixItems = schemaList(schema.prefixItems) ?? [];
+        const presentPrefix = Math.min(prefixItems.length, input.length);
+        let prefixValid = true;
+        for (let index = 0; index < presentPrefix; index++) {
+            const result = this.evaluate(this.child(location, 'prefixItems', index), input[index], appendPointer(instancePointer, index));
+            if (!result.valid) {
+                prefixValid = false;
+                failures.push(...result.failures);
+            }
+        }
+        if (prefixValid) {
+            for (let index = 0; index < presentPrefix; index++)
+                items.add(index);
+        }
+        if (isSchema(schema.items)) {
+            let itemValid = true;
+            const admitted = [];
+            for (let index = prefixItems.length; index < input.length; index++) {
+                const result = this.evaluate(this.child(location, 'items'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    admitted.push(index);
+                else {
+                    itemValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (itemValid)
+                admitted.forEach((index) => items.add(index));
+        }
+        if (isSchema(schema.contains)) {
+            const matches = [];
+            for (let index = 0; index < input.length; index++) {
+                const result = this.evaluate(this.child(location, 'contains'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    matches.push(index);
+            }
+            const minimum = typeof schema.minContains === 'number' ? schema.minContains : 1;
+            const maximum = typeof schema.maxContains === 'number' ? schema.maxContains : Number.POSITIVE_INFINITY;
+            if (matches.length < minimum || matches.length > maximum) {
+                failures.push(invalid(instancePointer, 'contains', 'Array has an invalid number of contains matches.'));
+            }
+            else {
+                matches.forEach((index) => items.add(index));
+            }
+        }
+        if (isSchema(schema.unevaluatedItems)) {
+            let valid = true;
+            const admitted = [];
+            for (let index = 0; index < input.length; index++) {
+                if (items.has(index))
+                    continue;
+                const result = this.evaluate(this.child(location, 'unevaluatedItems'), input[index], appendPointer(instancePointer, index));
+                if (result.valid)
+                    admitted.push(index);
+                else {
+                    valid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (valid)
+                admitted.forEach((index) => items.add(index));
+        }
+    }
+    evaluateObject(location, schema, input, instancePointer, failures, properties, _items) {
+        const names = Object.keys(input);
+        if (typeof schema.maxProperties === 'number' && names.length > schema.maxProperties) {
+            failures.push(invalid(instancePointer, 'maxProperties', 'Object exceeds maxProperties.'));
+        }
+        if (typeof schema.minProperties === 'number' && names.length < schema.minProperties) {
+            failures.push(invalid(instancePointer, 'minProperties', 'Object is below minProperties.'));
+        }
+        if (Array.isArray(schema.required)) {
+            for (const name of schema.required) {
+                if (typeof name === 'string' && !Object.hasOwn(input, name)) {
+                    failures.push(invalid(instancePointer, 'required', `Object is missing required property ${name}.`));
+                }
+            }
+        }
+        if (isJsonObject(schema.dependentRequired)) {
+            for (const [name, required] of Object.entries(schema.dependentRequired)) {
+                if (!Object.hasOwn(input, name) || !Array.isArray(required))
+                    continue;
+                for (const dependency of required) {
+                    if (typeof dependency === 'string' && !Object.hasOwn(input, dependency)) {
+                        failures.push(invalid(instancePointer, 'dependentRequired', `Property ${name} requires property ${dependency}.`));
+                    }
+                }
+            }
+        }
+        const declared = isJsonObject(schema.properties) ? schema.properties : {};
+        const declaredPresent = Object.keys(declared).filter((name) => Object.hasOwn(input, name));
+        let declaredValid = true;
+        for (const name of declaredPresent) {
+            const result = this.evaluate(this.child(location, 'properties', name), input[name], appendPointer(instancePointer, name));
+            if (!result.valid) {
+                declaredValid = false;
+                failures.push(...result.failures);
+            }
+        }
+        if (declaredValid)
+            declaredPresent.forEach((name) => properties.add(name));
+        const patterns = isJsonObject(schema.patternProperties) ? schema.patternProperties : {};
+        const patternMatched = new Set();
+        let patternsValid = true;
+        for (const pattern of Object.keys(patterns)) {
+            const matcher = this.compiled.matcher(pattern);
+            for (const name of names) {
+                if (!matcher.test(name))
+                    continue;
+                patternMatched.add(name);
+                const result = this.evaluate(this.child(location, 'patternProperties', pattern), input[name], appendPointer(instancePointer, name));
+                if (!result.valid) {
+                    patternsValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+        }
+        if (patternsValid)
+            patternMatched.forEach((name) => properties.add(name));
+        if (isSchema(schema.additionalProperties)) {
+            const additional = names.filter((name) => !Object.hasOwn(declared, name) && !patternMatched.has(name));
+            let additionalValid = true;
+            for (const name of additional) {
+                const result = this.evaluate(this.child(location, 'additionalProperties'), input[name], appendPointer(instancePointer, name));
+                if (!result.valid) {
+                    additionalValid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (additionalValid)
+                additional.forEach((name) => properties.add(name));
+        }
+        if (isSchema(schema.propertyNames)) {
+            for (const name of names) {
+                const result = this.evaluate(this.child(location, 'propertyNames'), name, appendPointer(instancePointer, name));
+                if (!result.valid)
+                    failures.push(...result.failures);
+            }
+        }
+        if (isJsonObject(schema.dependentSchemas)) {
+            for (const name of Object.keys(schema.dependentSchemas)) {
+                if (!Object.hasOwn(input, name))
+                    continue;
+                const result = this.evaluate(this.child(location, 'dependentSchemas', name), input, instancePointer);
+                if (result.valid)
+                    mergeAnnotations(properties, new Set(), result);
+                else
+                    failures.push(...result.failures);
+            }
+        }
+        if (isSchema(schema.unevaluatedProperties)) {
+            const unevaluated = names.filter((name) => !properties.has(name));
+            let valid = true;
+            const admitted = [];
+            for (const name of unevaluated) {
+                const result = this.evaluate(this.child(location, 'unevaluatedProperties'), input[name], appendPointer(instancePointer, name));
+                if (result.valid)
+                    admitted.push(name);
+                else {
+                    valid = false;
+                    failures.push(...result.failures);
+                }
+            }
+            if (valid)
+                admitted.forEach((name) => properties.add(name));
+        }
+    }
+    child(parent, keyword, member) {
+        const keywordPointer = appendPointer(parent.pointer, keyword);
+        const pointer = member === undefined ? keywordPointer : appendPointer(keywordPointer, member);
+        const child = this.compiled.locations.get(locationKey(parent.resource.key, pointer));
+        if (child === undefined) {
+            throw new TypeError(`Admitted value schema child ${pointer} is absent from its closure.`);
+        }
+        return child;
+    }
+}
+function schemaList(input) {
+    return Array.isArray(input) ? input : undefined;
+}
+function isSchema(input) {
+    return typeof input === 'boolean' || isJsonObject(input);
+}
+function invalid(instancePointer, keyword, message) {
+    return { instancePointer, keyword, message };
+}
+//# sourceMappingURL=evaluator.js.map