@sdd-method/sdd-cli 1.1.0 → 1.3.0

package/dist/lib/catalogue/gate-checks.js

@@ -0,0 +1,261 @@
+/**
+ * Phase-0 gate checks as SQL — M-ADR 0205 §4.4 (engine-evolution Phase A3,
+ * final tranche). The nine small catalogue-integrity-gate steps
+ * re-expressed on the engine: emptiness-vs-populated-inputs signals
+ * (repo-edges 0157, data-model-entities 0159, capability-event 0160,
+ * feature-event 0161, platform-dependencies 0162, glossary-xref 0158),
+ * the per-domain event-catalogue count compare (0156), and the two
+ * features.csv Phase-0 checks (0177 F1 promotion, F2 near-duplicate
+ * surfaces — the classified borderline: engine for access, the token
+ * Jaccard stays host-language).
+ *
+ * The shell scripts remain the REFERENCE implementations until A4. Known,
+ * deliberate divergence class: several references read CSV columns
+ * POSITIONALLY with a naive comma split (`awk -F, $5`) and count PHYSICAL
+ * lines rather than CSV records — this port reads by column name over
+ * parsed records. Where real data makes those disagree, the dual-run
+ * driver surfaces it and the adjudication is a defect in the shell side
+ * (the exact matcher-error class M-ADR 0205 §1 exists to kill), never a
+ * smoothing of this side.
+ *
+ * File and YAML ingestion stay host-side, mirroring each reference's
+ * refusal semantics (a missing key, an unparseable document, an absent
+ * tool each behave exactly as the reference behaves).
+ */
+import { readFileSync, readdirSync, existsSync } from "node:fs";
+import { join } from "node:path";
+import { parse as parseYaml } from "yaml";
+async function scalar(session, sql) {
+    const reader = await session.conn.runAndReadAll(sql);
+    return Number(reader.getRows()[0][0]);
+}
+const count = (table, where = "") => `SELECT COUNT(*) FROM "${table}"${where ? ` WHERE ${where}` : ""};`;
+export async function runEventCatalogueCheck(session, options) {
+    if (!options.eventsPresent)
+        return { skipped: true, gaps: [] };
+    const domainsDir = join(options.sddRoot, "docs", "domains");
+    if (!existsSync(domainsDir))
+        return { skipped: false, gaps: [] };
+    const gaps = [];
+    for (const domain of readdirSync(domainsDir).sort()) {
+        const catalogPath = join(domainsDir, domain, "contracts", "events", "event-catalog.yaml");
+        if (!existsSync(catalogPath))
+            continue;
+        // Mirror of `yq '.events | length' || echo 0`: missing key or null → 0,
+        // an array → its length, a mapping → its key count, unparseable → 0.
+        let declared = 0;
+        try {
+            const doc = parseYaml(readFileSync(catalogPath, "utf-8"));
+            const events = doc?.["events"];
+            if (Array.isArray(events))
+                declared = events.length;
+            else if (events !== null && events !== undefined && typeof events === "object")
+                declared = Object.keys(events).length;
+        }
+        catch {
+            declared = 0;
+        }
+        if (declared <= 0)
+            continue;
+        const emitted = await scalar(session, count("events", `COALESCE("domain_id", '') = '${domain.replace(/'/g, "''")}'`));
+        if (emitted < declared)
+            gaps.push({ domain, declared, emitted });
+    }
+    return { skipped: false, gaps };
+}
+export async function runRepoEdgesCheck(session, options) {
+    const repoCaps = await scalar(session, count("repo_capability"));
+    const capSvcs = await scalar(session, count("capability_service"));
+    const svcsWithRepo = await scalar(session, count("services", `COALESCE("primary_repo_id", '') <> ''`));
+    const repoContracts = await scalar(session, count("repo_contract"));
+    const contracts = await scalar(session, count("contracts"));
+    const svcContracts = await scalar(session, count("service_contract"));
+    // Mirror of the reference's two glob patterns (bash without globstar:
+    // `**` collapses to one level) — direct files AND one directory deep,
+    // schema.yaml deliberately NOT excluded because the reference scans it.
+    let repoConfigsWithContracts = 0;
+    const cfgDir = join(options.sddRoot, "orchestration", "repo-config");
+    if (existsSync(cfgDir)) {
+        const candidates = [];
+        for (const entry of readdirSync(cfgDir, { withFileTypes: true })) {
+            const p = join(cfgDir, entry.name);
+            if (entry.isFile() && entry.name.endsWith(".yaml"))
+                candidates.push(p);
+            else if (entry.isDirectory()) {
+                for (const f of readdirSync(p)) {
+                    if (f.endsWith(".yaml"))
+                        candidates.push(join(p, f));
+                }
+            }
+        }
+        for (const p of candidates) {
+            if (/^contracts:/m.test(readFileSync(p, "utf-8")))
+                repoConfigsWithContracts++;
+        }
+    }
+    return {
+        ...(repoCaps === 0 && capSvcs > 0 && svcsWithRepo > 0
+            ? { repoCapabilityGap: { capabilityService: capSvcs, servicesWithRepo: svcsWithRepo } }
+            : {}),
+        ...(repoContracts === 0 && contracts > 0 && repoConfigsWithContracts > 0
+            ? { repoContractForwardGap: { contracts, repoConfigsWithContracts } }
+            : {}),
+        ...(repoContracts === 0 && svcContracts > 0 && svcsWithRepo > 0
+            ? { repoContractPathXGap: { serviceContracts: svcContracts, servicesWithRepo: svcsWithRepo } }
+            : {}),
+        ...(repoContracts === 0 &&
+            contracts > 0 &&
+            repoConfigsWithContracts === 0 &&
+            svcContracts === 0
+            ? { repoContractReverseGap: { contracts } }
+            : {}),
+    };
+}
+// ─── 0158: glossary-xref ingestion gap ───────────────────────────────────
+export async function runGlossaryXrefCheck(session, options) {
+    const manifest = join(options.sddRoot, "docs", "platform", "reference", "glossary-alignment-manifest.yaml");
+    if (!existsSync(manifest) || !options.xrefPresent)
+        return { finding: false };
+    const rows = await scalar(session, count("glossary_xref"));
+    return { finding: rows === 0 };
+}
+export async function runDataModelEntitiesCheck(session) {
+    const domainModels = await scalar(session, count("domain_models"));
+    const entities = await scalar(session, count("entities"));
+    const services = await scalar(session, count("services"));
+    const serviceEntity = await scalar(session, count("service_entity"));
+    const containerEntity = await scalar(session, count("c4_container_entity"));
+    const containersWithService = await scalar(session, count("c4_containers", `COALESCE("service_id", '') <> ''`));
+    return {
+        ...(domainModels > 0 && entities === 0 ? { entitiesGap: { domainModels } } : {}),
+        ...(entities > 0 && services > 0 && serviceEntity === 0
+            ? { serviceEntityGap: { entities, services } }
+            : {}),
+        ...(serviceEntity > 0 && containersWithService > 0 && containerEntity === 0
+            ? { containerEntityGap: { containersWithService, serviceEntity } }
+            : {}),
+    };
+}
+export async function runCapabilityEventCheck(session) {
+    const serviceEvent = await scalar(session, count("service_event"));
+    const capabilityService = await scalar(session, count("capability_service"));
+    const capabilityEvent = await scalar(session, count("capability_event"));
+    let authoredGap;
+    if (capabilityEvent > 0) {
+        const authored = await scalar(session, count("capability_event", `COALESCE("source", '') = 'authored'`));
+        const derived = await scalar(session, count("capability_event", `COALESCE("source", '') = 'derived'`));
+        if (authored === 0 && derived > 0)
+            authoredGap = { derived };
+    }
+    return {
+        ...(serviceEvent > 0 && capabilityService > 0 && capabilityEvent === 0
+            ? { derivableGap: { serviceEvent, capabilityService } }
+            : {}),
+        ...(authoredGap !== undefined ? { authoredGap } : {}),
+    };
+}
+// ─── 0161: feature_event derivation gap ──────────────────────────────────
+export async function runFeatureEventCheck(session) {
+    const serviceEvent = await scalar(session, count("service_event"));
+    const featureService = await scalar(session, count("feature_service"));
+    const featureEvent = await scalar(session, count("feature_event"));
+    return serviceEvent > 0 && featureService > 0 && featureEvent === 0
+        ? { gap: { serviceEvent, featureService } }
+        : {};
+}
+// ─── 0162: forward platform-dependencies parity gap ──────────────────────
+export async function runPlatformDependenciesCheck(session, options) {
+    const forwardFile = join(options.sddRoot, "app-platform-dependencies.yaml");
+    const forwardAuthored = existsSync(forwardFile) &&
+        /^\s*platform_dependencies:/m.test(readFileSync(forwardFile, "utf-8"));
+    if (!forwardAuthored)
+        return { finding: false };
+    const ppd = await scalar(session, count("product_platform_dependencies"));
+    return { finding: ppd === 0 };
+}
+// ─── 0177 F1: feature-spec promotion ─────────────────────────────────────
+/** Python's round(): half to even — the reference computes pct with it. */
+function pythonRound(x) {
+    const floor = Math.floor(x);
+    const diff = x - floor;
+    if (diff > 0.5)
+        return floor + 1;
+    if (diff < 0.5)
+        return floor;
+    return floor % 2 === 0 ? floor : floor + 1;
+}
+export async function runFeatureSpecPromotionCheck(session) {
+    const reader = await session.conn.runAndReadAll(`SELECT COALESCE("source", '') FROM "features";`);
+    let total = 0;
+    let resolvable = 0;
+    let intermediate = 0;
+    for (const r of reader.getRows()) {
+        const src = String(r[0] ?? "").trim();
+        total++;
+        if (src === "feature-spec" || src === "feature-tree")
+            resolvable++;
+        else if (src === "capability-spec" || src === "feature-grounding")
+            intermediate++;
+    }
+    if (total === 0 || intermediate === 0)
+        return {};
+    return {
+        finding: {
+            intermediate,
+            total,
+            pctResolvable: pythonRound((100 * resolvable) / total),
+            note: intermediate >= resolvable ? "predominantly un-promoted" : "partially promoted",
+        },
+    };
+}
+// ─── 0177 F2: near-duplicate feature surfaces (the borderline: engine for
+//     access, the token Jaccard host-language) ───────────────────────────
+function tokens(slug) {
+    return new Set(slug.split("-").filter((t) => t !== ""));
+}
+function near(a, b) {
+    const ta = tokens(a);
+    const tb = tokens(b);
+    if (ta.size === 0 || tb.size === 0)
+        return false;
+    const inter = [...ta].filter((t) => tb.has(t)).length;
+    if (inter === ta.size || inter === tb.size)
+        return true; // subset either way
+    const union = ta.size + tb.size - inter;
+    return union > 0 && inter / union >= 0.5;
+}
+export async function runFeatureSurfaceDuplicationCheck(session) {
+    const reader = await session.conn.runAndReadAll(`SELECT COALESCE("capability_id", ''), COALESCE("name", ''), COALESCE("source", '') FROM "features";`);
+    const rollup = new Map();
+    const detailed = new Map();
+    for (const r of reader.getRows()) {
+        const cap = String(r[0] ?? "").trim();
+        const slug = String(r[1] ?? "").trim();
+        const src = String(r[2] ?? "").trim();
+        if (cap === "" || slug === "")
+            continue;
+        if (src === "capability-spec") {
+            rollup.set(cap, [...(rollup.get(cap) ?? []), slug]);
+        }
+        else if (src === "feature-grounding") {
+            detailed.set(cap, [...(detailed.get(cap) ?? []), slug]);
+        }
+    }
+    let pairs = 0;
+    const caps = new Set();
+    for (const [cap, rollupSlugs] of rollup) {
+        const detailedSlugs = detailed.get(cap);
+        if (!detailedSlugs)
+            continue;
+        for (const r of rollupSlugs) {
+            for (const d of detailedSlugs) {
+                if (r !== d && near(r, d)) {
+                    pairs++;
+                    caps.add(cap);
+                }
+            }
+        }
+    }
+    return pairs > 0 ? { finding: { pairs, capabilities: caps.size } } : {};
+}
+//# sourceMappingURL=gate-checks.js.map

