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

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

@@ -0,0 +1,109 @@
+import { Key, MethodKey, PropertyKey } from '../../addressing/index.js';
+import { compareUnicode } from '../../addressing/ordering.js';
+import { createDomain, createSourceDomain } from '../../domain/create.js';
+import { createDomainValidation, unknownInputField } from '../../domain/validation/create.js';
+import { inputFieldNodes } from '../../language/value/compile/fields.js';
+import { prepareValueSchema } from '../../language/value/evaluate/preparation.js';
+import { validateValueProgram } from '../../language/value/evaluate/program.js';
+import { validateJsonInstance } from '../../language/value/evaluate/validate.js';
+import { classifyOrdering } from '../../language/value/ordering.js';
+import { revisionOfDomainSchema } from '../canonical/revision.js';
+import { SchemaError } from '../diagnostic.js';
+import { validateDomainSchemaSemantics } from '../validation/domain.js';
+import { lookupForDomainClosure } from './closure.js';
+import { createDomainValueSchemaRegistry } from './value.registry.js';
+const resolvedSchemas = new WeakMap();
+/** Resolve one accepted Schema through its exact retained source closure. */
+export function resolve(schema) {
+    const cached = resolvedSchemas.get(schema);
+    if (cached !== undefined)
+        return cached;
+    const resolved = resolveWithLookup(schema, lookupForDomainClosure(schema));
+    resolvedSchemas.set(schema, resolved);
+    return resolved;
+}
+function resolveWithLookup(schema, lookup) {
+    const validation = validateDomainSchemaSemantics(schema, lookup);
+    if (validation.diagnostics.length > 0)
+        throw new SchemaError(validation.diagnostics);
+    const closure = [schema, ...validation.context.dependencies.values()];
+    const registries = new Map(closure.map((owner) => [owner.origin, createDomainValueSchemaRegistry(owner, lookup)]));
+    const input = {
+        origin: schema.origin,
+        revision: revisionOfDomainSchema(schema),
+        closure: Object.freeze(closure
+            .map((owner) => Object.freeze({
+            origin: owner.origin,
+            revision: revisionOfDomainSchema(owner),
+        }))
+            .sort((left, right) => compareUnicode(left.origin, right.origin))),
+        dependencies: schema.dependencies,
+        definitions: Object.freeze(closure.flatMap(definitionsOf)),
+        coreEdges: schema.core.edges,
+        validation: sourceValidation(closure, registries),
+    };
+    const domain = createDomain(input);
+    return createSourceDomain(domain, schema);
+}
+function sourceValidation(closure, registries) {
+    const properties = new Map();
+    const callables = new Map();
+    for (const owner of closure) {
+        const registry = registries.get(owner.origin);
+        if (registry === undefined)
+            throw new TypeError(`No Value registry exists for ${owner.origin}.`);
+        for (const definition of Object.values(owner.classes)) {
+            for (const [name, property] of Object.entries(definition.properties)) {
+                properties.set(PropertyKey.of(definition.ref, name), Object.freeze({
+                    ordering: classifyOrdering(property.schema, registry),
+                    validate: (input) => validateJsonInstance(property.schema, input, registry),
+                }));
+            }
+            if (definition.kind !== 'node')
+                continue;
+            for (const [name, method] of Object.entries(definition.methods)) {
+                callables.set(MethodKey.of(definition.ref, name), callableValidation(method.input, method.output.mode === 'binary'
+                    ? undefined
+                    : method.output.mode === 'value'
+                        ? method.output.schema
+                        : method.output.item, registry));
+            }
+        }
+        for (const definition of Object.values(owner.functions)) {
+            callables.set(Key.of(definition.ref), callableValidation(definition.input, definition.output.mode === 'binary'
+                ? undefined
+                : definition.output.mode === 'value'
+                    ? definition.output.schema
+                    : definition.output.item, registry));
+        }
+    }
+    return createDomainValidation(properties, callables);
+}
+function callableValidation(input, output, registry) {
+    const prepared = prepareValueSchema(input, registry, '');
+    if (!prepared.compiled) {
+        throw new TypeError(`Accepted callable input cannot be prepared: ${prepared.message}`);
+    }
+    const inputProgram = prepared.value.program();
+    const fields = inputFieldNodes(inputProgram);
+    return Object.freeze({
+        ...(fields === undefined ? {} : { fields: Object.freeze(Object.keys(fields)) }),
+        validateInput: (value) => validateJsonInstance(input, value, registry),
+        validateInputField(field, value) {
+            const nodes = fields?.[field];
+            return nodes === undefined
+                ? unknownInputField(field)
+                : validateValueProgram(inputProgram, value, nodes);
+        },
+        validateOutput: (value) => output === undefined ? [] : validateJsonInstance(output, value, registry),
+    });
+}
+function definitionsOf(schema) {
+    return [
+        ...Object.values(schema.classes),
+        ...Object.values(schema.functions),
+        ...Object.values(schema.policies),
+        ...Object.values(schema.views),
+        ...Object.values(schema.core.nodes),
+    ];
+}

