@sdd-method/maintain-cli 0.3.0 → 0.5.0

package/dist/lib/catalogue/builders/system-external-dependency.js

@@ -14,7 +14,7 @@ import { mergeEdgeLabel } from "./edge-label-merge.js";
 // Any C4-PlantUML relationship macro: Rel, Rel_U/D/L/R, BiRel, Rel_Back, etc.
 // Capture the first two positional args (from, to) and an optional label.
 const REL_RE = /^(?:Bi)?Rel(?:_[A-Za-z]+)?\s*\(\s*(\w+)\s*,\s*(\w+)\s*(?:,\s*"([^"]*)")?/;
-// Diagram files come from the shared collector (F11c) — see
+// Diagram files come from the shared collector — see
 // c4-external-systems.ts / c4-l1-candidates.ts. This builder previously
 // kept a private, pre-0.30.1-ordered copy missing the domain-scoped L1
 // path, so Rel(...) lines there were never harvested.
@@ -30,7 +30,7 @@ export async function buildSystemExternalDependency(inputs) {
     const rows = [];
     const seen = new Set();
     const rowsById = new Map();
-    // F14: a Rel in the syndicated platform L1 is a statement about the
+    // A Rel in the syndicated platform L1 is a statement about the
     // PLATFORM. For any other SDD those lines minted the platform's
     // dependencies (and even its persona interactions) as the sibling's own
     // edges — measured at 28% of one estate's dependency graph and 35/35
@@ -42,11 +42,11 @@ export async function buildSystemExternalDependency(inputs) {
     for (const { abs, syndicated } of files) {
         if (syndicated && !isRoot)
             continue;
-        // (F17) the non-external Rel endpoint may be a local container — carry
+        // the non-external Rel endpoint may be a local container — carry
         // its id so adjudication can rewrite this edge onto container_dependency
         // instead of destroying it when the external endpoint proves internal.
         const content = await readFile(abs, "utf-8");
-        // F30: a Person-sourced Rel must never enter this catalogue — its
+        // A Person-sourced Rel must never enter this catalogue — its
         // semantics are runtime calls between software, and attributing a
         // human's Rel to the system erases the person-ness (which adjudication
         // then launders into system_system_dependency). The persona-container
@@ -60,14 +60,14 @@ export async function buildSystemExternalDependency(inputs) {
         for (const rel of parseRels(content)) {
             if (personEntries.has(rel.from) || personEntries.has(rel.to))
                 continue;
-            // F28: classification is CONTAINER-FIRST, uniformly with the
-            // container-dependency builder (F20 / ledger L6). An entry-id that
+            // Classification is CONTAINER-FIRST, uniformly with the
+            // container-dependency builder. An entry-id that
             // resolves to a local container IS a container, whatever a sibling
             // diagram called it — the old external-first read here meant a
             // dual-use SOURCE made the pair look external↔external to this
             // builder while looking container→external to its sibling, and the
             // edge fell between them: claimed by neither, reported by nothing.
-            // L6's fix was applied to one builder and not swept into this one.
+            // A fix applied to one builder must be swept into this one too.
             const fromIsContainer = inputs.containerIdByEntryId?.has(rel.from) ?? false;
             const toIsContainer = inputs.containerIdByEntryId?.has(rel.to) ?? false;
             const fromExt = fromIsContainer

package/dist/lib/catalogue/canonical-schema.yaml

@@ -134,7 +134,7 @@ enums:
       runtime: true
       emits_service_row: false
     description: |
-      Type of repository, declared in `orchestration/repo-config/*.yaml` as `service_type` and surfaced in `repositories.component_type` and `services.component_type`. The canonical builder uses this to decide which repos are runtime services (api_service, worker, gateway, frontend, mobile) and which are non-runtime (library, infrastructure, documentation); firmware runs, but on a device, so it is runtime without a service row (M-ADR 0215) — service emission follows emits_service_row, not runtime. Whether a repo is a vertical-domain application is conveyed by its SDD manifest's `profile: application-product`, not by a service_type tag — this enum is strictly about runtime artefact shape (per resolution of adopt-canonical-catalogue-builder.md §7.1).
+      Type of repository, declared in `orchestration/repo-config/*.yaml` as `service_type` and surfaced in `repositories.component_type` and `services.component_type`. The canonical builder uses this to decide which repos are runtime services (api_service, worker, gateway, frontend, mobile) and which are non-runtime (library, infrastructure, documentation); firmware runs, but on a device, so it is runtime without a service row (M-ADR 0215) — service emission follows emits_service_row, not runtime. Whether a repo is a vertical-domain application is conveyed by its SDD manifest's `profile: application-product`, not by a service_type tag — this enum is strictly about runtime artefact shape.
   capability_exemption_reason:
     values:
     - value: infrastructure
@@ -174,11 +174,11 @@ enums:
     - value: public-infrastructure
       description: Public networks, registries, or services no party in the estate operates.
     - value: estate-owned-unmodelled
-      description: "Operated by this estate but with no SDD or container home yet — the row is an accounted-for stand-in, and this population is the estate's modelling backlog, countable (F16, 2.32.0). Not an assertion of externality: an assertion of accountability for a boundary row."
+      description: "Operated by this estate but with no SDD or container home yet — the row is an accounted-for stand-in, and this population is the estate's modelling backlog, countable (2.32.0). Not an assertion of externality: an assertion of accountability for a boundary row."
     - value: organisation-internal
-      description: Owned elsewhere in the same organisation, outside this estate's modelling boundary (F16, 2.32.0).
+      description: Owned elsewhere in the same organisation, outside this estate's modelling boundary (2.32.0).
     description: |
-      Why an external-system candidate is ACCOUNTED FOR at the estate boundary, per M-ADR 0189 §4.6 (WS15; wording corrected by F16, 2.32.0): five values assert another party owns the system, and two assert the estate/organisation owns it but it has no model home yet — forcing the latter through the former would demand a false reason, and a false reason is worse than silence. The adjudicator can prove a candidate internal; it cannot prove one accounted-for — that is an assertion the author is accountable for, in the shape M-ADR 0188 ratified for repositories. Closed vocabulary, method-owned, extended only by ADR amendment, so adopters cannot locally widen the exemption surface to silence the unverified-candidate coverage finding.
+      Why an external-system candidate is ACCOUNTED FOR at the estate boundary, per M-ADR 0189 §4.6 (wording corrected in 2.32.0): five values assert another party owns the system, and two assert the estate/organisation owns it but it has no model home yet — forcing the latter through the former would demand a false reason, and a false reason is worse than silence. The adjudicator can prove a candidate internal; it cannot prove one accounted-for — that is an assertion the author is accountable for, in the shape M-ADR 0188 ratified for repositories. Closed vocabulary, method-owned, extended only by ADR amendment, so adopters cannot locally widen the exemption surface to silence the unverified-candidate coverage finding.
       ENFORCED, not advisory: the builder drops a row whose reason is outside this vocabulary (convention finding) and the candidate stays unverified — which is the point. An unrecognised reason must not succeed at the one thing an exemption does.
   scaffold_status:
     values:
@@ -1353,7 +1353,7 @@ catalogues:
       nullable: true
       description: The platform this row belongs to — sdd_id of its platform-root. Stamped by the aggregator per M-ADR 0208 §4.4 (preserve-if-set, fill rule by pull path); left empty by per-SDD builders. Added in 3.7.0.
     description: |
-      Hierarchical grouping for features. First-class entity per resolution of adopt-canonical-catalogue-builder.md §7.2 — replaces the previous reverse-only synthetic `feature-tree-group` rows in features.csv. Both forward and reverse can use feature_groups: forward application-product SDDs whose `feature-tree.md` has H2/H3 structure, reverse SDDs whose extracted feature trees are inherently hierarchical, and any SDD that promotes groups to first-class with authored metadata. Groups can nest via `parent_group_id`.
+      Hierarchical grouping for features. First-class entity — replaces the previous reverse-only synthetic `feature-tree-group` rows in features.csv. Both forward and reverse can use feature_groups: forward application-product SDDs whose `feature-tree.md` has H2/H3 structure, reverse SDDs whose extracted feature trees are inherently hierarchical, and any SDD that promotes groups to first-class with authored metadata. Groups can nest via `parent_group_id`.
     foreign_keys:
     - column: product_id
       references: products.id
@@ -2062,8 +2062,8 @@ catalogues:
       nullable: false
       description: Mandatory, non-empty. The reason makes exemptions countable; the note makes them reviewable (M-ADR 0188 §4.2 pattern).
     description: |
-      A declared, reasoned assertion that an external-system candidate is GENUINELY external (M-ADR 0189 §4.6 / WS15). Annotation catalogue (M-ADR 0133 §4.2b): one FK, declared never derived, closed reason enum. Sourced from `orchestration/external-system-exemptions.yaml`.
-      The invariant it completes: c4_external_systems was the one catalogue family with no coverage predicate — a candidate producing no adjudication outcome was silent, and that silence hid a 28% dependency -graph distortion (ledger L4). Every candidate now either resolves at adjudication, or carries an exemption here, or is reported unverified. An exemption retires only the unverified finding — never an adjudication outcome (a converted candidate's exemption is a contradiction, reported and dropped). Shared entities may be exempted by multiple SDDs: identical rows dedup at aggregation (same exception class as c4_external_systems); conflicting rows keep first-seen with a convention finding.
+      A declared, reasoned assertion that an external-system candidate is GENUINELY external (M-ADR 0189 §4.6). Annotation catalogue (M-ADR 0133 §4.2b): one FK, declared never derived, closed reason enum. Sourced from `orchestration/external-system-exemptions.yaml`.
+      The invariant it completes: c4_external_systems was the one catalogue family with no coverage predicate — a candidate producing no adjudication outcome was silent, and that silence hid a 28% dependency -graph distortion. Every candidate now either resolves at adjudication, or carries an exemption here, or is reported unverified. An exemption retires only the unverified finding — never an adjudication outcome (a converted candidate's exemption is a contradiction, reported and dropped). Shared entities may be exempted by multiple SDDs: identical rows dedup at aggregation (same exception class as c4_external_systems); conflicting rows keep first-seen with a convention finding.
     foreign_keys:
     - column: external_system_id
       references: c4_external_systems.id
@@ -2172,7 +2172,7 @@ catalogues:
       type: string
       nullable: false
       description: exposes | consumes.
-    description: "Edge: service exposes or consumes contract. Both FKs are external (per M-ADR 0147): federated SDDs that walk per-repo service-architecture tables emit consumes rows where service_id resolves to the platform-root catalogue's services.csv (post-aggregation) and contract_id resolves to the platform-root contracts.csv. Internal builds (e.g. connect-mono) still optimistically validate locally. Schema 2.8.0."
+    description: "Edge: service exposes or consumes contract. Both FKs are external (per M-ADR 0147): federated SDDs that walk per-repo service-architecture tables emit consumes rows where service_id resolves to the platform-root catalogue's services.csv (post-aggregation) and contract_id resolves to the platform-root contracts.csv. Internal builds (a single-SDD platform) still optimistically validate locally. Schema 2.8.0."
     foreign_keys:
     - column: service_id
       references: services.id
@@ -2303,7 +2303,7 @@ catalogues:
       nullable: true
       description: Where the coupling is evidenced — a path or anchor in the SDD, from `evidence:` on the services[] entry. Prose about the coupling stays in dependency_notes; this is the pointer a reviewer follows.
     description: |
-      Edge: capability is realised by services. Sourced from the capability traceability manifest services[] block. service_id is an external FK (schema 2.29.0, F4): a traceability entry marked `owner_sdd:` declares a cross-SDD reference (e.g. the service moved to a sibling SDD at an M-ADR 0170 §4.2 carve) — the per-SDD builder emits the edge, logs it `[finding] external`, and aggregation validates it hard against the owning sibling's rows. An UNMARKED id that does not resolve locally is NOT emitted — it stays a member-tier orphan finding (or convention, when it names a known external system).
+      Edge: capability is realised by services. Sourced from the capability traceability manifest services[] block. service_id is an external FK (schema 2.29.0): a traceability entry marked `owner_sdd:` declares a cross-SDD reference (e.g. the service moved to a sibling SDD at an M-ADR 0170 §4.2 carve) — the per-SDD builder emits the edge, logs it `[finding] external`, and aggregation validates it hard against the owning sibling's rows. An UNMARKED id that does not resolve locally is NOT emitted — it stays a member-tier orphan finding (or convention, when it names a known external system).
     foreign_keys:
     - column: capability_id
       references: capabilities.id
@@ -2365,8 +2365,8 @@ catalogues:
     - name: source
       type: string
       nullable: false
-      description: "declared — the only emitted value. `derived` is reserved vocabulary: the reverse derivation it anticipated was never built (0 rows across 105 measured units) and the claim was corrected at 3.0.0 (M-ADR 0203 §4.5 / F2); the value re-enters if a decision builds a reverse source."
-    description: "Edge: capability is bound to a contract. Whether the capability exposes or depends on it is not stated by the source (traceability.contracts), so this description asserts no direction (M-ADR 0211 §1). Forward-declared only. Forward-declared only (traceability.contracts). The reverse derivation this description long claimed (service_contract ⋈ capability_service) was measured nonexistent — 0 `source: derived` rows across 105 units, builder references neither catalogue — and the CLAIM was corrected at 3.0.0 (M-ADR 0203 §4.5 / F2, gap class absent-derivation per M-ADR 0196 §4.1). The edge is forward-one-directional until a decision builds a reverse source."
+      description: "declared — the only emitted value. `derived` is reserved vocabulary: the reverse derivation it anticipated was never built (0 rows across 105 measured units) and the claim was corrected at 3.0.0 (M-ADR 0203 §4.5); the value re-enters if a decision builds a reverse source."
+    description: "Edge: capability is bound to a contract. Whether the capability exposes or depends on it is not stated by the source (traceability.contracts), so this description asserts no direction (M-ADR 0211 §1). Forward-declared only. Forward-declared only (traceability.contracts). The reverse derivation this description long claimed (service_contract ⋈ capability_service) was measured nonexistent — 0 `source: derived` rows across 105 units, builder references neither catalogue — and the CLAIM was corrected at 3.0.0 (M-ADR 0203 §4.5, gap class absent-derivation per M-ADR 0196 §4.1). The edge is forward-one-directional until a decision builds a reverse source."
     foreign_keys:
     - column: capability_id
       references: capabilities.id
@@ -2546,7 +2546,7 @@ catalogues:
       type: string
       nullable: true
       description: The platform this row belongs to — sdd_id of its platform-root. Stamped by the aggregator per M-ADR 0208 §4.4 (preserve-if-set, fill rule by pull path); left empty by per-SDD builders. Added in 3.7.0.
-    description: "Edge: feature delivers async push via a named channel/topic. Peer of `graphql_operations:` in the per-feature evidence shape — `graphql_operations:` carries the GraphQL operation names declared in the schema (Queries / Mutations / Subscriptions); `feature_subscription_channels` rows carry the channel/topic layer that physically delivers the push events (AppSync WebSocket endpoints, Pekko WS channels, MQTT topics, server-sent-event streams). Per resolved decision §1 of `content/plans/v0-9-0-cohort-sweep-derived-bundle.md`: a single GraphQL Subscription operation may listen on multiple channels; one channel may be consumed by multiple operations — modelling as a separate edge catalogue (not as a feature column) accommodates the many-to-many. Built per-SDD from `reverse-evidence/feature-grounding-evidence.yaml` `subscription_channels:` entries on each feature. Added in schema 2.9.0."
+    description: "Edge: feature delivers async push via a named channel/topic. Peer of `graphql_operations:` in the per-feature evidence shape — `graphql_operations:` carries the GraphQL operation names declared in the schema (Queries / Mutations / Subscriptions); `feature_subscription_channels` rows carry the channel/topic layer that physically delivers the push events (AppSync WebSocket endpoints, Pekko WS channels, MQTT topics, server-sent-event streams). A single GraphQL Subscription operation may listen on multiple channels; one channel may be consumed by multiple operations — modelling as a separate edge catalogue (not as a feature column) accommodates the many-to-many. Built per-SDD from `reverse-evidence/feature-grounding-evidence.yaml` `subscription_channels:` entries on each feature. Added in schema 2.9.0."
     foreign_keys:
     - column: feature_id
       references: features.id
@@ -2672,9 +2672,9 @@ catalogues:
     - name: interaction
       type: string
       nullable: true
-      description: Optional interaction label from the Rel(...) line. May hold multiple '; '-joined labels (F25).
+      description: Optional interaction label from the Rel(...) line. May hold multiple '; '-joined labels.
     description: |
-      Edge: a persona uses a C4 container — the L2-granularity companion to persona_c4system (M-ADR 0189 F26 §3, ratified 2026-07-10). Eleven of one estate's L2 diagrams and the bulk of another's 81 unroutable Rels drew Person→Container relationships that had no catalogue and, until F26, no finding. Harvested at member tier from Rel(...) lines whose endpoints resolve to a file-local Person and a local container (either direction; the row is normalised persona→container). A Person that matches no persona row is a coverage finding, never a silent skip. Both authoring directions feed from the same diagram surface (M-ADR 0157 parity). Added in schema 2.34.0.
+      Edge: a persona uses a C4 container — the L2-granularity companion to persona_c4system (M-ADR 0189, ratified 2026-07-10). Eleven of one estate's L2 diagrams and the bulk of another's 81 unroutable Rels drew Person→Container relationships that had no catalogue and raised no finding. Harvested at member tier from Rel(...) lines whose endpoints resolve to a file-local Person and a local container (either direction; the row is normalised persona→container). A Person that matches no persona row is a coverage finding, never a silent skip. Both authoring directions feed from the same diagram surface (M-ADR 0157 parity). Added in schema 2.34.0.
     foreign_keys:
     - column: persona_id
       references: personas.id
@@ -2698,11 +2698,11 @@ catalogues:
     - name: interaction
       type: string
       nullable: true
-      description: Optional integration label/protocol from the Rel(...) line. May hold multiple '; '-joined labels when one pair is declared with distinct labels (F25, 2.33.2).
+      description: Optional integration label/protocol from the Rel(...) line. May hold multiple '; '-joined labels when one pair is declared with distinct labels (2.33.2).
     - name: from_container_id
       type: string
       nullable: true
-      description: The Rel's non-external endpoint resolved to a local container at member tier, when it is one (F17, 2.33.0) — the datum that lets adjudication rewrite this edge onto container_dependency instead of destroying it. Empty when the endpoint is the system itself or unresolvable.
+      description: The Rel's non-external endpoint resolved to a local container at member tier, when it is one (2.33.0) — the datum that lets adjudication rewrite this edge onto container_dependency instead of destroying it. Empty when the endpoint is the system itself or unresolvable.
     description: "Edge: a C4 system integrates with an external software system. Captures the L1 context 'System integrates with External System' relationship, extracted from System_Ext(...) + Rel(...) on L1/L2 diagrams. Per M-ADR 0155. Container-level external dependencies are out of scope (system-level only). Added in schema 2.10.0. From 2.30.0 (M-ADR 0189 §4.4): edges whose external endpoint the aggregator adjudicates as an INTERNAL system are rewritten onto system_system_dependency and removed from this catalogue."
     foreign_keys:
     - column: c4_system_id
@@ -2734,13 +2734,13 @@ catalogues:
     - name: source_sdd_id
       type: string
       nullable: true
-      description: SDD whose diagram declared the originating reference. Member-emitted rows set it directly (F19); adjudication-derived rows are stamped by the aggregator.
+      description: SDD whose diagram declared the originating reference. Member-emitted rows set it directly; adjudication-derived rows are stamped by the aggregator.
     - name: platform_sdd_id
       type: string
       nullable: true
       description: The platform this row belongs to — sdd_id of its platform-root. Stamped by the aggregator per M-ADR 0208 §4.4 (preserve-if-set, fill rule by pull path); left empty by per-SDD builders. Added in 3.7.0.
     description: |
-      Edge: a C4 container depends on another INTERNAL container (adopter finding F17 — F6 exactly one tier down: "no edge for internal" at L2). Derived by the aggregator at adjudication: an external-system candidate that resolves to an internal container was never external — each of its dependency edges whose member-resolved `from_container_id` is known is rewritten here, and a candidate with no remaining edges is dropped (it was a phantom duplicate of the container). A candidate with unconvertible edges is kept with the tier-contradiction finding, so no edge is ever destroyed to make a build quieter — the measured cost that stopped an adopter remediating 22 contradictions was eight real edges. ALSO emitted at member tier (F19, 2.33.1): the C4-correct authoring — Rel(container_a, container_b) between two Container(...) nodes — emits its edge directly; adjudication merges into a catalogue that already has content rather than being its only source, so the metamodel no longer rewards mis-declaration over correct authoring. Added in schema 2.33.0.
+      Edge: a C4 container depends on another INTERNAL container (the system-tier gap exactly one tier down: "no edge for internal" at L2). Derived by the aggregator at adjudication: an external-system candidate that resolves to an internal container was never external — each of its dependency edges whose member-resolved `from_container_id` is known is rewritten here, and a candidate with no remaining edges is dropped (it was a phantom duplicate of the container). A candidate with unconvertible edges is kept with the tier-contradiction finding, so no edge is ever destroyed to make a build quieter — the measured cost that stopped an adopter remediating 22 contradictions was eight real edges. ALSO emitted at member tier (2.33.1): the C4-correct authoring — Rel(container_a, container_b) between two Container(...) nodes — emits its edge directly; adjudication merges into a catalogue that already has content rather than being its only source, so the metamodel no longer rewards mis-declaration over correct authoring. Added in schema 2.33.0.
     foreign_keys:
     - column: from_container_id
       references: c4_containers.id
@@ -2910,7 +2910,7 @@ catalogues:
     - name: target_locus
       type: string
       nullable: true
-      description: platform | external | legacy (M-ADR 0204; closed enum, absent/empty = platform). A statement about the TARGET only — never about the consuming product, and never a stability, lifecycle or quality claim. platform rows behave exactly as before this column existed. external/legacy rows carry empty target_capability_id and target_service_id and name their target in target_external_system_id; they skip platform resolution and the F18 realiser-join, with every skip named.
+      description: platform | external | legacy (M-ADR 0204; closed enum, absent/empty = platform). A statement about the TARGET only — never about the consuming product, and never a stability, lifecycle or quality claim. platform rows behave exactly as before this column existed. external/legacy rows carry empty target_capability_id and target_service_id and name their target in target_external_system_id; they skip platform resolution and the synchronous realiser-join, with every skip named.
     - name: target_external_system_id
       type: string
       nullable: true
@@ -2926,7 +2926,7 @@ catalogues:
     - name: contract_type
       type: string
       nullable: true
-      description: rest | graphql | openapi | grpc | event | event-stream | stream | other. Optional; reflects what the consuming SDD declares. The async set (`event`/`event-stream`/`stream`) marks a shared-stream subscription that binds to a stream contract rather than a realiser service (M-ADR 0192) — such rows skip the F18 synchronous realiser-join at aggregation.
+      description: rest | graphql | openapi | grpc | event | event-stream | stream | other. Optional; reflects what the consuming SDD declares. The async set (`event`/`event-stream`/`stream`) marks a shared-stream subscription that binds to a stream contract rather than a realiser service (M-ADR 0192) — such rows skip the synchronous realiser-join at aggregation.
     - name: required_stability
       type: string
       nullable: true
@@ -2948,7 +2948,7 @@ catalogues:
       nullable: true
       description: The platform this row belongs to — sdd_id of its platform-root. Stamped by the aggregator per M-ADR 0208 §4.4 (preserve-if-set, fill rule by pull path); left empty by per-SDD builders. Added in 3.7.0.
     description: |
-      Per-SDD edge: an application-side or integration-side SDD declares that its product depends on a platform-side capability + service pair. Built from `reverse-evidence/feature-grounding-evidence.yaml` `platform_dependencies:` block (product-level — the cohort source shape carries product-scoped dependency rows with a `consumed_by:` list naming which services within the consuming product depend on the target). Each row records one (consuming product, target capability, target service) triple. The aggregator then joins these rows against platform-side `capability_service` to emit `cross_sdd_platform_capability` edges at aggregation time. Cross- SDD references (target_capability_id, target_service_id) are external — they're not expected to resolve in the per-SDD build, only at aggregation. Added in schema 2.9.0; see `content/plans/v0-9-0-cohort-sweep-derived-bundle.md` §"Cross-SDD platform-capability-edge".
+      Per-SDD edge: an application-side or integration-side SDD declares that its product depends on a platform-side capability + service pair. Built from `reverse-evidence/feature-grounding-evidence.yaml` `platform_dependencies:` block (product-level — the cohort source shape carries product-scoped dependency rows with a `consumed_by:` list naming which services within the consuming product depend on the target). Each row records one (consuming product, target capability, target service) triple. The aggregator then joins these rows against platform-side `capability_service` to emit `cross_sdd_platform_capability` edges at aggregation time. Cross- SDD references (target_capability_id, target_service_id) are external — they're not expected to resolve in the per-SDD build, only at aggregation. Added in schema 2.9.0.
     foreign_keys:
     - column: product_id
       references: products.id
@@ -2993,7 +2993,7 @@ catalogues:
       nullable: false
       description: Service identifier the consuming SDD references and the platform SDD owns. The join key.
     description: |
-      Federated edge: an application-side or integration-side SDD's `product_platform_dependencies` reference resolves against a platform-side SDD's capability spec via the platform capability's `capability_service` roster. Surfaces ecosystem-wide platform- consumer relationships at product → capability granularity. Built **only at aggregation time** — `sdd-cli catalogue aggregate` joins each consuming SDD's `product_platform_dependencies` rows against every other SDD's `capability_service` rows on `target_service_id == service_id`, emitting one row per resolved (consuming-product, platform-capability) pair. Per-SDD builders emit nothing for this catalogue; the aggregator owns it entirely. A platform-dependency whose target_service_id doesn't resolve to any platform-side capability_service row is logged as an `orphan` finding and produces no row. Cross-SDD references are external by definition. Added in schema 2.9.0; see `content/plans/v0-9-0-cohort-sweep-derived-bundle.md` §"Cross-SDD platform-capability-edge" and M-ADR 0134.
+      Federated edge: an application-side or integration-side SDD's `product_platform_dependencies` reference resolves against a platform-side SDD's capability spec via the platform capability's `capability_service` roster. Surfaces ecosystem-wide platform- consumer relationships at product → capability granularity. Built **only at aggregation time** — `sdd-cli catalogue aggregate` joins each consuming SDD's `product_platform_dependencies` rows against every other SDD's `capability_service` rows on `target_service_id == service_id`, emitting one row per resolved (consuming-product, platform-capability) pair. Per-SDD builders emit nothing for this catalogue; the aggregator owns it entirely. A platform-dependency whose target_service_id doesn't resolve to any platform-side capability_service row is logged as an `orphan` finding and produces no row. Cross-SDD references are external by definition. Added in schema 2.9.0; see M-ADR 0134.
     foreign_keys:
     - column: consuming_product_id
       references: products.id
@@ -3131,7 +3131,7 @@ catalogues:
       nullable: true
       description: The platform this row belongs to — sdd_id of its platform-root. Stamped by the aggregator per M-ADR 0208 §4.4 (preserve-if-set, fill rule by pull path); left empty by per-SDD builders. Added in 3.7.0.
     description: |
-      Application-product annotation (M-ADR 0191 §4.3 overlay, second element — WS4): one row per conformance tag the product asserts about its archetype's conformance expectations. Built per-SDD from the manifest's `conformance` block so the AGGREGATION-tier conformance GATE can read it. `status=covered` means the product's own conformance suite exercises the tag; `status=deviated` means the product declares (with a rationale) that it deliberately does not. At aggregation, an archetype-expected conformance tag that is neither covered nor deviated raises a deviation-visible WARN. The method gates the DECLARATION — it does not run the adopter's conformance suite. Added in schema 2.39.0.
+      Application-product annotation (M-ADR 0191 §4.3 overlay, second element): one row per conformance tag the product asserts about its archetype's conformance expectations. Built per-SDD from the manifest's `conformance` block so the AGGREGATION-tier conformance GATE can read it. `status=covered` means the product's own conformance suite exercises the tag; `status=deviated` means the product declares (with a rationale) that it deliberately does not. At aggregation, an archetype-expected conformance tag that is neither covered nor deviated raises a deviation-visible WARN. The method gates the DECLARATION — it does not run the adopter's conformance suite. Added in schema 2.39.0.
     foreign_keys:
     - column: product_id
       references: products.id

package/dist/lib/catalogue/contract-path-resolution.js

@@ -1,4 +1,4 @@
-// Contract-path resolution at aggregation tier (post-3.0.0-followons.md A2 step 5).
+// Contract-path resolution at aggregation tier.
 //
 // WHY THIS LIVES AT AGGREGATE TIER AND NOWHERE ELSE
 //   `app-platform-dependencies.yaml` declares, per dependency, the contract the
@@ -54,8 +54,8 @@ export function isPathShaped(value) {
  * sdd_id OR by its directory basename, and the distinction is not cosmetic: an
  * author writing this prefix is reading it off the filesystem, so it is the
  * DIRECTORY they write. In one measured estate every such prefix is
- * `platform/sdd-customer-platform/` while that SDD's declared sdd_id is
- * `customer-platform` — matching on sdd_id alone therefore split nothing and
+ * `platform/sdd-loyalty-platform/` while that SDD's declared sdd_id is
+ * `loyalty-platform` — matching on sdd_id alone therefore split nothing and
  * reported 13 existing contracts as missing. Both keys are accepted.
  *
  * That prefix

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

@@ -13,12 +13,12 @@
  *     §4.3 (`orphaned` is aggregate-only; member tier reports
  *     `unresolved-locally`, cause-agnostic); the Path-X leverage axis is
  *     reported separately and only when repo_capability.csv exists.
- *   - event_coverage    (WS3): every catalogued event is attributed to a
+ *   - event_coverage:    every catalogued event is attributed to a
  *     runtime — service_event edge or resolving publisher column — with
  *     the contract-twin alternative route, the column-vs-edge disagreement
  *     controls, and the chain-readout/consumer-enumerability metric lines
  *     that are never verdicts.
- *   - contract_coverage (WS2): every catalogued contract is reachable —
+ *   - contract_coverage: every catalogued contract is reachable —
  *     capability_contract or service_contract — with the three computed
  *     exclusions (deprecated / provider-surface / not-an-interface, the
  *     last a positive READ of the spec file), the covered-as-event
@@ -178,8 +178,8 @@ FROM "services" s
 WHERE s."id" IS NOT NULL AND s."id" <> ''
 ORDER BY service_id, primary_repo;`;
 export async function runServiceCapabilityCoverage(session, options) {
-    // Known-bad probe, carried over from the reference implementation
-    // (WS11's third requirement): a synthetic claimed service must classify
+    // Known-bad probe, carried over from the reference implementation:
+    // a synthetic claimed service must classify
     // as claimed BEFORE any real data is reported — a run whose
     // classification never executed must not be able to report a healthy
     // estate.

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

@@ -89,7 +89,7 @@ export async function runCatalogueCoverage(inputs, write) {
         const available = new Set(schema.catalogues.map((c) => c.name).filter((n) => present(n)));
         lines.push(...renderScoresCoverage(await runScoresCoverage(session, { tier, available, sddRoot }), tier));
         // Staleness VERDICTS — the second half of the fourteenth check's §4.5
-        // scope (ledger §3o), member-tier only with the aggregate skip stated.
+        // scope, member-tier only with the aggregate skip stated.
         // Same coverage class, same reporting-only staging as the rest of the
         // scores family.
         lines.push(...renderStalenessVerdicts(await runStalenessVerdicts(session, { tier, available, sddRoot }), tier));

package/dist/lib/catalogue/dedupe-keyed-tables.js

@@ -20,10 +20,9 @@
  *     `build` (where the offending SDD is unambiguous) instead of only at
  *     `aggregate`.
  *
- * Background: the method's coordination record feature-edge-cross-source-duplicate.
  * Sibling precedents (the unconditional-emit fixes whose per-walker dedup this
- * generalises across sources): `feature-grounding-collision-edges-coordination.md`
- * (0.30.2) and `capability-spec-collision-edges-coordination.md` (0.30.3).
+ * generalises across sources): the feature-grounding collision-edge fix
+ * (0.30.2) and the capability-spec collision-edge fix (0.30.3).
  */
 /**
  * Render a cell exactly as the CSV writer will, so two rows count as identical

package/dist/lib/catalogue/ext-id.js

@@ -12,12 +12,12 @@
 // carries (`name`), so the old→new map is a build artefact, not an authored
 // migration: `sdd-cli catalogue migration-map` emits it, and the exemption
 // loader consults it during the cut window (an authored exemption keyed by
-// a mapped old id is regenerable, NOT drift — the F30 rule at schema scale).
+// a mapped old id is regenerable, NOT drift — the regenerability rule at schema scale).
 /**
  * Normalise a declared diagram entry id to slug form. Camel humps split
- * BEFORE lowercasing (the F11a rule, matching the aggregator's resolver):
- * most SDD ids are hyphenated, and `bvfmGatewayFramework` must derive the
- * same identity the adjudicator resolves for it (`bvfm-gateway-framework`).
+ * BEFORE lowercasing (matching the aggregator's resolver):
+ * most SDD ids are hyphenated, and `posGatewayFramework` must derive the
+ * same identity the adjudicator resolves for it (`pos-gateway-framework`).
  */
 export function normaliseEntryId(entryId) {
     return entryId

package/dist/lib/catalogue/feature-grounding-aliases-loader.js

@@ -14,7 +14,7 @@
  *       AuthHandler: example-service-api
  *       web-ui: example-web-ui
  *     repo_aliases:
- *       camera-bff: global-camera-bff
+ *       stock-bff: northwind-stock-bff
  *
  * Either block is optional. Empty / missing file = no aliases (every
  * reference must resolve directly against the canonical id).

package/dist/lib/catalogue/finding-identity.js

@@ -1,6 +1,6 @@
 /**
  * Finding IDENTITY — the stable key a findings baseline is compared on, per
- * M-ADR 0132 §4.3 as amended, delivering the ruling recorded at ledger §3p.
+ * M-ADR 0132 §4.3 as amended.
  *
  * THE PROBLEM THIS EXISTS FOR, measured rather than asserted. A findings
  * baseline stores whole `[finding]` lines, so improving a message invalidates
@@ -17,7 +17,7 @@
  * files, 74 non-empty, 1,677 body lines — that works for 1,434 lines (85.5%)
  * and fails for 243 (14.5%), which embed their subject in prose:
  *
- *   [finding] orphan: repo integration-calamp resolves to no capability ...
+ *   [finding] orphan: repo integration-acme resolves to no capability ...
  *
  * One renderer template, all orphan class, spread across 62 repos. Recovering
  * identity there means teaching the comparator the renderer's message
@@ -30,7 +30,7 @@
  * baseline is reviewed by people and a side-channel nobody sees is a side
  * channel nobody maintains:
  *
- *   [finding] orphan (repo:integration-calamp): repo integration-calamp ...
+ *   [finding] orphan (repo:integration-acme): repo integration-acme ...
  *   [finding] divergence (docs/domains/asset/product/x.traceability.yaml): ...
  *
  * A finding with no declared subject renders EXACTLY as it does today. That is

package/dist/lib/catalogue/freshness.js

@@ -1,6 +1,6 @@
 /**
  * `catalogue build --check`: are the committed catalogues what the committed specs build to?
- * (M-ADR 0218 §5, bead sdm-jts.6.)
+ * (M-ADR 0218 §5.)
  *
  * Builds into a temporary directory and compares, so it writes nothing into the SDD. Only what
  * the build PRODUCES is compared: a hand-written file that happens to sit in catalogues/ (a

package/dist/lib/catalogue/manifest-loader.js

@@ -123,7 +123,7 @@ const DataPlaneSchema = z.object({
     bindings: z.array(DataPlaneBindingSchema),
     deviations: z.array(DataPlaneDeviationSchema).optional(),
 });
-// Conformance coverage (M-ADR 0191 §4.3, second overlay element — WS4). An
+// Conformance coverage (M-ADR 0191 §4.3, second overlay element). An
 // application-product asserts which of its archetype's conformance expectations
 // its own conformance suite exercises (`coverage`), and declares a rationale for
 // any expected tag it deliberately does not cover (`deviations`). The method
@@ -249,7 +249,7 @@ const ManifestSchema = z.object({
     // optional declared deviations from the archetype default, each carrying a
     // rationale so the mismatch is sanctioned variance, not silent drift.
     data_plane: DataPlaneSchema.optional(),
-    // Conformance coverage declaration (M-ADR 0191 §4.3 WS4, sdd-manifest-schema
+    // Conformance coverage declaration (M-ADR 0191 §4.3, sdd-manifest-schema
     // 1.5.0). Which archetype conformance expectations the product's suite
     // exercises, plus rationales for any it deliberately does not.
     conformance: ConformanceSchema.optional(),

package/dist/lib/catalogue/scaffold-delta.js

@@ -216,7 +216,7 @@ export async function runScaffoldDelta(session, options) {
 }
 /**
  * The delta's DEFECT classes are gate-acting (`divergence`), PROMOTED by a
- * recorded governance act after the M-ADR 0207 §4.9 pilot completed with no
+ * recorded method act after the M-ADR 0207 §4.9 pilot completed with no
  * surprise in any gated figure (2026-08-08) — the deliberate later act the
  * scores-coverage precedent reserves, performed. `scaffold-stale` stays
  * `coverage` with its staleness family: a stale anchor is a re-declare

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

@@ -1,8 +1,7 @@
 /**
  * Per-schema compatibility ranges declared by this sdd-cli build.
  *
- * Per resolution of adopt-canonical-catalogue-builder.md §7.5, the three
- * sdd-method-distributed schemas version independently. The CLI declares
+ * The three sdd-method-distributed schemas version independently. The CLI declares
  * the version range it accepts for each and fails fast at read time on
  * out-of-range manifests.
  *

package/dist/lib/catalogue/screen-validation-loader.js

@@ -15,7 +15,7 @@
  *       - Divider
  *     archetype_overlays:               # per-platform overlay (ADR 0169 §4.3)
  *       web-generic:
- *         strip_prefixes: [Mdc, Mde]    # render-only: stripped when humanising labels
+ *         strip_prefixes: [Nwc, Nwe]    # render-only: stripped when humanising labels
  *         overrides:
  *           VBespokeGrid: grid
  *       swiftui:

package/dist/lib/catalogue/staleness-verdicts.js

@@ -1,5 +1,5 @@
-// Staleness VERDICTS — the second half of M-ADR 0205 §4.5's staleness scope
-// (ledger §3o): "staleness meaning corpus_ref older than the target's last
+// Staleness VERDICTS — the second half of M-ADR 0205 §4.5's staleness scope:
+// "staleness meaning corpus_ref older than the target's last
 // content change". The scores-coverage predicate computes each row's BASIS;
 // this module computes the VERDICT the basis supports. A stale score is worse
 // than a missing one, because it reads as coverage — the predicate otherwise

package/dist/lib/catalogue/traceability-loader.js

@@ -262,8 +262,7 @@ function extractContracts(raw) {
     // entries used to raise disappeared — the declarations became invisible
     // to row emission and to finding emission at once. The builder had been
     // taught the object form (contracts.ts) while its only feeder had not:
-    // the F36 shape again, one surface ahead of the pipeline that supplies
-    // it. `spicedb` was likewise never extracted, so `.zed` declarations
+    // a builder one surface ahead of the pipeline that supplies it. `spicedb` was likewise never extracted, so `.zed` declarations
     // never reached any builder even as bare strings.
     const arr = (key) => {
         const v = o[key];
@@ -282,7 +281,7 @@ function extractContracts(raw) {
     const graphql = arr("graphql");
     // `provenance` (3.5.0) MUST be extracted here or the builder that reads it
     // sees nothing — this function reconstructs the block key-by-key rather than
-    // passing the parsed object through, which is precisely the F36 shape the
+    // passing the parsed object through, which is precisely the shape the
     // comment above records. It was re-committed once during 3.5.0's own
     // implementation: the builder was taught to read provenance while this feeder
     // still dropped it, and only an end-to-end catalogue build caught it, because