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

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

@@ -0,0 +1,257 @@
+import { diagnostic } from '../diagnostic.js';
+import { schemaRefIndex, compareUnicode, formatSchemaRef } from '../reference.js';
+import { validateJsonInstance } from '../value/instance.validate.js';
+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 resolved = environment.resolve(node.class);
+        if (node.class.origin !== environment.candidate.origin ||
+            resolved === undefined ||
+            resolved.ref.kind !== 'class' ||
+            resolved.family !== 'node') {
+            diagnostics.push(diagnostic('DV_CORE_NODE_CLASS', `${pointer}/class`, `Core Node Class ${formatSchemaRef(node.class)} must resolve to a local concrete Node Class.`, formatSchemaRef(node.class)));
+            continue;
+        }
+        const definition = analysis.definitions.get(schemaRefIndex(node.class));
+        if (definition === undefined)
+            continue;
+        validateCreationProperties(definition, node.properties, registry, 'DV_CORE_NODE_PROPERTIES', `${pointer}/properties`, diagnostics);
+        const ref = { origin: environment.candidate.origin, kind: 'core', name: slug };
+        const key = schemaRefIndex(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.family !== 'edge') {
+            diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', `${pointer}/class`, `Core Edge Class ${formatSchemaRef(edge.class)} must resolve to a local concrete Edge Class.`, formatSchemaRef(edge.class)));
+            continue;
+        }
+        const definition = analysis.definitions.get(schemaRefIndex(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 ${formatSchemaRef(edge.class)}.`, formatSchemaRef(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(schemaRefIndex(ref));
+    if (node === undefined) {
+        diagnostics.push(diagnostic('DV_CORE_REF', pointer, `Core endpoint ${formatSchemaRef(ref)} does not name a declared local Core Node.`, formatSchemaRef(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.family !== 'edge')
+            continue;
+        const ref = {
+            origin: environment.candidate.origin,
+            kind: 'class',
+            name,
+        };
+        const resolved = environment.resolve(ref);
+        if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'edge') {
+            continue;
+        }
+        edgeSlices.set(schemaRefIndex(ref), {
+            declaration: resolved.declaration,
+            edges: [],
+        });
+    }
+    for (const edge of edges) {
+        const classKey = schemaRefIndex(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) => schemaRefIndex(ref) === schemaRefIndex(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) => schemaRefIndex(ref) === schemaRefIndex(classRef)))
+        return true;
+    const resolved = environment.resolveAny(classRef);
+    if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'node') {
+        return false;
+    }
+    return classImplementsAny(environment, resolved.declaration.implements, accepts, new Set());
+}
+function classImplementsAny(environment, parents, accepts, visited) {
+    const accepted = new Set(accepts.map(schemaRefIndex));
+    for (const parent of parents) {
+        const key = schemaRefIndex(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 === 'interface' &&
+            (resolved.family === 'node' || resolved.family === 'both') &&
+            classImplementsAny(environment, resolved.declaration.extends, accepts, visited)) {
+            return true;
+        }
+    }
+    return false;
+}
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=validate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../v1/schema/core/validate.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AA2BpE,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,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,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,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,GAAY,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACvF,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,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,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,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,WAAmC,CAAA;QAChE,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,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EACpE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,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,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,aAAa,EACb,OAAO,EACP,iBAAiB,eAAe,CAAC,GAAG,CAAC,4CAA4C,EACjF,eAAe,CAAC,GAAG,CAAC,CACrB,CACF,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAoC,EACpC,QAA8B,EAC9B,OAAiC;IAEjC,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,MAAM,KAAK,MAAM;YAAE,SAAQ;QACzC,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,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1F,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;YAClC,WAAW,EAAE,QAAQ,CAAC,WAAmC;YACzD,KAAK,EAAE,EAAE;SACV,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACjD,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,WAAiC,EACjC,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,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,CAC9E,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,OAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACxF,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,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,kBAAkB,CACvB,WAAW,EACV,QAAQ,CAAC,WAA6D,CAAC,UAAU,EAClF,OAAO,EACP,IAAI,GAAG,EAAE,CACV,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAoC,EACpC,OAA6B,EAC7B,OAAiC,EACjC,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAA;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;QAClC,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,WAAW;YACjC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC;YAC1D,kBAAkB,CAChB,WAAW,EACV,QAAQ,CAAC,WAAoC,CAAC,OAAO,EACtD,OAAO,EACP,OAAO,CACR,EACD,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/definition/analysis.d.ts

@@ -0,0 +1,43 @@
+import type { MethodDeclaration } from '../callable.js';
+import type { DomainDiagnostic } from '../diagnostic.js';
+import type { DefinitionRef } from '../reference.js';
+import type { DomainResolutionContext } from '../resolution/context.js';
+import type { JsonSchema } from '../value/schema.js';
+import type { ClassDeclaration } from './class.js';
+import type { DataDeclaration } from './data.js';
+import type { InterfaceDeclaration } from './interface.js';
+import type { PropertyAuto } from './property.js';
+import { PropertyKey } from '../../addressing/index.js';
+export interface EffectiveField {
+    readonly identity: PropertyKey;
+    readonly owner: DefinitionRef;
+    readonly name: string;
+    readonly schema: JsonSchema;
+    readonly required: boolean;
+    readonly visibility: 'public' | 'private';
+    readonly auto?: PropertyAuto;
+}
+export interface EffectiveMethod {
+    readonly identity: string;
+    readonly owner: DefinitionRef;
+    readonly name: string;
+    readonly declaration: MethodDeclaration;
+}
+export interface EffectiveData {
+    readonly identity: string;
+    readonly owner: DefinitionRef;
+    readonly declaration: DataDeclaration;
+}
+export interface DefinitionAnalysis {
+    readonly ref: DefinitionRef;
+    readonly declaration: InterfaceDeclaration | ClassDeclaration;
+    readonly properties: ReadonlyMap<PropertyKey, EffectiveField>;
+    readonly data?: EffectiveData;
+    readonly methods: ReadonlyMap<string, EffectiveMethod>;
+}
+export interface DefinitionAnalysisResult {
+    readonly definitions: ReadonlyMap<string, DefinitionAnalysis>;
+    readonly diagnostics: readonly DomainDiagnostic[];
+}
+export declare function analyzeDefinitions(environment: DomainResolutionContext): DefinitionAnalysisResult;
+//# sourceMappingURL=analysis.d.ts.map

package/dist/v1/schema/definition/analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/analysis.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAEjD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAMvD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACvD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IAC7D,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,uBAAuB,GAAG,wBAAwB,CAiEjG"}

package/dist/v1/schema/definition/analysis.js

@@ -0,0 +1,190 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { PropertyKey } from '../../addressing/index.js';
+import { diagnostic } from '../diagnostic.js';
+import { normalizePolicyChecks } from '../policy/normalize.js';
+import { schemaRefIndex, formatSchemaRef } from '../reference.js';
+import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
+export function analyzeDefinitions(environment) {
+    const diagnostics = [];
+    const result = new Map();
+    const visiting = new Set();
+    const analyze = (ref) => {
+        const key = schemaRefIndex(ref);
+        const cached = result.get(key);
+        if (cached !== undefined)
+            return cached;
+        if (visiting.has(key)) {
+            diagnostics.push(diagnostic('DV_INTERFACE_ACYCLIC', '', `Inheritance cycle reaches ${formatSchemaRef(ref)}.`, formatSchemaRef(ref)));
+            return undefined;
+        }
+        const resolved = environment.resolveAny(ref);
+        if (resolved === undefined)
+            return undefined;
+        visiting.add(key);
+        const declaration = resolved.declaration;
+        const parents = parentRefs(declaration, ref.kind);
+        const parentAnalyses = parents.flatMap((parent) => {
+            const target = environment.resolveAny(parent);
+            if (target === undefined) {
+                diagnostics.push(diagnostic('DV_REF_RESOLVES', '', `Inheritance ref ${formatSchemaRef(parent)} does not resolve.`, formatSchemaRef(parent)));
+                return [];
+            }
+            const analysis = analyze(target.ref);
+            return analysis === undefined ? [] : [analysis];
+        });
+        const properties = mergeFields(parentAnalyses.map((parent) => parent.properties), ownFields(ref, declaration));
+        const data = mergeData(ref, declaration, parentAnalyses, diagnostics);
+        const methods = mergeMethods(ref, declaration, parentAnalyses, diagnostics);
+        const analysis = {
+            ref,
+            declaration,
+            properties,
+            ...(data === undefined ? {} : { data }),
+            methods,
+        };
+        result.set(key, analysis);
+        visiting.delete(key);
+        return analysis;
+    };
+    for (const resolved of environment.definitions.values()) {
+        analyze(resolved.ref);
+    }
+    return Object.freeze({ definitions: result, diagnostics: Object.freeze(diagnostics) });
+}
+function parentRefs(declaration, kind) {
+    if (kind === 'interface') {
+        return declaration.extends;
+    }
+    return declaration.implements;
+}
+function ownFields(owner, declaration) {
+    const root = declaration.properties;
+    const required = new Set(root.required);
+    const result = new Map();
+    for (const [name, schema] of Object.entries(root.properties)) {
+        const key = PropertyKey.of(owner, name);
+        const metadata = declaration.propertyMetadata[name];
+        result.set(key, {
+            identity: key,
+            owner,
+            name,
+            schema,
+            required: required.has(name),
+            visibility: metadata?.visibility === 'private' ? 'private' : 'public',
+            ...(metadata?.auto === undefined ? {} : { auto: metadata.auto }),
+        });
+    }
+    return result;
+}
+function mergeFields(inherited, own) {
+    const result = new Map();
+    for (const fields of inherited) {
+        for (const [key, field] of fields) {
+            if (!result.has(key))
+                result.set(key, field);
+        }
+    }
+    for (const [key, field] of own) {
+        result.set(key, field);
+    }
+    return result;
+}
+function mergeData(owner, declaration, parents, diagnostics) {
+    let effective;
+    for (const parent of parents) {
+        if (parent.data === undefined)
+            continue;
+        if (effective === undefined) {
+            effective = parent.data;
+            continue;
+        }
+        if (effective.identity !== parent.data.identity) {
+            diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data has distinct declaring owners ${formatSchemaRef(effective.owner)} and ${formatSchemaRef(parent.data.owner)}.`));
+        }
+    }
+    const own = 'data' in declaration ? declaration.data : undefined;
+    if (own === undefined)
+        return effective;
+    if (effective !== undefined) {
+        diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data redeclares the inherited contract from ${formatSchemaRef(effective.owner)}.`));
+    }
+    return {
+        identity: `${schemaRefIndex(owner)}\u0000data`,
+        owner,
+        declaration: own,
+    };
+}
+function mergeMethods(owner, declaration, parents, diagnostics) {
+    if (!('methods' in declaration))
+        return new Map();
+    const inherited = new Map();
+    for (const parent of parents) {
+        for (const [name, method] of parent.methods) {
+            const entries = inherited.get(name) ?? [];
+            if (!entries.some((entry) => entry.identity === method.identity))
+                entries.push(method);
+            inherited.set(name, entries);
+        }
+    }
+    const result = new Map();
+    for (const [name, entries] of inherited) {
+        if (entries.length === 1)
+            result.set(name, entries[0]);
+    }
+    for (const [name, ownMethod] of Object.entries(declaration.methods)) {
+        const parentsForName = inherited.get(name) ?? [];
+        for (const parent of parentsForName) {
+            if (parent.declaration.inheritance === 'sealed') {
+                diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} cannot override sealed ${formatSchemaRef(parent.owner)}.${name}.`));
+            }
+            if (!sameMethodSignature(ownMethod, parent.declaration)) {
+                diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} does not exactly preserve its inherited signature.`));
+            }
+            if (parent.declaration.inheritance !== 'abstract' &&
+                canonicalPolicy(parent.declaration.policy) !== canonicalPolicy(ownMethod.policy)) {
+                diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} changes an executable inherited Policy.`));
+            }
+        }
+        result.set(name, {
+            identity: `${schemaRefIndex(owner)}\u0000method\u0000${name}`,
+            owner,
+            name,
+            declaration: ownMethod,
+        });
+        inherited.delete(name);
+    }
+    for (const [name, entries] of inherited) {
+        if (entries.length > 1) {
+            diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Inherited method ${name} is ambiguous and has no local override.`));
+        }
+    }
+    if (owner.kind === 'class' && declaration.family === 'node') {
+        for (const [name, method] of result) {
+            if (method.declaration.inheritance === 'abstract') {
+                diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Concrete Class ${owner.name} leaves method ${name} abstract.`));
+            }
+        }
+    }
+    return result;
+}
+function sameMethodSignature(left, right) {
+    return (json.serialize(canonicalizeValueSchema(left.input, 'callable-input')) ===
+        json.serialize(canonicalizeValueSchema(right.input, 'callable-input')) &&
+        canonicalMethodOutput(left) === canonicalMethodOutput(right) &&
+        left.auth === right.auth &&
+        left.static === right.static);
+}
+function canonicalMethodOutput(value) {
+    switch (value.output.mode) {
+        case 'value':
+            return `value:${json.serialize(canonicalizeValueSchema(value.output.schema, 'callable-output'))}`;
+        case 'stream':
+            return `stream:${json.serialize(canonicalizeValueSchema(value.output.item, 'callable-output'))}`;
+        case 'binary':
+            return 'binary';
+    }
+}
+function canonicalPolicy(value) {
+    return json.serialize(value === undefined ? null : normalizePolicyChecks(value));
+}
+//# sourceMappingURL=analysis.js.map

