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

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

@@ -1,22 +0,0 @@
-import type { MethodRecord } from '../callable.js';
-import type { InterfaceRef } from '../reference.js';
-import type { DataFacet } from './data.js';
-import type { EdgeContract } from './edge.js';
-import type { PropertyFacet } from './property.js';
-export interface NodeInterfaceDeclaration extends PropertyFacet, DataFacet {
-    readonly family: 'node';
-    readonly description?: string;
-    readonly extends: readonly InterfaceRef[];
-    readonly methods: MethodRecord;
-}
-export type EdgeInterfaceDeclaration = PropertyFacet & EdgeContract & {
-    readonly family: 'edge';
-    readonly description?: string;
-    readonly extends: readonly InterfaceRef[];
-};
-export type InterfaceDeclaration = (PropertyFacet & {
-    readonly family: 'both';
-    readonly description?: string;
-    readonly extends: readonly InterfaceRef[];
-}) | NodeInterfaceDeclaration | EdgeInterfaceDeclaration;
-//# sourceMappingURL=interface.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,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,wBAAyB,SAAQ,aAAa,EAAE,SAAS;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAC/B;AAED,MAAM,MAAM,wBAAwB,GAAG,aAAa,GAClD,YAAY,GAAG;IACb,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C,CAAA;AAEH,MAAM,MAAM,oBAAoB,GAC5B,CAAC,aAAa,GAAG;IACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C,CAAC,GACF,wBAAwB,GACxB,wBAAwB,CAAA"}

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

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

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

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

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

@@ -1,18 +0,0 @@
-import type { PropertyObjectSchema } from '../value/schema.js';
-export type PropertyVisibility = 'public' | 'private';
-export type AutoEvent = 'create' | 'update';
-export type AutoSet = 'instant';
-export interface PropertyAuto {
-    readonly on: readonly AutoEvent[];
-    readonly set: AutoSet;
-}
-export interface PropertyMetadata {
-    readonly visibility: PropertyVisibility;
-    readonly auto?: PropertyAuto;
-}
-export type PropertyMetadataRecord = Readonly<Record<string, PropertyMetadata>>;
-export interface PropertyFacet {
-    readonly properties: PropertyObjectSchema;
-    readonly propertyMetadata: PropertyMetadataRecord;
-}
-//# sourceMappingURL=property.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/property.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAE9D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAA;AAErD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAC3C,MAAM,MAAM,OAAO,GAAG,SAAS,CAAA;AAE/B,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;IACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAC7B;AAED,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAE/E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAA;IACzC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAA;CAClD"}

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

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

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

@@ -1,5 +0,0 @@
-import type { DomainDiagnostic } from '../diagnostic.js';
-import type { DomainResolutionContext } from '../resolution/context.js';
-import type { DefinitionAnalysisResult } from './analysis.js';
-export declare function validateDefinitions(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult): readonly DomainDiagnostic[];
-//# sourceMappingURL=validate.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/validate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAU7D,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,GACjC,SAAS,gBAAgB,EAAE,CAqB7B"}

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