package/dist/lib/catalogue/gate-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate-checks.js","sourceRoot":"","sources":["../../../src/lib/catalogue/gate-checks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAG1C,KAAK,UAAU,MAAM,CAAC,OAAsB,EAAE,GAAW;IACvD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAK,GAAG,EAAE,EAAE,EAAE,CAC1C,yBAAyB,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAgBtE,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAAsB,EACtB,OAAmC;IAEnC,IAAI,CAAC,OAAO,CAAC,aAAa;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAEjE,MAAM,IAAI,GAAyB,EAAE,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,CACtB,UAAU,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,oBAAoB,CACrB,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS;QACvC,wEAAwE;QACxE,qEAAqE;QACrE,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAY,CAAC;YACrE,MAAM,MAAM,GAAI,GAAsC,EAAE,CAAC,QAAQ,CAAC,CAAC;YACnE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;iBAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAC5E,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,GAAG,CAAC,CAAC;QACf,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC;YAAE,SAAS;QAC5B,MAAM,OAAO,GAAG,MAAM,MAAM,CAC1B,OAAO,EACP,KAAK,CAAC,QAAQ,EAAE,gCAAgC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAC/E,CAAC;QACF,IAAI,OAAO,GAAG,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAoBD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAsB,EACtB,OAAqC;IAErC,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,MAAM,MAAM,CAC/B,OAAO,EACP,KAAK,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAC3D,CAAC;IACF,MAAM,aAAa,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAEtE,sEAAsE;IACtE,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,wBAAwB,GAAG,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;iBAClE,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;wBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAAE,wBAAwB,EAAE,CAAC;QAChF,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG,CAAC,QAAQ,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC;YACnD,CAAC,CAAC,EAAE,iBAAiB,EAAE,EAAE,iBAAiB,EAAE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,aAAa,KAAK,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,wBAAwB,GAAG,CAAC;YACtE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE,EAAE;YACrE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,aAAa,KAAK,CAAC,IAAI,YAAY,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC;YAC7D,CAAC,CAAC,EAAE,oBAAoB,EAAE,EAAE,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE;YAC9F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,aAAa,KAAK,CAAC;YACvB,SAAS,GAAG,CAAC;YACb,wBAAwB,KAAK,CAAC;YAC9B,YAAY,KAAK,CAAC;YAChB,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,SAAS,EAAE,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAsB,EACtB,OAAoE;IAEpE,MAAM,QAAQ,GAAG,IAAI,CACnB,OAAO,CAAC,OAAO,EACf,MAAM,EACN,UAAU,EACV,WAAW,EACX,kCAAkC,CACnC,CAAC;IACF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC7E,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IAC3D,OAAO,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;AACjC,CAAC;AAaD,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,OAAsB;IAEtB,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACrE,MAAM,eAAe,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC5E,MAAM,qBAAqB,GAAG,MAAM,MAAM,CACxC,OAAO,EACP,KAAK,CAAC,eAAe,EAAE,kCAAkC,CAAC,CAC3D,CAAC;IACF,OAAO;QACL,GAAG,CAAC,YAAY,GAAG,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,QAAQ,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,aAAa,KAAK,CAAC;YACrD,CAAC,CAAC,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;YAC9C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,aAAa,GAAG,CAAC,IAAI,qBAAqB,GAAG,CAAC,IAAI,eAAe,KAAK,CAAC;YACzE,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,qBAAqB,EAAE,aAAa,EAAE,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAYD,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAsB;IAEtB,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACnE,MAAM,iBAAiB,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC7E,MAAM,eAAe,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACzE,IAAI,WAAiD,CAAC;IACtD,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAC3B,OAAO,EACP,KAAK,CAAC,kBAAkB,EAAE,qCAAqC,CAAC,CACjE,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,MAAM,CAC1B,OAAO,EACP,KAAK,CAAC,kBAAkB,EAAE,oCAAoC,CAAC,CAChE,CAAC;QACF,IAAI,QAAQ,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC;YAAE,WAAW,GAAG,EAAE,OAAO,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO;QACL,GAAG,CAAC,YAAY,GAAG,CAAC,IAAI,iBAAiB,GAAG,CAAC,IAAI,eAAe,KAAK,CAAC;YACpE,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,YAAY,EAAE,iBAAiB,EAAE,EAAE;YACvD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAAsB;IAG/D,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACnE,OAAO,YAAY,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,IAAI,YAAY,KAAK,CAAC;QACjE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE;QAC3C,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAsB,EACtB,OAAqC;IAErC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;IAC5E,MAAM,eAAe,GACnB,UAAU,CAAC,WAAW,CAAC;QACvB,6BAA6B,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IACzE,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAChD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,+BAA+B,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;AAChC,CAAC;AAED,4EAA4E;AAE5E,2EAA2E;AAC3E,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,GAAG,GAAG;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC;IACjC,IAAI,IAAI,GAAG,GAAG;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;AAC7C,CAAC;AAWD,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAC7C,gDAAgD,CACjD,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,KAAK,EAAE,CAAC;QACR,IAAI,GAAG,KAAK,cAAc,IAAI,GAAG,KAAK,cAAc;YAAE,UAAU,EAAE,CAAC;aAC9D,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,mBAAmB;YAAE,YAAY,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO;QACL,OAAO,EAAE;YACP,YAAY;YACZ,KAAK;YACL,aAAa,EAAE,WAAW,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,GAAG,KAAK,CAAC;YACtD,IAAI,EAAE,YAAY,IAAI,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,oBAAoB;SACtF;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,2EAA2E;AAE3E,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,IAAI,CAAC,CAAS,EAAE,CAAS;IAChC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACtD,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC7E,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC;IACxC,OAAO,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,KAAK,IAAI,GAAG,CAAC;AAC3C,CAAC;AAMD,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,aAAa,CAC7C,qGAAqG,CACtG,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QACxC,IAAI,GAAG,KAAK,iBAAiB,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;aAAM,IAAI,GAAG,KAAK,mBAAmB,EAAE,CAAC;YACvC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,MAAM,EAAE,CAAC;QACxC,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC1B,KAAK,EAAE,CAAC;oBACR,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1E,CAAC"}

