@sdd-method/sdd-cli 1.3.2 → 1.5.0

package/dist/lib/catalogue/graph-projection.js

@@ -0,0 +1,293 @@
+/**
+ * Graph projection — `sdd-cli catalogue graph` (M-ADR 0205 §4.6, Phase C0b).
+ *
+ * Derives a typed node/edge list (JSON Lines) from built catalogues. The
+ * projection is DERIVED, never authored, never a second source of truth:
+ * regenerated on every run, digest-stamped, not committed. The derivation
+ * rule is the C0a rule table (catalogue-engine-evolution plan), keyed on
+ * the rubric-coverage-map's `kind` × the schema's FK arity:
+ *
+ *   entity (less `applications`)  → nodes, id = "<catalogue>/<pk>"
+ *   entity FK columns             → edges typed "<catalogue>.<column>"
+ *   edge, 2 FKs                   → edges, declaration order = source→target;
+ *                                   a row with an empty nullable endpoint
+ *                                   degrades to a property record, never an edge
+ *   edge, 3 FKs                   → edges with declared endpoint pairs
+ *                                   (THREE_FK_ENDPOINTS below)
+ *   edge, 1 FK                    → property records on the FK owner
+ *   `applications`                → excluded (C0a ruling 2026-08-06: filtered
+ *                                   view of products — its rows ARE product
+ *                                   rows; emitting it creates edge-less
+ *                                   shadow nodes beside the products nodes)
+ *   finding / enum kinds          → excluded (diagnostics / vocabularies)
+ *
+ * Emission reads the PARSED CSV ROWS, deliberately not an engine readback:
+ * the engine's load TRY_CASTs typed columns and silently nulls unparseable
+ * cells (a real, measured case: prose in a date-typed column). A projection
+ * that inherits cast smoothing is no longer a faithful derivation of the
+ * CSV canon. C1's impact queries run on the engine; this emission does not.
+ *
+ * Every edge endpoint and property owner MUST resolve to a node record in
+ * the same export — a dangling reference here is a defect in the projection,
+ * not a finding about the estate (the FK layer already reports those). A
+ * candidate whose endpoint does not resolve is OMITTED and COUNTED, loudly,
+ * in the header and summary: `omitted_external` for external /
+ * external-for-profiles FKs (expected at member tier, resolving at
+ * aggregate), `omitted_unresolved` for the rest (mirrors an FK-layer
+ * finding). Stub nodes are never emitted — inventing nodes is the failure
+ * mode the C0a rule exists to prevent.
+ */
+import { createHash } from "node:crypto";
+/** Node-kind catalogues excluded from projection by C0a ruling. */
+const EXCLUDED_NODE_CATALOGUES = new Set(["applications"]);
+/**
+ * Declared endpoint pairs for the three 3-FK edge catalogues (C0a).
+ * `product_platform_dependencies` is SERVICE-FIRST — the aggregator already
+ * derives product→capability (cross_sdd_platform_capability) by joining
+ * target_service_id, so a capability-first rule would emit the same
+ * relationship twice; its resolution is per-row in projectRow below.
+ */
+const THREE_FK_ENDPOINTS = {
+    system_external_dependency: ["c4_system_id", "external_system_id"],
+    cross_sdd_platform_capability: [
+        "consuming_product_id",
+        "platform_capability_id",
+    ],
+    product_platform_dependencies: null, // per-row: target_service_id, else target_capability_id
+};
+/**
+ * Kinds must cover every schema catalogue — a catalogue without a kind
+ * cannot be classified and the projection must not guess (the map is
+ * guarded method-side by the entity-scoring-coverage correspondence
+ * instance; this is the consumer-side half of that guarantee).
+ */
+export function assertKindCoverage(schema, kinds) {
+    const missing = schema.catalogues
+        .map((c) => c.name)
+        .filter((n) => !kinds.has(n));
+    if (missing.length > 0) {
+        throw new Error(`rubric-coverage-map has no kind for: ${missing.join(", ")} — ` +
+            `sync the vendored map (it must cover every schema catalogue).`);
+    }
+}
+export function projectGraph(schema, kinds, rowsByCatalogue, tier) {
+    assertKindCoverage(schema, kinds);
+    const nodeCats = schema.catalogues.filter((c) => kinds.get(c.name) === "entity" && !EXCLUDED_NODE_CATALOGUES.has(c.name));
+    const edgeCats = schema.catalogues.filter((c) => kinds.get(c.name) === "edge");
+    // Pass 1 — the node set. Endpoint resolution below is against THIS
+    // export's nodes, which is exactly the per-export invariant.
+    const nodeIds = new Set();
+    const nodeLines = [];
+    for (const cat of nodeCats) {
+        for (const row of rowsByCatalogue.get(cat.name) ?? []) {
+            const key = cell(row, cat.primaryKey);
+            const id = `${cat.name}/${key}`;
+            nodeIds.add(id);
+            nodeLines.push(jsonLine({
+                t: "node",
+                id,
+                catalogue: cat.name,
+                key,
+                properties: propsOf(cat, row, new Set([cat.primaryKey])),
+            }));
+        }
+    }
+    const resolveTarget = (fk, value) => {
+        const [refCat, refCol] = fk.references.split(".");
+        // The rule resolves FK values against node PKs; a reference to a
+        // non-PK column would resolve against the wrong namespace. All 127
+        // parsed FKs reference `.id` today — guard it rather than assume it.
+        const refDef = schema.catalogues.find((c) => c.name === refCat);
+        if (refDef && refDef.primaryKey !== refCol) {
+            throw new Error(`FK ${fk.column} references non-PK column ${fk.references} — ` +
+                `the projection cannot resolve non-PK references.`);
+        }
+        const target = `${refCat}/${value}`;
+        return nodeIds.has(target) ? target : null;
+    };
+    const isExternal = (fk) => fk.external || (fk.externalForProfiles ?? []).length > 0;
+    const edgeLines = [];
+    const propertyLines = [];
+    const omissions = { external: 0, unresolved: 0 };
+    const emitEdge = (cat, row, type, sourceFk, targetFk) => {
+        const sv = cell(row, sourceFk.column);
+        const tv = cell(row, targetFk.column);
+        const source = resolveTarget(sourceFk, sv);
+        const target = resolveTarget(targetFk, tv);
+        if (source === null || target === null) {
+            const failedFk = source === null ? sourceFk : targetFk;
+            if (isExternal(failedFk))
+                omissions.external += 1;
+            else
+                omissions.unresolved += 1;
+            return;
+        }
+        edgeLines.push(jsonLine({
+            t: "edge",
+            type,
+            source,
+            target,
+            properties: propsOf(cat, row, new Set([sourceFk.column, targetFk.column])),
+        }));
+    };
+    const emitProperty = (cat, row, ownerFk) => {
+        const ov = cell(row, ownerFk.column);
+        const owner = ov === "" ? null : resolveTarget(ownerFk, ov);
+        if (owner === null) {
+            if (ov !== "" && isExternal(ownerFk))
+                omissions.external += 1;
+            else
+                omissions.unresolved += 1;
+            return;
+        }
+        propertyLines.push(jsonLine({
+            t: "property",
+            owner,
+            catalogue: cat.name,
+            via: ownerFk.column,
+            properties: propsOf(cat, row, new Set([ownerFk.column])),
+        }));
+    };
+    // Pass 2a — edges from edge catalogues, schema declaration order.
+    for (const cat of edgeCats) {
+        const fks = cat.foreignKeys;
+        for (const row of rowsByCatalogue.get(cat.name) ?? []) {
+            if (fks.length === 1) {
+                // Attribute table the metamodel calls an edge: the other "end" is
+                // an enum/key/name — a property record, never an edge.
+                emitProperty(cat, row, fks[0]);
+                continue;
+            }
+            let sourceFk;
+            let targetFk;
+            if (fks.length === 2) {
+                [sourceFk, targetFk] = fks;
+            }
+            else if (cat.name === "product_platform_dependencies") {
+                sourceFk = fks.find((f) => f.column === "product_id");
+                const svc = cell(row, "target_service_id");
+                const cap = cell(row, "target_capability_id");
+                const targetCol = svc !== ""
+                    ? "target_service_id"
+                    : cap !== ""
+                        ? "target_capability_id"
+                        : null;
+                if (targetCol === null) {
+                    // Neither target declared: property-only row on the product.
+                    emitProperty(cat, row, sourceFk);
+                    continue;
+                }
+                targetFk = fks.find((f) => f.column === targetCol);
+            }
+            else {
+                const pair = THREE_FK_ENDPOINTS[cat.name];
+                if (pair === undefined || pair === null) {
+                    throw new Error(`edge catalogue ${cat.name} has ${fks.length} FKs and no declared ` +
+                        `endpoint pair — extend THREE_FK_ENDPOINTS (a C0a-level decision, ` +
+                        `not a default).`);
+                }
+                sourceFk = fks.find((f) => f.column === pair[0]);
+                targetFk = fks.find((f) => f.column === pair[1]);
+            }
+            if (sourceFk === undefined || targetFk === undefined) {
+                throw new Error(`edge catalogue ${cat.name}: declared endpoint column missing from ` +
+                    `schema foreign_keys — schema and rule table disagree.`);
+            }
+            const sv = cell(row, sourceFk.column);
+            const tv = cell(row, targetFk.column);
+            if (sv === "" || tv === "") {
+                // Empty nullable endpoint: degrade to a property record on the
+                // present endpoint (screen_action is the live case — measured
+                // 2026-08-06: all 85+1,652 rows on both estates have no event_id).
+                const present = sv !== "" ? sourceFk : tv !== "" ? targetFk : null;
+                if (present === null) {
+                    omissions.unresolved += 1; // no endpoint at all — counted, never guessed
+                    continue;
+                }
+                emitProperty(cat, row, present);
+                continue;
+            }
+            emitEdge(cat, row, cat.name, sourceFk, targetFk);
+        }
+    }
+    // Pass 2b — edges carried on node rows (41 FK columns on 22 catalogues;
+    // 34–40% of all edges on the measured estates — the third of the graph
+    // the naive "edge catalogues = edges" rule drops).
+    for (const cat of nodeCats) {
+        for (const fk of cat.foreignKeys) {
+            for (const row of rowsByCatalogue.get(cat.name) ?? []) {
+                const value = cell(row, fk.column);
+                if (value === "")
+                    continue;
+                const source = `${cat.name}/${cell(row, cat.primaryKey)}`;
+                const target = resolveTarget(fk, value);
+                if (target === null) {
+                    if (isExternal(fk))
+                        omissions.external += 1;
+                    else
+                        omissions.unresolved += 1;
+                    continue;
+                }
+                edgeLines.push(jsonLine({
+                    t: "edge",
+                    type: `${cat.name}.${fk.column}`,
+                    source,
+                    target,
+                    properties: {},
+                }));
+            }
+        }
+    }
+    const body = [...nodeLines, ...edgeLines, ...propertyLines];
+    const bodyText = body.map((l) => `${l}\n`).join("");
+    const digest = createHash("sha256").update(bodyText, "utf8").digest("hex");
+    const counts = {
+        nodes: nodeLines.length,
+        edges: edgeLines.length,
+        properties: propertyLines.length,
+        omittedExternal: omissions.external,
+        omittedUnresolved: omissions.unresolved,
+    };
+    const header = jsonLine({
+        t: "header",
+        format: "sdd-graph/1",
+        schema_version: schema.schemaVersion,
+        tier,
+        nodes: counts.nodes,
+        edges: counts.edges,
+        properties: counts.properties,
+        omitted_external: counts.omittedExternal,
+        omitted_unresolved: counts.omittedUnresolved,
+        digest: `sha256:${digest}`,
+    });
+    return { text: `${header}\n${bodyText}`, counts, digest };
+}
+/**
+ * Row columns as a properties object: schema column order (deterministic),
+ * empty string omitted (the schema's own convention — empty means absent),
+ * excluded columns (PK / endpoint / owner) carried structurally instead.
+ * Values stay the strings the CSV canon holds — no cast, no smoothing.
+ */
+function propsOf(cat, row, exclude) {
+    const out = {};
+    for (const col of cat.columns) {
+        if (exclude.has(col.name))
+            continue;
+        const v = row[col.name];
+        const s = v === null || v === undefined ? "" : String(v);
+        if (s === "")
+            continue;
+        out[col.name] = s;
+    }
+    return out;
+}
+/** JSON.stringify with stable insertion-order keys — the whole line contract. */
+function jsonLine(obj) {
+    return JSON.stringify(obj);
+}
+/** One cell as the trimmed string the CSV canon holds ('' = absent). */
+function cell(row, column) {
+    const v = row[column];
+    return v === null || v === undefined ? "" : String(v).trim();
+}
+//# sourceMappingURL=graph-projection.js.map

