@sdd-method/verify-cli 4.0.1 → 5.0.0

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

@@ -7,7 +7,7 @@
 # Emitted by sdd-cli's YAML emitter with no line folding; the three header scalars are quoted for the
 # textual readers downstream. The one deliberate difference from the authored form is schema_status:
 # the authored form says canonical; a projection never does.
-schema_version: "6.0.0"
+schema_version: "7.0.0"
 schema_owner: "sdd-method"
 schema_status: "generated"
 enums:
@@ -685,15 +685,15 @@ enums:
     - value: obligation
       description: Behaviour every feature in a population depends on, owned as a feature of its own (M-ADR 0226, Proposed).
     - value: journey
-      description: A user journey's joint behaviour, held in the behaviour store (M-ADR 0229 §4.2, option B; Proposed).
-    description: What a catalogued feature is (M-ADR 0226 and M-ADR 0229, both Proposed).
+      description: A user journey's joint behaviour, held in the behaviour store (M-ADR 0229 §4.2, option B).
+    description: What a catalogued feature is (M-ADR 0226, Proposed, and M-ADR 0229).
   journey_requirement_basis:
     values:
     - value: tag
       description: A @req tag in the journey's end-to-end test file (option A).
     - value: citation
       description: A citation in the journey feature's living spec (option B).
-    description: Where a journey's citation of a requirement was read (M-ADR 0229 §4.4, Proposed).
+    description: Where a journey's citation of a requirement was read (M-ADR 0229 §4.4).
   source_of_truth:
     values:
     - value: structure
@@ -1318,7 +1318,7 @@ catalogues:
     - name: relation
       type: string
       nullable: false
-      description: alias-of | conflicts-with | references | supersedes (extended in schema 2.12.0 per M-ADR 0158).
+      description: "alias-of | conflicts-with | references | supersedes (extended in schema 2.12.0 per M-ADR 0158). Read as source, relation, target: for supersedes the successor is the source and the superseded term the target."
     description: "Edge: cross-domain glossary relationships from glossary-alignment-manifest.yaml. Per M-ADR 0158, four walkers ingest into this catalogue: (a) forward declared pair-form {source, target} entries under aliases/conflicts, (b) reverse-method cross_domain_terms (emits references edges per referencer→owner), (c) reverse-method multi-domain conflicts (pair-wise expansion across domains[]), (d) forward-method supersedes (status: superseded entries with superseded_by back-link)."
     natural_key:
     - source_id
@@ -1646,7 +1646,7 @@ catalogues:
     - name: kind
       type: string
       nullable: false
-      description: "Bound to feature_kind: feature (the default), obligation (M-ADR 0226, Proposed) or journey (M-ADR 0229 §4.2, Proposed), from the feature spec's **Kind:** line."
+      description: "Bound to feature_kind: feature (the default), obligation (M-ADR 0226, Proposed) or journey (M-ADR 0229 §4.2), from the feature spec's **Kind:** line."
     - name: source_sdd_id
       type: string
       nullable: true
@@ -1760,7 +1760,7 @@ catalogues:
     - name: id
       type: string
       nullable: false
-      description: "{domain}-{stem}-{kind} — the kind component joined the id at schema 3.0.0 (M-ADR 0203 §4.4), ending the kindless collision class where one service published as two contract families (openapi + proto) minted one id (measured cost: 1 row + 2 edges permanently unrepresentable, plus legitimate shared-contract citation flagged as divergence). Mechanical migration: new id = old id + '-' + kind; `sdd-cli catalogue migration-map` emits the pairs, and authored alias targets (M-ADR 0147) re-key automatically during the cut window."
+      description: "{domain}-{stem}-{kind} — the kind component joined the id at schema 3.0.0 (M-ADR 0203 §4.4), ending the kindless collision class where one service published as two contract families (openapi + proto) minted one id (measured cost: 1 row + 2 edges permanently unrepresentable, plus legitimate shared-contract citation flagged as divergence). Mechanical migration: new id = old id + '-' + kind; `sdd-cli catalogue migration-map` emits the pairs, and authored alias targets (M-ADR 0147) re-key automatically during the cut window. From schema 7.0.0 the stem is split at its CamelCase boundaries as an entity name is (`OrderPlaced` → `order-placed`), and references to the unsplit form re-key the same way, from id, kind and spec_path."
     - name: name
       type: string
       nullable: false
@@ -1946,7 +1946,7 @@ catalogues:
     - name: service_id
       type: string
       nullable: true
