@x12i/memorix-metadata 0.0.0-bootstrap.0

package/README.md

@@ -0,0 +1,35 @@
+# @x12i/memorix-metadata
+
+Canonical **declarative** metadata contracts, **effective multi-agent resolution**, and **metadata-only abstract unions** for Memorix (Phase 3).
+
+## Scope
+
+- One registry of **12** supported metadata kinds (including `services`)
+- Pack validation + reference integrity
+- Effective metadata resolution (parent chains, collapse, provenance, fingerprints)
+- Abstract binding plans: union expansion, property coverage, type/mapping checks, relationship endpoint candidates
+- Examples for `ops` / `project-ops`
+
+## APIs
+
+| Export | Role |
+|---|---|
+| `validateMetadataPack` | Single-pack structural + reference validation |
+| `resolveEffectiveMetadata` | Compose selected `agentIds[]` into effective definitions |
+| `getRawAgentView` | Unresolved single-agent pack view |
+| `fingerprintDefinition` | Deterministic equality fingerprint |
+| `resolveAbstractBindings` | Binding plans + relationship endpoint expansion from effective metadata |
+| `resolveAbstractReverseWrite` | Single-concrete reverse-write target (no union fan-out) |
+
+## Out of scope (still)
+
+- Mapping **execution** lives in `@x12i/memorix-mapping` (metadata only validates map AST schemas)
+- Catalox install / API
+- Abstract record retrieval
+- Relationship physical storage / data links (G4)
+- Mongo data plane (G5)
+- Pipeline runtime / UI
+
+## Abstracts
+
+Abstracts exist only in metadata. `People = employees ∪ contractors`. There is no people collection; a person record lives in one concrete member collection and keeps that concrete `recordId`.

package/dist/abstracts.d.ts

@@ -0,0 +1,98 @@
+/**
+ * Phase 3C — metadata-only abstract union and binding resolution.
+ *
+ * Never creates abstract collections, abstract records, or abstract recordIds.
+ * Does not execute mappings, read Mongo, or create relationship data links.
+ */
+import type { DefinitionProvenance, EffectiveMetadataResult } from "./resolve.js";
+import type { AbstractPropertyBinding, MetadataPack } from "./types.js";
+export type AbstractResolveIssue = {
+    code: string;
+    message: string;
+    path?: string[];
+    abstractType?: string;
+    objectType?: string;
+    abstractProperty?: string;
+};
+export type ConcreteMemberPlan = {
+    objectType: string;
+    /** Conceptual reminder: concrete records keep org-unique recordId in this object type. */
+    retainsConcreteRecordId: true;
+    provenance: DefinitionProvenance[];
+};
+export type PropertyConcretePath = {
+    objectType: string;
+    contentType: string;
+    propertyPath?: string;
+    mappingId?: string;
+    concreteValueType?: string;
+    reverse?: AbstractPropertyBinding["reverse"];
+    reversible: boolean;
+};
+export type AbstractPropertyPlan = {
+    abstractProperty: string;
+    required: boolean;
+    valueType: string;
+    /** One entry per concrete member that binds this property. */
+    concretePaths: PropertyConcretePath[];
+};
+export type AbstractBindingPlan = {
+    abstractType: string;
+    abstractProvenance: DefinitionProvenance | null;
+    /** Deterministically ordered concrete union members. */
+    members: ConcreteMemberPlan[];
+    properties: AbstractPropertyPlan[];
+    bindingIds: string[];
+};
+export type RelationshipEndpointCandidates = {
+    abstractType: string;
+    path: string;
+    candidateObjectTypes: string[];
+};
+export type RelationshipEndpointExpansion = {
+    relationshipId: string;
+    from: RelationshipEndpointCandidates;
+    to: RelationshipEndpointCandidates;
+    /** Possible concrete object-type combinations — no record discovery or link creation. */
+    candidateCombinations: Array<{
+        fromObjectType: string;
+        toObjectType: string;
+    }>;
+    provenance: DefinitionProvenance | null;
+};
+export type AbstractResolutionResult = {
+    ok: boolean;
+    issues: AbstractResolveIssue[];
+    plans: AbstractBindingPlan[];
+    relationshipExpansions: RelationshipEndpointExpansion[];
+    /**
+     * Identity model reminder for callers/tests:
+     * a person exists in exactly one concrete member collection under that concrete recordId.
+     */
+    identityModel: {
+        abstractsMaterializeRecords: false;
+        abstractsHaveCollections: false;
+        concreteRecordIdRetained: true;
+    };
+};
+/**
+ * Resolve deterministic abstract binding plans and relationship endpoint expansions
+ * from effective metadata (Phase 3B output).
+ */
+export declare function resolveAbstractBindings(effective: EffectiveMetadataResult): AbstractResolutionResult;
+/**
+ * Resolve a reverse-write target for one abstract property on one concrete member.
+ * Never fans out to every union member.
+ */
+export declare function resolveAbstractReverseWrite(input: {
+    plan: AbstractBindingPlan;
+    objectType: string;
+    abstractProperty: string;
+}): {
+    ok: boolean;
+    issues: AbstractResolveIssue[];
+    target: PropertyConcretePath | null;
+};
+/** Convenience: resolve abstracts from an already-composed pack (synthetic provenance). */
+export declare function resolveAbstractBindingsFromPack(pack: MetadataPack): AbstractResolutionResult;
+//# sourceMappingURL=abstracts.d.ts.map