package/dist/lib/catalogue/graph-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-projection.js","sourceRoot":"","sources":["../../../src/lib/catalogue/graph-projection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,mEAAmE;AACnE,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;AAEhF;;;;;;GAMG;AACH,MAAM,kBAAkB,GAEpB;IACF,0BAA0B,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC;IAClE,6BAA6B,EAAE;QAC7B,sBAAsB;QACtB,wBAAwB;KACzB;IACD,6BAA6B,EAAE,IAAI,EAAE,wDAAwD;CAC9F,CAAC;AAyBF;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAuB,EACvB,KAAkC;IAElC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,wCAAwC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAC7D,+DAA+D,CAClE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,MAAuB,EACvB,KAAkC,EAClC,eAA6D,EAC7D,IAAe;IAEf,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAElC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/E,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,CACpC,CAAC;IAEF,mEAAmE;IACnE,6DAA6D;IAC7D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,SAAS,CAAC,IAAI,CACZ,QAAQ,CAAC;gBACP,CAAC,EAAE,MAAM;gBACT,EAAE;gBACF,SAAS,EAAE,GAAG,CAAC,IAAI;gBACnB,GAAG;gBACH,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;aACzD,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,EAAiB,EAAE,KAAa,EAAiB,EAAE;QACxE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;QACtE,iEAAiE;QACjE,mEAAmE;QACnE,qEAAqE;QACrE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAChE,IAAI,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACb,MAAM,EAAE,CAAC,MAAM,6BAA6B,EAAE,CAAC,UAAU,KAAK;gBAC5D,kDAAkD,CACrD,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,EAAiB,EAAW,EAAE,CAChD,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAE3D,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,SAAS,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAE5D,MAAM,QAAQ,GAAG,CACf,GAAiB,EACjB,GAAiB,EACjB,IAAY,EACZ,QAAuB,EACvB,QAAuB,EACjB,EAAE;QACR,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvD,IAAI,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;;gBAC7C,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,SAAS,CAAC,IAAI,CACZ,QAAQ,CAAC;YACP,CAAC,EAAE,MAAM;YACT,IAAI;YACJ,MAAM;YACN,MAAM;YACN,UAAU,EAAE,OAAO,CACjB,GAAG,EACH,GAAG,EACH,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC5C;SACF,CAAC,CACH,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CACnB,GAAiB,EACjB,GAAiB,EACjB,OAAsB,EAChB,EAAE;QACR,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,EAAE,KAAK,EAAE,IAAI,UAAU,CAAC,OAAO,CAAC;gBAAE,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;;gBACzD,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,aAAa,CAAC,IAAI,CAChB,QAAQ,CAAC;YACP,CAAC,EAAE,UAAU;YACb,KAAK;YACL,SAAS,EAAE,GAAG,CAAC,IAAI;YACnB,GAAG,EAAE,OAAO,CAAC,MAAM;YACnB,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;SACzD,CAAC,CACH,CAAC;IACJ,CAAC,CAAC;IAEF,kEAAkE;IAClE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACtD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrB,kEAAkE;gBAClE,uDAAuD;gBACvD,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;gBAChC,SAAS;YACX,CAAC;YACD,IAAI,QAAmC,CAAC;YACxC,IAAI,QAAmC,CAAC;YACxC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrB,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,GAA8C,CAAC;YACxE,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;gBACxD,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;gBAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;gBAC9C,MAAM,SAAS,GAAG,GAAG,KAAK,EAAE;oBAC1B,CAAC,CAAC,mBAAmB;oBACrB,CAAC,CAAC,GAAG,KAAK,EAAE;wBACV,CAAC,CAAC,sBAAsB;wBACxB,CAAC,CAAC,IAAI,CAAC;gBACX,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACvB,6DAA6D;oBAC7D,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,QAAS,CAAC,CAAC;oBAClC,SAAS;gBACX,CAAC;gBACD,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;YACrD,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBACxC,MAAM,IAAI,KAAK,CACb,kBAAkB,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,MAAM,uBAAuB;wBACjE,mEAAmE;wBACnE,iBAAiB,CACpB,CAAC;gBACJ,CAAC;gBACD,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACrD,MAAM,IAAI,KAAK,CACb,kBAAkB,GAAG,CAAC,IAAI,0CAA0C;oBAClE,uDAAuD,CAC1D,CAAC;YACJ,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3B,+DAA+D;gBAC/D,8DAA8D;gBAC9D,mEAAmE;gBACnE,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBACnE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,8CAA8C;oBACzE,SAAS;gBACX,CAAC;gBACD,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAChC,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,mDAAmD;IACnD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACjC,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,KAAK,KAAK,EAAE;oBAAE,SAAS;gBAC3B,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACxC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,IAAI,UAAU,CAAC,EAAE,CAAC;wBAAE,SAAS,CAAC,QAAQ,IAAI,CAAC,CAAC;;wBACvC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;oBAC/B,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,IAAI,CACZ,QAAQ,CAAC;oBACP,CAAC,EAAE,MAAM;oBACT,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,EAAE;oBAChC,MAAM;oBACN,MAAM;oBACN,UAAU,EAAE,EAAE;iBACf,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,EAAE,GAAG,aAAa,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAgB;QAC1B,KAAK,EAAE,SAAS,CAAC,MAAM;QACvB,KAAK,EAAE,SAAS,CAAC,MAAM;QACvB,UAAU,EAAE,aAAa,CAAC,MAAM;QAChC,eAAe,EAAE,SAAS,CAAC,QAAQ;QACnC,iBAAiB,EAAE,SAAS,CAAC,UAAU;KACxC,CAAC;IACF,MAAM,MAAM,GAAG,QAAQ,CAAC;QACtB,CAAC,EAAE,QAAQ;QACX,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE,MAAM,CAAC,aAAa;QACpC,IAAI;QACJ,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,gBAAgB,EAAE,MAAM,CAAC,eAAe;QACxC,kBAAkB,EAAE,MAAM,CAAC,iBAAiB;QAC5C,MAAM,EAAE,UAAU,MAAM,EAAE;KAC3B,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,KAAK,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CACd,GAAiB,EACjB,GAAiB,EACjB,OAA4B;IAE5B,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,EAAE;YAAE,SAAS;QACvB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,SAAS,QAAQ,CAAC,GAA4B;IAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,wEAAwE;AACxE,SAAS,IAAI,CAAC,GAAiB,EAAE,MAAc;IAC7C,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/D,CAAC"}

