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

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

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

@@ -1 +0,0 @@
-{"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

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

@@ -1 +0,0 @@
-{"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

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

@@ -1 +0,0 @@
-{"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

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

@@ -1 +0,0 @@
-{"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.map

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

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

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

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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

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

@@ -1 +0,0 @@
-{"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"}

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

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