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

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

@@ -1 +1 @@
-{"version":3,"file":"value.registry.js","sourceRoot":"","sources":["../../../../v1/schema/resolution/value.registry.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAA;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA;AAE3D,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B,CAC7C,MAAoB,EACpB,MAAM,GAAuB,sBAAsB,CAAC,MAAM,CAAC;IAE3D,OAAO,yBAAyB,CAAC,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAChF,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgC;IACxE,MAAM,kBAAkB,GAAgC,EAAE,CAAA;IAC1D,MAAM,sBAAsB,GAAgC,EAAE,CAAA;IAC9D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACzF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG;YACZ,GAAG,mBAAmB,CAAC,MAAM,CAAC;YAC9B,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;SACzC,CAAA;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;;YAC/D,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC;QAC/C,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACrD,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC;QAC7D,aAAa,EAAE,mBAAmB;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB;IACjD,MAAM,eAAe,GAAG;QACtB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;aACjC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,MAAM,CAAC;aAC1D,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,WAAoB,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;aAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,MAAM,CAAC;aAC1D,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;KAC9E,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;KAChD,CAAC,CAAA;AACJ,CAAC"}
+{"version":3,"file":"value.registry.js","sourceRoot":"","sources":["../../../../v1/schema/resolution/value.registry.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAA;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA;AAE3D,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B,CAC7C,MAAoB,EACpB,MAAM,GAAuB,sBAAsB,CAAC,MAAM,CAAC;IAE3D,OAAO,yBAAyB,CAAC,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;AAChF,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAgC;IACxE,MAAM,kBAAkB,GAAgC,EAAE,CAAA;IAC1D,MAAM,sBAAsB,GAAgC,EAAE,CAAA;IAC9D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IACzF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG;YACZ,GAAG,mBAAmB,CAAC,MAAM,CAAC;YAC9B,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;SACzC,CAAA;QACD,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;;YAC/D,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC;QAC/C,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACrD,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC;QAC7D,aAAa,EAAE,mBAAmB;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB;IACjD,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;SACnD,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;KAChD,CAAC,CAAA;AACJ,CAAC"}

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

@@ -0,0 +1,2 @@
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';
+//# sourceMappingURL=revision.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../../v1/schema/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/v1/schema/revision.js

@@ -0,0 +1,2 @@
+export { revisionOfDomainSchema as revision } from './canonical/revision.js';
+//# sourceMappingURL=revision.js.map

package/dist/v1/schema/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../../v1/schema/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,IAAI,QAAQ,EAAE,MAAM,yBAAyB,CAAA"}

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

@@ -0,0 +1,6 @@
+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[];
+//# sourceMappingURL=class.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/class.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAUvE,mEAAmE;AACnE,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,GACjC,SAAS,gBAAgB,EAAE,CA0B7B"}

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

@@ -0,0 +1,209 @@
+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');
+}
+//# sourceMappingURL=class.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.js","sourceRoot":"","sources":["../../../../v1/schema/validation/class.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAE3E,MAAM,mBAAmB,GAAG,GAAG,CAAC,EAAE,CAAA;AAElC,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CACjC,WAAoC,EACpC,QAAkC;IAElC,MAAM,WAAW,GAAuB,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAA;IAEpC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACzC,MAAM,OAAO,GAAG,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QACjD,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,GAAG,OAAO,MAAM,EAChB,6BAA6B,mBAAmB,CAAC,GAAG,CAAC,GAAG,EACxD,mBAAmB,CAAC,WAAW,CAAC,GAAG,CAAC,CACrC,CACF,CAAA;QACH,CAAC;QACD,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,CAAA;QAC7D,eAAe,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACrF,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;QAClE,CAAC;IACH,CAAC;IAED,4BAA4B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IACtD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,aAAa,CACpB,WAAoC,EACpC,WAA4B,EAC5B,OAAe,EACf,WAA+B;IAE/B,MAAM,aAAa,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QACzC,MAAM,eAAe,GAAG,GAAG,OAAO,eAAe,aAAa,CAAC,IAAI,CAAC,OAAO,CAAA;QAC3E,IAAI,QAAQ,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,KAAK,EACvB,8CAA8C,CAC/C,CACF,CAAA;QACH,CAAC;QACD,IACE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;YAC/B,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,SAAS,EAC9D,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,MAAM,EACxB,sDAAsD,CACvD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM;QAAE,OAAM;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,MAAM,aAAa,GAAG,GAAG,OAAO,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QACjE,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,aAAa,SAAS,EACzB,wCAAwC,CACzC,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC,EACpC,KAAe,EACf,SAAoB,EACpB,OAA4B,EAC5B,WAA+B;IAE/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC1C,MAAM,OAAO,GAAG,YAAY,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,EAAE,CAAA;QACxE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,OAAO,EACP,UAAU,mBAAmB,CAAC,MAAM,CAAC,4BAA4B,EACjE,mBAAmB,CAAC,MAAM,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,eAAe,EACf,OAAO,EACP,GAAG,mBAAmB,CAAC,KAAK,CAAC,uCAAuC,mBAAmB,CAAC,MAAM,CAAC,GAAG,EAClG,mBAAmB,CAAC,MAAM,CAAC,CAC5B,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAoC,EACpC,KAAe,EACf,WAAgE,EAChE,WAA+B;IAE/B,MAAM,SAAS,GACb,WAAW,CAAC,WAAW,KAAK,UAAU;QACpC,CAAC,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAW;QACzE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAA;IAC3B,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,cAAc,EAAE,EAAE,EAAE,GAAG,mBAAmB,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAC1F,CAAA;IACH,CAAC;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EACpE,WAAW,CACZ,CAAA;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EACrE,WAAW,CACZ,CAAA;IACD,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,IACE,CAAC,4BAA4B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACjF,0BAA0B,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,EAC9D,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,EAAE,EACF,GAAG,mBAAmB,CAAC,KAAK,CAAC,kFAAkF,CAChH,CACF,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,oBAAoB,EAAE,EAAE,EAAE,oDAAoD,CAAC,CAC3F,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,KAAe,EACf,QAA0B,EAC1B,IAAY,EACZ,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAC7E,CACF,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,mBAAmB,CAAC,GAAG,CAAC,oCAAoC,CAC1G,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,4BAA4B,CACnC,WAAoC,EACpC,WAA+B;IAE/B,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QACnF,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAA;QAClC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YAChD,IACE,MAAM,KAAK,SAAS;gBACpB,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;gBAC3B,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EAClC,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,2BAA2B,EAC3B,EAAE,EACF,GAAG,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,2BAA2B,mBAAmB,CAAC,SAAS,CAAC,GAAG,CACjG,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,KAA0D,EAC1D,MAA2D;IAE3D,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IAC1D,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IACzF,IAAI,MAAM,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAE3F,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC1E,OAAO,CACL,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7E,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC/E,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7E,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAChF,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY,IAAI,MAAM,CAAC,WAAW,KAAK,YAAY;QAAE,OAAO,KAAK,CAAA;IAC3F,MAAM,OAAO,GAAG,CAAC,UAAiB,EAAE,WAAkB,EAAE,EAAE,CACxD,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACxF,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5F,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC,EACpC,KAAuB,EACvB,MAAwB;IAExB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;AACjG,CAAC;AAED,SAAS,YAAY,CAAC,KAAgB,EAAE,MAAiB;IACvD,MAAM,MAAM,GAAG;QACb,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACd,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;KACH,CAAA;IACV,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAClD,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IACrD,OAAO,YAAY,IAAI,aAAa,IAAI,YAAY,IAAI,aAAa,CAAA;AACvE,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAsB,EAAE,KAAuB;IACnF,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IAClD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAA;IAC1D,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAA;IAC3D,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,0BAA0B,CACjC,WAAoC,EACpC,SAAwD;IAExD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IACE,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM;YACpC,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAC7B,CAAC;YACD,SAAQ;QACV,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAA;QAC9B,IACE,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5D,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAC5D,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,SAAmB,EACnB,OAA4B;IAE5B,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACjG,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IAClD,IACE,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;QAC7B,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,UAAU,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAClF,CAAC;AAED,SAAS,UAAU,CACjB,WAAoC,EACpC,OAA4B,EAC5B,OAA4B,EAC5B,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAA;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QAC/C,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,UAAU,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EACvE,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,IAAY;IAC5C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AACxC,CAAC;AAED,SAAS,OAAO,CAAC,IAAc,EAAE,KAAe;IAC9C,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAA;AAC7F,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

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

@@ -0,0 +1,6 @@
+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[];
+//# sourceMappingURL=core.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/core.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAA;AACrF,OAAO,KAAK,EAAsB,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AACxF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAkCvE,wBAAgB,YAAY,CAC1B,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,EAClC,QAAQ,EAAE,mBAAmB,GAC5B,SAAS,gBAAgB,EAAE,CAO7B"}

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

@@ -0,0 +1,265 @@
+import { Key } from '../../addressing/key.js';
+import { compareUnicode, definitionRefIndex } from '../../addressing/ordering.js';
+import { validateJsonInstance } from '../../language/value/evaluate/validate.js';
+import { diagnostic } from '../diagnostic.js';
+const formatDefinitionRef = Key.of;
+export function validateCore(environment, analysis, registry) {
+    const diagnostics = [];
+    const nodesByRef = resolveCoreNodes(environment, analysis, registry, diagnostics);
+    const edges = resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics);
+    validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics);
+    return Object.freeze(diagnostics);
+}
+function resolveCoreNodes(environment, analysis, registry, diagnostics) {
+    const nodes = new Map();
+    for (const [slug, node] of Object.entries(environment.candidate.core.nodes)) {
+        const pointer = `/core/nodes/${escapePointer(slug)}`;
+        const ref = { origin: environment.candidate.origin, kind: 'core', name: slug };
+        if (node.ref.origin !== ref.origin ||
+            node.ref.kind !== ref.kind ||
+            node.ref.name !== ref.name) {
+            diagnostics.push(diagnostic('DV_REF_RESOLVES', `${pointer}/ref`, `Core ref must be exactly ${formatDefinitionRef(ref)}.`, formatDefinitionRef(node.ref)));
+        }
+        const resolved = environment.resolve(node.class);
+        if (node.class.origin !== environment.candidate.origin ||
+            resolved === undefined ||
+            resolved.ref.kind !== 'class' ||
+            resolved.kind !== 'node' ||
+            resolved.declaration.abstract) {
+            diagnostics.push(diagnostic('DV_CORE_NODE_CLASS', `${pointer}/class`, `Core Node Class ${formatDefinitionRef(node.class)} must resolve to a local concrete Node Class.`, formatDefinitionRef(node.class)));
+            continue;
+        }
+        const definition = analysis.definitions.get(definitionRefIndex(node.class));
+        if (definition === undefined)
+            continue;
+        validateCreationProperties(definition, node.properties, registry, 'DV_CORE_NODE_PROPERTIES', `${pointer}/properties`, diagnostics);
+        const key = definitionRefIndex(ref);
+        nodes.set(key, { kind: 'core', slug, ref, key, classRef: node.class, analysis: definition });
+    }
+    return nodes;
+}
+function resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics) {
+    const edges = [];
+    for (const [index, edge] of environment.candidate.core.edges.entries()) {
+        const pointer = `/core/edges/${index}`;
+        const source = resolveCoreEndpoint(edge.source, `${pointer}/source`, nodesByRef, diagnostics);
+        const target = resolveCoreEndpoint(edge.target, `${pointer}/target`, nodesByRef, diagnostics);
+        const resolved = environment.resolve(edge.class);
+        if (edge.class.origin !== environment.candidate.origin ||
+            resolved === undefined ||
+            resolved.ref.kind !== 'class' ||
+            resolved.kind !== 'edge' ||
+            resolved.declaration.abstract) {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', `${pointer}/class`, `Core Edge Class ${formatDefinitionRef(edge.class)} must resolve to a local concrete Edge Class.`, formatDefinitionRef(edge.class)));
+            continue;
+        }
+        const definition = analysis.definitions.get(definitionRefIndex(edge.class));
+        if (definition === undefined)
+            continue;
+        validateCreationProperties(definition, edge.properties, registry, 'DV_CORE_EDGE_PROPERTIES', `${pointer}/properties`, diagnostics);
+        const declaration = resolved.declaration;
+        if (source === undefined || target === undefined)
+            continue;
+        const endpointsSatisfy = declaration.orientation === 'directed'
+            ? endpointSatisfies(environment, source, declaration.endpoints.source.accepts) &&
+                endpointSatisfies(environment, target, declaration.endpoints.target.accepts)
+            : (endpointSatisfies(environment, source, declaration.endpoints[0].accepts) &&
+                endpointSatisfies(environment, target, declaration.endpoints[1].accepts)) ||
+                (endpointSatisfies(environment, source, declaration.endpoints[1].accepts) &&
+                    endpointSatisfies(environment, target, declaration.endpoints[0].accepts));
+        if (!endpointsSatisfy) {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', pointer, `Core Edge endpoints do not satisfy ${formatDefinitionRef(edge.class)}.`, formatDefinitionRef(edge.class)));
+            continue;
+        }
+        edges.push({ source, target, declaration, value: edge, pointer });
+    }
+    return edges;
+}
+function resolveCoreEndpoint(ref, pointer, nodesByRef, diagnostics) {
+    if (ref.kind === 'domain')
+        return { kind: 'domain', ref, key: 'domain' };
+    const node = nodesByRef.get(definitionRefIndex(ref));
+    if (node === undefined) {
+        diagnostics.push(diagnostic('DV_CORE_REF', pointer, `Core endpoint ${formatDefinitionRef(ref)} does not name a declared local Core Node.`, formatDefinitionRef(ref)));
+    }
+    return node;
+}
+function endpointSatisfies(environment, endpoint, accepts) {
+    // The owning Domain is a graph-projection identity, not a Definition declared by this DSL.
+    // Its concrete Class contract is therefore admitted by the projection compiler.
+    return endpoint.kind === 'domain' || classSatisfies(environment, endpoint.classRef, accepts);
+}
+function validateCreationProperties(definition, properties, registry, code, pointer, diagnostics) {
+    const schema = {
+        type: 'object',
+        properties: Object.fromEntries([...definition.properties].map(([name, field]) => [name, field.schema])),
+        required: [...definition.properties]
+            .filter(([, field]) => field.required)
+            .map(([name]) => name)
+            .sort(compareUnicode),
+        additionalProperties: false,
+    };
+    for (const failure of validateJsonInstance(schema, properties, registry, pointer)) {
+        diagnostics.push(diagnostic(code, failure.pointer, failure.message, failure.ref));
+    }
+}
+function validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics) {
+    const seen = new Map();
+    const edgeSlices = new Map();
+    for (const [name, candidate] of Object.entries(environment.candidate.classes)) {
+        if (candidate.kind !== 'edge')
+            continue;
+        const ref = {
+            origin: environment.candidate.origin,
+            kind: 'class',
+            name,
+        };
+        const resolved = environment.resolve(ref);
+        if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.kind !== 'edge') {
+            continue;
+        }
+        edgeSlices.set(definitionRefIndex(ref), {
+            declaration: resolved.declaration,
+            edges: [],
+        });
+    }
+    for (const edge of edges) {
+        const classKey = definitionRefIndex(edge.value.class);
+        const [source, target] = edge.declaration.orientation === 'undirected' &&
+            compareUnicode(edge.source.key, edge.target.key) > 0
+            ? [edge.target.key, edge.source.key]
+            : [edge.source.key, edge.target.key];
+        const key = `${classKey}\u0000${source}\u0000${target}`;
+        const previous = seen.get(key);
+        if (previous !== undefined) {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_KEY', edge.pointer, `Core Edge duplicates the normalized EdgeKey declared at ${previous}.`));
+        }
+        else {
+            seen.set(key, edge.pointer);
+        }
+        const slice = edgeSlices.get(classKey) ?? {
+            declaration: edge.declaration,
+            edges: [],
+        };
+        slice.edges.push(edge);
+        edgeSlices.set(classKey, slice);
+        if (edge.declaration.constraints.noSelf === true && edge.source.key === edge.target.key) {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', edge.pointer, 'Core Edge violates noSelf.'));
+        }
+    }
+    for (const { declaration, edges: classEdges } of edgeSlices.values()) {
+        if (declaration.constraints.acyclic === true && hasDirectedCycle(classEdges)) {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', '/core/edges', 'Core Edge set violates exact-Class acyclicity.'));
+        }
+        validateCardinality(environment, declaration, classEdges, nodesByRef, diagnostics);
+    }
+}
+function validateCardinality(environment, declaration, edges, nodesByRef, diagnostics) {
+    if (declaration.orientation === 'undirected') {
+        const [first, second] = declaration.endpoints;
+        for (const node of nodesByRef.values()) {
+            const matchesFirst = classSatisfies(environment, node.classRef, first.accepts);
+            const matchesSecond = classSatisfies(environment, node.classRef, second.accepts);
+            if (!matchesFirst && !matchesSecond)
+                continue;
+            const degree = edges.filter((edge) => edge.source.key === node.key || edge.target.key === node.key).length;
+            if (matchesFirst)
+                checkIncidentBound(first, degree, node, diagnostics);
+            if (matchesSecond && !sameIncidentEndpointContract(first, second)) {
+                checkIncidentBound(second, degree, node, diagnostics);
+            }
+        }
+        return;
+    }
+    for (const node of nodesByRef.values()) {
+        if (classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
+            const degree = edges.filter((edge) => edge.source.key === node.key).length;
+            checkBound(declaration.endpoints.source, declaration.endpoints.source.outgoing, degree, node, diagnostics);
+        }
+        if (classSatisfies(environment, node.classRef, declaration.endpoints.target.accepts)) {
+            const degree = edges.filter((edge) => edge.target.key === node.key).length;
+            checkBound(declaration.endpoints.target, declaration.endpoints.target.incoming, degree, node, diagnostics);
+        }
+    }
+}
+function checkBound(endpoint, count, degree, node, diagnostics) {
+    const [minimum, maximum] = countBounds(count);
+    if (degree >= minimum && degree <= maximum)
+        return;
+    diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', `/core/nodes/${escapePointer(node.slug)}`, `Core degree ${degree} violates ${endpoint.role} Edge count ${count}.`));
+}
+function checkIncidentBound(endpoint, degree, node, diagnostics) {
+    checkBound(endpoint, endpoint.incident, degree, node, diagnostics);
+}
+function sameIncidentEndpointContract(left, right) {
+    return (left.incident === right.incident &&
+        left.accepts.length === right.accepts.length &&
+        left.accepts.every((ref, index) => definitionRefIndex(ref) === definitionRefIndex(right.accepts[index])));
+}
+function countBounds(value) {
+    switch (value) {
+        case '0..*':
+            return [0, Number.POSITIVE_INFINITY];
+        case '1..*':
+            return [1, Number.POSITIVE_INFINITY];
+        case '0..1':
+            return [0, 1];
+        case '1':
+            return [1, 1];
+    }
+}
+function hasDirectedCycle(edges) {
+    const outgoing = new Map();
+    for (const edge of edges) {
+        const targets = outgoing.get(edge.source.key) ?? [];
+        targets.push(edge.target.key);
+        outgoing.set(edge.source.key, targets);
+    }
+    const visiting = new Set();
+    const visited = new Set();
+    const visit = (key) => {
+        if (visiting.has(key))
+            return true;
+        if (visited.has(key))
+            return false;
+        visiting.add(key);
+        for (const target of outgoing.get(key) ?? [])
+            if (visit(target))
+                return true;
+        visiting.delete(key);
+        visited.add(key);
+        return false;
+    };
+    return [...outgoing.keys()].some(visit);
+}
+function classSatisfies(environment, classRef, accepts) {
+    if (accepts.some((ref) => definitionRefIndex(ref) === definitionRefIndex(classRef)))
+        return true;
+    const resolved = environment.resolveAny(classRef);
+    if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.kind !== 'node') {
+        return false;
+    }
+    return classExtendsAny(environment, resolved.declaration.extends, accepts, new Set());
+}
+function classExtendsAny(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' &&
+            classExtendsAny(environment, resolved.declaration.extends, accepts, visited)) {
+            return true;
+        }
+    }
+    return false;
+}
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=core.js.map