package/dist/lib/catalogue/graph-run.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Orchestrator for `sdd-cli catalogue graph` — loads the schema, the
+ * vendored rubric-coverage-map (the node/edge kind authority; the schema
+ * itself does not declare kind), and the catalogues directory, projects
+ * the graph (graph-projection.ts holds the derivation rule), writes the
+ * JSONL export, and prints the counts + digest so the figures are stated
+ * on every run, not discoverable after the fact.
+ *
+ * The export is regenerated on every invocation and is NOT committed
+ * (M-ADR 0205 §4.6): default output is `<catalogues-dir>-graph.jsonl`
+ * beside the catalogues directory, which adopter .gitignore entries cover.
+ * Tier is explicit, never inferred, same discipline as every other reader.
+ */
+import { type GraphCounts, type GraphTier } from "./graph-projection.js";
+/**
+ * Vendored copy of sdd-method's orchestration/rubric-coverage-map.yaml —
+ * byte-identical to the canonical (rubric-coverage-map-drift.test.ts guards
+ * it, same one-way contract as canonical-schema.yaml). The build copies it
+ * alongside the compiled module via scripts/copy-yaml-assets.mjs.
+ */
+export declare const VENDORED_COVERAGE_MAP_PATH: string;
+export declare function loadCatalogueKinds(mapPath?: string): Promise<Map<string, string>>;
+export interface GraphRunInputs {
+    /** SDD repo root (defaults to cwd). */
+    readonly sddPath?: string;
+    /** Catalogues directory, relative to the SDD root (default `catalogues`). */
+    readonly cataloguesDir?: string;
+    /** Explicit tier, never inferred. Default member. */
+    readonly tier?: GraphTier;
+    /** Output path (default `<resolved catalogues dir>-graph.jsonl`). */
+    readonly out?: string;
+}
+export interface GraphRunResult {
+    readonly exitCode: number;
+    readonly counts?: GraphCounts;
+    readonly outPath?: string;
+}
+export declare function runCatalogueGraph(inputs: GraphRunInputs, write: (s: string) => void): Promise<GraphRunResult>;
+//# sourceMappingURL=graph-run.d.ts.map