package/dist/abstracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abstracts.d.ts","sourceRoot":"","sources":["../src/abstracts.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,oBAAoB,EAEpB,uBAAuB,EACxB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAGV,uBAAuB,EAIvB,YAAY,EAGb,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,0FAA0F;IAC1F,uBAAuB,EAAE,IAAI,CAAC;IAC9B,UAAU,EAAE,oBAAoB,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,OAAO,CAAC,EAAE,uBAAuB,CAAC,SAAS,CAAC,CAAC;IAC7C,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,8DAA8D;IAC9D,aAAa,EAAE,oBAAoB,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAChD,wDAAwD;IACxD,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,8BAA8B,CAAC;IACrC,EAAE,EAAE,8BAA8B,CAAC;IACnC,yFAAyF;IACzF,qBAAqB,EAAE,KAAK,CAAC;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/E,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,oBAAoB,EAAE,CAAC;IAC/B,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,sBAAsB,EAAE,6BAA6B,EAAE,CAAC;IACxD;;;OAGG;IACH,aAAa,EAAE;QACb,2BAA2B,EAAE,KAAK,CAAC;QACnC,wBAAwB,EAAE,KAAK,CAAC;QAChC,wBAAwB,EAAE,IAAI,CAAC;KAChC,CAAC;CACH,CAAC;AAyEF;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,uBAAuB,GACjC,wBAAwB,CAiY1B;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,IAAI,EAAE,mBAAmB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;CAC1B,GAAG;IACF,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,oBAAoB,EAAE,CAAC;IAC/B,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAC;CACrC,CAuEA;AAED,2FAA2F;AAC3F,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,YAAY,GAAG,wBAAwB,CAiD5F"}

package/dist/abstracts.js