package/dist/lib/catalogue/parity-harness.d.ts

@@ -0,0 +1,48 @@
+/**
+ * A2 parity harness — M-ADR 0205 §4.4.
+ *
+ * Runs the in-memory validators (the reference implementation) and the
+ * engine path on IDENTICAL input and compares count AND list. Zero
+ * disagreements is the cutover precondition; any disagreement is a
+ * defect in one side, adjudicated, never smoothed.
+ *
+ * What is compared exactly: internal FK failures (field for field) and
+ * enum violations (field for field). External findings are compared by
+ * COUNT — the in-memory path reports them only as rendered finding text,
+ * so a list comparison would be parsing prose. Engine-only PK duplicates
+ * are carried as information, outside the parity claim (no counterpart
+ * instrument exists).
+ */
+import type { CanonicalSchema } from "./schema-loader.js";
+import type { CatalogueRow } from "./csv-writer.js";
+import type { FkValidationOptions } from "./fk-validator.js";
+import { type PkDuplicate, type TypeNonconformance } from "./engine-validator.js";
+export interface KeySetDiff {
+    readonly agree: boolean;
+    readonly onlyOld: readonly string[];
+    readonly onlyNew: readonly string[];
+}
+/** Order-insensitive exact diff of two violation key lists. */
+export declare function diffKeySets(oldKeys: readonly string[], newKeys: readonly string[]): KeySetDiff;
+export interface ParityReport {
+    readonly agree: boolean;
+    readonly fk: KeySetDiff & {
+        readonly oldCount: number;
+        readonly newCount: number;
+    };
+    readonly enums: KeySetDiff & {
+        readonly oldCount: number;
+        readonly newCount: number;
+    };
+    readonly external: {
+        readonly agree: boolean;
+        readonly oldCount: number;
+        readonly newCount: number;
+    };
+    /** Engine-only information, outside the parity claim. */
+    readonly pkDuplicates: readonly PkDuplicate[];
+    /** Engine-only information, outside the parity claim. */
+    readonly typeNonconformances: readonly TypeNonconformance[];
+}
+export declare function runParity(schema: CanonicalSchema, rowsByCatalogue: ReadonlyMap<string, readonly CatalogueRow[]>, options?: FkValidationOptions): Promise<ParityReport>;
+//# sourceMappingURL=parity-harness.d.ts.map