package/dist/v1/schema/resolution/origins.d.ts

@@ -1,17 +1,14 @@
-import type { FunctionDeclaration, MethodDeclaration } from '../callable.js';
-import type { ClassDeclaration } from '../definition/class.js';
-import type { InterfaceDeclaration } from '../definition/interface.js';
-import type { DomainSchemaIR } from '../domain.ir.js';
-import type { PolicyDeclaration } from '../policy/ast.js';
-import type { SchemaRef } from '../reference.js';
-import type { JsonSchema } from '../value/schema.js';
+import type { DefinitionRef } from '../../addressing/index.js';
+import type { FunctionDefinition, MethodDefinition } from '../../language/callable/model/callable.js';
+import type { ClassDefinition } from '../../language/class/model/class.js';
+import type { PolicyDefinition } from '../../language/policy/model/policy.js';
+import type { JsonSchema } from '../../language/value/model/schema.js';
+import type { DomainSchemaIR } from '../model/schema.js';
 /** Collect only semantic refs, never strings or objects embedded as JSON data. */
 export declare function collectUsedForeignOrigins(schema: DomainSchemaIR): ReadonlySet<string>;
 /** Complete structured references in one schema, in canonical order. */
-export declare function collectDomainSchemaRefs(schema: DomainSchemaIR): readonly SchemaRef[];
-export declare function collectInterfaceRefs(declaration: InterfaceDeclaration, add: (ref: SchemaRef) => void): void;
-export declare function collectClassRefs(declaration: ClassDeclaration, add: (ref: SchemaRef) => void): void;
-export declare function collectCallableRefs(declaration: FunctionDeclaration | MethodDeclaration, add: (ref: SchemaRef) => void): void;
-export declare function collectPolicyDeclarationRefs(declaration: PolicyDeclaration, add: (ref: SchemaRef) => void): void;
-export declare function collectValueSchemaRefs(schema: JsonSchema, add: (ref: SchemaRef) => void): void;
-//# sourceMappingURL=origins.d.ts.map
+export declare function collectDomainDefinitionRefs(schema: DomainSchemaIR): readonly DefinitionRef[];
+export declare function collectClassRefs(declaration: ClassDefinition, add: (ref: DefinitionRef) => void): void;
+export declare function collectCallableRefs(declaration: FunctionDefinition | MethodDefinition, add: (ref: DefinitionRef) => void): void;
+export declare function collectPolicyDefinitionRefs(declaration: PolicyDefinition, add: (ref: DefinitionRef) => void): void;
+export declare function collectValueDefinitionRefs(schema: JsonSchema, add: (ref: DefinitionRef) => void): void;

package/dist/v1/schema/resolution/origins.js

