@sdd-method/sdd-cli 1.1.0 → 1.2.0

package/dist/lib/catalogue/coverage-render.js

@@ -0,0 +1,347 @@
+/**
+ * Coverage renderers — M-ADR 0205 §4.4 (A4 CS-2).
+ *
+ * Each function renders a predicate's structured result into the EXACT
+ * stdout lines its reference shell script prints. The text is a
+ * compatibility contract: adopters' findings baselines hold these literal
+ * lines, so every string here is copied from the reference, never
+ * paraphrased. Line ORDER within a predicate follows the reference's
+ * print order (metrics/controls/findings blocks); WITHIN a block the
+ * engine's total ORDER BY governs, which may differ from the reference's
+ * file-row order — baselines compare by membership, and the line-parity
+ * driver compares sorted multisets.
+ *
+ * Percentages use Python's %.1f semantics (round-half-even on the scaled
+ * value), because the references print through Python f-strings.
+ */
+/** Python `%.1f` — half to even at an exact scaled .5, else nearest. */
+export function fmt1f(x) {
+    const scaled = x * 10;
+    const floor = Math.floor(scaled);
+    const diff = scaled - floor;
+    let n;
+    if (diff > 0.5)
+        n = floor + 1;
+    else if (diff < 0.5)
+        n = floor;
+    else
+        n = floor % 2 === 0 ? floor : floor + 1;
+    return (n / 10).toFixed(1);
+}
+export function renderRepoCapability(findings, metrics) {
+    const lines = [];
+    for (const f of findings) {
+        if (f.classification === "conflict") {
+            lines.push(`[finding] divergence: repo ${f.subjectId} declares capability_exemption ` +
+                `(${f.exemptionReason ?? ""}) but also has a repo_capability edge — an exempt repository ` +
+                `must not claim a capability (per M-ADR 0188 §4.1)`);
+        }
+        else if (f.classification === "shape_a") {
+            const names = (f.unclaimedServices ?? []).join(", ") +
+                ((f.unclaimedCount ?? 0) > 3 ? " …" : "");
+            lines.push(`[finding] orphan: repo ${f.subjectId} resolves to no capability in this SDD's ` +
+                `own catalogues; its service(s) [${names}] have no capability_service row ` +
+                `here — check the aggregate's capability_service.csv for this service_id ` +
+                `before assuming the edge is missing (per M-ADR 0188 §6.2b)`);
+        }
+        else if (f.classification === "claimed_unresolved") {
+            lines.push(`[finding] orphan: repo ${f.subjectId} resolves to no capability although its ` +
+                `service(s) are claimed — check services.primary_repo_id is populated ` +
+                `(per M-ADR 0157 §4.3)`);
+        }
+        else {
+            lines.push(`[finding] orphan: repo ${f.subjectId} resolves to no capability, has no service ` +
+                `row, and declares no capability_exemption — declare capabilities: or ` +
+                `capability_exemption (per M-ADR 0188 §4.1)`);
+        }
+    }
+    if (metrics.total > 0) {
+        const resolved = metrics.byCapability + metrics.byExemption;
+        const pct = fmt1f((100.0 * resolved) / metrics.total);
+        lines.push(`[metric] repo_capability_resolution: ${resolved}/${metrics.total} (${pct}%) ` +
+            `— ${metrics.byCapability} by capability, ${metrics.byExemption} by exemption, ` +
+            `${metrics.conflicting} conflicting, ${metrics.unresolved} unresolved`);
+        if (metrics.unresolved > 0) {
+            lines.push(`[metric] repo_capability_orphan_shape: ${metrics.shapeA} with no local ` +
+                `capability_service row for the service (check the aggregate before ` +
+                `assuming the edge is missing), ${metrics.shapeB} with no service row (declare ` +
+                `capabilities: or capability_exemption), ${metrics.other} other`);
+        }
+    }
+    return lines;
+}
+function leverageNote(f) {
+    if (f.leverage === undefined)
+        return "";
+    if (f.leverage === "na")
+        return " [leverage: n/a — no primary_repo_id]";
+    if (f.leverage === "yes") {
+        return (` [leverage: yes — claiming this service would also resolve ` +
+            `repo ${f.primaryRepo}'s repo_capability shape-(a) orphan via Path X]`);
+    }
+    return ` [leverage: no — repo ${f.primaryRepo} already resolves]`;
+}
+export function renderServiceCapability(findings, metrics, tier) {
+    const lines = [];
+    for (const f of findings) {
+        if (f.classification === "conflict") {
+            lines.push(`[finding] divergence: service ${f.subjectId} declares service_capability_exemption ` +
+                `(${f.exemptionReason ?? ""}) but also has a capability_service edge — an exempt service ` +
+                `must not claim a capability (per M-ADR 0133 §4.2b)`);
+        }
+        else if (tier === "aggregate") {
+            lines.push(`[finding] orphan: service ${f.subjectId} resolves to no capability anywhere in ` +
+                `the merged estate and declares no exemption — M-ADR 0196 §4.1 gap class ` +
+                `unauthored-surface (not itself a method defect; remedy is to claim, ` +
+                `exempt, or accept the surface)${leverageNote(f)}`);
+        }
+        else {
+            lines.push(`[finding] coverage: service ${f.subjectId} has no capability_service row and no ` +
+                `exemption in this SDD's own catalogues — classification cannot complete ` +
+                `at member tier (a claim may exist in a sibling SDD's own ` +
+                `capability_service.csv); check the aggregate next${leverageNote(f)}`);
+        }
+    }
+    if (metrics.total > 0) {
+        const resolved = metrics.claimed + metrics.exempt;
+        const pct = fmt1f((100.0 * resolved) / metrics.total);
+        const label = tier === "aggregate" ? "orphaned" : "unresolved-locally";
+        lines.push(`[metric] service_capability_resolution (tier=${tier}): ${resolved}/${metrics.total} ` +
+            `(${pct}%) — ${metrics.claimed} claimed, ${metrics.exempt} exempt, ` +
+            `${metrics.conflicting} conflicting, ${metrics.unresolved} ${label}`);
+        if (metrics.leverage !== undefined && metrics.unresolved > 0) {
+            lines.push(`[metric] service_capability_leverage (tier=${tier}): ${metrics.leverage.yes} would ` +
+                `also resolve a repo_capability shape-(a) orphan via Path X, ${metrics.leverage.no} ` +
+                `would not (repo already resolves), ${metrics.leverage.na} n/a (no primary_repo_id)`);
+        }
+    }
+    return lines;
+}
+export function renderEventCoverage(res, tier) {
+    if (res.na) {
+        return [
+            `[metric] event_coverage (tier=${tier}): n/a — this unit holds no events.csv ` +
+                `rows. Both event sources (contracts/avro discovery; per-domain ` +
+                `event-catalog.yaml) are platform-profile surfaces, so for app/integration ` +
+                `units this cell classifies BY-METAMODEL (M-ADR 0196 §4.1): no event node ` +
+                `surface exists here. For a platform unit, this is an unauthored/undiscovered ` +
+                `surface instead — check contracts/avro/ and docs/domains/*/contracts/events/.`,
+        ];
+    }
+    const m = res.metrics;
+    const c = res.controls;
+    const label = tier === "member" ? "unresolved-locally" : "orphaned";
+    const lines = [
+        `[metric] event_coverage (tier=${tier}): ${m.covered + m.viaContract}/${m.total} covered ` +
+            `(${m.covered} attributed, ${m.viaContract} covered-as-contract), ` +
+            `${m.unresolved} ${label}`,
+        `[metric] capability-reach (chain readout, never a verdict): ${m.capReach}/${m.total} ` +
+            `events whose attributed service is claimed by a capability`,
+        `[metric] consumer-enumerability (M-ADR 0057 analogue, never a verdict): ` +
+            `${m.consumerEnum}/${m.total} events with at least one role=consumes attribution`,
+    ];
+    if (c.colUnresolving.length > 0) {
+        lines.push(`[control] publisher column set but UNRESOLVING against services.csv: ` +
+            `${c.colUnresolving.length}`);
+        for (const x of c.colUnresolving) {
+            lines.push(`  - ${x.eventId} (publisher_service_id=${x.publisher})`);
+        }
+    }
+    if (c.colNoEdge.length > 0) {
+        lines.push(`[control] column-vs-edge disagreement — publisher resolves but no ` +
+            `publishes edge exists: ${c.colNoEdge.length}`);
+        for (const x of c.colNoEdge)
+            lines.push(`  - ${x}`);
+    }
+    if (c.edgeNoCol.length > 0) {
+        lines.push(`[control] column-vs-edge disagreement — publishes edge exists but the ` +
+            `row's publisher column is empty: ${c.edgeNoCol.length}`);
+        for (const x of c.edgeNoCol)
+            lines.push(`  - ${x}`);
+    }
+    for (const f of res.findings) {
+        if (tier === "aggregate") {
+            lines.push(`[finding] orphan: event ${f.subjectId} is attributed to nothing in the merged ` +
+                `estate — no service_event row and no resolving publisher_service_id. ` +
+                `Next checks, by authoring direction: forward — is a repo-config ` +
+                `\`events:\` block authored for its producer, or is this an avsc-only ` +
+                `discovery? reverse — is the event-catalog.yaml \`publisher\` field ` +
+                `empty, or the catalog file absent for its domain (the 0156 class)? ` +
+                `Do not 'declare the event' — the row already exists; what is missing ` +
+                `is attribution.`);
+        }
+        else {
+            lines.push(`[report] unresolved-locally: event ${f.subjectId} carries no local attribution. ` +
+                `A sibling's event-catalog consumers[] may attribute it at aggregate ` +
+                `tier; absence is not assertable here (M-ADR 0199 §4.3).`);
+        }
+    }
+    return lines;
+}
+export function renderContractCoverage(res, tier) {
+    if (res.na) {
+        return [
+            `[metric] contract_coverage (tier=${tier}): n/a — this unit holds no ` +
+                `contracts.csv rows, so there is no population to score. The contracts ` +
+                `discoverer is unconditional across profiles, so this is an unauthored ` +
+                `surface at the node catalogue (M-ADR 0196 §4.1), not out of scope by profile.`,
+        ];
+    }
+    const lines = [];
+    if (res.availability !== undefined) {
+        lines.push(`[info] availability manifest: ${res.availability.attested} attested artefact(s), ` +
+            `${res.availability.unmodelled.length} with no contract row (attested but not ` +
+            `declared-external — participation is a separate claim, M-ADR 0202)`);
+        for (const pp of res.availability.unmodelled)
+            lines.push(`  - ${pp}`);
+    }
+    if (res.availabilityWarning !== undefined) {
+        lines.push(`[warn] availability manifest unreadable: ${res.availabilityWarning}`);
+    }
+    for (const f of res.findings) {
+        if (f.kind === "divergence") {
+            lines.push(`[finding] divergence: contract ${f.subjectId} is excluded from scoring ` +
+                `(${f.classification}) but also carries a live ` +
+                `capability_contract or service_contract edge — the exclusion asserts it ` +
+                `is not expected to be reachable and the edge says it is; check which is ` +
+                `stale`);
+        }
+        else if (tier === "aggregate") {
+            lines.push(`[finding] orphan: contract ${f.subjectId} is reachable from nothing in the ` +
+                `merged estate — no capability_contract row (no owner in the product ` +
+                `model) and no service_contract row (no runtime attribution). Under ` +
+                `M-ADR 0057 lock semantics its consumers cannot be enumerated, so it ` +
+                `can be neither safely changed nor safely retired. Next checks: is a ` +
+                `traceability.contracts entry authored but unresolved (see the ` +
+                `capability_contract orphan findings from the build), and does this ` +
+                `estate have an exposes surface at all (repo-config contracts: ` +
+                `blocks)? If this contract is legitimately unreachable, none of the ` +
+                `four scoped-out states covers it — raise it, because that case is ` +
+                `the trigger for opening an exemption vocabulary`);
+        }
+        else {
+            lines.push(`[finding] coverage: contract ${f.subjectId} has no capability_contract and no ` +
+                `service_contract row in this SDD's own catalogues — classification ` +
+                `cannot complete at member tier, because a service_contract row about ` +
+                `this contract may be authored in a sibling SDD (both its FKs are ` +
+                `external). Check the aggregate next`);
+        }
+    }
+    const m = res.metrics;
+    const resolved = m.covered + m.viaEvent + m.excluded;
+    const label = tier === "aggregate" ? "orphaned" : "unresolved-locally";
+    lines.push(`[metric] contract_coverage (tier=${tier}): ${resolved}/${m.total} ` +
+        `(${fmt1f((100.0 * resolved) / m.total)}%) — ${m.covered} covered, ${m.viaEvent} ` +
+        `covered-as-event, ${m.excluded} excluded, ${m.conflicting} conflicting, ` +
+        `${m.unresolved} ${label}`);
+    const exclusionKeys = Object.keys(m.byExclusion).sort();
+    if (exclusionKeys.length > 0) {
+        lines.push(`[metric] contract_excluded (tier=${tier}): ` +
+            exclusionKeys.map((k) => `${k} ${m.byExclusion[k]}`).join(", "));
+    }
+    lines.push(`[metric] contract_consumer_enumerable (tier=${tier}): ${m.consumersNamed}/${m.total} ` +
+        `(${fmt1f((100.0 * m.consumersNamed) / m.total)}%) carry a service_contract role=consumes ` +
+        `row. This is the property M-ADR 0057 lock semantics need and it is REPORTED, NOT ` +
+        `VERDICTED: the consumes surface is reverse-method only (an adopter alias map over ` +
+        `service-architecture.md), so a forward-authored estate scores zero here by ` +
+        `construction rather than by neglect`);
+    lines.push(`[metric] contract_attribution_shape (tier=${tier}): ${m.ownedOnly} owner-only, ` +
+        `${m.attrOnly} runtime-only, ${m.both} both — a population covered wholly by one edge ` +
+        `rests on one authoring surface`);
+    return lines;
+}
+// ─── the nine Phase-0 gate checks ────────────────────────────────────────
+export function renderEventCatalogueCheck(gaps) {
+    return gaps.map((g) => `[finding] coverage: domain ${g.domain} event-catalog.yaml declares ${g.declared} events but events.csv contains ${g.emitted} rows for that domain (per ADR 0156 Phase 0)`);
+}
+export function renderRepoEdgesCheck(res) {
+    const lines = [];
+    if (res.repoCapabilityGap) {
+        const g = res.repoCapabilityGap;
+        lines.push(`[finding] coverage: repo_capability.csv is empty but ${g.capabilityService} capability_service rows + ${g.servicesWithRepo} services with primary_repo_id present — reverse-method derivation likely missing (per ADR 0157 §4.3, Phase 0)`);
+    }
+    if (res.repoContractForwardGap) {
+        const g = res.repoContractForwardGap;
+        lines.push(`[finding] coverage: repo_contract.csv is empty but ${g.contracts} contracts and ${g.repoConfigsWithContracts} repo-configs with contracts: blocks present — forward-method derivation likely missing (per ADR 0157 §4.2, Phase 0)`);
+    }
+    if (res.repoContractPathXGap) {
+        const g = res.repoContractPathXGap;
+        lines.push(`[finding] coverage: repo_contract.csv is empty but ${g.serviceContracts} service_contract rows + ${g.servicesWithRepo} services with primary_repo_id present — reverse-method Path X (service_contract ⋈ services.primary_repo_id) derivation likely missing (per ADR 0157 §4.2, Phase 0)`);
+    }
+    if (res.repoContractReverseGap) {
+        const g = res.repoContractReverseGap;
+        lines.push(`[finding] coverage: repo_contract.csv is empty with ${g.contracts} contracts present and no repo-config.contracts: blocks or service_contract rows — reverse-method derivation via contracts.source_repo_id likely missing (per ADR 0157 §4.2, Phase 0)`);
+    }
+    return lines;
+}
+export function renderGlossaryXrefCheck(finding) {
+    return finding
+        ? [
+            `[finding] coverage: docs/platform/reference/glossary-alignment-manifest.yaml exists but glossary_xref.csv emits 0 rows — multi-source derivation likely missing (per ADR 0158 §4.5, Phase 0)`,
+        ]
+        : [];
+}
+export function renderDataModelEntitiesCheck(res) {
+    const lines = [];
+    if (res.entitiesGap) {
+        lines.push(`[finding] coverage: ${res.entitiesGap.domainModels} domain-model files catalogued but entities.csv emits 0 rows — reverse-method entity extraction missing (per ADR 0159 Phase 0)`);
+    }
+    if (res.serviceEntityGap) {
+        const g = res.serviceEntityGap;
+        lines.push(`[finding] coverage: ${g.entities} entities + ${g.services} services catalogued but service_entity.csv emits 0 rows — Data Store Mapping ingestion missing (per ADR 0159 Phase 0)`);
+    }
+    if (res.containerEntityGap) {
+        const g = res.containerEntityGap;
+        lines.push(`[finding] coverage: ${g.containersWithService} containers map to services + ${g.serviceEntity} service_entity edges present but c4_container_entity.csv emits 0 rows — Phase 3 derivation missing (per ADR 0159 Phase 0)`);
+    }
+    return lines;
+}
+export function renderCapabilityEventCheck(res) {
+    const lines = [];
+    if (res.derivableGap) {
+        const g = res.derivableGap;
+        lines.push(`[finding] coverage: service_event (${g.serviceEvent}) + capability_service (${g.capabilityService}) populated but capability_event emits 0 rows — reverse-derivable edge missing (per ADR 0160 Phase 0)`);
+    }
+    if (res.authoredGap) {
+        lines.push(`[finding] coverage: capability_event has ${res.authoredGap.derived} derived rows but 0 authored rows — no traceability.events[] or traceability.contracts.{published,consumed}_events declarations are landing in the catalogue. Governance queries filtering to source=authored will return empty (per ADR 0160 Phase 0)`);
+    }
+    return lines;
+}
+export function renderFeatureEventCheck(res) {
+    return res.gap
+        ? [
+            `[finding] coverage: service_event (${res.gap.serviceEvent}) + feature_service (${res.gap.featureService}) populated but feature_event emits 0 rows — reverse-derivable edge missing (per ADR 0161 Phase 0)`,
+        ]
+        : [];
+}
+export function renderPlatformDependenciesCheck(finding) {
+    return finding
+        ? [
+            `[finding] coverage: app-platform-dependencies.yaml declares a platform_dependencies block but product_platform_dependencies.csv emits 0 rows — forward-method ingestion missing (per ADR 0162 Phase 0). Resolves once the builder reads the forward source.`,
+        ]
+        : [];
+}
+export function renderFeatureSpecPromotionCheck(res) {
+    if (!res.finding)
+        return [];
+    const f = res.finding;
+    return [
+        `[finding] coverage: ${f.intermediate} of ${f.total} features are reverse-intermediate ` +
+            `(capability-spec/feature-grounding) not yet promoted to feature-spec — ` +
+            `unresolvable as realises:/FK targets (${f.pctResolvable}% resolvable, ${f.note}; ` +
+            `per ADR 0177 §4.2)`,
+    ];
+}
+export function renderFeatureSurfaceDuplicationCheck(res) {
+    if (!res.finding)
+        return [];
+    const f = res.finding;
+    const capWord = f.capabilities === 1 ? "capability" : "capabilities";
+    return [
+        `[finding] coverage: ${f.pairs} near-duplicate feature surface(s) across ` +
+            `${f.capabilities} ${capWord} — a capability-spec (rollup) and feature-grounding ` +
+            `(detailed) slug naming the same surface; reconcile to one slug per surface, ` +
+            `detailed slug canonical (per ADR 0177 §4.3)`,
+    ];
+}
+//# sourceMappingURL=coverage-render.js.map