@@ -0,0 +1,419 @@
+/**
+ * Phase 3C — metadata-only abstract union and binding resolution.
+ *
+ * Never creates abstract collections, abstract records, or abstract recordIds.
+ * Does not execute mappings, read Mongo, or create relationship data links.
+ */
+function issue(code, message, extra) {
+    return { code, message, ...extra };
+}
+function defsOfKind(effective, kind) {
+    return effective
+        .filter((e) => e.kind === kind)
+        .map((e) => ({ def: e.definition, provenance: e.provenance }));
+}
+function memberObjectTypes(binding) {
+    const fromMembers = (binding.members ?? []).map((m) => m.objectType).filter(Boolean);
+    const fromList = binding.concreteObjectTypes ?? [];
+    return [...new Set([...fromMembers, ...fromList])];
+}
+function fieldExists(ot, contentType, propertyPath) {
+    if (!ot?.fields || ot.fields.length === 0)
+        return null;
+    return ot.fields.some((f) => f.path === propertyPath &&
+        (f.contentType === undefined || f.contentType === contentType));
+}
+function fieldValueType(ot, contentType, propertyPath) {
+    return ot?.fields?.find((f) => f.path === propertyPath &&
+        (f.contentType === undefined || f.contentType === contentType))?.valueType;
+}
+function contentTypeExists(ot, contentType) {
+    if (!ot)
+        return false;
+    return ot.contentTypes.some((c) => c.id === contentType);
+}
+function typesCompatible(abstractType, concreteType) {
+    return abstractType === concreteType;
+}
+function isReversible(reverse) {
+    if (!reverse)
+        return false;
+    const hasPath = typeof reverse.propertyPath === "string" && reverse.propertyPath.trim().length > 0;
+    const hasMap = typeof reverse.mappingId === "string" && reverse.mappingId.trim().length > 0;
+    return hasPath || hasMap;
+}
+function isAmbiguousReverse(reverse) {
+    if (!reverse)
+        return false;
+    const hasPath = typeof reverse.propertyPath === "string" && reverse.propertyPath.trim().length > 0;
+    const hasMap = typeof reverse.mappingId === "string" && reverse.mappingId.trim().length > 0;
+    return !hasPath && !hasMap;
+}
+/**
+ * Resolve deterministic abstract binding plans and relationship endpoint expansions
+ * from effective metadata (Phase 3B output).
+ */
+export function resolveAbstractBindings(effective) {
+    const issues = [];
+    const identityModel = {
+        abstractsMaterializeRecords: false,
+        abstractsHaveCollections: false,
+        concreteRecordIdRetained: true,
+    };
+    if (!effective.ok || !effective.effectivePack) {
+        return {
+            ok: false,
+            issues: [
+                issue("ABS-EFFECTIVE-REQUIRED", "Effective metadata must resolve successfully before abstract binding resolution"),
+            ],
+            plans: [],
+            relationshipExpansions: [],
+            identityModel,
+        };
+    }
+    const pack = effective.effectivePack;
+    const effectiveDefs = effective.effective;
+    for (const e of effectiveDefs) {
+        if (e.kind !== "abstract-types" && e.kind !== "abstract-bindings")
+            continue;
+        for (const key of ["collection", "abstractCollection", "abstractRecordId", "abstractId"]) {
+            if (key in e.definition) {
+                issues.push(issue("ABS-NO-ABSTRACT-RECORD", `Definition ${e.kind}/${e.id} must not introduce ${key}`, { abstractType: e.id, path: [e.kind, e.id, key] }));
+            }
+        }
+    }
+    const abstracts = defsOfKind(effectiveDefs, "abstract-types");
+    const bindings = defsOfKind(effectiveDefs, "abstract-bindings");
+    const objectTypes = defsOfKind(effectiveDefs, "object-types");
+    const mappings = defsOfKind(effectiveDefs, "mappings");
+    const relationships = defsOfKind(effectiveDefs, "relationship-definitions");
+    const otById = new Map(objectTypes.map((o) => [o.def.id, o.def]));
+    const mapById = new Map(mappings.map((m) => [m.def.id, m.def]));
+    const bindingsByAbstract = new Map();
+    for (const b of bindings) {
+        const list = bindingsByAbstract.get(b.def.abstractType) ?? [];
+        list.push(b);
+        bindingsByAbstract.set(b.def.abstractType, list);
+    }
+    const plans = [];
+    for (const { def: abs, provenance: absProv } of abstracts) {
+        const absBindings = bindingsByAbstract.get(abs.id) ?? [];
+        const memberMap = new Map();
+        for (const b of absBindings) {
+            const types = memberObjectTypes(b.def);
+            for (const objectType of types) {
+                if (!otById.has(objectType)) {
+                    issues.push(issue("ABS-INVALID-OBJECT-TYPE", `Abstract "${abs.id}" binds unknown object type "${objectType}"`, {
+                        abstractType: abs.id,
+                        objectType,
+                        path: ["abstract-bindings", b.def.id, objectType],
+                    }));
+                    continue;
+                }
+                const existing = memberMap.get(objectType);
+                const memberDef = b.def.members?.find((m) => m.objectType === objectType) ??
+                    { objectType };
+                if (existing) {
+                    existing.provenance.push(b.provenance);
+                    existing.memberDefs.push(memberDef);
+                }
+                else {
+                    memberMap.set(objectType, {
+                        objectType,
+                        provenance: [b.provenance],
+                        memberDefs: [memberDef],
+                    });
+                }
+            }
+        }
+        const members = [...memberMap.values()]
+            .map((m) => ({
+            objectType: m.objectType,
+            retainsConcreteRecordId: true,
+            provenance: m.provenance,
+        }))
+            .sort((a, b) => a.objectType.localeCompare(b.objectType));
+        const propsByMember = new Map();
+        for (const [objectType, entry] of memberMap) {
+            const propMap = new Map();
+            for (const md of entry.memberDefs) {
+                for (const p of md.properties ?? []) {
+                    propMap.set(p.abstractProperty, p);
+                }
+            }
+            propsByMember.set(objectType, propMap);
+        }
+        const absProps = abs.properties ?? [];
+        const propertyPlans = [];
+        for (const prop of absProps) {
+            const concretePaths = [];
+            for (const member of members) {
+                const binding = propsByMember.get(member.objectType)?.get(prop.id);
+                if (!binding) {
+                    if (prop.required) {
+                        issues.push(issue("ABS-MISSING-REQUIRED-PROPERTY", `Required abstract property "${prop.id}" is not bound for concrete "${member.objectType}"`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                        }));
+                    }
+                    continue;
+                }
+                const ot = otById.get(member.objectType);
+                const contentType = binding.contentType;
+                if (!contentTypeExists(ot, contentType)) {
+                    issues.push(issue("ABS-INVALID-CONTENT-TYPE", `Content type "${contentType}" is not declared on object type "${member.objectType}"`, {
+                        abstractType: abs.id,
+                        objectType: member.objectType,
+                        abstractProperty: prop.id,
+                        path: [member.objectType, contentType],
+                    }));
+                    continue;
+                }
+                if (binding.propertyPath) {
+                    const exists = fieldExists(ot, contentType, binding.propertyPath);
+                    if (exists === false) {
+                        issues.push(issue("ABS-INVALID-PROPERTY-PATH", `Property path "${binding.propertyPath}" is not declared on "${member.objectType}"`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                            path: [member.objectType, binding.propertyPath],
+                        }));
+                        continue;
+                    }
+                }
+                if (binding.mappingId) {
+                    const mapping = mapById.get(binding.mappingId);
+                    if (!mapping) {
+                        issues.push(issue("ABS-MISSING-MAPPING", `Property "${prop.id}" on "${member.objectType}" references missing mapping "${binding.mappingId}"`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                        }));
+                        continue;
+                    }
+                }
+                else if (binding.propertyPath) {
+                    const concreteType = binding.concreteValueType ??
+                        fieldValueType(ot, contentType, binding.propertyPath) ??
+                        "unknown";
+                    if (concreteType !== "unknown" && !typesCompatible(prop.valueType, concreteType)) {
+                        issues.push(issue("ABS-INCOMPATIBLE-TYPE", `Direct binding for "${prop.id}" on "${member.objectType}" has incompatible types (abstract ${prop.valueType} vs concrete ${concreteType}); use a mappingId for conversion`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                        }));
+                        continue;
+                    }
+                }
+                if (binding.reverse !== undefined) {
+                    if (isAmbiguousReverse(binding.reverse)) {
+                        issues.push(issue("ABS-AMBIGUOUS-REVERSE", `Reverse write for "${prop.id}" on "${member.objectType}" is ambiguous/empty`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                        }));
+                    }
+                    else if (binding.reverse.mappingId && !mapById.has(binding.reverse.mappingId)) {
+                        issues.push(issue("ABS-MISSING-MAPPING", `Reverse mapping "${binding.reverse.mappingId}" for "${prop.id}" on "${member.objectType}" is missing`, {
+                            abstractType: abs.id,
+                            objectType: member.objectType,
+                            abstractProperty: prop.id,
+                        }));
+                    }
+                }
+                concretePaths.push({
+                    objectType: member.objectType,
+                    contentType,
+                    propertyPath: binding.propertyPath,
+                    mappingId: binding.mappingId,
+                    concreteValueType: binding.concreteValueType ??
+                        (binding.propertyPath
+                            ? fieldValueType(ot, contentType, binding.propertyPath)
+                            : undefined),
+                    reverse: binding.reverse,
+                    reversible: isReversible(binding.reverse),
+                });
+            }
+            propertyPlans.push({
+                abstractProperty: prop.id,
+                required: Boolean(prop.required),
+                valueType: prop.valueType,
+                concretePaths: concretePaths.sort((a, b) => a.objectType.localeCompare(b.objectType)),
+            });
+        }
+        for (const [objectType, propMap] of propsByMember) {
+            for (const [propId] of propMap) {
+                if (!absProps.some((p) => p.id === propId)) {
+                    issues.push(issue("ABS-UNKNOWN-ABSTRACT-PROPERTY", `Binding for unknown abstract property "${propId}" on "${objectType}" (abstract "${abs.id}")`, { abstractType: abs.id, objectType, abstractProperty: propId }));
+                }
+            }
+        }
+        plans.push({
+            abstractType: abs.id,
+            abstractProvenance: absProv,
+            members,
+            properties: propertyPlans.sort((a, b) => a.abstractProperty.localeCompare(b.abstractProperty)),
+            bindingIds: absBindings.map((b) => b.def.id).sort(),
+        });
+    }
+    plans.sort((a, b) => a.abstractType.localeCompare(b.abstractType));
+    const planByAbstract = new Map(plans.map((p) => [p.abstractType, p]));
+    const relationshipExpansions = [];
+    for (const { def: rel, provenance } of relationships) {
+        const fromAbs = rel.from?.abstractType;
+        const toAbs = rel.to?.abstractType;
+        const fromPath = rel.from?.path;
+        const toPath = rel.to?.path;
+        if (!fromAbs ||
+            !planByAbstract.has(fromAbs) ||
+            planByAbstract.get(fromAbs).members.length === 0) {
+            issues.push(issue("ABS-UNBOUND-RELATIONSHIP-ENDPOINT", `Relationship "${rel.id}" from.abstractType "${fromAbs}" has no concrete bindings`, { abstractType: fromAbs, path: ["relationship-definitions", rel.id, "from"] }));
+        }
+        if (!toAbs ||
+            !planByAbstract.has(toAbs) ||
+            planByAbstract.get(toAbs).members.length === 0) {
+            issues.push(issue("ABS-UNBOUND-RELATIONSHIP-ENDPOINT", `Relationship "${rel.id}" to.abstractType "${toAbs}" has no concrete bindings`, { abstractType: toAbs, path: ["relationship-definitions", rel.id, "to"] }));
+        }
+        const fromMembers = planByAbstract.get(fromAbs ?? "")?.members.map((m) => m.objectType) ?? [];
+        const toMembers = planByAbstract.get(toAbs ?? "")?.members.map((m) => m.objectType) ?? [];
+        const combinations = [];
+        for (const f of fromMembers) {
+            for (const t of toMembers) {
+                combinations.push({ fromObjectType: f, toObjectType: t });
+            }
+        }
+        combinations.sort((a, b) => a.fromObjectType.localeCompare(b.fromObjectType) ||
+            a.toObjectType.localeCompare(b.toObjectType));
+        relationshipExpansions.push({
+            relationshipId: rel.id,
+            from: {
+                abstractType: fromAbs ?? "",
+                path: fromPath ?? "",
+                candidateObjectTypes: [...fromMembers],
+            },
+            to: {
+                abstractType: toAbs ?? "",
+                path: toPath ?? "",
+                candidateObjectTypes: [...toMembers],
+            },
+            candidateCombinations: combinations,
+            provenance,
+        });
+    }
+    relationshipExpansions.sort((a, b) => a.relationshipId.localeCompare(b.relationshipId));
+    void pack;
+    return {
+        ok: issues.length === 0,
+        issues,
+        plans,
+        relationshipExpansions,
+        identityModel,
+    };
+}
+/**
+ * Resolve a reverse-write target for one abstract property on one concrete member.
+ * Never fans out to every union member.
+ */
+export function resolveAbstractReverseWrite(input) {
+    const prop = input.plan.properties.find((p) => p.abstractProperty === input.abstractProperty);
+    if (!prop) {
+        return {
+            ok: false,
+            issues: [
+                issue("ABS-UNKNOWN-ABSTRACT-PROPERTY", `Abstract property "${input.abstractProperty}" not on "${input.plan.abstractType}"`, {
+                    abstractType: input.plan.abstractType,
+                    abstractProperty: input.abstractProperty,
+                }),
+            ],
+            target: null,
+        };
+    }
+    const path = prop.concretePaths.find((c) => c.objectType === input.objectType);
+    if (!path) {
+        return {
+            ok: false,
+            issues: [
+                issue("ABS-MISSING-REQUIRED-PROPERTY", `No binding for "${input.abstractProperty}" on concrete "${input.objectType}"`, {
+                    abstractType: input.plan.abstractType,
+                    objectType: input.objectType,
+                    abstractProperty: input.abstractProperty,
+                }),
+            ],
+            target: null,
+        };
+    }
+    if (!path.reversible || !path.reverse) {
+        return {
+            ok: false,
+            issues: [
+                issue("ABS-NON-REVERSIBLE", `Abstract property "${input.abstractProperty}" on "${input.objectType}" has no explicit reverse mapping`, {
+                    abstractType: input.plan.abstractType,
+                    objectType: input.objectType,
+                    abstractProperty: input.abstractProperty,
+                }),
+            ],
+            target: null,
+        };
+    }
+    if (isAmbiguousReverse(path.reverse)) {
+        return {
+            ok: false,
+            issues: [
+                issue("ABS-AMBIGUOUS-REVERSE", `Reverse write for "${input.abstractProperty}" on "${input.objectType}" is ambiguous`, {
+                    abstractType: input.plan.abstractType,
+                    objectType: input.objectType,
+                    abstractProperty: input.abstractProperty,
+                }),
+            ],
+            target: null,
+        };
+    }
+    return { ok: true, issues: [], target: path };
+}
+/** Convenience: resolve abstracts from an already-composed pack (synthetic provenance). */
+export function resolveAbstractBindingsFromPack(pack) {
+    const synthetic = {
+        ok: true,
+        selectedAgentIds: [pack.agentId],
+        collapsedAgentIds: [pack.agentId],
+        issues: [],
+        conflicts: [],
+        referenceIssues: [],
+        effective: [],
+        effectivePack: pack,
+    };
+    const kinds = [
+        { kind: "agents", items: pack.agents },
+        { kind: "object-types", items: pack.objectTypes },
+        { kind: "abstract-types", items: pack.abstractTypes },
+        { kind: "abstract-bindings", items: pack.abstractBindings },
+        { kind: "relationship-definitions", items: pack.relationshipDefinitions },
+        { kind: "mappings", items: pack.mappings },
+        { kind: "views", items: pack.views },
+        { kind: "writes", items: pack.writes },
+        { kind: "sources", items: pack.sources },
+        { kind: "services", items: pack.services ?? [] },
+        { kind: "pipelines", items: pack.pipelines },
+        { kind: "schedules", items: pack.schedules },
+    ];
+    for (const { kind, items } of kinds) {
+        for (const item of items) {
+            synthetic.effective.push({
+                kind,
+                id: item.id,
+                definition: item,
+                provenance: {
+                    kind,
+                    id: item.id,
+                    definedByAgentId: pack.agentId,
+                    inheritancePath: [pack.agentId],
+                    selectedAgentId: pack.agentId,
+                    fingerprint: "",
+                },
+            });
+        }
+    }
+    return resolveAbstractBindings(synthetic);
+}
+//# sourceMappingURL=abstracts.js.map