@@ -1,24 +1,18 @@
-import { compareSchemaRefs, schemaRefIndex } from '../reference.js';
-import { walkSchema } from '../value/location/walk.js';
-import { isValueObject as isJsonObject } from '../value/object.js';
-import { parseNamedTypeReference } from '../value/resources/references.js';
+import { compareDefinitionRefs, definitionRefIndex } from '../../addressing/ordering.js';
+import { isValueObject as isJsonObject } from '../../language/value/model/object.js';
+import { walkSchema } from '../../language/value/syntax/walk.js';
 /** Collect only semantic refs, never strings or objects embedded as JSON data. */
 export function collectUsedForeignOrigins(schema) {
-    return new Set(collectDomainSchemaRefs(schema)
+    return new Set(collectDomainDefinitionRefs(schema)
         .filter((ref) => ref.origin !== schema.origin)
         .map((ref) => ref.origin));
 }
 /** Complete structured references in one schema, in canonical order. */
-export function collectDomainSchemaRefs(schema) {
+export function collectDomainDefinitionRefs(schema) {
     const result = new Map();
     const add = (ref) => {
-        result.set(schemaRefIndex(ref), ref);
+        result.set(definitionRefIndex(ref), ref);
     };
-    for (const value of Object.values(schema.types))
-        collectValueSchemaRefs(value, add);
-    for (const declaration of Object.values(schema.interfaces)) {
-        collectInterfaceRefs(declaration, add);
-    }
     for (const declaration of Object.values(schema.classes)) {
         collectClassRefs(declaration, add);
     }
@@ -26,7 +20,7 @@ export function collectDomainSchemaRefs(schema) {
         collectCallableRefs(declaration, add);
     }
     for (const declaration of Object.values(schema.policies)) {
-        collectPolicyDeclarationRefs(declaration, add);
+        collectPolicyDefinitionRefs(declaration, add);
     }
     for (const declaration of Object.values(schema.views)) {
         if (declaration.target.kind === 'definition')
@@ -34,29 +28,29 @@ export function collectDomainSchemaRefs(schema) {
     }
     for (const node of Object.values(schema.core.nodes))
         add(node.class);
-    for (const edge of schema.core.edges)
+    for (const edge of schema.core.edges) {
         add(edge.class);
-    return Object.freeze([...result.values()].sort(compareSchemaRefs));
-}
-export function collectInterfaceRefs(declaration, add) {
-    declaration.extends.forEach(add);
-    collectValueSchemaRefs(declaration.properties, add);
-    if ('methods' in declaration) {
-        Object.values(declaration.methods).forEach((method) => collectCallableRefs(method, add));
+        if (edge.source.kind !== 'domain')
+            add(edge.source);
+        if (edge.target.kind !== 'domain')
+            add(edge.target);
     }
-    if (declaration.family === 'edge')
-        collectEndpointRefs(declaration, add);
+    return Object.freeze([...result.values()].sort(compareDefinitionRefs));
 }
 export function collectClassRefs(declaration, add) {
-    declaration.implements.forEach(add);
-    collectValueSchemaRefs(declaration.properties, add);
-    if (declaration.family === 'edge') {
+    declaration.extends.forEach(add);
+    Object.values(declaration.properties).forEach((property) => collectValueDefinitionRefs(property.schema, add));
+    if (declaration.kind === 'edge') {
         collectEndpointRefs(declaration, add);
+        if (declaration.policies.traverse !== undefined)
+            add(declaration.policies.traverse);
         return;
     }
     Object.values(declaration.methods).forEach((method) => collectCallableRefs(method, add));
     if (declaration.policies.read !== undefined)
         add(declaration.policies.read);
+    if (declaration.policies.traverse !== undefined)
+        add(declaration.policies.traverse);
 }
 function collectEndpointRefs(declaration, add) {
     const endpoints = declaration.orientation === 'directed'
@@ -66,20 +60,23 @@ function collectEndpointRefs(declaration, add) {
     endpoints[1].accepts.forEach(add);
 }
 export function collectCallableRefs(declaration, add) {
-    collectValueSchemaRefs(declaration.input, add);
+    collectValueDefinitionRefs(declaration.input, add);
     if (declaration.output.mode === 'value')
-        collectValueSchemaRefs(declaration.output.schema, add);
+        collectValueDefinitionRefs(declaration.output.schema, add);
     if (declaration.output.mode === 'stream')
-        collectValueSchemaRefs(declaration.output.item, add);
+        collectValueDefinitionRefs(declaration.output.item, add);
     if (declaration.policy !== undefined)
         collectPolicyCheckRefs(declaration.policy, add);
 }
-export function collectPolicyDeclarationRefs(declaration, add) {
-    if ('match' in declaration) {
-        collectPolicyPatternRefs(declaration.match, add);
+export function collectPolicyDefinitionRefs(declaration, add) {
+    collectPolicyExpressionRefs(declaration.expression, add);
+}
+function collectPolicyExpressionRefs(expression, add) {
+    if ('match' in expression) {
+        collectPolicyPatternRefs(expression.match, add);
         return;
     }
-    const refs = 'allOf' in declaration ? declaration.allOf : declaration.anyOf;
+    const refs = 'allOf' in expression ? expression.allOf : expression.anyOf;
     refs.forEach(add);
 }
 function collectPolicyPatternRefs(expression, add) {
@@ -105,17 +102,10 @@ function collectPolicyCheckRefs(expression, add) {
     const children = 'allOf' in expression ? expression.allOf : expression.anyOf;
     children.forEach((child) => collectPolicyCheckRefs(child, add));
 }
-export function collectValueSchemaRefs(schema, add) {
+export function collectValueDefinitionRefs(schema, add) {
     walkSchema(schema, ({ schema: current }) => {
         if (!isJsonObject(current))
             return;
-        if (typeof current.$ref === 'string') {
-            const named = parseNamedTypeReference(current.$ref);
-            if (named !== undefined) {
-                const ref = { origin: named.origin, kind: 'type', name: named.name };
-                add(ref);
-            }
-        }
         const annotation = current['x-astrale-path'];
         if (!isJsonObject(annotation) || !Array.isArray(annotation.accepts))
             return;
@@ -129,4 +119,3 @@ export function collectValueSchemaRefs(schema, add) {
         }
     });
 }
-//# sourceMappingURL=origins.js.map

package/dist/v1/schema/resolution/value.registry.d.ts

@@ -1,8 +1,7 @@
-import type { DomainSchema } from '../domain.ir.js';
-import type { DomainSchemaLookup } from '../domain.lookup.js';
-import type { ValueSchemaRegistry } from '../value/registry.js';
+import type { ValueSchemaRegistry } from '../../language/value/reference/registry.js';
+import type { DomainSchemaLookup } from '../dependency/lookup.js';
+import type { DomainSchema } from '../model/schema.js';
 import type { DomainResolutionContext } from './context.js';
 /** Build the exact value-schema resource closure for one installed Domain. */
 export declare function createDomainValueSchemaRegistry(schema: DomainSchema, lookup?: DomainSchemaLookup): ValueSchemaRegistry;
 export declare function createValueSchemaRegistry(context: DomainResolutionContext): ValueSchemaRegistry;
-//# sourceMappingURL=value.registry.d.ts.map

package/dist/v1/schema/resolution/value.registry.js

@@ -1,5 +1,5 @@
-import { revisionOfDomainSchema } from '../domain.revision.js';
-import { graphNodePathSchema } from '../value/extensions/node-path/schema.js';
+import { graphNodePathSchema } from '../../language/value/syntax/node-path/schema.js';
+import { revisionOfDomainSchema } from '../canonical/revision.js';
 import { lookupForDomainClosure } from './closure.js';
 import { buildDomainResolutionContext } from './context.js';
 /** Build the exact value-schema resource closure for one installed Domain. */
@@ -28,19 +28,12 @@ export function createValueSchemaRegistry(context) {
     });
 }
 function domainValueRegistry(schema) {
-    const nodeDefinitions = [
-        ...Object.entries(schema.interfaces)
-            .filter(([, declaration]) => declaration.family === 'node')
-            .map(([name]) => ({ origin: schema.origin, kind: 'interface', name })),
-        ...Object.entries(schema.classes)
-            .filter(([, declaration]) => declaration.family === 'node')
-            .map(([name]) => ({ origin: schema.origin, kind: 'class', name })),
-    ];
+    const nodeDefinitions = Object.entries(schema.classes)
+        .filter(([, declaration]) => declaration.kind === 'node')
+        .map(([name]) => ({ origin: schema.origin, kind: 'class', name }));
     return Object.freeze({
         origin: schema.origin,
         dependencies: schema.dependencies,
-        types: schema.types,
         nodeDefinitions: Object.freeze(nodeDefinitions),
     });
 }
-//# sourceMappingURL=value.registry.js.map

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

@@ -0,0 +1 @@
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';

package/dist/v1/schema/revision.js

@@ -0,0 +1 @@
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';

package/dist/v1/schema/validation/class.d.ts

@@ -0,0 +1,5 @@
+import type { DefinitionAnalysisResult } from '../analysis/class.js';
+import type { SchemaDiagnostic } from '../diagnostic.js';
+import type { DomainResolutionContext } from '../resolution/context.js';
+/** Validate the semantic contracts owned by Class declarations. */
+export declare function validateDefinitions(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult): readonly SchemaDiagnostic[];

package/dist/v1/schema/validation/class.js

@@ -0,0 +1,208 @@
+import { Key } from '../../addressing/key.js';
+import { definitionRefIndex } from '../../addressing/ordering.js';
+import { classifyOrdering } from '../../language/value/ordering.js';
+import { diagnostic } from '../diagnostic.js';
+import { createValueSchemaRegistry } from '../resolution/value.registry.js';
+const formatDefinitionRef = Key.of;
+/** Validate the semantic contracts owned by Class declarations. */
+export function validateDefinitions(environment, analysis) {
+    const diagnostics = [...analysis.diagnostics];
+    const schema = environment.candidate;
+    for (const [name, declaration] of Object.entries(schema.classes)) {
+        const ref = localRef(schema.origin, name);
+        const pointer = `/classes/${escapePointer(name)}`;
+        if (!sameRef(declaration.ref, ref)) {
+            diagnostics.push(diagnostic('DV_REF_RESOLVES', `${pointer}/ref`, `Class ref must be exactly ${formatDefinitionRef(ref)}.`, formatDefinitionRef(declaration.ref)));
+        }
+        validateFacet(environment, declaration, pointer, diagnostics);
+        validateParents(environment, ref, declaration.kind, declaration.extends, diagnostics);
+        if (declaration.kind === 'edge') {
+            validateEdgeContract(environment, ref, declaration, diagnostics);
+        }
+    }
+    validateEdgeClassComposition(environment, diagnostics);
+    return Object.freeze(diagnostics);
+}
+function validateFacet(environment, declaration, pointer, diagnostics) {
+    const valueRegistry = createValueSchemaRegistry(environment);
+    for (const [name, property] of Object.entries(declaration.properties)) {
+        if (property.auto === undefined)
+            continue;
+        const propertyPointer = `${pointer}/properties/${escapePointer(name)}/auto`;
+        if (property.required && !property.auto.on.includes('create')) {
+            diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/on`, 'A required auto Property must run on create.'));
+        }
+        if (property.auto.set === 'instant' &&
+            classifyOrdering(property.schema, valueRegistry) !== 'instant') {
+            diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/set`, 'The instant setter requires an Instant value schema.'));
+        }
+    }
+    if (declaration.kind !== 'node')
+        return;
+    for (const [name, method] of Object.entries(declaration.methods)) {
+        const methodPointer = `${pointer}/methods/${escapePointer(name)}`;
+        if (method.inheritance === 'abstract' && method.policy !== undefined) {
+            diagnostics.push(diagnostic('DV_METHOD_ABSTRACT', `${methodPointer}/policy`, 'Abstract Methods cannot have a Policy.'));
+        }
+    }
+}
+function validateParents(environment, owner, ownerKind, parents, diagnostics) {
+    for (const [index, parent] of parents.entries()) {
+        const target = environment.resolve(parent);
+        const pointer = `/classes/${escapePointer(owner.name)}/extends/${index}`;
+        if (target === undefined) {
+            diagnostics.push(diagnostic('DV_REF_RESOLVES', pointer, `Parent ${formatDefinitionRef(parent)} does not resolve exactly.`, formatDefinitionRef(parent)));
+            continue;
+        }
+        if (target.ref.kind !== 'class' || target.declaration.kind !== ownerKind) {
+            diagnostics.push(diagnostic('DV_CLASS_KIND', pointer, `${formatDefinitionRef(owner)} cannot extend different-kind Class ${formatDefinitionRef(parent)}.`, formatDefinitionRef(parent)));
+        }
+    }
+}
+function validateEdgeContract(environment, owner, declaration, diagnostics) {
+    const endpoints = declaration.orientation === 'directed'
+        ? [declaration.endpoints.source, declaration.endpoints.target]
+        : declaration.endpoints;
+    if (endpoints[0].role === endpoints[1].role) {
+        diagnostics.push(diagnostic('DV_EDGE_ROLE', '', `${formatDefinitionRef(owner)} has equal endpoint roles.`));
+    }
+    validateEndpoint(environment, owner, endpoints[0], declaration.orientation === 'directed' ? 'source' : 'first endpoint', diagnostics);
+    validateEndpoint(environment, owner, endpoints[1], declaration.orientation === 'directed' ? 'target' : 'second endpoint', diagnostics);
+    if (declaration.orientation === 'undirected') {
+        if (!sameIncidentEndpointContract(declaration.endpoints[0], declaration.endpoints[1]) &&
+            undirectedEndpointsOverlap(environment, declaration.endpoints)) {
+            diagnostics.push(diagnostic('DV_EDGE_UNDIRECTED', '', `${formatDefinitionRef(owner)} has unequal undirected endpoint contracts whose accepted Node families overlap.`));
+        }
+        if (declaration.constraints.acyclic === true) {
+            diagnostics.push(diagnostic('DV_EDGE_CONSTRAINT', '', 'acyclic is valid only for directed Edge contracts.'));
+        }
+    }
+}
+function validateEndpoint(environment, owner, endpoint, side, diagnostics) {
+    const seen = new Set();
+    for (const ref of endpoint.accepts) {
+        const key = definitionRefIndex(ref);
+        if (seen.has(key)) {
+            diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatDefinitionRef(owner)} ${side} repeats ${formatDefinitionRef(ref)}.`));
+        }
+        seen.add(key);
+        const resolved = environment.resolve(ref);
+        if (resolved === undefined ||
+            resolved.ref.kind !== 'class' ||
+            resolved.declaration.kind !== 'node') {
+            diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatDefinitionRef(owner)} ${side} ref ${formatDefinitionRef(ref)} does not resolve to a Node Class.`));
+        }
+    }
+}
+/** Edge inheritance is refinement, not a second interface composition mechanism. */
+function validateEdgeClassComposition(environment, diagnostics) {
+    for (const resolved of environment.definitions.values()) {
+        if (resolved.ref.kind !== 'class' || resolved.declaration.kind !== 'edge')
+            continue;
+        const child = resolved.declaration;
+        for (const parentRef of child.extends) {
+            const parent = environment.resolveAny(parentRef);
+            if (parent === undefined ||
+                parent.ref.kind !== 'class' ||
+                parent.declaration.kind !== 'edge') {
+                continue;
+            }
+            if (!edgeContractRefines(environment, child, parent.declaration)) {
+                diagnostics.push(diagnostic('DV_EDGE_CLASS_COMPOSITION', '', `${formatDefinitionRef(resolved.ref)} does not safely refine ${formatDefinitionRef(parentRef)}.`));
+            }
+        }
+    }
+}
+function edgeContractRefines(environment, child, parent) {
+    if (child.orientation !== parent.orientation)
+        return false;
+    if (parent.constraints.noSelf === true && child.constraints.noSelf !== true)
+        return false;
+    if (parent.constraints.acyclic === true && child.constraints.acyclic !== true)
+        return false;
+    if (child.orientation === 'directed' && parent.orientation === 'directed') {
+        return (endpointRefines(environment, child.endpoints.source, parent.endpoints.source) &&
+            countRefines(child.endpoints.source.outgoing, parent.endpoints.source.outgoing) &&
+            endpointRefines(environment, child.endpoints.target, parent.endpoints.target) &&
+            countRefines(child.endpoints.target.incoming, parent.endpoints.target.incoming));
+    }
+    if (child.orientation !== 'undirected' || parent.orientation !== 'undirected')
+        return false;
+    const refines = (childIndex, parentIndex) => endpointRefines(environment, child.endpoints[childIndex], parent.endpoints[parentIndex]) &&
+        countRefines(child.endpoints[childIndex].incident, parent.endpoints[parentIndex].incident);
+    return (refines(0, 0) && refines(1, 1)) || (refines(0, 1) && refines(1, 0));
+}
+function endpointRefines(environment, child, parent) {
+    return child.accepts.every((accepted) => classSatisfies(environment, accepted, parent.accepts));
+}
+function countRefines(child, parent) {
+    const bounds = {
+        '0..*': [0, Number.POSITIVE_INFINITY],
+        '1..*': [1, Number.POSITIVE_INFINITY],
+        '0..1': [0, 1],
+        '1': [1, 1],
+    };
+    const [childMinimum, childMaximum] = bounds[child];
+    const [parentMinimum, parentMaximum] = bounds[parent];
+    return childMinimum >= parentMinimum && childMaximum <= parentMaximum;
+}
+function sameIncidentEndpointContract(left, right) {
+    if (left.incident !== right.incident)
+        return false;
+    const a = [...left.accepts].map(definitionRefIndex).sort();
+    const b = [...right.accepts].map(definitionRefIndex).sort();
+    return a.length === b.length && a.every((value, index) => value === b[index]);
+}
+function undirectedEndpointsOverlap(environment, endpoints) {
+    for (const resolved of environment.definitions.values()) {
+        if (resolved.ref.kind !== 'class' ||
+            resolved.declaration.kind !== 'node' ||
+            resolved.declaration.abstract) {
+            continue;
+        }
+        const candidate = resolved.ref;
+        if (classSatisfies(environment, candidate, endpoints[0].accepts) &&
+            classSatisfies(environment, candidate, endpoints[1].accepts)) {
+            return true;
+        }
+    }
+    return false;
+}
+function classSatisfies(environment, candidate, accepts) {
+    if (accepts.some((ref) => definitionRefIndex(ref) === definitionRefIndex(candidate)))
+        return true;
+    const resolved = environment.resolveAny(candidate);
+    if (resolved === undefined ||
+        resolved.ref.kind !== 'class' ||
+        resolved.declaration.kind !== 'node') {
+        return false;
+    }
+    return extendsAny(environment, resolved.declaration.extends, accepts, new Set());
+}
+function extendsAny(environment, parents, accepts, visited) {
+    const accepted = new Set(accepts.map(definitionRefIndex));
+    for (const parent of parents) {
+        const key = definitionRefIndex(parent);
+        if (accepted.has(key))
+            return true;
+        if (visited.has(key))
+            continue;
+        visited.add(key);
+        const resolved = environment.resolveAny(parent);
+        if (resolved !== undefined &&
+            resolved.ref.kind === 'class' &&
+            extendsAny(environment, resolved.declaration.extends, accepts, visited)) {
+            return true;
+        }
+    }
+    return false;
+}
+function localRef(origin, name) {
+    return { origin, kind: 'class', name };
+}
+function sameRef(left, right) {
+    return left.origin === right.origin && left.kind === right.kind && left.name === right.name;
+}
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}

package/dist/v1/schema/validation/core.d.ts

@@ -0,0 +1,5 @@
+import type { ValueSchemaRegistry } from '../../language/value/reference/registry.js';
+import type { DefinitionAnalysisResult } from '../analysis/class.js';
+import type { SchemaDiagnostic } from '../diagnostic.js';
+import type { DomainResolutionContext } from '../resolution/context.js';
+export declare function validateCore(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult, registry: ValueSchemaRegistry): readonly SchemaDiagnostic[];