package/dist/lib/catalogue/coverage-render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-render.js","sourceRoot":"","sources":["../../../src/lib/catalogue/coverage-render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAmBH,wEAAwE;AACxE,MAAM,UAAU,KAAK,CAAC,CAAS;IAC7B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAS,CAAC;IACd,IAAI,IAAI,GAAG,GAAG;QAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;SACzB,IAAI,IAAI,GAAG,GAAG;QAAE,CAAC,GAAG,KAAK,CAAC;;QAC1B,CAAC,GAAG,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC7C,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAoC,EACpC,OAA8B;IAE9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CACR,8BAA8B,CAAC,CAAC,SAAS,iCAAiC;gBACxE,IAAI,CAAC,CAAC,eAAe,IAAI,EAAE,+DAA+D;gBAC1F,mDAAmD,CACtD,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,KAAK,GACT,CAAC,CAAC,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACtC,CAAC,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CACR,0BAA0B,CAAC,CAAC,SAAS,2CAA2C;gBAC9E,mCAAmC,KAAK,mCAAmC;gBAC3E,0EAA0E;gBAC1E,4DAA4D,CAC/D,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,CAAC,cAAc,KAAK,oBAAoB,EAAE,CAAC;YACrD,KAAK,CAAC,IAAI,CACR,0BAA0B,CAAC,CAAC,SAAS,0CAA0C;gBAC7E,uEAAuE;gBACvE,uBAAuB,CAC1B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,0BAA0B,CAAC,CAAC,SAAS,6CAA6C;gBAChF,uEAAuE;gBACvE,4CAA4C,CAC/C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC;QAC5D,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CACR,wCAAwC,QAAQ,IAAI,OAAO,CAAC,KAAK,KAAK,GAAG,KAAK;YAC5E,KAAK,OAAO,CAAC,YAAY,mBAAmB,OAAO,CAAC,WAAW,iBAAiB;YAChF,GAAG,OAAO,CAAC,WAAW,iBAAiB,OAAO,CAAC,UAAU,aAAa,CACzE,CAAC;QACF,IAAI,OAAO,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACR,0CAA0C,OAAO,CAAC,MAAM,iBAAiB;gBACvE,qEAAqE;gBACrE,kCAAkC,OAAO,CAAC,MAAM,gCAAgC;gBAChF,2CAA2C,OAAO,CAAC,KAAK,QAAQ,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,CAAkB;IACtC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACxC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,uCAAuC,CAAC;IACxE,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QACzB,OAAO,CACL,6DAA6D;YAC7D,QAAQ,CAAC,CAAC,WAAW,iDAAiD,CACvE,CAAC;IACJ,CAAC;IACD,OAAO,yBAAyB,CAAC,CAAC,WAAW,oBAAoB,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAoC,EACpC,OAAiC,EACjC,IAAkB;IAElB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CACR,iCAAiC,CAAC,CAAC,SAAS,yCAAyC;gBACnF,IAAI,CAAC,CAAC,eAAe,IAAI,EAAE,+DAA+D;gBAC1F,oDAAoD,CACvD,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CACR,6BAA6B,CAAC,CAAC,SAAS,yCAAyC;gBAC/E,0EAA0E;gBAC1E,sEAAsE;gBACtE,iCAAiC,YAAY,CAAC,CAAC,CAAC,EAAE,CACrD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,+BAA+B,CAAC,CAAC,SAAS,wCAAwC;gBAChF,0EAA0E;gBAC1E,2DAA2D;gBAC3D,oDAAoD,YAAY,CAAC,CAAC,CAAC,EAAE,CACxE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC;QACvE,KAAK,CAAC,IAAI,CACR,gDAAgD,IAAI,MAAM,QAAQ,IAAI,OAAO,CAAC,KAAK,GAAG;YACpF,IAAI,GAAG,QAAQ,OAAO,CAAC,OAAO,aAAa,OAAO,CAAC,MAAM,WAAW;YACpE,GAAG,OAAO,CAAC,WAAW,iBAAiB,OAAO,CAAC,UAAU,IAAI,KAAK,EAAE,CACvE,CAAC;QACF,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;YAC7D,KAAK,CAAC,IAAI,CACR,8CAA8C,IAAI,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS;gBACnF,+DAA+D,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG;gBACrF,sCAAsC,OAAO,CAAC,QAAQ,CAAC,EAAE,2BAA2B,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,GAAwB,EACxB,IAAkB;IAElB,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;QACX,OAAO;YACL,iCAAiC,IAAI,yCAAyC;gBAC5E,iEAAiE;gBACjE,4EAA4E;gBAC5E,2EAA2E;gBAC3E,+EAA+E;gBAC/E,+EAA+E;SAClF,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,OAAQ,CAAC;IACvB,MAAM,CAAC,GAAG,GAAG,CAAC,QAAS,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,MAAM,KAAK,GAAa;QACtB,iCAAiC,IAAI,MAAM,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,KAAK,WAAW;YACxF,IAAI,CAAC,CAAC,OAAO,gBAAgB,CAAC,CAAC,WAAW,yBAAyB;YACnE,GAAG,CAAC,CAAC,UAAU,IAAI,KAAK,EAAE;QAC5B,+DAA+D,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG;YACrF,4DAA4D;QAC9D,0EAA0E;YACxE,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,KAAK,qDAAqD;KACpF,CAAC;IACF,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,uEAAuE;YACrE,GAAG,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,CAC/B,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,0BAA0B,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,oEAAoE;YAClE,0BAA0B,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CACjD,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,wEAAwE;YACtE,oCAAoC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAC3D,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CACR,2BAA2B,CAAC,CAAC,SAAS,0CAA0C;gBAC9E,uEAAuE;gBACvE,kEAAkE;gBAClE,uEAAuE;gBACvE,qEAAqE;gBACrE,qEAAqE;gBACrE,uEAAuE;gBACvE,iBAAiB,CACpB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,sCAAsC,CAAC,CAAC,SAAS,iCAAiC;gBAChF,sEAAsE;gBACtE,yDAAyD,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,GAA2B,EAC3B,IAAkB;IAElB,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;QACX,OAAO;YACL,oCAAoC,IAAI,8BAA8B;gBACpE,wEAAwE;gBACxE,wEAAwE;gBACxE,+EAA+E;SAClF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,iCAAiC,GAAG,CAAC,YAAY,CAAC,QAAQ,yBAAyB;YACjF,GAAG,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,0CAA0C;YAC/E,oEAAoE,CACvE,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,YAAY,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,4CAA4C,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CACR,kCAAkC,CAAC,CAAC,SAAS,4BAA4B;gBACvE,IAAI,CAAC,CAAC,cAAc,4BAA4B;gBAChD,0EAA0E;gBAC1E,0EAA0E;gBAC1E,OAAO,CACV,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CACR,8BAA8B,CAAC,CAAC,SAAS,oCAAoC;gBAC3E,sEAAsE;gBACtE,qEAAqE;gBACrE,sEAAsE;gBACtE,sEAAsE;gBACtE,gEAAgE;gBAChE,qEAAqE;gBACrE,gEAAgE;gBAChE,qEAAqE;gBACrE,oEAAoE;gBACpE,iDAAiD,CACpD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,gCAAgC,CAAC,CAAC,SAAS,qCAAqC;gBAC9E,qEAAqE;gBACrE,uEAAuE;gBACvE,mEAAmE;gBACnE,qCAAqC,CACxC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,OAAQ,CAAC;IACvB,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACvE,KAAK,CAAC,IAAI,CACR,oCAAoC,IAAI,MAAM,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG;QAClE,IAAI,KAAK,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,aAAa,CAAC,CAAC,QAAQ,GAAG;QAClF,qBAAqB,CAAC,CAAC,QAAQ,cAAc,CAAC,CAAC,WAAW,gBAAgB;QAC1E,GAAG,CAAC,CAAC,UAAU,IAAI,KAAK,EAAE,CAC7B,CAAC;IACF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,oCAAoC,IAAI,KAAK;YAC3C,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CACR,+CAA+C,IAAI,MAAM,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,KAAK,GAAG;QACrF,IAAI,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,4CAA4C;QAC3F,mFAAmF;QACnF,oFAAoF;QACpF,6EAA6E;QAC7E,qCAAqC,CACxC,CAAC;IACF,KAAK,CAAC,IAAI,CACR,6CAA6C,IAAI,MAAM,CAAC,CAAC,SAAS,eAAe;QAC/E,GAAG,CAAC,CAAC,QAAQ,kBAAkB,CAAC,CAAC,IAAI,kDAAkD;QACvF,gCAAgC,CACnC,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,yBAAyB,CACvC,IAAmC;IAEnC,OAAO,IAAI,CAAC,GAAG,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,8BAA8B,CAAC,CAAC,MAAM,gCAAgC,CAAC,CAAC,QAAQ,mCAAmC,CAAC,CAAC,OAAO,8CAA8C,CAC7K,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAoB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,wDAAwD,CAAC,CAAC,iBAAiB,8BAA8B,CAAC,CAAC,gBAAgB,gHAAgH,CAC5O,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,sBAAsB,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,sBAAsB,CAAC;QACrC,KAAK,CAAC,IAAI,CACR,sDAAsD,CAAC,CAAC,SAAS,kBAAkB,CAAC,CAAC,wBAAwB,sHAAsH,CACpO,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,GAAG,CAAC,oBAAoB,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,sDAAsD,CAAC,CAAC,gBAAgB,4BAA4B,CAAC,CAAC,gBAAgB,qKAAqK,CAC5R,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,sBAAsB,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,sBAAsB,CAAC;QACrC,KAAK,CAAC,IAAI,CACR,uDAAuD,CAAC,CAAC,SAAS,uLAAuL,CAC1P,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAgB;IACtD,OAAO,OAAO;QACZ,CAAC,CAAC;YACE,8LAA8L;SAC/L;QACH,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,GAA4B;IAE5B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,uBAAuB,GAAG,CAAC,WAAW,CAAC,YAAY,gIAAgI,CACpL,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAG,CAAC,gBAAgB,CAAC;QAC/B,KAAK,CAAC,IAAI,CACR,uBAAuB,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,QAAQ,wHAAwH,CACnL,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,uBAAuB,CAAC,CAAC,qBAAqB,iCAAiC,CAAC,CAAC,aAAa,4HAA4H,CAC3N,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,GAA0B;IACnE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,sCAAsC,CAAC,CAAC,YAAY,2BAA2B,CAAC,CAAC,iBAAiB,uGAAuG,CAC1M,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,4CAA4C,GAAG,CAAC,WAAW,CAAC,OAAO,wPAAwP,CAC5T,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAEvC;IACC,OAAO,GAAG,CAAC,GAAG;QACZ,CAAC,CAAC;YACE,sCAAsC,GAAG,CAAC,GAAG,CAAC,YAAY,wBAAwB,GAAG,CAAC,GAAG,CAAC,cAAc,oGAAoG;SAC7M;QACH,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAAgB;IAC9D,OAAO,OAAO;QACZ,CAAC,CAAC;YACE,6PAA6P;SAC9P;QACH,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,GAA+B;IAE/B,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IACtB,OAAO;QACL,uBAAuB,CAAC,CAAC,YAAY,OAAO,CAAC,CAAC,KAAK,qCAAqC;YACtF,yEAAyE;YACzE,yCAAyC,CAAC,CAAC,aAAa,iBAAiB,CAAC,CAAC,IAAI,IAAI;YACnF,oBAAoB;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,GAAoC;IAEpC,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IACtB,MAAM,OAAO,GAAG,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IACrE,OAAO;QACL,uBAAuB,CAAC,CAAC,KAAK,4CAA4C;YACxE,GAAG,CAAC,CAAC,YAAY,IAAI,OAAO,sDAAsD;YAClF,8EAA8E;YAC9E,6CAA6C;KAChD,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * Coverage mode — `sdd-cli catalogue validate --coverage` (A4 CS-2).
+ *
+ * Runs the thirteen engine coverage predicates against a catalogues
+ * directory and prints EXACTLY the lines the reference shell scripts
+ * printed (coverage-render.ts holds the text contract), in a fixed block
+ * order: the four catalogue-classics (repo-capability, service-capability,
+ * event, contract), then the nine Phase-0 gate checks in the
+ * catalogue-integrity-gate's step order. Nothing else is written to
+ * stdout — the gate swaps N script invocations for one CLI call and the
+ * stream stays parseable by the same baseline machinery.
+ *
+ * Exit code is 0 in normal operation, exactly as the reference scripts:
+ * gating is the findings baseline's job, never this mode's. A classifier
+ * probe failure throws (the references exit 2).
+ *
+ * The one deliberately-unported check is check-repo-config-coverage.sh:
+ * it reads the AUTHORING surface, is text-shaped by design (A0's
+ * classification), and stays shell.
+ */
+import { type CoverageTier } from "./coverage-predicates.js";
+export interface CoverageRunInputs {
+    /** SDD repo root (defaults to cwd) — authored surfaces resolve here. */
+    readonly sddPath?: string;
+    /** Catalogues directory, relative to the SDD root (default `catalogues`). */
+    readonly cataloguesDir?: string;
+    /** Explicit tier, never inferred (M-ADR 0196 §4.3). Default member. */
+    readonly tier?: CoverageTier;
+}
+export declare function runCatalogueCoverage(inputs: CoverageRunInputs, write: (s: string) => void): Promise<{
+    exitCode: number;
+}>;
+//# sourceMappingURL=coverage-run.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-run.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/coverage-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAQH,OAAO,EAKL,KAAK,YAAY,EAClB,MAAM,0BAA0B,CAAC;AA4BlC,MAAM,WAAW,iBAAiB;IAChC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,6EAA6E;IAC7E,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,iBAAiB,EACzB,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GACzB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA6E/B"}

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