-      description: Matched by container name ↔ service name/repo where possible.
+      description: Matched to a service id by the container's diagram id or display-name slug, then by its display name through docs/platform/reference/service-name-aliases.yaml.
     - name: type
       type: string
       nullable: true
@@ -2211,7 +2211,7 @@ catalogues:
     - name: id
       type: string
       nullable: false
-      description: "Slugged PK: {domain_id}-{entitySlug(name)}. For manifest-sourced rows with domain=platform-wide, the leading domain segment is empty (`-{entitySlug(name)}`) and the row carries a [finding] convention."
+      description: "Slugged PK: {domain_id}-{entitySlug(name)}. A glossary-manifest entry with domain=platform-wide is the domain entity its slug names when exactly one does, and adds no row of its own; one naming none, or several, is kept as `_platform-wide-{entitySlug(name)}` with a finding. A superseded manifest entry is no entity: glossary_xref holds its supersedes edge."
     - name: name
       type: string
       nullable: false
@@ -4904,7 +4904,7 @@ catalogues:
       nullable: true
       description: The platform SDD the row belongs to (stamped at aggregation).
       source_of_truth: execution
-    description: "Edge: a requirement a user journey cites for one of its steps (M-ADR 0229 §4.4, Proposed). Derived, never authored: from the @req tags in the journey's end-to-end test file, or from the citations in its journey feature's living spec. A journey with no row is untraced."
+    description: "Edge: a requirement a user journey cites for one of its steps (M-ADR 0229 §4.4). Derived, never authored: from the @req tags in the journey's end-to-end test file, or from the citations in its journey feature's living spec. A journey with no row is untraced."
     foreign_keys:
     - column: journey_id
       references: user_journeys.id

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

