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

package/dist/v1/language/validation/diagnostic.d.ts

@@ -0,0 +1,8 @@
+export type DiagnosticCode = 'CALLABLE_INPUT_FIELD_UNKNOWN' | 'DOMAIN_CLASS_ABSTRACT' | 'DOMAIN_PROPERTY_INPUT_INVALID' | 'DOMAIN_PROPERTY_REQUIRED' | 'DOMAIN_PROPERTY_UNKNOWN' | 'DOMAIN_VALIDATION_TARGET_UNKNOWN' | 'VALUE_SCHEMA_INSTANCE_INVALID' | 'VS_DIALECT' | 'VS_DYNAMIC_FORBIDDEN' | 'VS_KEYWORD_CLOSED' | 'VS_META_SCHEMA' | 'VS_NUMBER_DOMAIN' | 'VS_PATH_EXTENSION' | 'VS_RECURSION_PRODUCTIVE' | 'VS_REFERENCE_FORM' | 'VS_REFERENCE_RESOLUTION' | 'VS_REGEX_PORTABLE' | 'VS_RESOURCE_ID' | 'VS_VALUE_KIND';
+export interface Diagnostic<out Code extends DiagnosticCode = DiagnosticCode> {
+    readonly code: Code;
+    readonly pointer: string;
+    readonly message: string;
+    readonly ref?: string;
+}
+export declare function diagnostic<const Code extends DiagnosticCode>(code: Code, pointer: string, message: string, ref?: string): Diagnostic<Code>;

package/dist/v1/language/validation/diagnostic.js

@@ -0,0 +1,3 @@
+export function diagnostic(code, pointer, message, ref) {
+    return Object.freeze({ code, pointer, message, ...(ref === undefined ? {} : { ref }) });
+}

package/dist/v1/language/value/compile/fields.d.ts

@@ -0,0 +1,3 @@
+import type { ValueProgram } from './model.js';
+/** Exact field constraints available for independent scalar route validation. */
+export declare function inputFieldNodes(program: ValueProgram): Readonly<Record<string, readonly number[]>> | undefined;

package/dist/v1/language/value/compile/fields.js

@@ -0,0 +1,60 @@
+/** Exact field constraints available for independent scalar route validation. */
+export function inputFieldNodes(program) {
+    const fields = new Map();
+    const visited = new Set();
+    let closed = false;
+    let unsupported = false;
+    const visit = (index) => {
+        if (visited.has(index))
+            return;
+        visited.add(index);
+        const node = program.nodes[index];
+        if (node === undefined ||
+            node.schema === null ||
+            typeof node.schema !== 'object' ||
+            Array.isArray(node.schema))
+            return;
+        const schema = node.schema;
+        if (schema.additionalProperties === false || schema.unevaluatedProperties === false)
+            closed = true;
+        if (schema.anyOf !== undefined || schema.oneOf !== undefined || schema.if !== undefined)
+            unsupported = true;
+        if (node.reference !== undefined)
+            visit(node.reference);
+        if (Array.isArray(schema.allOf)) {
+            schema.allOf.forEach((_, position) => {
+                const child = node.children[`allOf/${position}`];
+                if (child === undefined)
+                    throw new TypeError('Compiled input allOf branch is absent.');
+                visit(child);
+            });
+        }
+        if (schema.properties === null ||
+            typeof schema.properties !== 'object' ||
+            Array.isArray(schema.properties))
+            return;
+        for (const name of Object.keys(schema.properties)) {
+            const child = node.children[`properties/${escapePointer(name)}`];
+            if (child === undefined)
+                throw new TypeError(`Compiled input field ${name} is absent.`);
+            const constraints = fields.get(name) ?? new Set();
+            constraints.add(child);
+            fields.set(name, constraints);
+        }
+    };
+    visit(program.root);
+    if (!closed || unsupported)
+        return undefined;
+    return Object.freeze(Object.fromEntries([...fields]
+        .sort(([left], [right]) => compare(left, right))
+        .map(([name, nodes]) => [
+        name,
+        Object.freeze([...nodes].sort((left, right) => left - right)),
+    ])));
+}
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+function compare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}

package/dist/v1/language/value/compile/load.d.ts

@@ -0,0 +1,4 @@
+import type { CompiledInstanceSchema } from '../evaluate/types.js';
+import type { ValueProgram } from './model.js';
+/** Bind admitted portable indices to the canonical instance evaluator. */
+export declare function loadValueProgram(program: ValueProgram): CompiledInstanceSchema;