package/dist/lib/catalogue/parity-harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parity-harness.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/parity-harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACxB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,+DAA+D;AAC/D,wBAAgB,WAAW,CACzB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,UAAU,CAqBZ;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACnF,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACtF,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF,yDAAyD;IACzD,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,yDAAyD;IACzD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC7D;AAED,wBAAsB,SAAS,CAC7B,MAAM,EAAE,eAAe,EACvB,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,EAC7D,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,YAAY,CAAC,CA0DvB"}

package/dist/lib/catalogue/parity-harness.js

@@ -0,0 +1,76 @@
+/**
+ * A2 parity harness — M-ADR 0205 §4.4.
+ *
+ * Runs the in-memory validators (the reference implementation) and the
+ * engine path on IDENTICAL input and compares count AND list. Zero
+ * disagreements is the cutover precondition; any disagreement is a
+ * defect in one side, adjudicated, never smoothed.
+ *
+ * What is compared exactly: internal FK failures (field for field) and
+ * enum violations (field for field). External findings are compared by
+ * COUNT — the in-memory path reports them only as rendered finding text,
+ * so a list comparison would be parsing prose. Engine-only PK duplicates
+ * are carried as information, outside the parity claim (no counterpart
+ * instrument exists).
+ */
+import { FindingsLog } from "./findings.js";
+import { validateForeignKeys } from "./fk-validator.js";
+import { validateColumnEnums } from "./enum-validator.js";
+import { validateWithEngine, } from "./engine-validator.js";
+/** Order-insensitive exact diff of two violation key lists. */
+export function diffKeySets(oldKeys, newKeys) {
+    const count = (keys) => {
+        const m = new Map();
+        for (const k of keys)
+            m.set(k, (m.get(k) ?? 0) + 1);
+        return m;
+    };
+    const oldCounts = count(oldKeys);
+    const newCounts = count(newKeys);
+    const onlyOld = [];
+    const onlyNew = [];
+    for (const [k, n] of oldCounts) {
+        const surplus = n - (newCounts.get(k) ?? 0);
+        for (let i = 0; i < surplus; i++)
+            onlyOld.push(k);
+    }
+    for (const [k, n] of newCounts) {
+        const surplus = n - (oldCounts.get(k) ?? 0);
+        for (let i = 0; i < surplus; i++)
+            onlyNew.push(k);
+    }
+    onlyOld.sort();
+    onlyNew.sort();
+    return { agree: onlyOld.length === 0 && onlyNew.length === 0, onlyOld, onlyNew };
+}
+export async function runParity(schema, rowsByCatalogue, options = {}) {
+    const oldFk = validateForeignKeys(schema, rowsByCatalogue, new FindingsLog(), options);
+    const oldEnums = validateColumnEnums(schema, rowsByCatalogue, new FindingsLog());
+    const engine = await validateWithEngine(schema, rowsByCatalogue, options);
+    const fkKey = (f) => `${f.catalogue}|${f.column}|${f.referencingRow}|${f.value}|${f.target}`;
+    const enumKey = (v) => `${v.catalogue}|${v.column}|${v.rowPk}|${v.value}`;
+    const fk = {
+        ...diffKeySets(oldFk.internalFailures.map(fkKey), engine.fk.internalFailures.map(fkKey)),
+        oldCount: oldFk.internalFailures.length,
+        newCount: engine.fk.internalFailures.length,
+    };
+    const enums = {
+        ...diffKeySets(oldEnums.violations.map(enumKey), engine.enums.violations.map(enumKey)),
+        oldCount: oldEnums.violations.length,
+        newCount: engine.enums.violations.length,
+    };
+    const external = {
+        agree: oldFk.externalFindings === engine.fk.externalFindings,
+        oldCount: oldFk.externalFindings,
+        newCount: engine.fk.externalFindings,
+    };
+    return {
+        agree: fk.agree && enums.agree && external.agree,
+        fk,
+        enums,
+        external,
+        pkDuplicates: engine.pkDuplicates,
+        typeNonconformances: engine.typeNonconformances,
+    };
+}
+//# sourceMappingURL=parity-harness.js.map