@@ -0,0 +1,91 @@
+/**
+ * Coverage mode — `sdd-cli catalogue validate --coverage` (A4 CS-2).
+ *
+ * Runs the thirteen engine coverage predicates against a catalogues
+ * directory and prints EXACTLY the lines the reference shell scripts
+ * printed (coverage-render.ts holds the text contract), in a fixed block
+ * order: the four catalogue-classics (repo-capability, service-capability,
+ * event, contract), then the nine Phase-0 gate checks in the
+ * catalogue-integrity-gate's step order. Nothing else is written to
+ * stdout — the gate swaps N script invocations for one CLI call and the
+ * stream stays parseable by the same baseline machinery.
+ *
+ * Exit code is 0 in normal operation, exactly as the reference scripts:
+ * gating is the findings baseline's job, never this mode's. A classifier
+ * probe failure throws (the references exit 2).
+ *
+ * The one deliberately-unported check is check-repo-config-coverage.sh:
+ * it reads the AUTHORING surface, is text-shaped by design (A0's
+ * classification), and stays shell.
+ */
+import { existsSync } from "node:fs";
+import { join, resolve } from "node:path";
+import { readCatalogueCsv } from "./csv-reader.js";
+import { createEngineSession } from "./engine-validator.js";
+import { loadCanonicalSchema } from "./schema-loader.js";
+import { runContractCoverage, runEventCoverage, runRepoCapabilityCoverage, runServiceCapabilityCoverage, } from "./coverage-predicates.js";
+import { runCapabilityEventCheck, runDataModelEntitiesCheck, runEventCatalogueCheck, runFeatureEventCheck, runFeatureSpecPromotionCheck, runFeatureSurfaceDuplicationCheck, runGlossaryXrefCheck, runPlatformDependenciesCheck, runRepoEdgesCheck, } from "./gate-checks.js";
+import { renderCapabilityEventCheck, renderContractCoverage, renderDataModelEntitiesCheck, renderEventCatalogueCheck, renderEventCoverage, renderFeatureEventCheck, renderFeatureSpecPromotionCheck, renderFeatureSurfaceDuplicationCheck, renderGlossaryXrefCheck, renderPlatformDependenciesCheck, renderRepoCapability, renderRepoEdgesCheck, renderServiceCapability, } from "./coverage-render.js";
+export async function runCatalogueCoverage(inputs, write) {
+    const sddRoot = resolve(inputs.sddPath ?? process.cwd());
+    const dir = resolve(sddRoot, inputs.cataloguesDir ?? "catalogues");
+    const tier = inputs.tier ?? "member";
+    const schema = await loadCanonicalSchema();
+    const present = (name) => existsSync(join(dir, `${name}.csv`));
+    const rowsByCatalogue = new Map();
+    for (const cat of schema.catalogues) {
+        if (!present(cat.name))
+            continue;
+        const parsed = await readCatalogueCsv(join(dir, `${cat.name}.csv`));
+        rowsByCatalogue.set(cat.name, parsed.rows);
+    }
+    const session = await createEngineSession(schema, rowsByCatalogue);
+    const lines = [];
+    try {
+        // The four catalogue-classics, each anchored on its population file
+        // exactly as the reference scripts anchor (absent file → silent).
+        if (present("repositories")) {
+            const r = await runRepoCapabilityCoverage(session);
+            lines.push(...renderRepoCapability(r.findings, r.metrics));
+        }
+        if (present("services")) {
+            const r = await runServiceCapabilityCoverage(session, {
+                tier,
+                repoCapabilityAvailable: present("repo_capability"),
+            });
+            lines.push(...renderServiceCapability(r.findings, r.metrics, tier));
+        }
+        if (present("events")) {
+            const r = await runEventCoverage(session, { tier });
+            lines.push(...renderEventCoverage(r, tier));
+        }
+        if (present("contracts")) {
+            const r = await runContractCoverage(session, { tier, sddRoot });
+            lines.push(...renderContractCoverage(r, tier));
+        }
+        // The nine Phase-0 gate checks, in the gate's step order.
+        const eventCatalogue = await runEventCatalogueCheck(session, {
+            sddRoot,
+            eventsPresent: present("events"),
+        });
+        lines.push(...renderEventCatalogueCheck(eventCatalogue.gaps));
+        lines.push(...renderRepoEdgesCheck(await runRepoEdgesCheck(session, { sddRoot })));
+        lines.push(...renderGlossaryXrefCheck((await runGlossaryXrefCheck(session, {
+            sddRoot,
+            xrefPresent: present("glossary_xref"),
+        })).finding));
+        lines.push(...renderDataModelEntitiesCheck(await runDataModelEntitiesCheck(session)));
+        lines.push(...renderCapabilityEventCheck(await runCapabilityEventCheck(session)));
+        lines.push(...renderFeatureEventCheck(await runFeatureEventCheck(session)));
+        lines.push(...renderPlatformDependenciesCheck((await runPlatformDependenciesCheck(session, { sddRoot })).finding));
+        lines.push(...renderFeatureSpecPromotionCheck(await runFeatureSpecPromotionCheck(session)));
+        lines.push(...renderFeatureSurfaceDuplicationCheck(await runFeatureSurfaceDuplicationCheck(session)));
+    }
+    finally {
+        session.dispose();
+    }
+    for (const line of lines)
+        write(`${line}\n`);
+    return { exitCode: 0 };
+}
+//# sourceMappingURL=coverage-run.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-run.js","sourceRoot":"","sources":["../../../src/lib/catalogue/coverage-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,uBAAuB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,yBAAyB,EACzB,4BAA4B,GAE7B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,sBAAsB,EACtB,oBAAoB,EACpB,4BAA4B,EAC5B,iCAAiC,EACjC,oBAAoB,EACpB,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,EACtB,4BAA4B,EAC5B,yBAAyB,EACzB,mBAAmB,EACnB,uBAAuB,EACvB,+BAA+B,EAC/B,oCAAoC,EACpC,uBAAuB,EACvB,+BAA+B,EAC/B,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAW9B,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,MAAyB,EACzB,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,GAAiB,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC;IAEnD,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC;IAEvE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAmC,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;QACpE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,mBAAmB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,oEAAoE;QACpE,kEAAkE;QAClE,IAAI,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,MAAM,yBAAyB,CAAC,OAAO,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,MAAM,4BAA4B,CAAC,OAAO,EAAE;gBACpD,IAAI;gBACJ,uBAAuB,EAAE,OAAO,CAAC,iBAAiB,CAAC;aACpD,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,0DAA0D;QAC1D,MAAM,cAAc,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE;YAC3D,OAAO;YACP,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC;SACjC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,CAAC,IAAI,CACR,GAAG,uBAAuB,CACxB,CACE,MAAM,oBAAoB,CAAC,OAAO,EAAE;YAClC,OAAO;YACP,WAAW,EAAE,OAAO,CAAC,eAAe,CAAC;SACtC,CAAC,CACH,CAAC,OAAO,CACV,CACF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,MAAM,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CACR,GAAG,+BAA+B,CAChC,CAAC,MAAM,4BAA4B,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CACnE,CACF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,+BAA+B,CAAC,MAAM,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5F,KAAK,CAAC,IAAI,CACR,GAAG,oCAAoC,CACrC,MAAM,iCAAiC,CAAC,OAAO,CAAC,CACjD,CACF,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IAC7C,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACzB,CAAC"}