package/dist/v1/schema/definition/analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../../v1/schema/definition/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAYnD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAsC1E,MAAM,UAAU,kBAAkB,CAAC,WAAoC;IACrE,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAA;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAElC,MAAM,OAAO,GAAG,CAAC,GAAkB,EAAkC,EAAE;QACrE,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,sBAAsB,EACtB,EAAE,EACF,6BAA6B,eAAe,CAAC,GAAG,CAAC,GAAG,EACpD,eAAe,CAAC,GAAG,CAAC,CACrB,CACF,CAAA;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAC5C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC5C,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAsD,CAAA;QACnF,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;QACjD,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAChD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;YAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,mBAAmB,eAAe,CAAC,MAAM,CAAC,oBAAoB,EAC9D,eAAe,CAAC,MAAM,CAAC,CACxB,CACF,CAAA;gBACD,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAoB,CAAC,CAAA;YACrD,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QACjD,CAAC,CAAC,CAAA;QAEF,MAAM,UAAU,GAAG,WAAW,CAC5B,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EACjD,SAAS,CAAC,GAAG,EAAE,WAAW,CAAC,CAC5B,CAAA;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC,CAAA;QACrE,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC,CAAA;QAC3E,MAAM,QAAQ,GAAuB;YACnC,GAAG;YACH,WAAW;YACX,UAAU;YACV,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,OAAO;SACR,CAAA;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACzB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IAED,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IACvB,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AACxF,CAAC;AAED,SAAS,UAAU,CACjB,WAAoD,EACpD,IAAY;IAEZ,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAQ,WAAoC,CAAC,OAAmC,CAAA;IAClF,CAAC;IACD,OAAQ,WAAgC,CAAC,UAAsC,CAAA;AACjF,CAAC;AAED,SAAS,SAAS,CAChB,KAAoB,EACpB,WAAoD;IAEpD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAA;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAA;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAA;QACnD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;YACd,QAAQ,EAAE,GAAG;YACb,KAAK;YACL,IAAI;YACJ,MAAM;YACN,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAC5B,UAAU,EAAE,QAAQ,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;YACrE,GAAG,CAAC,QAAQ,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;SACjE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,WAAW,CAClB,SAA8D,EAC9D,GAA6C;IAE7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAA;IACrD,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QAC9C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,SAAS,CAChB,KAAoB,EACpB,WAAoD,EACpD,OAAsC,EACtC,WAA+B;IAE/B,IAAI,SAAoC,CAAA;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,SAAS,GAAG,MAAM,CAAC,IAAI,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,EAAE,EACF,sCAAsC,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CACpH,CACF,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAChE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,EAAE,EACF,+CAA+C,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CACnF,CACF,CAAA;IACH,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,YAAY;QAC9C,KAAK;QACL,WAAW,EAAE,GAAG;KACjB,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAoB,EACpB,WAAoD,EACpD,OAAsC,EACtC,WAA+B;IAE/B,IAAI,CAAC,CAAC,SAAS,IAAI,WAAW,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAA;IACtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YACzC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACtF,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAoB,CAAC,CAAA;IAC3E,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QAChD,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,WAAW,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,UAAU,IAAI,2BAA2B,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAClF,CACF,CAAA;YACH,CAAC;YACD,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;gBACxD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,UAAU,IAAI,qDAAqD,CACpE,CACF,CAAA;YACH,CAAC;YACD,IACE,MAAM,CAAC,WAAW,CAAC,WAAW,KAAK,UAAU;gBAC7C,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,EAChF,CAAC;gBACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,UAAU,IAAI,0CAA0C,CACzD,CACF,CAAA;YACH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,QAAQ,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,qBAAqB,IAAI,EAAE;YAC7D,KAAK;YACL,IAAI;YACJ,WAAW,EAAE,SAAS;SACvB,CAAC,CAAA;QACF,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,oBAAoB,IAAI,0CAA0C,CACnE,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,WAAW,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;gBAClD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,EAAE,EACF,kBAAkB,KAAK,CAAC,IAAI,kBAAkB,IAAI,YAAY,CAC/D,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB,EAAE,KAAwB;IAC5E,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACxE,qBAAqB,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC;QAC5D,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAC7B,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAwB;IACrD,QAAQ,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,OAAO;YACV,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAA;QACnG,KAAK,QAAQ;YACX,OAAO,UAAU,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAA;QAClG,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAA;IACnB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAkC;IACzD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAA;AAClF,CAAC"}

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