package/dist/lib/catalogue/graph-run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-run.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/graph-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAUH,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,SAAS,EACf,MAAM,uBAAuB,CAAC;AAE/B;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,QAGtC,CAAC;AAMF,wBAAsB,kBAAkB,CACtC,OAAO,GAAE,MAAmC,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAS9B;AAED,MAAM,WAAW,cAAc;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,qDAAqD;IACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,cAAc,EACtB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GACzB,OAAO,CAAC,cAAc,CAAC,CA2CzB"}

package/dist/lib/catalogue/graph-run.js

@@ -0,0 +1,73 @@
+/**
+ * Orchestrator for `sdd-cli catalogue graph` — loads the schema, the
+ * vendored rubric-coverage-map (the node/edge kind authority; the schema
+ * itself does not declare kind), and the catalogues directory, projects
+ * the graph (graph-projection.ts holds the derivation rule), writes the
+ * JSONL export, and prints the counts + digest so the figures are stated
+ * on every run, not discoverable after the fact.
+ *
+ * The export is regenerated on every invocation and is NOT committed
+ * (M-ADR 0205 §4.6): default output is `<catalogues-dir>-graph.jsonl`
+ * beside the catalogues directory, which adopter .gitignore entries cover.
+ * Tier is explicit, never inferred, same discipline as every other reader.
+ */
+import { existsSync } from "node:fs";
+import { readFile, writeFile } from "node:fs/promises";
+import { fileURLToPath } from "node:url";
+import { join, resolve } from "node:path";
+import { parse as parseYaml } from "yaml";
+import { readCatalogueCsv } from "./csv-reader.js";
+import { loadCanonicalSchema } from "./schema-loader.js";
+import { projectGraph, } from "./graph-projection.js";
+/**
+ * Vendored copy of sdd-method's orchestration/rubric-coverage-map.yaml —
+ * byte-identical to the canonical (rubric-coverage-map-drift.test.ts guards
+ * it, same one-way contract as canonical-schema.yaml). The build copies it
+ * alongside the compiled module via scripts/copy-yaml-assets.mjs.
+ */
+export const VENDORED_COVERAGE_MAP_PATH = join(fileURLToPath(new URL(".", import.meta.url)), "rubric-coverage-map.yaml");
+export async function loadCatalogueKinds(mapPath = VENDORED_COVERAGE_MAP_PATH) {
+    const raw = parseYaml(await readFile(mapPath, "utf-8"));
+    const kinds = new Map();
+    for (const [name, entry] of Object.entries(raw.coverage)) {
+        kinds.set(name, entry.kind);
+    }
+    return kinds;
+}
+export async function runCatalogueGraph(inputs, write) {
+    const sddRoot = resolve(inputs.sddPath ?? process.cwd());
+    const dir = resolve(sddRoot, inputs.cataloguesDir ?? "catalogues");
+    const tier = inputs.tier ?? "member";
+    const outPath = inputs.out !== undefined
+        ? resolve(sddRoot, inputs.out)
+        : `${dir}-graph.jsonl`;
+    if (!existsSync(dir)) {
+        write(`catalogues directory not found at ${dir}\n` +
+            `  Run \`sdd-cli catalogue build\` (or aggregate) first — the graph ` +
+            `is derived from built catalogues, never authored.\n`);
+        return { exitCode: 2 };
+    }
+    const schema = await loadCanonicalSchema();
+    const kinds = await loadCatalogueKinds();
+    const rowsByCatalogue = new Map();
+    for (const cat of schema.catalogues) {
+        const filePath = join(dir, `${cat.name}.csv`);
+        if (!existsSync(filePath))
+            continue;
+        const parsed = await readCatalogueCsv(filePath);
+        rowsByCatalogue.set(cat.name, parsed.rows);
+    }
+    const projection = projectGraph(schema, kinds, rowsByCatalogue, tier);
+    await writeFile(outPath, projection.text, "utf-8");
+    const c = projection.counts;
+    write(`graph projection (${tier} tier, schema ${schema.schemaVersion})\n`);
+    write(`  nodes: ${c.nodes}\n`);
+    write(`  edges: ${c.edges}\n`);
+    write(`  property records: ${c.properties}\n`);
+    write(`  omitted (external, resolves at aggregation): ${c.omittedExternal}\n`);
+    write(`  omitted (unresolved — mirrors FK findings): ${c.omittedUnresolved}\n`);
+    write(`  digest: sha256:${projection.digest}\n`);
+    write(`  wrote ${outPath}\n`);
+    return { exitCode: 0, counts: c, outPath };
+}
+//# sourceMappingURL=graph-run.js.map

