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

package/dist/v1/compiled/admission/accept.js

@@ -0,0 +1,840 @@
+import { accept as acceptPortable } from '@astrale-os/kernel-dsl/value';
+import { isDefinitionRef, Key } from '../../addressing/index.js';
+import { DOMAIN_ORIGIN_PATTERN, DOMAIN_REVISION_PATTERN, MEMBER_NAME_PATTERN, } from '../../addressing/patterns.js';
+import { MEDIA_TYPE_PATTERN } from '../../language/class/model/data.js';
+import { PropertyValues } from '../../language/class/property-values.js';
+import { classifyValueProgramOrdering } from '../../language/value/ordering.js';
+import { invalidCompiled } from '../diagnostic.js';
+import { revisionOfCompiledEntry } from './revision.js';
+import { validateCompiledSemantics } from './semantics.js';
+const MAXIMUM_COMPILED_SCHEMA_MEMBERS = 1_000_000;
+function pointer(parent, member) {
+    return `${parent}/${String(member).replaceAll('~', '~0').replaceAll('/', '~1')}`;
+}
+/** Admit one detached compiled closure before indices and declarations become executable. */
+export function acceptCompiledSchema(input) {
+    const root = object(acceptPortable(input, { limits: { maxMembers: MAXIMUM_COMPILED_SCHEMA_MEMBERS } }), 'CompiledSchema', '');
+    exact(root, ['format', 'version', 'root', 'closure'], 'CompiledSchema', '');
+    if (root.format !== 'astrale.dsl.compiled-schema')
+        invalid('format', undefined, '/format');
+    if (root.version !== 1)
+        invalid('version', undefined, '/version');
+    const rootPin = dependency(root.root, 'root', '/root');
+    const closure = array(root.closure, 'closure', '/closure').map((value, index) => entry(value, index, `/closure/${index}`));
+    const closureOrigins = new Set();
+    for (const [index, value] of closure.entries()) {
+        if (closureOrigins.has(value.origin))
+            invalid('closure origins', undefined, `/closure/${index}/origin`);
+        closureOrigins.add(value.origin);
+    }
+    const byOrigin = new Map(closure.map((value) => [value.origin, value]));
+    const rootEntry = byOrigin.get(rootPin.origin);
+    if (rootEntry?.revision !== rootPin.revision)
+        invalid('root pin', undefined, '/root');
+    for (const [entryIndex, owner] of closure.entries()) {
+        for (const [dependencyIndex, pin] of owner.dependencies.entries()) {
+            if (byOrigin.get(pin.origin)?.revision !== pin.revision)
+                invalid('dependency closure', undefined, `/closure/${entryIndex}/dependencies/${dependencyIndex}`);
+        }
+    }
+    const reachable = new Set();
+    const visit = (origin) => {
+        if (reachable.has(origin))
+            return;
+        reachable.add(origin);
+        byOrigin
+            .get(origin)
+            ?.dependencies.forEach(({ origin: dependencyOrigin }) => visit(dependencyOrigin));
+    };
+    visit(rootPin.origin);
+    if (reachable.size !== closure.length) {
+        const unrelatedIndex = closure.findIndex(({ origin }) => !reachable.has(origin));
+        invalid('unrelated closure entry', undefined, `/closure/${unrelatedIndex}`);
+    }
+    const candidate = {
+        format: 'astrale.dsl.compiled-schema',
+        version: 1,
+        root: rootPin,
+        closure,
+    };
+    validateClosure(candidate);
+    validateCompiledSemantics(candidate);
+    return deepFreeze(candidate);
+}
+function entry(input, entryIndex, path) {
+    const value = object(input, `closure[${entryIndex}]`, path);
+    exact(value, ['origin', 'revision', 'dependencies', 'definitions', 'facts', 'values'], 'entry', path);
+    const origin = originValue(value.origin, 'entry origin', `${path}/origin`);
+    const revision = revisionValue(value.revision, 'entry revision', `${path}/revision`);
+    const dependenciesPath = `${path}/dependencies`;
+    const dependencies = array(value.dependencies, 'dependencies', dependenciesPath).map((item, index) => dependency(item, `dependencies[${index}]`, `${dependenciesPath}/${index}`));
+    const dependencyOrigins = new Set();
+    for (const [index, dependency] of dependencies.entries()) {
+        if (dependencyOrigins.has(dependency.origin))
+            invalid('duplicate dependency', undefined, `${dependenciesPath}/${index}/origin`);
+        dependencyOrigins.add(dependency.origin);
+    }
+    const valuesPath = `${path}/values`;
+    const values = array(value.values, 'values', valuesPath).map((item, index) => program(item, index, `${valuesPath}/${index}`));
+    const definitionsPath = `${path}/definitions`;
+    const definitions = object(value.definitions, 'definitions', definitionsPath);
+    exact(definitions, ['classes', 'functions', 'policies', 'views', 'core'], 'definitions', definitionsPath);
+    const classesPath = `${definitionsPath}/classes`;
+    const classes = array(definitions.classes, 'classes', classesPath).map((item, index) => compiledClass(item, values, `${classesPath}/${index}`));
+    const functionsPath = `${definitionsPath}/functions`;
+    const functions = array(definitions.functions, 'functions', functionsPath).map((item, index) => compiledFunction(item, values, `${functionsPath}/${index}`));
+    const factsPath = `${path}/facts`;
+    const facts = object(value.facts, 'facts', factsPath);
+    exact(facts, ['core'], 'facts', factsPath);
+    const policiesPath = `${definitionsPath}/policies`;
+    const viewsPath = `${definitionsPath}/views`;
+    const coreDefinitionsPath = `${definitionsPath}/core`;
+    const coreFactsPath = `${factsPath}/core`;
+    const accepted = {
+        origin,
+        revision,
+        dependencies,
+        definitions: {
+            classes,
+            functions,
+            policies: array(definitions.policies, 'policies', policiesPath).map((item, index) => compiledPolicy(item, `${policiesPath}/${index}`)),
+            views: array(definitions.views, 'views', viewsPath).map((item, index) => compiledView(item, `${viewsPath}/${index}`)),
+            core: array(definitions.core, 'core definitions', coreDefinitionsPath).map((item, index) => compiledCoreDefinition(item, `${coreDefinitionsPath}/${index}`)),
+        },
+        facts: {
+            core: array(facts.core, 'core facts', coreFactsPath).map((item, index) => compiledCoreEdge(item, `${coreFactsPath}/${index}`)),
+        },
+        values,
+    };
+    const collections = [
+        ['classes', accepted.definitions.classes],
+        ['functions', accepted.definitions.functions],
+        ['policies', accepted.definitions.policies],
+        ['views', accepted.definitions.views],
+        ['core', accepted.definitions.core],
+    ];
+    for (const [collection, definitions] of collections) {
+        for (const [index, definition] of definitions.entries()) {
+            if (definition.ref.origin !== origin)
+                invalid('Definition owner origin', undefined, `${definitionsPath}/${collection}/${index}/ref/origin`);
+        }
+    }
+    if (revisionOfCompiledEntry(accepted) !== revision) {
+        invalid('entry revision', 'COMPILED_CANONICAL_MISMATCH', `${path}/revision`);
+    }
+    return accepted;
+}
+function compiledClass(input, values, path) {
+    const value = object(input, 'Compiled Class', path);
+    if (value.kind !== 'node' && value.kind !== 'edge')
+        invalid('Class kind', undefined, `${path}/kind`);
+    exact(value, value.kind === 'node'
+        ? ['ref', 'kind', 'abstract', 'extends', 'properties', 'methods', 'policies']
+        : [
+            'ref',
+            'kind',
+            'abstract',
+            'extends',
+            'orientation',
+            'endpoints',
+            'constraints',
+            'properties',
+            'policies',
+        ], 'Compiled Class', path, value.kind === 'node' ? ['data', 'description', 'icon'] : ['description']);
+    definitionRef(value.ref, 'class', 'Class ref', `${path}/ref`);
+    boolean(value.abstract, 'Class abstract', `${path}/abstract`);
+    description(value.description, 'Class description', `${path}/description`);
+    const extendsPath = `${path}/extends`;
+    const parents = array(value.extends, 'Class extends', extendsPath).map((parent, index) => definitionRef(parent, 'class', 'Class parent', `${extendsPath}/${index}`));
+    unique(parents.map(Key.of), 'Class parents', extendsPath);
+    const propertiesPath = `${path}/properties`;
+    const properties = array(value.properties, 'Class properties', propertiesPath);
+    for (const [index, property] of properties.entries())
+        compiledProperty(property, values, `${propertiesPath}/${index}`);
+    unique(properties.map((property, index) => string(object(property, 'Compiled Property', `${propertiesPath}/${index}`).name, 'Property name', `${propertiesPath}/${index}/name`)), 'Class Properties', propertiesPath);
+    if (value.kind === 'node') {
+        if (value.data !== undefined)
+            dataDefinition(value.data, `${path}/data`);
+        boundedString(value.icon, 1, 8000, 'Class icon', `${path}/icon`);
+        classPolicies(value.policies, true, `${path}/policies`);
+        const methodsPath = `${path}/methods`;
+        const methods = array(value.methods, 'Class methods', methodsPath);
+        for (const [index, method] of methods.entries())
+            compiledCallable(method, values, true, `${methodsPath}/${index}`);
+        unique(methods.map((method, index) => string(object(method, 'Compiled Method', `${methodsPath}/${index}`).name, 'Method name', `${methodsPath}/${index}/name`)), 'Class Methods', methodsPath);
+    }
+    else {
+        classPolicies(value.policies, false, `${path}/policies`);
+        edgeContract(value, path);
+    }
+    return value;
+}
+function compiledFunction(input, values, path) {
+    const value = object(input, 'Compiled Function', path);
+    compiledCallable(value, values, false, path);
+    definitionRef(value.ref, 'function', 'Function ref', `${path}/ref`);
+    return value;
+}
+function compiledProperty(input, values, path) {
+    const value = object(input, 'Compiled Property', path);
+    exact(value, ['name', 'required', 'visibility', 'value'], 'Compiled Property', path, [
+        'auto',
+        'description',
+        'ordering',
+    ]);
+    memberName(value.name, 'Property name', `${path}/name`);
+    boolean(value.required, 'Property required', `${path}/required`);
+    if (value.visibility !== 'public' && value.visibility !== 'private') {
+        invalid('Property visibility', undefined, `${path}/visibility`);
+    }
+    description(value.description, 'Property description', `${path}/description`);
+    if (value.auto !== undefined)
+        propertyAuto(value.auto, `${path}/auto`);
+    const valueIndex = index(value.value, values.length, 'Property value', `${path}/value`);
+    if (value.ordering !== classifyValueProgramOrdering(values[valueIndex])) {
+        invalid('Property ordering', 'COMPILED_CANONICAL_MISMATCH', `${path}/ordering`);
+    }
+}
+function compiledCallable(input, values, method, path) {
+    const value = object(input, 'Compiled Callable', path);
+    exact(value, method
+        ? ['name', 'auth', 'static', 'inheritance', 'input', 'output']
+        : ['ref', 'auth', 'input', 'output'], 'Compiled Callable', path, ['policy', 'description', 'fields']);
+    if (method) {
+        memberName(value.name, 'Method name', `${path}/name`);
+        boolean(value.static, 'Method static', `${path}/static`);
+        if (value.inheritance !== 'abstract' &&
+            value.inheritance !== 'default' &&
+            value.inheritance !== 'sealed') {
+            invalid('Method inheritance', undefined, `${path}/inheritance`);
+        }
+    }
+    if (value.auth !== 'anonymous' && value.auth !== 'authenticated' && value.auth !== 'authorized') {
+        invalid('Callable auth', undefined, `${path}/auth`);
+    }
+    description(value.description, 'Callable description', `${path}/description`);
+    if (value.policy !== undefined) {
+        if (value.auth !== 'authorized' || (method && value.inheritance === 'abstract')) {
+            invalid('Callable Policy placement', undefined, `${path}/policy`);
+        }
+        policyCheck(value.policy, 0, `${path}/policy`);
+    }
+    const inputIndex = index(value.input, values.length, 'Callable input', `${path}/input`);
+    if (value.fields !== undefined) {
+        const fieldsPath = `${path}/fields`;
+        for (const [field, nodes] of Object.entries(object(value.fields, 'Callable fields', fieldsPath))) {
+            const fieldPath = pointer(fieldsPath, field);
+            const fieldNodes = array(nodes, 'Callable field nodes', fieldPath);
+            if (fieldNodes.length === 0)
+                invalid('Callable field nodes', undefined, fieldPath);
+            for (const [indexValue, node] of fieldNodes.entries()) {
+                index(node, values[inputIndex].nodes.length, 'Callable field', `${fieldPath}/${indexValue}`);
+            }
+        }
+    }
+    const outputPath = `${path}/output`;
+    const output = object(value.output, 'Callable output', outputPath);
+    if (output.mode === 'binary')
+        exact(output, ['mode'], 'binary output', outputPath);
+    else {
+        if (output.mode !== 'value' && output.mode !== 'stream')
+            invalid('Callable output mode', undefined, `${outputPath}/mode`);
+        exact(output, ['mode', 'value'], 'Callable output', outputPath);
+        index(output.value, values.length, 'Callable output value', `${outputPath}/value`);
+    }
+}
+function compiledPolicy(input, path) {
+    const value = object(input, 'Policy', path);
+    exact(value, ['ref', 'expression'], 'Policy', path, ['description']);
+    definitionRef(value.ref, 'policy', 'Policy ref', `${path}/ref`);
+    description(value.description, 'Policy description', `${path}/description`);
+    policyExpression(value.expression, 0, `${path}/expression`);
+    return value;
+}
+function compiledView(input, path) {
+    const value = object(input, 'View', path);
+    exact(value, ['ref', 'target'], 'View', path, ['description']);
+    definitionRef(value.ref, 'view', 'View ref', `${path}/ref`);
+    description(value.description, 'View description', `${path}/description`);
+    const targetPath = `${path}/target`;
+    const target = object(value.target, 'View target', targetPath);
+    if (target.kind === 'domain') {
+        exact(target, ['kind'], 'Domain View target', targetPath);
+    }
+    else if (target.kind === 'definition') {
+        exact(target, ['kind', 'definitions'], 'Definition View target', targetPath);
+        const definitionsPath = `${targetPath}/definitions`;
+        const definitions = array(target.definitions, 'View target definitions', definitionsPath).map((item, index) => definitionRef(item, 'class', 'View target Class', `${definitionsPath}/${index}`));
+        if (definitions.length === 0)
+            invalid('View target definitions', undefined, definitionsPath);
+        unique(definitions.map(Key.of), 'View target definitions', definitionsPath);
+    }
+    else {
+        invalid('View target', undefined, targetPath);
+    }
+    return value;
+}
+function compiledCoreDefinition(input, path) {
+    const value = object(input, 'Core Definition', path);
+    exact(value, ['ref', 'class', 'properties'], 'Core Definition', path);
+    definitionRef(value.ref, 'core', 'Core ref', `${path}/ref`);
+    definitionRef(value.class, 'class', 'Core Class', `${path}/class`);
+    propertyValues(value.properties, 'Core Properties', `${path}/properties`);
+    return value;
+}
+function compiledCoreEdge(input, path) {
+    const value = object(input, 'Core Edge', path);
+    exact(value, ['class', 'source', 'target', 'properties'], 'Core Edge', path);
+    definitionRef(value.class, 'class', 'Core Edge Class', `${path}/class`);
+    coreEndpoint(value.source, 'Core Edge source', `${path}/source`);
+    coreEndpoint(value.target, 'Core Edge target', `${path}/target`);
+    propertyValues(value.properties, 'Core Edge Properties', `${path}/properties`);
+    return value;
+}
+function propertyAuto(input, path) {
+    const value = object(input, 'Property auto', path);
+    exact(value, ['on', 'set'], 'Property auto', path);
+    const eventsPath = `${path}/on`;
+    const events = array(value.on, 'Property auto events', eventsPath);
+    if (events.length === 0 || events.some((event) => event !== 'create' && event !== 'update')) {
+        invalid('Property auto events', undefined, eventsPath);
+    }
+    unique(events.map(String), 'Property auto events', eventsPath);
+    if (value.set !== 'instant')
+        invalid('Property auto setter', undefined, `${path}/set`);
+}
+function classPolicies(input, node, path) {
+    const value = object(input, 'Class Policies', path);
+    exact(value, [], 'Class Policies', path, node ? ['read', 'traverse'] : ['traverse']);
+    if (value.read !== undefined)
+        definitionRef(value.read, 'policy', 'Class read Policy', `${path}/read`);
+    if (value.traverse !== undefined)
+        definitionRef(value.traverse, 'policy', 'Class traverse Policy', `${path}/traverse`);
+}
+function edgeContract(value, path) {
+    const constraintsPath = `${path}/constraints`;
+    const constraints = object(value.constraints, 'Edge constraints', constraintsPath);
+    exact(constraints, [], 'Edge constraints', constraintsPath, ['noSelf', 'acyclic']);
+    if (constraints.noSelf !== undefined && constraints.noSelf !== true)
+        invalid('Edge noSelf constraint', undefined, `${constraintsPath}/noSelf`);
+    if (constraints.acyclic !== undefined && constraints.acyclic !== true)
+        invalid('Edge acyclic constraint', undefined, `${constraintsPath}/acyclic`);
+    if (value.orientation === 'directed') {
+        const endpointsPath = `${path}/endpoints`;
+        const endpoints = object(value.endpoints, 'directed Edge endpoints', endpointsPath);
+        exact(endpoints, ['source', 'target'], 'directed Edge endpoints', endpointsPath);
+        edgeEndpoint(endpoints.source, 'outgoing', 'directed Edge source', `${endpointsPath}/source`);
+        edgeEndpoint(endpoints.target, 'incoming', 'directed Edge target', `${endpointsPath}/target`);
+        if (object(endpoints.source, 'directed Edge source', `${endpointsPath}/source`).role ===
+            object(endpoints.target, 'directed Edge target', `${endpointsPath}/target`).role) {
+            invalid('Edge endpoint roles', undefined, endpointsPath);
+        }
+        return;
+    }
+    if (value.orientation !== 'undirected' || constraints.acyclic !== undefined) {
+        invalid('Edge orientation', undefined, `${path}/orientation`);
+    }
+    const endpointsPath = `${path}/endpoints`;
+    const endpoints = array(value.endpoints, 'undirected Edge endpoints', endpointsPath);
+    if (endpoints.length !== 2)
+        invalid('undirected Edge endpoints', undefined, endpointsPath);
+    edgeEndpoint(endpoints[0], 'incident', 'undirected first endpoint', `${endpointsPath}/0`);
+    edgeEndpoint(endpoints[1], 'incident', 'undirected second endpoint', `${endpointsPath}/1`);
+    if (object(endpoints[0], 'undirected first endpoint', `${endpointsPath}/0`).role ===
+        object(endpoints[1], 'undirected second endpoint', `${endpointsPath}/1`).role) {
+        invalid('Edge endpoint roles', undefined, endpointsPath);
+    }
+}
+function edgeEndpoint(input, count, label, path) {
+    const value = object(input, label, path);
+    exact(value, ['role', 'accepts', count], label, path);
+    memberName(value.role, `${label} role`, `${path}/role`);
+    const acceptsPath = `${path}/accepts`;
+    const accepts = array(value.accepts, `${label} accepts`, acceptsPath).map((item, index) => definitionRef(item, 'class', `${label} accepted Class`, `${acceptsPath}/${index}`));
+    if (accepts.length === 0)
+        invalid(`${label} accepts`, undefined, acceptsPath);
+    unique(accepts.map(Key.of), `${label} accepts`, acceptsPath);
+    if (value[count] !== '0..*' &&
+        value[count] !== '1..*' &&
+        value[count] !== '0..1' &&
+        value[count] !== '1') {
+        invalid(`${label} ${count}`, undefined, `${path}/${count}`);
+    }
+}
+function policyExpression(input, depth, path) {
+    if (depth > 64)
+        invalid('Policy expression depth', undefined, path);
+    const value = object(input, 'Policy expression', path);
+    if (Object.hasOwn(value, 'match')) {
+        exact(value, ['match'], 'Policy expression', path);
+        policyPattern(value.match, depth + 1, `${path}/match`);
+        return;
+    }
+    const member = Object.hasOwn(value, 'allOf') ? 'allOf' : 'anyOf';
+    exact(value, [member], 'Policy expression', path);
+    const memberPath = pointer(path, member);
+    const refs = array(value[member], `Policy ${member}`, memberPath).map((item, index) => definitionRef(item, 'policy', `Policy ${member} ref`, `${memberPath}/${index}`));
+    if (refs.length === 0)
+        invalid(`Policy ${member}`, undefined, memberPath);
+    unique(refs.map(Key.of), `Policy ${member}`, memberPath);
+}
+function policyPattern(input, depth, path) {
+    if (depth > 64)
+        invalid('Policy pattern depth', undefined, path);
+    const value = object(input, 'Policy pattern', path);
+    if (Object.hasOwn(value, 'exists')) {
+        exact(value, ['exists'], 'Policy exists', path);
+        const existsPath = `${path}/exists`;
+        const exists = object(value.exists, 'Policy exists', existsPath);
+        exact(exists, ['nodes', 'where'], 'Policy exists', existsPath);
+        const nodesPath = `${existsPath}/nodes`;
+        const nodes = array(exists.nodes, 'Policy variables', nodesPath);
+        if (nodes.length < 1 || nodes.length > 4)
+            invalid('Policy variables', undefined, nodesPath);
+        for (const [index, node] of nodes.entries()) {
+            const variablePath = `${nodesPath}/${index}`;
+            const variable = object(node, 'Policy variable', variablePath);
+            exact(variable, ['variable', 'class'], 'Policy variable', variablePath);
+            policyTerm(variable.variable, true, `${variablePath}/variable`);
+            definitionRef(variable.class, 'class', 'Policy variable Class', `${variablePath}/class`);
+        }
+        policyPattern(exists.where, depth + 1, `${existsPath}/where`);
+        return;
+    }
+    if (Object.hasOwn(value, 'allOf') || Object.hasOwn(value, 'anyOf')) {
+        const member = Object.hasOwn(value, 'allOf') ? 'allOf' : 'anyOf';
+        exact(value, [member], 'Policy pattern composition', path);
+        const memberPath = pointer(path, member);
+        const expressions = array(value[member], `Policy pattern ${member}`, memberPath);
+        if (expressions.length === 0)
+            invalid(`Policy pattern ${member}`, undefined, memberPath);
+        for (const [index, expression] of expressions.entries())
+            policyPattern(expression, depth + 1, `${memberPath}/${index}`);
+        return;
+    }
+    exact(value, ['source', 'class', 'target'], 'Policy Edge pattern', path, ['repeat']);
+    policyTerm(value.source, false, `${path}/source`);
+    definitionRef(value.class, 'class', 'Policy Edge Class', `${path}/class`);
+    policyTerm(value.target, false, `${path}/target`);
+    if (value.repeat !== undefined) {
+        const repeatPath = `${path}/repeat`;
+        const repeat = object(value.repeat, 'Policy repeat', repeatPath);
+        exact(repeat, ['min', 'max'], 'Policy repeat', repeatPath);
+        const minimum = boundedInteger(repeat.min, 0, 3, 'Policy repeat minimum', `${repeatPath}/min`);
+        const maximum = boundedInteger(repeat.max, 0, 3, 'Policy repeat maximum', `${repeatPath}/max`);
+        if (minimum > maximum)
+            invalid('Policy repeat order', undefined, repeatPath);
+    }
+}
+function policyTerm(input, variableOnly, path) {
+    const value = object(input, 'Policy pattern term', path);
+    if (value.kind === 'variable') {
+        exact(value, ['kind', 'id'], 'Policy variable term', path);
+        integer(value.id, 'Policy variable id', `${path}/id`);
+        return;
+    }
+    if (variableOnly ||
+        (value.kind !== 'subject' &&
+            value.kind !== 'object' &&
+            value.kind !== 'source' &&
+            value.kind !== 'target')) {
+        invalid('Policy pattern term', undefined, `${path}/kind`);
+    }
+    exact(value, ['kind'], 'Policy pattern term', path);
+}
+function policyCheck(input, depth, path) {
+    if (depth > 64)
+        invalid('Callable Policy depth', undefined, path);
+    const value = object(input, 'Callable Policy', path);
+    if (Object.hasOwn(value, 'check')) {
+        exact(value, ['check', 'object'], 'Callable Policy check', path);
+        definitionRef(value.check, 'policy', 'Callable Policy ref', `${path}/check`);
+        const objectPath = `${path}/object`;
+        const target = object(value.object, 'Callable Policy object', objectPath);
+        if (target.kind === 'self')
+            exact(target, ['kind'], 'Callable Policy self', objectPath);
+        else if (target.kind === 'input') {
+            exact(target, ['kind', 'field'], 'Callable Policy input', objectPath);
+            memberName(target.field, 'Callable Policy input field', `${objectPath}/field`);
+        }
+        else if (target.kind === 'ref') {
+            exact(target, ['kind', 'ref'], 'Callable Policy object ref', objectPath);
+            definitionRef(target.ref, undefined, 'Callable Policy object ref', `${objectPath}/ref`);
+        }
+        else
+            invalid('Callable Policy object', undefined, `${objectPath}/kind`);
+        return;
+    }
+    const member = Object.hasOwn(value, 'allOf') ? 'allOf' : 'anyOf';
+    exact(value, [member], 'Callable Policy composition', path);
+    const memberPath = pointer(path, member);
+    const expressions = array(value[member], `Callable Policy ${member}`, memberPath);
+    if (expressions.length === 0)
+        invalid(`Callable Policy ${member}`, undefined, memberPath);
+    for (const [index, expression] of expressions.entries())
+        policyCheck(expression, depth + 1, `${memberPath}/${index}`);
+}
+function coreEndpoint(input, label, path) {
+    const value = object(input, label, path);
+    if (value.kind === 'domain')
+        exact(value, ['kind'], label, path);
+    else
+        definitionRef(value, 'core', label, path);
+}
+function definitionRef(input, kind, label, path) {
+    if (!isDefinitionRef(input) || (kind !== undefined && input.kind !== kind))
+        invalid(label, undefined, path);
+    return input;
+}
+function propertyValues(input, label, path) {
+    try {
+        PropertyValues.accept(input, path);
+    }
+    catch {
+        invalid(label, undefined, path);
+    }
+}
+function dataDefinition(input, path) {
+    const value = object(input, 'Class data', path);
+    exact(value, ['mediaType'], 'Class data', path);
+    if (typeof value.mediaType !== 'string' || !MEDIA_TYPE_PATTERN.test(value.mediaType))
+        invalid('Class data mediaType', undefined, `${path}/mediaType`);
+}
+function validateClosure(candidate) {
+    validateDependencyCycles(candidate);
+    const definitions = new Map();
+    for (const [entryIndex, entry] of candidate.closure.entries()) {
+        const collections = [
+            ['classes', entry.definitions.classes],
+            ['functions', entry.definitions.functions],
+            ['policies', entry.definitions.policies],
+            ['views', entry.definitions.views],
+            ['core', entry.definitions.core],
+        ];
+        for (const [collection, values] of collections) {
+            for (const [definitionIndex, definition] of values.entries()) {
+                const path = `/closure/${entryIndex}/definitions/${collection}/${definitionIndex}`;
+                const key = Key.of(definition.ref);
+                if (definitions.has(key))
+                    invalid('duplicate Definition', undefined, `${path}/ref`);
+                definitions.set(key, { value: definition, path });
+            }
+        }
+    }
+    const requireDefinition = (ref, label, path) => {
+        const result = definitions.get(Key.of(ref));
+        if (result === undefined)
+            invalid(label, 'COMPILED_SOURCE_INVALID', path);
+        return result.value;
+    };
+    for (const [entryIndex, entry] of candidate.closure.entries()) {
+        const visibleOrigins = new Set([
+            entry.origin,
+            ...entry.dependencies.map(({ origin }) => origin),
+        ]);
+        const collections = [
+            ['definitions/classes', entry.definitions.classes],
+            ['definitions/functions', entry.definitions.functions],
+            ['definitions/policies', entry.definitions.policies],
+            ['definitions/views', entry.definitions.views],
+            ['definitions/core', entry.definitions.core],
+            ['facts/core', entry.facts.core],
+        ];
+        for (const [collection, values] of collections) {
+            for (const [definitionIndex, definition] of values.entries()) {
+                walk(definition, `/closure/${entryIndex}/${collection}/${definitionIndex}`, (ref, path) => {
+                    const resolved = requireDefinition(ref, 'unresolved Definition ref', path);
+                    if (!visibleOrigins.has(ref.origin))
+                        invalid('non-direct dependency ref', 'COMPILED_SOURCE_INVALID', path);
+                    if (resolved.ref === undefined)
+                        invalid('resolved Definition', 'COMPILED_SOURCE_INVALID', path);
+                });
+            }
+        }
+    }
+    const classes = new Map();
+    for (const [entryIndex, entry] of candidate.closure.entries())
+        for (const [classIndex, definition] of entry.definitions.classes.entries())
+            classes.set(Key.of(definition.ref), {
+                value: definition,
+                path: `/closure/${entryIndex}/definitions/classes/${classIndex}`,
+            });
+    const visiting = new Set();
+    const visited = new Set();
+    const visitClass = (key) => {
+        if (visited.has(key))
+            return;
+        if (visiting.has(key))
+            invalid('Class inheritance cycle', 'COMPILED_SOURCE_INVALID', `${classes.get(key)?.path ?? ''}/extends`);
+        const definition = classes.get(key);
+        if (definition === undefined)
+            invalid('Class inheritance ref', 'COMPILED_SOURCE_INVALID', '/closure');
+        visiting.add(key);
+        for (const [parentIndex, parentRef] of definition.value.extends.entries()) {
+            const parent = classes.get(Key.of(parentRef));
+            if (parent === undefined || parent.value.kind !== definition.value.kind) {
+                invalid('Class inheritance kind', 'COMPILED_SOURCE_INVALID', `${definition.path}/extends/${parentIndex}`);
+            }
+            visitClass(Key.of(parentRef));
+        }
+        visiting.delete(key);
+        visited.add(key);
+    };
+    for (const key of classes.keys())
+        visitClass(key);
+    for (const definition of classes.values()) {
+        if (definition.value.kind !== 'edge')
+            continue;
+        const endpoints = definition.value.orientation === 'directed'
+            ? [
+                definition.value.endpoints.source,
+                definition.value.endpoints.target,
+            ]
+            : definition.value.endpoints;
+        for (const [endpointIndex, endpoint] of endpoints.entries()) {
+            const endpointPath = definition.value.orientation === 'directed'
+                ? `${definition.path}/endpoints/${endpointIndex === 0 ? 'source' : 'target'}`
+                : `${definition.path}/endpoints/${endpointIndex}`;
+            for (const [acceptedIndex, accepted] of endpoint.accepts.entries()) {
+                if (classes.get(Key.of(accepted))?.value.kind !== 'node') {
+                    invalid('Edge endpoint Class', 'COMPILED_SOURCE_INVALID', `${endpointPath}/accepts/${acceptedIndex}`);
+                }
+            }
+        }
+    }
+    for (const [entryIndex, entry] of candidate.closure.entries()) {
+        for (const [definitionIndex, definition] of entry.definitions.core.entries()) {
+            const owner = classes.get(Key.of(definition.class));
+            if (owner?.value.kind !== 'node' || owner.value.abstract) {
+                invalid('Core exact Class', 'COMPILED_SOURCE_INVALID', `/closure/${entryIndex}/definitions/core/${definitionIndex}/class`);
+            }
+        }
+        for (const [edgeIndex, edge] of entry.facts.core.entries()) {
+            const owner = classes.get(Key.of(edge.class));
+            if (owner?.value.kind !== 'edge' || owner.value.abstract) {
+                invalid('Core Edge exact Class', 'COMPILED_SOURCE_INVALID', `/closure/${entryIndex}/facts/core/${edgeIndex}/class`);
+            }
+        }
+    }
+}
+function validateDependencyCycles(candidate) {
+    const byOrigin = new Map(candidate.closure.map((entry, index) => [entry.origin, { entry, index }]));
+    const visiting = new Set();
+    const visited = new Set();
+    const visit = (origin) => {
+        if (visited.has(origin))
+            return;
+        if (visiting.has(origin))
+            invalid('dependency cycle', 'COMPILED_DEPENDENCY_CYCLE', `/closure/${byOrigin.get(origin)?.index ?? 0}/dependencies`);
+        visiting.add(origin);
+        for (const dependency of byOrigin.get(origin)?.entry.dependencies ?? [])
+            visit(dependency.origin);
+        visiting.delete(origin);
+        visited.add(origin);
+    };
+    for (const origin of byOrigin.keys())
+        visit(origin);
+}
+function walk(input, path, visit) {
+    if (isDefinitionRef(input)) {
+        visit(input, path);
+        return;
+    }
+    if (input === null || typeof input !== 'object')
+        return;
+    if (Array.isArray(input)) {
+        for (const [index, value] of input.entries())
+            walk(value, `${path}/${index}`, visit);
+        return;
+    }
+    for (const [key, value] of Object.entries(input))
+        walk(value, pointer(path, key), visit);
+}
+function program(input, programIndex, path) {
+    const value = object(input, `values[${programIndex}]`, path);
+    exact(value, ['root', 'nodes', 'patterns'], 'ValueProgram', path);
+    const nodesPath = `${path}/nodes`;
+    const nodes = array(value.nodes, 'ValueProgram nodes', nodesPath).map((node, index) => valueNode(node, index, `${nodesPath}/${index}`));
+    const root = index(value.root, nodes.length, 'ValueProgram root', `${path}/root`);
+    const patternsPath = `${path}/patterns`;
+    const patterns = array(value.patterns, 'ValueProgram patterns', patternsPath).map((item, index) => pattern(item, index, `${patternsPath}/${index}`));
+    unique(patterns.map(({ source }) => source), 'patterns', patternsPath);
+    for (const [nodeIndex, node] of nodes.entries()) {
+        for (const [name, child] of Object.entries(node.children))
+            index(child, nodes.length, 'ValueNode child', pointer(`${nodesPath}/${nodeIndex}/children`, name));
+        if (node.reference !== undefined)
+            index(node.reference, nodes.length, 'ValueNode reference', `${nodesPath}/${nodeIndex}/reference`);
+    }
+    return { root, nodes, patterns };
+}
+function valueNode(input, nodeIndex, path) {
+    const value = object(input, `nodes[${nodeIndex}]`, path);
+    exact(value, ['schema', 'children'], 'ValueNode', path, ['reference']);
+    const children = {};
+    const childrenPath = `${path}/children`;
+    for (const [name, child] of Object.entries(object(value.children, 'ValueNode children', childrenPath))) {
+        children[name] = integer(child, 'ValueNode child', pointer(childrenPath, name));
+    }
+    return {
+        schema: value.schema,
+        children,
+        ...(value.reference === undefined
+            ? {}
+            : { reference: integer(value.reference, 'reference', `${path}/reference`) }),
+    };
+}
+function pattern(input, patternIndex, path) {
+    const value = object(input, `patterns[${patternIndex}]`, path);
+    exact(value, ['source', 'start', 'states'], 'Pattern', path);
+    if (typeof value.source !== 'string')
+        invalid('Pattern source', undefined, `${path}/source`);
+    const statesPath = `${path}/states`;
+    const states = array(value.states, 'Pattern states', statesPath).map((item, stateIndex) => {
+        const statePath = `${statesPath}/${stateIndex}`;
+        const state = object(item, 'Pattern state', statePath);
+        exact(state, ['epsilon', 'transitions'], 'Pattern state', statePath, ['accepting']);
+        if (state.accepting !== undefined && state.accepting !== true)
+            invalid('accepting', undefined, `${statePath}/accepting`);
+        const epsilonPath = `${statePath}/epsilon`;
+        const transitionsPath = `${statePath}/transitions`;
+        return {
+            epsilon: array(state.epsilon, 'epsilon', epsilonPath).map((target, index) => integer(target, 'epsilon', `${epsilonPath}/${index}`)),
+            transitions: array(state.transitions, 'transitions', transitionsPath).map((transitionValue, transitionIndex) => {
+                const transitionPath = `${transitionsPath}/${transitionIndex}`;
+                const transition = object(transitionValue, 'transition', transitionPath);
+                exact(transition, ['to', 'ranges'], 'transition', transitionPath);
+                const rangesPath = `${transitionPath}/ranges`;
+                return {
+                    to: integer(transition.to, 'transition target', `${transitionPath}/to`),
+                    ranges: array(transition.ranges, 'ranges', rangesPath).map((rangeValue, rangeIndex) => {
+                        const rangePath = `${rangesPath}/${rangeIndex}`;
+                        const range = array(rangeValue, 'range', rangePath);
+                        if (range.length !== 2)
+                            invalid('range', undefined, rangePath);
+                        const minimum = scalar(range[0], 'range minimum', `${rangePath}/0`);
+                        const maximum = scalar(range[1], 'range maximum', `${rangePath}/1`);
+                        if (minimum > maximum)
+                            invalid('range order', undefined, rangePath);
+                        return [minimum, maximum];
+                    }),
+                };
+            }),
+            ...(state.accepting === true ? { accepting: true } : {}),
+        };
+    });
+    const start = index(value.start, states.length, 'Pattern start', `${path}/start`);
+    for (const [stateIndex, state] of states.entries()) {
+        state.epsilon.forEach((target, indexValue) => index(target, states.length, 'epsilon', `${statesPath}/${stateIndex}/epsilon/${indexValue}`));
+        state.transitions.forEach(({ to }, transitionIndex) => index(to, states.length, 'transition', `${statesPath}/${stateIndex}/transitions/${transitionIndex}/to`));
+    }
+    return { source: value.source, start, states };
+}
+function dependency(input, label, path) {
+    const value = object(input, label, path);
+    exact(value, ['origin', 'revision'], label, path);
+    return {
+        origin: originValue(value.origin, label, `${path}/origin`),
+        revision: revisionValue(value.revision, label, `${path}/revision`),
+    };
+}
+function originValue(input, label, path) {
+    if (typeof input !== 'string' || !DOMAIN_ORIGIN_PATTERN.test(input))
+        invalid(label, undefined, path);
+    return input;
+}
+function revisionValue(input, label, path) {
+    if (typeof input !== 'string' || !DOMAIN_REVISION_PATTERN.test(input))
+        invalid(label, undefined, path);
+    return input;
+}
+function object(input, label, path) {
+    if (input === null || typeof input !== 'object' || Array.isArray(input))
+        invalid(label, undefined, path);
+    return input;
+}
+function array(input, label, path) {
+    if (!Array.isArray(input))
+        invalid(label, undefined, path);
+    return input;
+}
+function exact(value, required, label, path, optional = []) {
+    const allowed = new Set([...required, ...optional]);
+    const unknown = Object.keys(value)
+        .filter((key) => !allowed.has(key))
+        .sort(compare)[0];
+    if (unknown !== undefined)
+        invalid(label, undefined, pointer(path, unknown));
+    const missing = required.find((key) => !Object.hasOwn(value, key));
+    if (missing !== undefined)
+        invalid(label, undefined, pointer(path, missing));
+}
+function integer(input, label, path) {
+    if (!Number.isSafeInteger(input) || input < 0)
+        invalid(label, undefined, path);
+    return input;
+}
+function boundedInteger(input, minimum, maximum, label, path) {
+    const value = integer(input, label, path);
+    if (value < minimum || value > maximum)
+        invalid(label, undefined, path);
+    return value;
+}
+function boolean(input, label, path) {
+    if (typeof input !== 'boolean')
+        invalid(label, undefined, path);
+    return input;
+}
+function string(input, label, path) {
+    if (typeof input !== 'string')
+        invalid(label, undefined, path);
+    return input;
+}
+function memberName(input, label, path) {
+    const value = string(input, label, path);
+    if (!MEMBER_NAME_PATTERN.test(value))
+        invalid(label, undefined, path);
+    return value;
+}
+function boundedString(input, minimum, maximum, label, path) {
+    if (input === undefined)
+        return;
+    const value = string(input, label, path);
+    if (value.length < minimum || value.length > maximum)
+        invalid(label, undefined, path);
+}
+function description(input, label, path) {
+    boundedString(input, 1, 1000, label, path);
+}
+function unique(values, label, path) {
+    const seen = new Set();
+    for (const [indexValue, value] of values.entries()) {
+        if (seen.has(value))
+            invalid(label, undefined, `${path}/${indexValue}`);
+        seen.add(value);
+    }
+}
+function index(input, length, label, path) {
+    const value = integer(input, label, path);
+    if (value >= length)
+        invalid(label, undefined, path);
+    return value;
+}
+function scalar(input, label, path) {
+    const value = integer(input, label, path);
+    if (value > 0x10ffff)
+        invalid(label, undefined, path);
+    return value;
+}
+function invalid(label, code = 'COMPILED_STRUCTURE_INVALID', path = '') {
+    return invalidCompiled(code, `Invalid compiled Schema ${label}.`, path);
+}
+function compare(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+function deepFreeze(input) {
+    if (input === null || typeof input !== 'object' || Object.isFrozen(input))
+        return input;
+    for (const value of Object.values(input))
+        deepFreeze(value);
+    return Object.freeze(input);
+}