@@ -218,7 +218,7 @@ const ManifestSchema = z.object({
     // Shared-library trait (sdd-manifest-schema 1.12.0, M-ADR 0217 §4.4). Profile-agnostic,
     // like `exemplar`; absent is the unmarked norm, no finding.
     shared_library: z.boolean().optional(),
-    // Where this estate's journey behaviour is mastered (sdd-manifest-schema 1.13.0, M-ADR 0229 §4.2, Proposed).
+    // Where this estate's journey behaviour is mastered (sdd-manifest-schema 1.13.0, M-ADR 0229 §4.2).
     // `master` is declared at the root, and journey-impact treats a member naming its platform as inheriting it.
     // `test_paths` is never inherited: it is relative to this SDD, so an SDD that holds end-to-end files declares
     // its own block, with the master and its paths. Unknown values fail at load.

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

@@ -27,7 +27,7 @@
  * M-ADR 0134 §4.6 (canonical builder + aggregator).
  */
 export const SCHEMA_COMPAT = {
-    catalogue_schema: "^6.0.0",
+    catalogue_schema: "^7.0.0",
     sdd_manifest: "^1.0.0",
     aggregation_manifest: "^1.0.0",
 };

package/dist/lib/validate/dispatch.js

@@ -37,7 +37,7 @@ const BEHAVIOUR_STORE_VALIDATORS = [
         source: { kind: "native", run: async (ctx) => checkFeatureSpecPointers(ctx.targetRepo) },
         build: () => ({ status: "run", args: [] }),
     },
-    // The journeys a change can break, and whether its proposal names them (M-ADR 0229 §4.5, Proposed). Report only; [N/A] without journeys.
+    // The journeys a change can break, and whether its proposal names them (M-ADR 0229 §4.5). Report only; [N/A] without journeys.
     {
         name: "journey-impact",
         source: { kind: "native", run: async (ctx) => checkJourneyImpact(ctx.targetRepo) },

package/dist/lib/validate/journey-impact.js

@@ -1,5 +1,5 @@
-// journey-impact: the journeys a change can break, and whether its proposal names them (M-ADR 0229 §4.5, Proposed).
-// Report only (M-ADR 0229 §4.5, Proposed): every finding is a [WARN] and the check exits 0. Gate 0 carries this report; nothing
+// journey-impact: the journeys a change can break, and whether its proposal names them (M-ADR 0229 §4.5).
+// Report only (M-ADR 0229 §4.5): every finding is a [WARN] and the check exits 0. Gate 0 carries this report; nothing
 // blocks on it, and the judge does not fail a change for it.
 //
 // For each open change in the behaviour store (openspec/changes/<change>/, not the archive):
@@ -14,8 +14,8 @@
 // with no reason is reported too.
 //
 // Also reported: a journey citing a requirement of a feature its journey_feature rows do not name (one record or
-// the other is wrong, M-ADR 0229 §4.4, Proposed); and an SDD with catalogued journeys whose manifest declares no journey master and that names no
-// platform it inherits from (an unresolved root, M-ADR 0229 §4.2, Proposed). A member that names its platform inherits the
+// the other is wrong, M-ADR 0229 §4.4); and an SDD with catalogued journeys whose manifest declares no journey master and that names no
+// platform it inherits from (an unresolved root, M-ADR 0229 §4.2). A member that names its platform inherits the
 // root's declaration, which is checked at the root.
 //
 // Reads the aggregated catalogue (catalogues-aggregated/*.csv) where this SDD has one, since a root's changes can
@@ -100,7 +100,7 @@ export async function checkJourneyImpact(repo) {
     else if (platform)
         lines.push(`journey master: not declared here; inherited from platform ${platform}, where it is checked`);
     else
-        warnings.push(`.sdd/sdd-manifest.yaml: ${journeys.length} catalogued journey(s) and no journey master (journeys.master: test-file or store), and no platform to inherit one from: unresolved (M-ADR 0229 §4.2, Proposed)`);
+        warnings.push(`.sdd/sdd-manifest.yaml: ${journeys.length} catalogued journey(s) and no journey master (journeys.master: test-file or store), and no platform to inherit one from: unresolved (M-ADR 0229 §4.2)`);
     const jr = await csv(repo, "journey_requirement", dir);
     const jf = (await csv(repo, "journey_feature", dir)) ?? [];
     const featureKinds = new Map(((await csv(repo, "features", dir)) ?? []).map((f) => [f["id"], f["kind"] ?? ""]));
@@ -137,7 +137,7 @@ export async function checkJourneyImpact(repo) {
         if (touched.get(r["journey_id"])?.has(feature) || mismatched.has(key))
             continue;
         mismatched.add(key);
-        warnings.push(`journey ${r["journey_id"]} cites requirements of ${feature}, which its journey_feature rows do not name: the journey's related features or its tags are wrong (M-ADR 0229 §4.4, Proposed)`);
+        warnings.push(`journey ${r["journey_id"]} cites requirements of ${feature}, which its journey_feature rows do not name: the journey's related features or its tags are wrong (M-ADR 0229 §4.4)`);
     }
     const untracedCount = journeys.filter((j) => !traced.has(j["id"])).length;
     lines.push(`journeys: ${journeys.length} catalogued, ${journeys.length - untracedCount} traced to requirements, ${untracedCount} untraced`);
@@ -203,6 +203,6 @@ export async function checkJourneyImpact(repo) {
     const body = lines.map((l) => `${l}\n`).join("");
     if (warnings.length === 0)
         return { exitCode: 0, stdout: `journey-impact:\n${body}[PASS] journey-impact: every listed journey is named\n` };
-    return { exitCode: 0, stdout: `journey-impact:\n${body}${warnings.map((w) => `[WARN] ${w}\n`).join("")}[WARN] journey-impact: ${warnings.length} finding(s), report only (M-ADR 0229 §4.5, Proposed)\n` };
+    return { exitCode: 0, stdout: `journey-impact:\n${body}${warnings.map((w) => `[WARN] ${w}\n`).join("")}[WARN] journey-impact: ${warnings.length} finding(s), report only (M-ADR 0229 §4.5)\n` };
 }
 //# sourceMappingURL=journey-impact.js.map

package/dist/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.13.1",
-  "built_against_sdd_cli": "4.0.1"
+  "version": "0.14.0",
+  "built_against_sdd_cli": "5.0.0"
 }

package/dist/verify-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "4.0.1",
-  "built_against_sdd_cli": "4.0.1"
+  "version": "5.0.0",
+  "built_against_sdd_cli": "5.0.0"
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@sdd-method/verify-cli",
-  "version": "4.0.1",
-  "sddCliVersion": "4.0.1",
+  "version": "5.0.0",
+  "sddCliVersion": "5.0.0",
   "description": "Verify an SDD repository without changing it — validate, list, and read-only catalogue and pack checks. Ships only the code those verbs reach; it cannot write to the repository it is pointed at. Authoring and maintenance are in @sdd-method/sdd-cli.",
   "license": "UNLICENSED",
   "type": "module",