@@ -0,0 +1,28 @@
+import type { MethodRecord } from '../callable.js';
+import type { InterfaceRef, PolicyRef } from '../reference.js';
+import type { DataFacet } from './data.js';
+import type { EdgeContract } from './edge.js';
+import type { PropertyFacet } from './property.js';
+export interface NodeClassPolicies {
+    readonly read?: PolicyRef;
+    readonly traverse?: PolicyRef;
+}
+export interface EdgeClassPolicies {
+    readonly traverse?: PolicyRef;
+}
+export interface NodeClassDeclaration extends PropertyFacet, DataFacet {
+    readonly family: 'node';
+    readonly description?: string;
+    readonly implements: readonly InterfaceRef[];
+    readonly methods: MethodRecord;
+    readonly icon?: string;
+    readonly policies: NodeClassPolicies;
+}
+export type EdgeClassDeclaration = PropertyFacet & EdgeContract & {
+    readonly family: 'edge';
+    readonly description?: string;
+    readonly implements: readonly InterfaceRef[];
+    readonly policies: EdgeClassPolicies;
+};
+export type ClassDeclaration = NodeClassDeclaration | EdgeClassDeclaration;
+//# sourceMappingURL=class.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/class.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAC9B;AAED,MAAM,WAAW,oBAAqB,SAAQ,aAAa,EAAE,SAAS;IACpE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;CACrC;AAED,MAAM,MAAM,oBAAoB,GAAG,aAAa,GAC9C,YAAY,GAAG;IACb,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAA;IAC5C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;CACrC,CAAA;AAEH,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,oBAAoB,CAAA"}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=class.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"class.js","sourceRoot":"","sources":["../../../../v1/schema/definition/class.ts"],"names":[],"mappings":""}