package/dist/abstracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abstracts.js","sourceRoot":"","sources":["../src/abstracts.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA6FH,SAAS,KAAK,CACZ,IAAY,EACZ,OAAe,EACf,KAAqC;IAErC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CACjB,SAAgC,EAChC,IAAiC;IAEjC,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,UAAe,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAkC;IAC3D,MAAM,WAAW,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACnD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAClB,EAAoC,EACpC,WAAmB,EACnB,YAAoB;IAEpB,IAAI,CAAC,EAAE,EAAE,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,YAAY;QACvB,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,EAAoC,EACpC,WAAmB,EACnB,YAAoB;IAEpB,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,YAAY;QACvB,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CACjE,EAAE,SAAS,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAoC,EAAE,WAAmB;IAClF,IAAI,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IACtB,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,YAAoB,EAAE,YAAoB;IACjE,OAAO,YAAY,KAAK,YAAY,CAAC;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,OAAuD;IAC3E,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5F,OAAO,OAAO,IAAI,MAAM,CAAC;AAC3B,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAuD;IACjF,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5F,OAAO,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAAkC;IAElC,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,aAAa,GAAG;QACpB,2BAA2B,EAAE,KAAc;QAC3C,wBAAwB,EAAE,KAAc;QACxC,wBAAwB,EAAE,IAAa;KACxC,CAAC;IAEF,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN,KAAK,CACH,wBAAwB,EACxB,iFAAiF,CAClF;aACF;YACD,KAAK,EAAE,EAAE;YACT,sBAAsB,EAAE,EAAE;YAC1B,aAAa;SACd,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,aAAa,CAAC;IACrC,MAAM,aAAa,GAAG,SAAS,CAAC,SAAS,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QAC5E,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,YAAY,CAAC,EAAE,CAAC;YACzF,IAAI,GAAG,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CACT,KAAK,CACH,wBAAwB,EACxB,cAAc,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,uBAAuB,GAAG,EAAE,EACxD,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAClD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAyB,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,UAAU,CAA4B,aAAa,EAAE,mBAAmB,CAAC,CAAC;IAC3F,MAAM,WAAW,GAAG,UAAU,CAAuB,aAAa,EAAE,cAAc,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,UAAU,CAAoB,aAAa,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,UAAU,CAC9B,aAAa,EACb,0BAA0B,CAC3B,CAAC;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAEhE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAG/B,CAAC;IACJ,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC9D,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,KAAK,GAA0B,EAAE,CAAC;IAExC,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,SAAS,EAAE,CAAC;QAC1D,MAAM,WAAW,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,GAAG,EAOtB,CAAC;QAEJ,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CACT,KAAK,CACH,yBAAyB,EACzB,aAAa,GAAG,CAAC,EAAE,gCAAgC,UAAU,GAAG,EAChE;wBACE,YAAY,EAAE,GAAG,CAAC,EAAE;wBACpB,UAAU;wBACV,IAAI,EAAE,CAAC,mBAAmB,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC;qBAClD,CACF,CACF,CAAC;oBACF,SAAS;gBACX,CAAC;gBACD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC3C,MAAM,SAAS,GACb,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC;oBACtD,EAAE,UAAU,EAAmC,CAAC;gBACnD,IAAI,QAAQ,EAAE,CAAC;oBACb,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACvC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE;wBACxB,UAAU;wBACV,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;wBAC1B,UAAU,EAAE,CAAC,SAAS,CAAC;qBACxB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAyB,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;aAC1D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,uBAAuB,EAAE,IAAa;YACtC,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAE5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgD,CAAC;QAC9E,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmC,CAAC;YAC3D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBACpC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;QAED,MAAM,QAAQ,GAAiC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QACpE,MAAM,aAAa,GAA2B,EAAE,CAAC;QAEjD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,aAAa,GAA2B,EAAE,CAAC;YACjD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnE,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBAClB,MAAM,CAAC,IAAI,CACT,KAAK,CACH,+BAA+B,EAC/B,+BAA+B,IAAI,CAAC,EAAE,gCAAgC,MAAM,CAAC,UAAU,GAAG,EAC1F;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;yBAC1B,CACF,CACF,CAAC;oBACJ,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBACzC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;gBACxC,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;oBACxC,MAAM,CAAC,IAAI,CACT,KAAK,CACH,0BAA0B,EAC1B,iBAAiB,WAAW,qCAAqC,MAAM,CAAC,UAAU,GAAG,EACrF;wBACE,YAAY,EAAE,GAAG,CAAC,EAAE;wBACpB,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;wBACzB,IAAI,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC;qBACvC,CACF,CACF,CAAC;oBACF,SAAS;gBACX,CAAC;gBAED,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;oBACzB,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;oBAClE,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;wBACrB,MAAM,CAAC,IAAI,CACT,KAAK,CACH,2BAA2B,EAC3B,kBAAkB,OAAO,CAAC,YAAY,yBAAyB,MAAM,CAAC,UAAU,GAAG,EACnF;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;4BACzB,IAAI,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;yBAChD,CACF,CACF,CAAC;wBACF,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;oBACtB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,aAAa,IAAI,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,iCAAiC,OAAO,CAAC,SAAS,GAAG,EACnG;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;yBAC1B,CACF,CACF,CAAC;wBACF,SAAS;oBACX,CAAC;gBACH,CAAC;qBAAM,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;oBAChC,MAAM,YAAY,GAChB,OAAO,CAAC,iBAAiB;wBACzB,cAAc,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC;wBACrD,SAAS,CAAC;oBACZ,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;wBACjF,MAAM,CAAC,IAAI,CACT,KAAK,CACH,uBAAuB,EACvB,uBAAuB,IAAI,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,sCAAsC,IAAI,CAAC,SAAS,gBAAgB,YAAY,mCAAmC,EAC3K;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;yBAC1B,CACF,CACF,CAAC;wBACF,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;oBAClC,IAAI,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,IAAI,CACT,KAAK,CACH,uBAAuB,EACvB,sBAAsB,IAAI,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,sBAAsB,EAC7E;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;yBAC1B,CACF,CACF,CAAC;oBACJ,CAAC;yBAAM,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;wBAChF,MAAM,CAAC,IAAI,CACT,KAAK,CACH,qBAAqB,EACrB,oBAAoB,OAAO,CAAC,OAAO,CAAC,SAAS,UAAU,IAAI,CAAC,EAAE,SAAS,MAAM,CAAC,UAAU,cAAc,EACtG;4BACE,YAAY,EAAE,GAAG,CAAC,EAAE;4BACpB,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC7B,gBAAgB,EAAE,IAAI,CAAC,EAAE;yBAC1B,CACF,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,aAAa,CAAC,IAAI,CAAC;oBACjB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,WAAW;oBACX,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,iBAAiB,EACf,OAAO,CAAC,iBAAiB;wBACzB,CAAC,OAAO,CAAC,YAAY;4BACnB,CAAC,CAAC,cAAc,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC;4BACvD,CAAC,CAAC,SAAS,CAAC;oBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,UAAU,EAAE,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC;YAED,aAAa,CAAC,IAAI,CAAC;gBACjB,gBAAgB,EAAE,IAAI,CAAC,EAAE;gBACzB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAChC,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,aAAa,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;aACtF,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC;oBAC3C,MAAM,CAAC,IAAI,CACT,KAAK,CACH,+BAA+B,EAC/B,0CAA0C,MAAM,SAAS,UAAU,gBAAgB,GAAG,CAAC,EAAE,IAAI,EAC7F,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAC/D,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,YAAY,EAAE,GAAG,CAAC,EAAE;YACpB,kBAAkB,EAAE,OAAO;YAC3B,OAAO;YACP,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACtC,CAAC,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,CACrD;YACD,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE;SACpD,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAEnE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,sBAAsB,GAAoC,EAAE,CAAC;IAEnE,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,aAAa,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC;QACvC,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC;QACnC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;QAChC,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;QAE5B,IACE,CAAC,OAAO;YACR,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;YAC5B,cAAc,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EACjD,CAAC;YACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,mCAAmC,EACnC,iBAAiB,GAAG,CAAC,EAAE,wBAAwB,OAAO,4BAA4B,EAClF,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,0BAA0B,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAC9E,CACF,CAAC;QACJ,CAAC;QACD,IACE,CAAC,KAAK;YACN,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAC1B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC/C,CAAC;YACD,MAAM,CAAC,IAAI,CACT,KAAK,CACH,mCAAmC,EACnC,iBAAiB,GAAG,CAAC,EAAE,sBAAsB,KAAK,4BAA4B,EAC9E,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,0BAA0B,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAC1E,CACF,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GACf,cAAc,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAC5E,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAE1F,MAAM,YAAY,GAA4D,EAAE,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,YAAY,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,YAAY,CAAC,IAAI,CACf,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC;YAChD,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAC/C,CAAC;QAEF,sBAAsB,CAAC,IAAI,CAAC;YAC1B,cAAc,EAAE,GAAG,CAAC,EAAE;YACtB,IAAI,EAAE;gBACJ,YAAY,EAAE,OAAO,IAAI,EAAE;gBAC3B,IAAI,EAAE,QAAQ,IAAI,EAAE;gBACpB,oBAAoB,EAAE,CAAC,GAAG,WAAW,CAAC;aACvC;YACD,EAAE,EAAE;gBACF,YAAY,EAAE,KAAK,IAAI,EAAE;gBACzB,IAAI,EAAE,MAAM,IAAI,EAAE;gBAClB,oBAAoB,EAAE,CAAC,GAAG,SAAS,CAAC;aACrC;YACD,qBAAqB,EAAE,YAAY;YACnC,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IAExF,KAAK,IAAI,CAAC;IAEV,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QACvB,MAAM;QACN,KAAK;QACL,sBAAsB;QACtB,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAI3C;IAKC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC9F,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN,KAAK,CACH,+BAA+B,EAC/B,sBAAsB,KAAK,CAAC,gBAAgB,aAAa,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,EACnF;oBACE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;oBACrC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;iBACzC,CACF;aACF;YACD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN,KAAK,CACH,+BAA+B,EAC/B,mBAAmB,KAAK,CAAC,gBAAgB,kBAAkB,KAAK,CAAC,UAAU,GAAG,EAC9E;oBACE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;oBACrC,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;iBACzC,CACF;aACF;YACD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN,KAAK,CACH,oBAAoB,EACpB,sBAAsB,KAAK,CAAC,gBAAgB,SAAS,KAAK,CAAC,UAAU,mCAAmC,EACxG;oBACE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;oBACrC,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;iBACzC,CACF;aACF;YACD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN,KAAK,CACH,uBAAuB,EACvB,sBAAsB,KAAK,CAAC,gBAAgB,SAAS,KAAK,CAAC,UAAU,gBAAgB,EACrF;oBACE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;oBACrC,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;iBACzC,CACF;aACF;YACD,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,+BAA+B,CAAC,IAAkB;IAChE,MAAM,SAAS,GAA4B;QACzC,EAAE,EAAE,IAAI;QACR,gBAAgB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QAChC,iBAAiB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QACjC,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,EAAE;QACnB,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,IAAI;KACpB,CAAC;IAEF,MAAM,KAAK,GAGN;QACH,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACtC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE;QACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE;QAC3D,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,IAAI,CAAC,uBAAuB,EAAE;QACzE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;QAC1C,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;QACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACtC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;QACxC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE;KAC7C,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;gBACvB,IAAI;gBACJ,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,UAAU,EAAE,IAAI;gBAChB,UAAU,EAAE;oBACV,IAAI;oBACJ,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,gBAAgB,EAAE,IAAI,CAAC,OAAO;oBAC9B,eAAe,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBAC/B,eAAe,EAAE,IAAI,CAAC,OAAO;oBAC7B,WAAW,EAAE,EAAE;iBAChB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC"}

package/dist/fingerprint.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Schema-normalize a definition for canonical equality:
+ * - drop provenance / install / runtime fields
+ * - apply shallow schema defaults (undefined omitted; null parentId → null)
+ * - stable object-key ordering
+ * - preserve array order except explicit set-arrays (sorted)
+ */
+export declare function schemaNormalizeForFingerprint(value: unknown, keyHint?: string): unknown;
+/** Deterministic fingerprint of a schema-normalized definition. */
+export declare function fingerprintDefinition(definition: unknown): string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CA+BT;AAED,mEAAmE;AACnE,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,CAGjE"}