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

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

@@ -0,0 +1,188 @@
+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);
+        result.set(key, {
+            identity: key,
+            owner,
+            name,
+            schema,
+            required: required.has(name),
+            visibility: declaration.propertyMetadata[name]?.visibility === 'private' ? 'private' : 'public',
+        });
+    }
+    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;AAWnD,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;AAqC1E,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,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,EACR,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;SACtF,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 interface EdgeClassDeclaration extends 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,WAAW,oBAAqB,SAAQ,aAAa,EAAE,YAAY;IACvE,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;AAED,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,22 @@
+import type { DefinitionRef } from '../reference.js';
+export type Cardinality = '0..*' | '1..*' | '0..1' | '1';
+export type EdgeOrientation = 'directed' | 'undirected';
+export interface EdgeEndpoint {
+    readonly role: string;
+    readonly accepts: readonly DefinitionRef[];
+    readonly cardinality: Cardinality;
+}
+export interface EdgeEndpoints {
+    readonly source: EdgeEndpoint;
+    readonly target: EdgeEndpoint;
+}
+export interface EdgeConstraints {
+    readonly noSelf?: true;
+    readonly acyclic?: true;
+}
+export interface EdgeContract {
+    readonly endpoints: EdgeEndpoints;
+    readonly orientation: EdgeOrientation;
+    readonly constraints: EdgeConstraints;
+}
+//# 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,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,CAAA;AACxD,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,YAAY,CAAA;AAEvD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAA;IAC1C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC9B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;IACjC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;IACrC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC"}

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

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

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

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

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

@@ -0,0 +1,22 @@
+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 interface EdgeInterfaceDeclaration extends 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

@@ -0,0 +1 @@
+{"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,WAAW,wBAAyB,SAAQ,aAAa,EAAE,YAAY;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C;AAED,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

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

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

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

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

@@ -0,0 +1,11 @@
+import type { PropertyObjectSchema } from '../value/schema.js';
+export type PropertyVisibility = 'public' | 'private';
+export interface PropertyMetadata {
+    readonly visibility: PropertyVisibility;
+}
+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

@@ -0,0 +1 @@
+{"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,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;CACxC;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

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

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

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

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

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

@@ -0,0 +1 @@
+{"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;AAQ7D,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,GACjC,SAAS,gBAAgB,EAAE,CAqB7B"}

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

@@ -0,0 +1,152 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { diagnostic } from '../diagnostic.js';
+import { schemaRefIndex, compareSchemaRefs, formatSchemaRef } from '../reference.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(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(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(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}.`));
+        }
+    }
+    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) {
+    if (declaration.endpoints.source.role === declaration.endpoints.target.role) {
+        diagnostics.push(diagnostic('DV_EDGE_ROLE', '', `${formatSchemaRef(owner)} has equal source and target roles.`));
+    }
+    validateEndpoint(environment, owner, declaration.endpoints.source, 'source', diagnostics);
+    validateEndpoint(environment, owner, declaration.endpoints.target, 'target', diagnostics);
+    if (declaration.orientation === 'undirected') {
+        if (!sameEndpointContract(declaration.endpoints.source, declaration.endpoints.target)) {
+            diagnostics.push(diagnostic('DV_EDGE_UNDIRECTED', '', `${formatSchemaRef(owner)} has unequal undirected endpoint contracts.`));
+        }
+        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) {
+    return {
+        ...endpoints,
+        source: {
+            ...endpoints.source,
+            accepts: [...endpoints.source.accepts].sort(compareSchemaRefs),
+        },
+        target: {
+            ...endpoints.target,
+            accepts: [...endpoints.target.accepts].sort(compareSchemaRefs),
+        },
+    };
+}
+function sameEndpointContract(left, right) {
+    if (left.cardinality !== right.cardinality)
+        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 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

@@ -0,0 +1 @@
+{"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;AAEpF,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,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QAC7E,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,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QAC1E,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,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,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,IAAI,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,cAAc,EACd,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,qCAAqC,CAC/D,CACF,CAAA;IACH,CAAC;IACD,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACzF,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACzF,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACtF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,6CAA6C,CACvE,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,QAAsB,EACtB,IAAyB,EACzB,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,CAEzB,SAAY;IACZ,OAAO;QACL,GAAG,SAAS;QACZ,MAAM,EAAE;YACN,GAAG,SAAS,CAAC,MAAM;YACnB,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC/D;QACD,MAAM,EAAE;YACN,GAAG,SAAS,CAAC,MAAM;YACnB,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC/D;KACF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAkB,EAAE,KAAmB;IACnE,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IACxD,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,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

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

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