package/dist/v1/schema/validation/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../../v1/schema/validation/core.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAA;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,MAAM,mBAAmB,GAAG,GAAG,CAAC,EAAE,CAAA;AA2BlC,MAAM,UAAU,YAAY,CAC1B,WAAoC,EACpC,QAAkC,EAClC,QAA6B;IAE7B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,MAAM,UAAU,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACjF,MAAM,KAAK,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAExF,mBAAmB,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,WAA+B;IAE/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QACpD,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACvF,IACE,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM;YAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;YAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,GAAG,OAAO,MAAM,EAChB,4BAA4B,mBAAmB,CAAC,GAAG,CAAC,GAAG,EACvD,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAC9B,CACF,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,IAAI,KAAK,MAAM;YACxB,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAC7B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EACjG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAChC,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC3E,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;QACnC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,UAAiD,EACjD,WAA+B;IAE/B,MAAM,KAAK,GAAuB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,eAAe,KAAK,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,IAAI,KAAK,MAAM;YACxB,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAC7B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EACjG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAChC,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC3E,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAkC,CAAA;QAC/D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAC1D,MAAM,gBAAgB,GACpB,WAAW,CAAC,WAAW,KAAK,UAAU;YACpC,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC;gBAC5E,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC;YAC9E,CAAC,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBACvE,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC3E,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;oBACvE,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;QACjF,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,OAAO,EACP,sCAAsC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EACxE,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAChC,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,mBAAmB,CAC1B,GAAoB,EACpB,OAAe,EACf,UAAiD,EACjD,WAA+B;IAE/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;IACxE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,aAAa,EACb,OAAO,EACP,iBAAiB,mBAAmB,CAAC,GAAG,CAAC,4CAA4C,EACrF,mBAAmB,CAAC,GAAG,CAAC,CACzB,CACF,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAoC,EACpC,QAA8B,EAC9B,OAA4B;IAE5B,2FAA2F;IAC3F,gFAAgF;IAChF,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA8B,EAC9B,UAAsB,EACtB,QAA6B,EAC7B,IAA2D,EAC3D,OAAe,EACf,WAA+B;IAE/B,MAAM,MAAM,GAAyB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CACxE;QACD,QAAQ,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;aACjC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;aACrB,IAAI,CAAC,cAAc,CAAC;QACvB,oBAAoB,EAAE,KAAK;KAC5B,CAAA;IACD,KAAK,MAAM,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAClF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACnF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAA;IAEH,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QACvC,MAAM,GAAG,GAAa;YACpB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM;YACpC,IAAI,EAAE,OAAO;YACb,IAAI;SACL,CAAA;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxF,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE;YACtC,WAAW,EAAE,QAAQ,CAAC,WAAkC;YACxD,KAAK,EAAE,EAAE;SACV,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACrD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,IAAI,CAAC,WAAW,CAAC,WAAW,KAAK,YAAY;YAC7C,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAClD,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACxC,MAAM,GAAG,GAAG,GAAG,QAAQ,SAAS,MAAM,SAAS,MAAM,EAAE,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,IAAI,CAAC,OAAO,EACZ,2DAA2D,QAAQ,GAAG,CACvE,CACF,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;QAC7B,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI;YACxC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,EAAE;SACV,CAAA;QACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACtB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAE/B,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,0BAA0B,EAAE,IAAI,CAAC,OAAO,EAAE,4BAA4B,CAAC,CACnF,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,aAAa,EACb,gDAAgD,CACjD,CACF,CAAA;QACH,CAAC;QACD,mBAAmB,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IACpF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,WAAgC,EAChC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,SAAS,CAAA;QAC7C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;YAC9E,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAA;YAChF,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa;gBAAE,SAAQ;YAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CACzB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CACvE,CAAC,MAAM,CAAA;YACR,IAAI,YAAY;gBAAE,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;YACtE,IAAI,aAAa,IAAI,CAAC,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;gBAClE,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;YACvD,CAAC;QACH,CAAC;QACD,OAAM;IACR,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CACR,WAAW,CAAC,SAAS,CAAC,MAAM,EAC5B,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EACrC,MAAM,EACN,IAAI,EACJ,WAAW,CACZ,CAAA;QACH,CAAC;QACD,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CACR,WAAW,CAAC,SAAS,CAAC,MAAM,EAC5B,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EACrC,MAAM,EACN,IAAI,EACJ,WAAW,CACZ,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,QAA0B,EAC1B,KAAgB,EAChB,MAAc,EACd,IAAsB,EACtB,WAA+B;IAE/B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;IAC7C,IAAI,MAAM,IAAI,OAAO,IAAI,MAAM,IAAI,OAAO;QAAE,OAAM;IAClD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,eAAe,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,MAAM,aAAa,QAAQ,CAAC,IAAI,eAAe,KAAK,GAAG,CACvE,CACF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,MAAc,EACd,IAAsB,EACtB,WAA+B;IAE/B,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAsB,EAAE,KAAuB;IACnF,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAChC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;QAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAChB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,CACtF,CACF,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAgB;IACnC,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACf,KAAK,GAAG;YACN,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjB,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAkC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QACnD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC7B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAW,EAAE;QACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YAAE,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAA;QAC5E,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,QAAkB,EAClB,OAA4B;IAE5B,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAChG,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AACvF,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC,EACpC,OAA4B,EAC5B,OAA4B,EAC5B,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAA;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QAC/C,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,eAAe,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAC5E,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

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