package/dist/v1/schema/definition/data.d.ts

@@ -0,0 +1,12 @@
+import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
+/** Canonical lowercase RFC 6838 media type without parameters. */
+export declare const MEDIA_TYPE_PATTERN: RegExp;
+export type MediaType = string;
+/** Schema-level contract for one externally stored Node payload. */
+export type DataDeclaration = JsonObject & {
+    readonly mediaType: MediaType;
+};
+export interface DataFacet {
+    readonly data?: DataDeclaration;
+}
+//# sourceMappingURL=data.d.ts.map

package/dist/v1/schema/definition/data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAExE,kEAAkE;AAClE,eAAO,MAAM,kBAAkB,QAC0C,CAAA;AAEzE,MAAM,MAAM,SAAS,GAAG,MAAM,CAAA;AAE9B,oEAAoE;AACpE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAC9B,CAAA;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAA;CAChC"}

package/dist/v1/schema/definition/data.js

@@ -0,0 +1,3 @@
+/** Canonical lowercase RFC 6838 media type without parameters. */
+export const MEDIA_TYPE_PATTERN = /^[a-z0-9][a-z0-9!#$&^_.+-]{0,126}\/[a-z0-9][a-z0-9!#$&^_.+-]{0,126}$/u;
+//# sourceMappingURL=data.js.map

package/dist/v1/schema/definition/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../../../v1/schema/definition/data.ts"],"names":[],"mappings":"AAEA,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAC7B,uEAAuE,CAAA"}

package/dist/v1/schema/definition/edge.d.ts

@@ -0,0 +1,35 @@
+import type { DefinitionRef } from '../reference.js';
+export type EdgeCount = '0..*' | '1..*' | '0..1' | '1';
+export type EdgeOrientation = 'directed' | 'undirected';
+export interface EdgeEndpointBase {
+    readonly role: string;
+    readonly accepts: readonly DefinitionRef[];
+}
+export interface DirectedSourceEndpoint extends EdgeEndpointBase {
+    readonly outgoing: EdgeCount;
+}
+export interface DirectedTargetEndpoint extends EdgeEndpointBase {
+    readonly incoming: EdgeCount;
+}
+export interface IncidentEndpoint extends EdgeEndpointBase {
+    readonly incident: EdgeCount;
+}
+export interface EdgeConstraints {
+    readonly noSelf?: true;
+    readonly acyclic?: true;
+}
+export interface DirectedEdgeContract {
+    readonly orientation: 'directed';
+    readonly endpoints: {
+        readonly source: DirectedSourceEndpoint;
+        readonly target: DirectedTargetEndpoint;
+    };
+    readonly constraints: EdgeConstraints;
+}
+export interface UndirectedEdgeContract {
+    readonly orientation: 'undirected';
+    readonly endpoints: readonly [IncidentEndpoint, IncidentEndpoint];
+    readonly constraints: EdgeConstraints;
+}
+export type EdgeContract = DirectedEdgeContract | UndirectedEdgeContract;
+//# sourceMappingURL=edge.d.ts.map

package/dist/v1/schema/definition/edge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/edge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAEpD,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,CAAA;AACtD,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,YAAY,CAAA;AAEvD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAA;CAC3C;AAED,MAAM,WAAW,sBAAuB,SAAQ,gBAAgB;IAC9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,sBAAuB,SAAQ,gBAAgB;IAC9D,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,gBAAiB,SAAQ,gBAAgB;IACxD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;QACvC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;KACxC,CAAA;IACD,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAA;IACjE,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC;AAED,MAAM,MAAM,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,CAAA"}