package/dist/lib/catalogue/parity-harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parity-harness.js","sourceRoot":"","sources":["../../../src/lib/catalogue/parity-harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAI5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,GAGnB,MAAM,uBAAuB,CAAC;AAQ/B,+DAA+D;AAC/D,MAAM,UAAU,WAAW,CACzB,OAA0B,EAC1B,OAA0B;IAE1B,MAAM,KAAK,GAAG,CAAC,IAAuB,EAAE,EAAE;QACxC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,CAAC;IACf,OAAO,CAAC,IAAI,EAAE,CAAC;IACf,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACnF,CAAC;AAiBD,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,MAAuB,EACvB,eAA6D,EAC7D,UAA+B,EAAE;IAEjC,MAAM,KAAK,GAAG,mBAAmB,CAC/B,MAAM,EACN,eAAe,EACf,IAAI,WAAW,EAAE,EACjB,OAAO,CACR,CAAC;IACF,MAAM,QAAQ,GAAG,mBAAmB,CAClC,MAAM,EACN,eAAe,EACf,IAAI,WAAW,EAAE,CAClB,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAC,CAMd,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9E,MAAM,OAAO,GAAG,CAAC,CAKhB,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;IAEzD,MAAM,EAAE,GAAG;QACT,GAAG,WAAW,CACZ,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EACjC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CACtC;QACD,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM;QACvC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM;KAC5C,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,GAAG,WAAW,CACZ,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAChC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CACrC;QACD,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;QACpC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM;KACzC,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,KAAK,EAAE,KAAK,CAAC,gBAAgB,KAAK,MAAM,CAAC,EAAE,CAAC,gBAAgB;QAC5D,QAAQ,EAAE,KAAK,CAAC,gBAAgB;QAChC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,gBAAgB;KACrC,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;QAChD,EAAE;QACF,KAAK;QACL,QAAQ;QACR,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;KAChD,CAAC;AACJ,CAAC"}