@@ -0,0 +1,12 @@
+import type { DefinitionAnalysisResult } from '../analysis/class.js';
+import type { DomainSchemaLookup } from '../dependency/lookup.js';
+import type { SchemaDiagnostic } from '../diagnostic.js';
+import type { DomainSchemaIR } from '../model/schema.js';
+import type { DomainResolutionContext } from '../resolution/context.js';
+export interface DomainSchemaValidation {
+    readonly context: DomainResolutionContext;
+    readonly analysis: DefinitionAnalysisResult;
+    readonly diagnostics: readonly SchemaDiagnostic[];
+}
+export declare function validateDomainSchemaSemantics(schema: DomainSchemaIR, lookup: DomainSchemaLookup): DomainSchemaValidation;
+//# sourceMappingURL=domain.d.ts.map

package/dist/v1/schema/validation/domain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/domain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAYvE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,kBAAkB,GACzB,sBAAsB,CAiBxB"}

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

@@ -0,0 +1,37 @@
+import { compareUnicode } from '../../addressing/ordering.js';
+import { analyzeDefinitions } from '../analysis/class.js';
+import { buildDomainResolutionContext } from '../resolution/context.js';
+import { createValueSchemaRegistry } from '../resolution/value.registry.js';
+import { validateDefinitions } from './class.js';
+import { validateCore } from './core.js';
+import { validatePolicies } from './policy/validate.js';
+import { validateEmbeddedValueSchemas } from './value.js';
+import { validateViews } from './view.js';
+export function validateDomainSchemaSemantics(schema, lookup) {
+    const context = buildDomainResolutionContext(schema, lookup);
+    const analysis = analyzeDefinitions(context);
+    const registry = createValueSchemaRegistry(context);
+    const diagnostics = [
+        ...context.diagnostics,
+        ...validateEmbeddedValueSchemas(schema, registry),
+        ...validateDefinitions(context, analysis),
+        ...validatePolicies(context, analysis),
+        ...validateViews(context),
+        ...validateCore(context, analysis, registry),
+    ];
+    return Object.freeze({
+        context,
+        analysis,
+        diagnostics: Object.freeze(orderAndDeduplicate(diagnostics)),
+    });
+}
+function orderAndDeduplicate(diagnostics) {
+    const unique = new Map();
+    for (const value of diagnostics) {
+        unique.set(`${value.pointer}\u0000${value.code}\u0000${value.ref ?? ''}\u0000${value.message}`, value);
+    }
+    return [...unique.values()].sort((left, right) => compareUnicode(left.pointer, right.pointer) ||
+        compareUnicode(left.code, right.code) ||
+        compareUnicode(left.message, right.message));
+}
+//# sourceMappingURL=domain.js.map

package/dist/v1/schema/validation/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/validation/domain.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,YAAY,CAAA;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAQzC,MAAM,UAAU,6BAA6B,CAC3C,MAAsB,EACtB,MAA0B;IAE1B,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG;QAClB,GAAG,OAAO,CAAC,WAAW;QACtB,GAAG,4BAA4B,CAAC,MAAM,EAAE,QAAQ,CAAC;QACjD,GAAG,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC;QACzC,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC;QACtC,GAAG,aAAa,CAAC,OAAO,CAAC;QACzB,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;KAC7C,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,QAAQ;QACR,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;KAC7D,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAwC;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAA;IAClD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CACR,GAAG,KAAK,CAAC,OAAO,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,CAAC,OAAO,EAAE,EACnF,KAAK,CACN,CAAA;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;QAC3C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAC9C,CAAA;AACH,CAAC"}