@@ -1,221 +0,0 @@
-import { json } from '@astrale-os/kernel-dsl/value';
-import { diagnostic } from '../diagnostic.js';
-import { schemaRefIndex, compareSchemaRefs, formatSchemaRef } from '../reference.js';
-import { createValueSchemaRegistry } from '../resolution/value.registry.js';
-import { classifyOrdering } from '../value/ordering.js';
-export function validateDefinitions(environment, analysis) {
-    const diagnostics = [...analysis.diagnostics];
-    const schema = environment.candidate;
-    for (const [name, declaration] of Object.entries(schema.interfaces)) {
-        const ref = localRef(schema.origin, 'interfaces', name);
-        validateFacet(environment, declaration, `/interfaces/${escapePointer(name)}`, diagnostics);
-        validateParents(environment, ref, declaration.family, declaration.extends, diagnostics);
-        if (declaration.family === 'edge')
-            validateEdgeContract(environment, ref, declaration, diagnostics);
-    }
-    for (const [name, declaration] of Object.entries(schema.classes)) {
-        const ref = localRef(schema.origin, 'classes', name);
-        validateFacet(environment, declaration, `/classes/${escapePointer(name)}`, diagnostics);
-        validateParents(environment, ref, declaration.family, declaration.implements, diagnostics);
-        if (declaration.family === 'edge')
-            validateEdgeContract(environment, ref, declaration, diagnostics);
-    }
-    validateEdgeInterfaceEquality(environment, diagnostics);
-    return Object.freeze(diagnostics);
-}
-function validateFacet(environment, declaration, pointer, diagnostics) {
-    const names = new Set(Object.keys(declaration.properties.properties));
-    for (const [index, name] of declaration.properties.required.entries()) {
-        if (!names.has(name)) {
-            diagnostics.push(diagnostic('DV_PROPERTY_FACET', `${pointer}/properties/required/${index}`, `Required property ${name} is not directly declared.`));
-        }
-    }
-    for (const name of Object.keys(declaration.propertyMetadata)) {
-        if (!names.has(name)) {
-            diagnostics.push(diagnostic('DV_PROPERTY_FACET', `${pointer}/propertyMetadata/${escapePointer(name)}`, `Metadata cannot create hidden property ${name}.`));
-        }
-    }
-    const required = new Set(declaration.properties.required);
-    const valueRegistry = createValueSchemaRegistry(environment);
-    for (const [name, metadata] of Object.entries(declaration.propertyMetadata)) {
-        if (metadata.auto === undefined)
-            continue;
-        const propertyPointer = `${pointer}/propertyMetadata/${escapePointer(name)}/auto`;
-        if (required.has(name) && !metadata.auto.on.includes('create')) {
-            diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/on`, 'A required automatic Property must run on create.'));
-        }
-        const contract = declaration.properties.properties[name];
-        if (contract !== undefined &&
-            metadata.auto.set === 'instant' &&
-            classifyOrdering(contract, valueRegistry) !== 'instant') {
-            diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/set`, 'The instant setter requires an Instant value schema.'));
-        }
-    }
-    if ('methods' in declaration) {
-        for (const [name, method] of Object.entries(declaration.methods)) {
-            const methodPointer = `${pointer}/methods/${escapePointer(name)}`;
-            if (method.inheritance === 'abstract' && method.policy !== undefined) {
-                diagnostics.push(diagnostic('DV_METHOD_ABSTRACT', `${methodPointer}/policy`, 'Abstract Methods cannot have a Policy.'));
-            }
-            if (!('implements' in declaration)) {
-                // Node Interface methods may use every inheritance mode.
-            }
-            else if (method.inheritance === 'abstract') {
-                diagnostics.push(diagnostic('DV_METHOD_ABSTRACT', `${methodPointer}/inheritance`, 'A Node Class cannot declare an abstract Method.'));
-            }
-        }
-    }
-}
-function validateParents(environment, owner, ownerFamily, parents, diagnostics) {
-    for (const [index, parent] of parents.entries()) {
-        const target = environment.resolve(parent);
-        if (target === undefined) {
-            diagnostics.push(diagnostic('DV_REF_RESOLVES', `/${owner.kind === 'class' ? 'classes' : 'interfaces'}/${escapePointer(owner.name)}/${owner.kind === 'class' ? 'implements' : 'extends'}/${index}`, `Parent ${formatSchemaRef(parent)} does not resolve exactly.`, formatSchemaRef(parent)));
-            continue;
-        }
-        const allowed = target.ref.kind === 'interface' &&
-            (ownerFamily === 'both'
-                ? target.family === 'both'
-                : target.family === ownerFamily || target.family === 'both');
-        if (!allowed) {
-            diagnostics.push(diagnostic('DV_INTERFACE_KIND', '', `${formatSchemaRef(owner)} cannot inherit ${formatSchemaRef(parent)}.`));
-        }
-    }
-}
-function validateEdgeContract(environment, owner, declaration, diagnostics) {
-    const endpoints = declaration.orientation === 'directed'
-        ? [declaration.endpoints.source, declaration.endpoints.target]
-        : declaration.endpoints;
-    if (endpoints[0].role === endpoints[1].role) {
-        diagnostics.push(diagnostic('DV_EDGE_ROLE', '', `${formatSchemaRef(owner)} has equal source and target roles.`));
-    }
-    validateEndpoint(environment, owner, endpoints[0], declaration.orientation === 'directed' ? 'source' : 'first endpoint', diagnostics);
-    validateEndpoint(environment, owner, endpoints[1], declaration.orientation === 'directed' ? 'target' : 'second endpoint', diagnostics);
-    if (declaration.orientation === 'undirected') {
-        if (!sameIncidentEndpointContract(declaration.endpoints[0], declaration.endpoints[1]) &&
-            undirectedEndpointsOverlap(environment, declaration.endpoints)) {
-            diagnostics.push(diagnostic('DV_EDGE_UNDIRECTED', '', `${formatSchemaRef(owner)} has unequal undirected endpoint contracts whose accepted Node families overlap.`));
-        }
-        if (declaration.constraints.acyclic === true) {
-            diagnostics.push(diagnostic('DV_EDGE_CONSTRAINT', '', 'acyclic is valid only for directed Edge contracts.'));
-        }
-    }
-}
-function validateEndpoint(environment, owner, endpoint, side, diagnostics) {
-    const seen = new Set();
-    for (const ref of endpoint.accepts) {
-        const key = schemaRefIndex(ref);
-        if (seen.has(key)) {
-            diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatSchemaRef(owner)} ${side} repeats ${formatSchemaRef(ref)}.`));
-        }
-        seen.add(key);
-        const resolved = environment.resolve(ref);
-        if (resolved === undefined || resolved.family !== 'node') {
-            diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatSchemaRef(owner)} ${side} ref ${formatSchemaRef(ref)} does not resolve to a Node Definition.`));
-        }
-    }
-}
-function validateEdgeInterfaceEquality(environment, diagnostics) {
-    for (const resolved of environment.definitions.values()) {
-        if (resolved.family !== 'edge')
-            continue;
-        const declaration = resolved.declaration;
-        const parents = resolved.ref.kind === 'interface'
-            ? declaration.extends
-            : declaration.implements;
-        for (const parentRef of parents) {
-            const parent = environment.resolveAny(parentRef);
-            if (parent === undefined || parent.ref.kind !== 'interface' || parent.family !== 'edge') {
-                continue;
-            }
-            const parentDeclaration = parent.declaration;
-            const childContract = {
-                endpoints: canonicalEndpoints(declaration.endpoints),
-                orientation: declaration.orientation,
-                constraints: declaration.constraints,
-            };
-            const parentContract = {
-                endpoints: canonicalEndpoints(parentDeclaration.endpoints),
-                orientation: parentDeclaration.orientation,
-                constraints: parentDeclaration.constraints,
-            };
-            if (json.serialize(childContract) !== json.serialize(parentContract)) {
-                diagnostics.push(diagnostic('DV_EDGE_INTERFACE_COMPOSITION', '', `${formatSchemaRef(resolved.ref)} does not exactly preserve ${formatSchemaRef(parentRef)}.`));
-            }
-        }
-    }
-}
-function canonicalEndpoints(endpoints) {
-    if (Array.isArray(endpoints)) {
-        return [
-            { ...endpoints[0], accepts: [...endpoints[0].accepts].sort(compareSchemaRefs) },
-            { ...endpoints[1], accepts: [...endpoints[1].accepts].sort(compareSchemaRefs) },
-        ];
-    }
-    const directed = endpoints;
-    return {
-        source: {
-            ...directed.source,
-            accepts: [...directed.source.accepts].sort(compareSchemaRefs),
-        },
-        target: {
-            ...directed.target,
-            accepts: [...directed.target.accepts].sort(compareSchemaRefs),
-        },
-    };
-}
-function sameIncidentEndpointContract(left, right) {
-    if (left.incident !== right.incident)
-        return false;
-    const a = [...left.accepts].map(schemaRefIndex).sort();
-    const b = [...right.accepts].map(schemaRefIndex).sort();
-    return a.length === b.length && a.every((value, index) => value === b[index]);
-}
-function undirectedEndpointsOverlap(environment, endpoints) {
-    for (const resolved of environment.definitions.values()) {
-        if (resolved.ref.kind !== 'class' || resolved.family !== 'node')
-            continue;
-        const candidate = resolved.ref;
-        if (classSatisfies(environment, candidate, endpoints[0].accepts) &&
-            classSatisfies(environment, candidate, endpoints[1].accepts)) {
-            return true;
-        }
-    }
-    return false;
-}
-function classSatisfies(environment, candidate, accepts) {
-    if (accepts.some((ref) => schemaRefIndex(ref) === schemaRefIndex(candidate)))
-        return true;
-    const resolved = environment.resolveAny(candidate);
-    if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'node') {
-        return false;
-    }
-    const declaration = resolved.declaration;
-    return implementsAny(environment, declaration.implements, accepts, new Set());
-}
-function implementsAny(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') &&
-            implementsAny(environment, resolved.declaration.extends, accepts, visited)) {
-            return true;
-        }
-    }
-    return false;
-}
-function localRef(origin, namespace, name) {
-    return { origin, kind: namespace === 'classes' ? 'class' : 'interface', name };
-}
-function escapePointer(value) {
-    return value.replaceAll('~', '~0').replaceAll('/', '~1');
-}
-//# sourceMappingURL=validate.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../v1/schema/definition/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAUnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACpF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAEvD,MAAM,UAAU,mBAAmB,CACjC,WAAoC,EACpC,QAAkC;IAElC,MAAM,WAAW,GAAuB,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAA;IAEpC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;QACvD,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QAC1F,eAAe,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACvF,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAC/B,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IACpE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QACpD,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QACvF,eAAe,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;QAC1F,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAC/B,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IACpE,CAAC;IAED,6BAA6B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,aAAa,CACpB,WAAoC,EACpC,WAAoD,EACpD,OAAe,EACf,WAA+B;IAE/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAA;IACrE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACtE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,wBAAwB,KAAK,EAAE,EACzC,qBAAqB,IAAI,4BAA4B,CACtD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,qBAAqB,aAAa,CAAC,IAAI,CAAC,EAAE,EACpD,0CAA0C,IAAI,GAAG,CAClD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IACzD,MAAM,aAAa,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC5E,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QACzC,MAAM,eAAe,GAAG,GAAG,OAAO,qBAAqB,aAAa,CAAC,IAAI,CAAC,OAAO,CAAA;QACjF,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/D,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,KAAK,EACvB,mDAAmD,CACpD,CACF,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QACxD,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;YAC/B,gBAAgB,CAAC,QAAQ,EAAE,aAAa,CAAC,KAAK,SAAS,EACvD,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,MAAM,EACxB,sDAAsD,CACvD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,MAAM,aAAa,GAAG,GAAG,OAAO,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;YACjE,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,aAAa,SAAS,EACzB,wCAAwC,CACzC,CACF,CAAA;YACH,CAAC;YACD,IAAI,CAAC,CAAC,YAAY,IAAI,WAAW,CAAC,EAAE,CAAC;gBACnC,yDAAyD;YAC3D,CAAC;iBAAM,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,aAAa,cAAc,EAC9B,iDAAiD,CAClD,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC,EACpC,KAAoB,EACpB,WAAmB,EACnB,OAA6B,EAC7B,WAA+B;IAE/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC1C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,KAAK,EAAE,EAClJ,UAAU,eAAe,CAAC,MAAM,CAAC,4BAA4B,EAC7D,eAAe,CAAC,MAAM,CAAC,CACxB,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GACX,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,WAAW,KAAK,MAAM;gBACrB,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;gBAC1B,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;QAChE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,mBAAmB,eAAe,CAAC,MAAM,CAAC,GAAG,CACvE,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAoC,EACpC,KAAoB,EACpB,WAAyB,EACzB,WAA+B;IAE/B,MAAM,SAAS,GACb,WAAW,CAAC,WAAW,KAAK,UAAU;QACpC,CAAC,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAW;QACzE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAA;IAC3B,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,cAAc,EACd,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,qCAAqC,CAC/D,CACF,CAAA;IACH,CAAC;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EACpE,WAAW,CACZ,CAAA;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EACrE,WAAW,CACZ,CAAA;IACD,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,IACE,CAAC,4BAA4B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACjF,0BAA0B,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,EAC9D,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,kFAAkF,CAC5G,CACF,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,oBAAoB,EAAE,EAAE,EAAE,oDAAoD,CAAC,CAC3F,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,KAAoB,EACpB,QAA0B,EAC1B,IAAY,EACZ,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,eAAe,CAAC,GAAG,CAAC,GAAG,CACrE,CACF,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,eAAe,CAAC,GAAG,CAAC,yCAAyC,CACvG,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,WAAoC,EACpC,WAA+B;IAE/B,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACxC,MAAM,WAAW,GAAG,QAAQ,CAAC,WAG5B,CAAA;QACD,MAAM,OAAO,GACX,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,CAAE,WAAiE,CAAC,OAAO;YAC5E,CAAC,CAAE,WAA6D,CAAC,UAAU,CAAA;QAC/E,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YAChD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACxF,SAAQ;YACV,CAAC;YACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAGhC,CAAA;YACD,MAAM,aAAa,GAAG;gBACpB,SAAS,EAAE,kBAAkB,CAAC,WAAW,CAAC,SAAS,CAAC;gBACpD,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,WAAW,EAAE,WAAW,CAAC,WAAW;aACrC,CAAA;YACD,MAAM,cAAc,GAAG;gBACrB,SAAS,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,SAAS,CAAC;gBAC1D,WAAW,EAAE,iBAAiB,CAAC,WAAW;gBAC1C,WAAW,EAAE,iBAAiB,CAAC,WAAW;aAC3C,CAAA;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,+BAA+B,EAC/B,EAAE,EACF,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,8BAA8B,eAAe,CAAC,SAAS,CAAC,GAAG,CAC5F,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAoC;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;YAC/E,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;SAChF,CAAA;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,SAA4E,CAAA;IAC7F,OAAO;QACL,MAAM,EAAE;YACN,GAAG,QAAQ,CAAC,MAAM;YAClB,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC9D;QACD,MAAM,EAAE;YACN,GAAG,QAAQ,CAAC,MAAM;YAClB,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC9D;KACF,CAAA;AACH,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAsB,EAAE,KAAuB;IACnF,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IAClD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAA;IACtD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAA;IACvD,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,0BAA0B,CACjC,WAAoC,EACpC,SAAwD;IAExD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAe,CAAA;QAC1C,IACE,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5D,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAC5D,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,SAAmB,EACnB,OAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACzF,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IAClD,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,MAAM,WAAW,GAAG,QAAQ,CAAC,WAA4D,CAAA;IACzF,OAAO,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,aAAa,CACpB,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,aAAa,CACX,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,QAAQ,CACf,MAAc,EACd,SAAmC,EACnC,IAAY;IAEZ,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,CAAA;AAChF,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/dependency.meaning.d.ts