package/dist/lib/catalogue/schema-compat.d.ts

@@ -12,9 +12,9 @@
  * NOT require updating the entries here.
  *
  * Schemas:
- *   - catalogue_schema:        docs/method/methods/catalogue-schema.yaml
- *   - sdd_manifest:            docs/method/methods/sdd-manifest-schema.yaml
- *   - aggregation_manifest:    docs/method/methods/aggregation-manifest-schema.yaml
+ *   - catalogue_schema:        docs/method/foundations/schemas/catalogue-schema.yaml
+ *   - sdd_manifest:            docs/method/foundations/schemas/sdd-manifest-schema.yaml
+ *   - aggregation_manifest:    docs/method/foundations/schemas/aggregation-manifest-schema.yaml
  *
  * Bump rules per schema (in their respective YAML headers):
  *   - Patch: typo / description / non-structural fix.

package/dist/lib/catalogue/schema-compat.js

@@ -12,9 +12,9 @@
  * NOT require updating the entries here.
  *
  * Schemas:
- *   - catalogue_schema:        docs/method/methods/catalogue-schema.yaml
- *   - sdd_manifest:            docs/method/methods/sdd-manifest-schema.yaml
- *   - aggregation_manifest:    docs/method/methods/aggregation-manifest-schema.yaml
+ *   - catalogue_schema:        docs/method/foundations/schemas/catalogue-schema.yaml
+ *   - sdd_manifest:            docs/method/foundations/schemas/sdd-manifest-schema.yaml
+ *   - aggregation_manifest:    docs/method/foundations/schemas/aggregation-manifest-schema.yaml
  *
  * Bump rules per schema (in their respective YAML headers):
  *   - Patch: typo / description / non-structural fix.