package/dist/lib/catalogue/graph-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-run.js","sourceRoot":"","sources":["../../../src/lib/catalogue/graph-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EACL,YAAY,GAGb,MAAM,uBAAuB,CAAC;AAE/B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAC5C,aAAa,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAC5C,0BAA0B,CAC3B,CAAC;AAMF,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,UAAkB,0BAA0B;IAE5C,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAErD,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAmBD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,MAAsB,EACtB,KAA0B;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,IAAI,YAAY,CAAC,CAAC;IACnE,MAAM,IAAI,GAAc,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC;IAChD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,SAAS;QACtC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC;QAC9B,CAAC,CAAC,GAAG,GAAG,cAAc,CAAC;IAEzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CACH,qCAAqC,GAAG,IAAI;YAC1C,qEAAqE;YACrE,qDAAqD,CACxD,CAAC;QACF,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;IAEzC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAmC,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAChD,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACtE,MAAM,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEnD,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC;IAC5B,KAAK,CAAC,qBAAqB,IAAI,iBAAiB,MAAM,CAAC,aAAa,KAAK,CAAC,CAAC;IAC3E,KAAK,CAAC,YAAY,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,KAAK,CAAC,YAAY,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC/B,KAAK,CAAC,uBAAuB,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC;IAC/C,KAAK,CACH,kDAAkD,CAAC,CAAC,eAAe,IAAI,CACxE,CAAC;IACF,KAAK,CAAC,iDAAiD,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC;IAChF,KAAK,CAAC,oBAAoB,UAAU,CAAC,MAAM,IAAI,CAAC,CAAC;IACjD,KAAK,CAAC,WAAW,OAAO,IAAI,CAAC,CAAC;IAC9B,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AAC7C,CAAC"}