@@ -1,30 +0,0 @@
-import type { Key as SemanticKey } from '../addressing/index.js';
-import type { DomainSchema } from './domain.ir.js';
-import type { Revision } from './reference.js';
-import { Key } from '../addressing/index.js';
-export type DependencyMeaningChangeKind = 'missing' | 'changed';
-export type MeaningFingerprint = `sha256:${string}`;
-export interface DependencyMeaningChange {
-    readonly key: SemanticKey;
-    readonly kind: DependencyMeaningChangeKind;
-    readonly sourceFingerprint: MeaningFingerprint;
-    readonly targetFingerprint?: MeaningFingerprint;
-}
-export interface DependencyMeaningComparison {
-    readonly version: 1;
-    readonly dependency: Key.Origin;
-    readonly source: Revision;
-    readonly target: Revision;
-    readonly footprint: readonly SemanticKey[];
-    readonly changes: readonly DependencyMeaningChange[];
-    readonly fingerprint: MeaningFingerprint;
-}
-/**
- * Compare the exact V1 meaning one accepted Domain used from a retained dependency with a
- * candidate revision of that same dependency origin. This operation is pure and makes no
- * lifecycle-compatibility decision.
- */
-export declare function compareDependencyMeaning(dependent: DomainSchema, target: DomainSchema): DependencyMeaningComparison;
-/** Compare one explicit non-empty source member surface and its reachable V1 meaning. */
-export declare function compareMemberMeaning(source: DomainSchema, target: DomainSchema, roots: readonly [SemanticKey, ...SemanticKey[]]): DependencyMeaningComparison;
-//# sourceMappingURL=dependency.meaning.d.ts.map

package/dist/v1/schema/dependency.meaning.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"dependency.meaning.d.ts","sourceRoot":"","sources":["../../../v1/schema/dependency.meaning.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,GAAG,IAAI,WAAW,EAAsC,MAAM,wBAAwB,CAAA;AAKpG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAElD,OAAO,KAAK,EAAmC,QAAQ,EAAa,MAAM,gBAAgB,CAAA;AAI1F,OAAO,EAAE,GAAG,EAAoB,MAAM,wBAAwB,CAAA;AAoB9D,MAAM,MAAM,2BAA2B,GAAG,SAAS,GAAG,SAAS,CAAA;AAC/D,MAAM,MAAM,kBAAkB,GAAG,UAAU,MAAM,EAAE,CAAA;AAEnD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,kBAAkB,CAAA;IAC9C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAA;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAA;CACzC;AA6CD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE,YAAY,GACnB,2BAA2B,CAmB7B;AAED,yFAAyF;AACzF,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,GAAG,WAAW,EAAE,CAAC,GAC9C,2BAA2B,CA4B7B"}