package/dist/lib/catalogue/scores-coverage.d.ts

@@ -0,0 +1,138 @@
+/**
+ * Scores coverage — M-ADR 0205 §4.5's coverage instrument, the fourteenth
+ * engine check (Phase B, B2). SQL on the §4.1 engine, like every other
+ * catalogue-reading predicate; `check-repo-config-coverage.sh` remains the
+ * only shell survivor and is not the model for this.
+ *
+ * The claim: *every eligible artefact carries a current score*. Eligibility is
+ * computed per rubric against the catalogue that holds its targets, and the
+ * predicate reports BOTH directions, because the two say different things:
+ *
+ *   - an eligible target with no score is a GAP — nobody has judged it;
+ *   - a score whose target does not resolve is an ORPHANED SCORE — the
+ *     assessment corpus has decayed away from the model it describes.
+ *
+ * The second direction is not decoration. Measured on the forward estate at
+ * introduction: 85 of 99 ADR scores point at ids that no longer exist, because
+ * a rename moved the ADR canon and the registry keys were never migrated. A
+ * one-directional predicate would have reported that estate as having 99
+ * scored ADRs while none of them resolved.
+ *
+ * THE JOIN VOCABULARY IS THE WHOLE DIFFICULTY, and it is declared rather than
+ * guessed. A registry's entry keys are not the catalogue's ids, and the
+ * mismatch differs per rubric — measured, not assumed:
+ *
+ *   - contract-quality keys are SPEC PATHS (`contracts-avro/.../X.avsc`),
+ *     joining `contracts.spec_path`; against `contracts.id` they score 0 of 55.
+ *   - adr-quality keys carry a tier prefix (`M-ADR-0001`) the catalogue strips
+ *     (`ADR-0001`); the raw join scores 0 of 99.
+ *   - domain-architecture keys are plain domain slugs and join `domains.id`
+ *     directly, 13 of 13.
+ *
+ * So each rubric declares its catalogue, its join column and its reference
+ * transform, and the predicate REPORTS the resolution rate it achieved. A join
+ * that silently resolves nothing looks exactly like an estate that has scored
+ * nothing — the confident-false-zero shape this whole phase exists to remove.
+ *
+ * Rubrics whose targets have NO catalogue (c4-diagram, strategic-doc,
+ * user-story, work-order) have no eligibility denominator to compute. They are
+ * reported as such by name and their scores are still resolution-checked as
+ * far as they can be — never silently omitted, because a rubric missing from
+ * the output reads as a rubric with nothing to say.
+ *
+ * Reporting-only at both tiers, per §4.5. Exemption vocabulary starts EMPTY
+ * (M-ADR 0199): there is no way to mark a target exempt yet, deliberately, so
+ * the first figure is the honest total.
+ *
+ * ADOPTION GATING — a rubric is measured only where its REGISTRY EXISTS. An SDD
+ * that carries no `<rubric>-scores.yaml` has not adopted that rubric, so it has
+ * no eligible population for it, and reporting its whole ADR/contract/capability
+ * corpus as unscored would be true-but-useless noise. This is the same n/a rule
+ * the repo-config predicate applies and the same rule the quality-scores builder
+ * applies to an absent registry directory: absence of the whole surface is not a
+ * gap in it. Measured before adopting it: without this rule ONE reverse-estate
+ * SDD emits 630 gap lines for rubrics it has never used, which across that
+ * estate would swamp the baseline re-take and bury the real signal.
+ *
+ * The distinction that must NOT be lost, and is not: a registry that EXISTS but
+ * is EMPTY reports its full population as gaps. That is the method repo's own
+ * state — fifteen deliberately-empty containers — and it is exactly the silence
+ * §4.5 exists to make loud. Absent surface and empty surface are different
+ * claims, and conflating them is the defect this whole phase is about.
+ *
+ * The n/a count is always printed. A rubric skipped silently reads as a rubric
+ * with nothing to report.
+ */
+import type { EngineSession } from "./engine-validator.js";
+export type ScoresCoverageTier = "member" | "aggregate";
+/**
+ * How a rubric's scores reach the catalogue rows they describe.
+ *
+ * `refTransform` is applied to the SCORE's target_ref before comparison, in
+ * SQL, so the transform is visible in the query rather than hidden in host
+ * code. `null` means the ref is already in the catalogue's vocabulary.
+ */
+export interface RubricEligibility {
+    readonly rubricId: string;
+    readonly targetKind: string;
+    /** Catalogue holding the eligible population; null when none exists. */
+    readonly catalogue: string | null;
+    /** Column in that catalogue the score's target_ref matches. */
+    readonly joinColumn: string;
+    /** SQL expression transforming target_ref into the catalogue's vocabulary. */
+    readonly refTransform: ((ref: string) => string) | null;
+    /** SQL predicate narrowing the catalogue to eligible rows; null = all rows. */
+    readonly eligibilityFilter: string | null;
+    /** Why the filter is what it is — rendered nowhere, read by whoever changes it. */
+    readonly eligibilityNote: string;
+}
+/**
+ * The declared mapping. Three entries are EXERCISED against real estate data
+ * (adr-quality, contract-quality, domain-architecture); the rest are declared
+ * from the registry and rubric shapes and have no populated corpus to verify
+ * against yet — a distinction the metric line states rather than blurs.
+ */
+export declare const RUBRIC_ELIGIBILITY: readonly RubricEligibility[];
+export interface ScoresCoverageFinding {
+    readonly kind: "uncovered" | "orphaned-score" | "unresolvable-staleness";
+    readonly rubricId: string;
+    readonly subject: string;
+}
+export interface RubricCoverageMetric {
+    readonly rubricId: string;
+    readonly targetKind: string;
+    /** null when the rubric has no catalogued population. */
+    readonly eligible: number | null;
+    readonly covered: number;
+    /** Scores present for this rubric, however they resolve. */
+    readonly scored: number;
+    readonly orphaned: number;
+}
+export interface ScoresCoverageResult {
+    readonly findings: readonly ScoresCoverageFinding[];
+    readonly metrics: readonly RubricCoverageMetric[];
+    /** Rubrics carrying scores that no eligibility entry declares. */
+    readonly undeclaredRubrics: readonly string[];
+    /** Rubrics skipped because this SDD carries no registry for them. */
+    readonly notAdopted: readonly string[];
+    readonly stalenessBasis: {
+        readonly corpusRef: number;
+        readonly scoredAt: number;
+        readonly none: number;
+    };
+    readonly totalScores: number;
+}
+/**
+ * Runs the predicate. `available` names the catalogues actually present, so a
+ * rubric whose population file is absent is skipped the way every other
+ * predicate skips an absent population — silently, because absence of the
+ * whole surface is not a gap in it — while a rubric whose population is
+ * PRESENT but empty still reports its zero.
+ */
+export declare function runScoresCoverage(session: EngineSession, options: {
+    readonly tier: ScoresCoverageTier;
+    readonly available: ReadonlySet<string>;
+    /** SDD root — resolves which rubrics this SDD has actually adopted. */
+    readonly sddRoot: string;
+}): Promise<ScoresCoverageResult>;
+//# sourceMappingURL=scores-coverage.d.ts.map

package/dist/lib/catalogue/scores-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scores-coverage.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/scores-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,WAAW,CAAC;AAExD;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,+DAA+D;IAC/D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,IAAI,CAAC;IACxD,+EAA+E;IAC/E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,iBAAiB,EAiJ1D,CAAC;AAEF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,gBAAgB,GAAG,wBAAwB,CAAC;IACzE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAYD;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE;IACP,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACxC,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACA,OAAO,CAAC,oBAAoB,CAAC,CA+J/B"}