package/dist/v1/language/value/compile/load.js

@@ -0,0 +1,41 @@
+import { loadPattern } from '../regexp/matcher.js';
+import { appendPointer } from '../syntax/pointer.js';
+/** Bind admitted portable indices to the canonical instance evaluator. */
+export function loadValueProgram(program) {
+    const resource = { key: 'compiled', schema: true, ownerOrigin: 'compiled' };
+    const locations = program.nodes.map((node, index) => ({
+        key: String(index),
+        pointer: '',
+        resource,
+        schema: node.schema,
+    }));
+    const patterns = new Map(program.patterns.map((pattern) => [pattern.source, loadPattern(pattern)]));
+    const root = locations[program.root];
+    if (root === undefined)
+        throw new TypeError('Compiled value program root is absent.');
+    return {
+        root,
+        locations: new Map(locations.map((location) => [location.key, location])),
+        resolutions: new Map(),
+        program: () => program,
+        child(location, keyword, member) {
+            const base = appendPointer('', keyword);
+            const key = (member === undefined ? base : appendPointer(base, member)).slice(1);
+            const index = program.nodes[Number(location.key)]?.children[key];
+            const child = index === undefined ? undefined : locations[index];
+            if (child === undefined)
+                throw new TypeError('Compiled value program child is absent.');
+            return child;
+        },
+        reference(location) {
+            const index = program.nodes[Number(location.key)]?.reference;
+            return index === undefined ? undefined : locations[index];
+        },
+        matcher(source) {
+            const matcher = patterns.get(source);
+            if (matcher === undefined)
+                throw new TypeError('Compiled value program pattern is absent.');
+            return matcher;
+        },
+    };
+}

package/dist/v1/language/value/compile/model.d.ts

@@ -0,0 +1,27 @@
+import type { Value as JsonValue } from '@astrale-os/kernel-dsl/value';
+export type ScalarRange = readonly [minimum: number, maximum: number];
+export interface PatternTransition {
+    readonly to: number;
+    readonly ranges: readonly ScalarRange[];
+}
+export interface PatternState {
+    readonly epsilon: readonly number[];
+    readonly transitions: readonly PatternTransition[];
+    readonly accepting?: true;
+}
+export interface Pattern {
+    readonly source: string;
+    readonly start: number;
+    readonly states: readonly PatternState[];
+}
+export interface ValueNode {
+    readonly schema: JsonValue;
+    readonly children: Readonly<Record<string, number>>;
+    readonly reference?: number;
+}
+/** Portable, JSON-safe evaluation program for one admitted ValueSchema. */
+export interface ValueProgram {
+    readonly root: number;
+    readonly nodes: readonly ValueNode[];
+    readonly patterns: readonly Pattern[];
+}

package/dist/v1/language/value/compile/model.js

@@ -0,0 +1 @@
+export {};

package/dist/v1/language/value/evaluate/assertions.d.ts

@@ -0,0 +1,6 @@
+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;

package/dist/v1/language/value/evaluate/assertions.js

@@ -0,0 +1,58 @@
+import { equal, json } from '@astrale-os/kernel-dsl/value';
+import { isValueObject as isJsonObject } from '../model/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);
+}

package/dist/v1/language/value/evaluate/evaluator.d.ts

@@ -0,0 +1,4 @@
+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;

package/dist/v1/language/value/evaluate/evaluator.js

@@ -0,0 +1,361 @@
+import { isInstantValue } from '../model/instant.js';
+import { isValueObject as isJsonObject } from '../model/object.js';
+import { appendPointer } from '../syntax/pointer.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 target = this.compiled.reference(location);
+            if (target === undefined) {
+                throw new TypeError('Admitted value schema reference has no prepared resolution.');
+            }
+            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) {
+        return this.compiled.child(parent, keyword, member);
+    }
+}
+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 };
+}

package/dist/v1/language/value/evaluate/preparation.d.ts

@@ -0,0 +1,13 @@
+import type { JsonSchema } from '../model/schema.js';
+import type { ValueSchemaRegistry } from '../reference/registry.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 prepareValueSchema(schema: JsonSchema, registry: ValueSchemaRegistry, pointer: string): InstanceSchemaCompilation;
+export declare function childKey(pointer: string): string;