package/dist/lib/catalogue/ddl-generator.d.ts

@@ -0,0 +1,80 @@
+/**
+ * Schema→DDL generator — M-ADR 0205 §4.3 (engine-evolution Phase A1).
+ *
+ * Emits, from the loaded canonical schema:
+ *   (a) CREATE TABLE DDL for every declared catalogue, typed per the
+ *       schema's column types; and
+ *   (b) a deterministic list of constraint-violation queries (fk | pk |
+ *       enum) whose row semantics mirror fk-validator.ts and
+ *       enum-validator.ts EXACTLY — the Phase A2 dual-run comparison
+ *       (old path vs engine path, count AND list) depends on that
+ *       equivalence, so any semantic change here must change there too:
+ *         - fk: a required (non-nullable, non-external) FK fails when
+ *           empty; a non-empty value must resolve against the target
+ *           catalogue's primary keys unless the FK is effective-external
+ *           (declared `external`, or external for the build's profile via
+ *           `externalForProfiles`) — mirroring FkValidationOptions.
+ *         - pk: duplicate non-empty primary-key values.
+ *         - enum: a non-empty (trimmed) bound-column value outside the
+ *           bound enum's declared set. Emptiness is nullability's concern,
+ *           not the enum's, exactly as in enum-validator.ts.
+ *
+ * Determinism per M-ADR 0205 §4.2: emission order is the schema's own
+ * declaration order; every query carries a total ORDER BY.
+ *
+ * Digest coupling per §4.3 is inherited, not re-implemented: this module
+ * reads the schema through loadCanonicalSchema, and the vendored copy it
+ * loads is guarded by canonical-schema-drift.test.ts.
+ *
+ * There is NO hand-maintained DDL anywhere: an unknown column type or a
+ * binding to an unknown enum throws at generation time — loud, never a
+ * silent fallback (the known*Ids.has() lesson).
+ */
+import type { CanonicalSchema, ForeignKeyDef } from "./schema-loader.js";
+import type { FkValidationOptions } from "./fk-validator.js";
+/** Engine type for a schema column type; throws on an unmapped type. */
+export declare function sqlType(catalogue: string, column: string, type: string): string;
+/**
+ * The one definition of effective-external, shared with the engine
+ * validator so the three consumers (fk-validator.ts, the query generator,
+ * engine-validator.ts) cannot drift: declared `external`, or external for
+ * the build's profile via `externalForProfiles`.
+ */
+export declare function isEffectiveExternal(fk: ForeignKeyDef, options: FkValidationOptions): boolean;
+/**
+ * One CREATE TABLE statement per catalogue, in schema declaration order.
+ * Plain typed columns only: enforcement of PK/FK/enum semantics lives in
+ * the violation queries, whose findings-shaped output (never a load
+ * abort) is what the validators' exit contracts need.
+ */
+export declare function generateTableDdl(schema: CanonicalSchema): readonly string[];
+export type ConstraintKind = "fk" | "pk" | "enum";
+export interface ConstraintQuery {
+    readonly catalogue: string;
+    readonly kind: ConstraintKind;
+    /** The constrained column (fk/enum) or the primary-key column (pk). */
+    readonly column: string;
+    /** For fk: the "{catalogue}.{column}" target. For enum: the enum name. */
+    readonly target?: string;
+    /**
+     * SELECT returning one row per violation with a total ORDER BY.
+     * fk/enum rows: (row_pk, value). pk rows: (row_pk, n).
+     */
+    readonly sql: string;
+}
+/**
+ * The violation-query set for a schema, mirroring the in-memory
+ * validators' semantics under the same options they take.
+ */
+export declare function generateConstraintQueries(schema: CanonicalSchema, options?: FkValidationOptions): readonly ConstraintQuery[];
+/**
+ * Dangling-value queries for the FKs the main set SKIPS as
+ * effective-external — one query per skipped FK, returning the rows the
+ * in-memory path logs as `[finding] external` (unresolved non-empty
+ * values; resolution happens at aggregation). Empty when
+ * treatExternalAsInternal is set, exactly as the main set then skips
+ * nothing. Kept separate from generateConstraintQueries because these
+ * rows are FINDINGS, not failures — the exit contracts differ.
+ */
+export declare function generateExternalFindingQueries(schema: CanonicalSchema, options?: FkValidationOptions): readonly ConstraintQuery[];
+//# sourceMappingURL=ddl-generator.d.ts.map

package/dist/lib/catalogue/ddl-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ddl-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/catalogue/ddl-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EACV,eAAe,EAEf,aAAa,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAY7D,wEAAwE;AACxE,wBAAgB,OAAO,CACrB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,GACX,MAAM,CAQR;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,aAAa,EACjB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAMT;AAeD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,MAAM,EAAE,CAO3E;AAED,MAAM,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,GAAG,MAAM,CAAC;AAElD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,eAAe,EACvB,OAAO,GAAE,mBAAwB,GAChC,SAAS,eAAe,EAAE,CA8F5B;AAED;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,eAAe,EACvB,OAAO,GAAE,mBAAwB,GAChC,SAAS,eAAe,EAAE,CA6B5B"}