package/dist/lib/catalogue/impact-run.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Transitive impact analysis — `sdd-cli catalogue impact` (Phase C1, the
+ * graph projection's proving consumer per M-ADR 0205 §4.6).
+ *
+ * "This contract changes — which features, services and repositories are
+ * reachable?" Impact is REVERSE reachability over the C0 edge list: every
+ * edge means "the source row references / attaches to the target", so the
+ * nodes affected by a change to X are the nodes with a path of edges INTO
+ * X — followed target→source, transitively. The closure is computed by
+ * recursive SQL (`WITH RECURSIVE`) on the Phase A engine, over the same
+ * edge set `catalogue graph` exports (one derivation rule, two consumers).
+ *
+ * Cycle discipline: the catalogue graph is not a DAG (adr_supersedes and
+ * system_system_dependency can both close loops), so the recursion carries
+ * NO depth column — DuckDB's recursive UNION deduplicates whole rows, and
+ * a depth column makes every lap around a cycle a "new" row: the query
+ * that looks more informative is the query that never terminates. The
+ * closure is a set; it saturates and stops. impact.test.ts holds the
+ * hand-derived controls (a cycle and a diamond) this guard answers to.
+ */
+import { type GraphTier } from "./graph-projection.js";
+export interface ImpactEdge {
+    readonly source: string;
+    readonly target: string;
+    readonly type: string;
+}
+export interface ImpactResult {
+    /** The seed node id as given. */
+    readonly seed: string;
+    /** Reachable node ids (seed excluded), sorted. */
+    readonly closure: readonly string[];
+    /** Closure size grouped by node catalogue (the "features, services, repos" answer). */
+    readonly byCatalogue: ReadonlyMap<string, number>;
+}
+export interface DedupedEdges {
+    readonly edges: readonly ImpactEdge[];
+    /** Entity-FK edges dropped because their reversed pair exists as an edge-catalogue edge. */
+    readonly suppressedMirrors: number;
+}
+/**
+ * Mirror dedup (C1 ruling 2026-08-06): the metamodel materialises some
+ * relationships twice — a derived-edge catalogue AND the entity FK it
+ * derives from, in opposite directions (measured: capability_feature ⇄
+ * features.capability_id is a 100% mirror on the reverse estate). A
+ * mirrored pair is undirected for any traversal, so closures flood through
+ * hub nodes toward the connected component. Rule: an entity-FK edge whose
+ * REVERSED pair exists as an edge-catalogue edge is dropped from the
+ * traversal set; the derived edge survives, because the edge catalogue is
+ * the deliberate, richer declaration and the FK is its source material.
+ * The projection itself is untouched — the moment it adjudicated which of
+ * two declared rows is real it would stop being a derivation (§0).
+ *
+ * Edge-type convention: entity-FK edges are typed "<catalogue>.<column>"
+ * (they carry a dot); edge-catalogue edges are typed by catalogue name.
+ */
+export declare function dedupMirrorEdges(edges: readonly ImpactEdge[]): DedupedEdges;
+/**
+ * Reverse-reachability closure of `seed` over `edges`, on the engine.
+ * Exported for the fixture controls; the verb goes through runCatalogueImpact.
+ */
+export declare function computeImpactClosure(edges: readonly ImpactEdge[], seed: string): Promise<string[]>;
+export interface ImpactRunInputs {
+    /** Node id to compute impact of, in the export's "<catalogue>/<pk>" form. */
+    readonly of: string;
+    readonly sddPath?: string;
+    readonly cataloguesDir?: string;
+    readonly tier?: GraphTier;
+}
+export declare function runCatalogueImpact(inputs: ImpactRunInputs, write: (s: string) => void): Promise<{
+    exitCode: number;
+    result?: ImpactResult;
+}>;
+//# sourceMappingURL=impact-run.d.ts.map

package/dist/lib/catalogue/impact-run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-run.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/impact-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAQH,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAErE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,uFAAuF;IACvF,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAMD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,4FAA4F;IAC5F,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,YAAY,CAkB3E;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAoCnB;AAED,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GACzB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE,CAAC,CAiFtD"}

package/dist/lib/catalogue/impact-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-run.js","sourceRoot":"","sources":["../../../src/lib/catalogue/impact-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAkB,MAAM,uBAAuB,CAAC;AAiBrE,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AAC1C,CAAC;AAQD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IACE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YACpB,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EACjD,CAAC;YACD,UAAU,IAAI,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAA4B,EAC5B,IAAY;IAEZ,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,GAAG,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,KAAK;iBACjB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;iBACnB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACnE;iBACA,IAAI,CAAC,KAAK,CAAC,CAAC;YACf,MAAM,IAAI,CAAC,GAAG,CAAC,6BAA6B,MAAM,GAAG,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACvC,oEAAoE;QACpE,sEAAsE;QACtE,uEAAuE;QACvE,uEAAuE;QACvE,yEAAyE;QACzE,uEAAuE;QACvE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,aAAa,CACrC,iCAAiC;YAC/B,6CAA6C,OAAO,IAAI;YACxD,WAAW;YACX,kEAAkE;YAClE,KAAK;YACL,6CAA6C,OAAO,eAAe,CACtE,CAAC;QACF,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAUD,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,MAAuB,EACvB,KAA0B;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,aAAa,IAAI,YAAY,CAAC,CAAC;IACnE,MAAM,IAAI,GAAc,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC;IAEhD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CACH,qCAAqC,GAAG,IAAI;YAC1C,2DAA2D,CAC9D,CAAC;QACF,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,kBAAkB,EAAE,CAAC;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAmC,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAMxB,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAG,CAAC,CAAC;aAClC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;YACrB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAK,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAC5B,KAAK,CACH,qCAAqC,MAAM,CAAC,EAAE,IAAI;YAChD,2EAA2E,CAC9E,CAAC;QACF,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,KAAK,CACH,qBAAqB,MAAM,CAAC,EAAE,KAAK,IAAI,iBAAiB,MAAM,CAAC,aAAa,KAAK,CAClF,CAAC;IACF,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,4BAA4B;IAC5B,KAAK,CACH,mFAAmF;QACjF,qEAAqE;QACrE,4EAA4E,CAC/E,CAAC;IACF,KAAK,CACH,iEAAiE,OAAO,CAAC,iBAAiB,IAAI,CAC/F,CAAC;IACF,KAAK,CAAC,sBAAsB,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,CAAC;QACX,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE;KAClD,CAAC;AACJ,CAAC"}