@sdd-method/author-cli 0.11.0 → 0.12.0

package/dist/lib/catalogue/builders/entities-mermaid.js

@@ -14,20 +14,19 @@
 // - Files may mix `erDiagram` with other Mermaid diagram types (flowchart,
 //   sequenceDiagram). Each fenced block is independently checked for the
 //   erDiagram opener; non-ER blocks are skipped.
+// The file is read by the data-model parser (data-model.ts, schema 6.0.0), the
+// one parser every reader of a domain model shares; an entity on one line
+// (`NAME { type a; type b }`) is an entity too, and a `data-model.tql` in the
+// documented TypeQL subset gives its entities the same way.
 import { readFile } from "node:fs/promises";
+import { parseMermaidDataModel, parseTypeqlDataModel } from "./data-model.js";
 import { entitySlug } from "./entity-slug.js";
 import { extractFileEvidenceClass } from "./evidence-class.js";
-const RE_MERMAID_OPEN = /^```\s*mermaid\s*$/i;
-const RE_FENCE_CLOSE = /^```\s*$/;
-const RE_COMMENT = /^\s*%%/;
-const RE_ENTITY_OPEN = /^\s*([A-Za-z_][A-Za-z0-9_]*)\s*\{\s*$/;
-const RE_REL_LINE = /^\s*[A-Za-z_][A-Za-z0-9_]*\s+\|?\|?[o|\-]+\{?\s+[A-Za-z]/;
-const MERMAID_KEYWORDS = new Set(["erdiagram", "subgraph", "classdef", "style", "class"]);
 export async function buildEntitiesFromMermaid(inputs) {
     const rows = [];
     const seenAcrossFiles = new Map(); // id → originating doc_path
     for (const dm of inputs.domainModels) {
-        if (!dm.doc_path.endsWith(".mermaid.md"))
+        if (!dm.doc_path.endsWith(".mermaid.md") && !dm.doc_path.endsWith(".tql"))
             continue;
         const docPath = dm.doc_path.startsWith("/")
             ? dm.doc_path
@@ -74,87 +73,21 @@ export async function buildEntitiesFromMermaid(inputs) {
     return rows;
 }
 function parseFile(text, dm, findings) {
-    const lines = text.split(/\r?\n/);
-    const out = [];
-    const seenInFile = new Set();
-    let inMermaid = false;
-    let isEr = false;
-    let firstKeywordSeen = false;
-    let inEntity = false;
-    let entityName = null;
-    let entityColumns = 0;
-    for (let i = 0; i < lines.length; i++) {
-        const raw = lines[i] ?? "";
-        if (!inMermaid) {
-            if (RE_MERMAID_OPEN.test(raw)) {
-                inMermaid = true;
-                isEr = false;
-                firstKeywordSeen = false;
-            }
-            continue;
-        }
-        // in_mermaid == true
-        if (RE_FENCE_CLOSE.test(raw)) {
-            inMermaid = false;
-            isEr = false;
-            firstKeywordSeen = false;
-            // If we exit mid-entity, drop it silently — malformed block.
-            inEntity = false;
-            entityName = null;
-            continue;
-        }
-        const stripped = raw.trim();
-        if (!firstKeywordSeen && stripped !== "" && !RE_COMMENT.test(raw)) {
-            firstKeywordSeen = true;
-            isEr = stripped.toLowerCase().startsWith("erdiagram");
-        }
-        if (!isEr)
-            continue;
-        if (inEntity) {
-            if (stripped.startsWith("}")) {
-                if (entityName !== null) {
-                    const slug = entitySlug(entityName);
-                    if (!seenInFile.has(slug)) {
-                        seenInFile.add(slug);
-                        out.push({
-                            name: entityName,
-                            domainId: dm.domain_id,
-                            sourceDomainModelId: dm.id,
-                            columnCount: entityColumns,
-                        });
-                    }
-                }
-                inEntity = false;
-                entityName = null;
-                entityColumns = 0;
-                continue;
-            }
-            if (RE_COMMENT.test(raw))
-                continue;
-            if (stripped)
-                entityColumns++;
-            continue;
-        }
-        // Not in an entity block — look for an opener.
-        if (RE_COMMENT.test(raw))
-            continue;
-        if (RE_REL_LINE.test(raw))
-            continue;
-        const m = RE_ENTITY_OPEN.exec(raw);
-        if (m) {
-            const ident = m[1] ?? "";
-            if (MERMAID_KEYWORDS.has(ident.toLowerCase()))
-                continue;
-            entityName = ident;
-            inEntity = true;
-            entityColumns = 0;
-        }
+    const parsed = dm.doc_path.endsWith(".tql") ? parseTypeqlDataModel(text, dm.doc_path) : parseMermaidDataModel(text, dm.doc_path);
+    if ("refused" in parsed) {
+        findings.add("extraction", `entities: ${dm.doc_path} is outside the documented TypeQL subset, so none of its entities is catalogued: ${parsed.refused}`, "warn", dm.doc_path);
+        return [];
     }
     // Defensive: if a block ended without closing an entity, log it once.
-    if (inEntity && entityName !== null) {
-        findings.add("convention", `entities-mermaid: ${dm.doc_path}: unclosed entity block for "${entityName}" — discarded`);
+    if (parsed.unclosed !== null) {
+        findings.add("convention", `entities-mermaid: ${dm.doc_path}: unclosed entity block for "${parsed.unclosed}" — discarded`);
     }
-    return out;
+    return parsed.entities.map((e) => ({
+        name: e.name,
+        domainId: dm.domain_id,
+        sourceDomainModelId: dm.id,
+        columnCount: e.columnCount,
+    }));
 }
 function resolveGlossaryTermBySlug(entityName, domainId, knownGlossaryIds) {
     const slug = entitySlug(entityName);

package/dist/lib/catalogue/builders/integration-components.js

@@ -176,9 +176,8 @@ export async function buildIntegrationComponents(inputs) {
     }
     // SECOND HOME (§9.1): a full `integration-manifest.yaml` per component repo under
     // `repos/<component>/`. Read after the array form so `seen` already holds the
-    // array-form ids and a collision across the two homes is caught rather than
-    // silently duplicated — measured disjoint today, but the two forms are authored
-    // independently and nothing stops them meeting.
+    // array-form ids: a component in both homes that agrees on every tier field is
+    // one declaration stated twice, and one that disagrees is a divergence (below).
     rows.push(...(await readComponentManifests({
         sddPath: inputs.sddPath,
         findings: inputs.findings,
@@ -186,6 +185,7 @@ export async function buildIntegrationComponents(inputs) {
         knownRepoIds: inputs.knownRepoIds,
         knownServiceIds: inputs.knownServiceIds,
         seen,
+        arrayRows: new Map(rows.map((r) => [String(r["id"]), r])),
     })));
     checkAggregate({
         findings: inputs.findings,
@@ -196,6 +196,43 @@ export async function buildIntegrationComponents(inputs) {
     });
     return rows;
 }
+/** The fields the component tier reads, compared when a component is declared in both homes. */
+const TIER_FIELDS = [
+    "component_type",
+    "direction",
+    "frequency",
+    "transport",
+    "format",
+    "auth",
+    "ingestion_pattern",
+    "invocation_pattern",
+    "pattern_qualifier",
+    "primary_entities",
+];
+function tierValue(m, f) {
+    switch (f) {
+        case "component_type":
+            return (m.componentType ?? "").trim();
+        case "direction":
+            return (m.dataFlow?.direction ?? "").trim();
+        case "frequency":
+            return (m.dataFlow?.frequency ?? "").trim();
+        case "transport":
+            return (m.protocol?.transport ?? "").trim();
+        case "format":
+            return (m.protocol?.format ?? "").trim();
+        case "auth":
+            return (m.protocol?.auth ?? "").trim();
+        case "ingestion_pattern":
+            return (m.ingestionPattern ?? "").trim();
+        case "invocation_pattern":
+            return (m.invocationPattern ?? "").trim();
+        case "pattern_qualifier":
+            return (m.patternQualifier ?? "").trim();
+        case "primary_entities":
+            return (m.dataFlow?.primaryEntities ?? []).join(";");
+    }
+}
 /** `repos/` — where the per-component manifests live (M-ADR 0171 §9.1, second home). */
 const REPOS_DIR = "repos";
 /**
@@ -261,8 +298,15 @@ async function readComponentManifests(args) {
         const componentId = (parsed.data.integrationId ?? "").trim() || dir;
         const id = `${args.integrationId}__${componentId}`;
         if (args.seen.has(id)) {
-            args.findings.add("divergence", `integration_component: component id="${id}" declared in BOTH §9.1 homes (components array and ${rel}) — ` +
-                `one component cannot be declared twice; the per-component manifest is dropped. Remove whichever declaration is stale.`);
+            // The reverse template has the array mirror the per-component manifests, so a component in both homes is
+            // expected. A mirror that agrees on every field the tier reads is one declaration stated twice, and is not a
+            // finding; one that disagrees is, and the array's declaration is kept.
+            const mirrored = args.arrayRows.get(id);
+            const differs = mirrored === undefined ? ["(not an array row)"] : TIER_FIELDS.filter((f) => String(mirrored[f] ?? "") !== tierValue(parsed.data, f));
+            if (differs.length > 0) {
+                args.findings.add("divergence", `integration_component: component id="${id}" is declared in both §9.1 homes (components array and ${rel}) and they disagree on ${differs.join(", ")}; ` +
+                    `the components array's declaration is kept. Correct whichever is stale.`);
+            }
             continue;
         }
         args.seen.add(id);

package/dist/lib/catalogue/builders/quality-scores.js

@@ -118,6 +118,19 @@ const num = (v) => {
     }
     return null;
 };
+/**
+ * The review's other assessed inputs (M-ADR 0230 §4.9, Proposed): `inputs:` as a list of paths, or of `{path}`
+ * entries, each read at the review's corpus_ref. ';'-joined; null when the review names none.
+ */
+function inputPaths(v) {
+    if (!Array.isArray(v))
+        return null;
+    const paths = v
+        .map((x) => (typeof x === "string" ? x : isRecord(x) && typeof x["path"] === "string" ? x["path"] : ""))
+        .map((x) => x.trim())
+        .filter((x) => x !== "");
+    return paths.length > 0 ? paths.join(";") : null;
+}
 /**
  * Count raised flags across the two authored dialects:
  *   `flags: { over_scope_risk: true, ... }`  -> count the true ones
@@ -258,6 +271,7 @@ function bandedRows(block, ctx) {
         band_total: num(block["total"]),
         scored_at: ctx.scoredAt,
         corpus_ref: ctx.corpusRef,
+        input_paths: ctx.inputPaths,
         staleness_basis: stalenessBasis,
         review_run_id: null,
         selection_method: null,
@@ -371,6 +385,7 @@ export async function buildQualityScores(inputs) {
                             targetPath,
                             scoredAt: fileScoredAt,
                             corpusRef,
+                            inputPaths: inputPaths(unitVal["inputs"]),
                             assessedBy: fileAssessedBy,
                             sddId,
                         });
@@ -396,6 +411,7 @@ export async function buildQualityScores(inputs) {
                         targetPath: str(unitVal["doc_path"]),
                         scoredAt: str(current["scored_at"]) ?? fileScoredAt,
                         corpusRef,
+                        inputPaths: inputPaths(current["inputs"] ?? unitVal["inputs"]),
                         assessedBy: fileAssessedBy,
                         sddId,
                     });
@@ -540,6 +556,7 @@ export async function buildQualityScores(inputs) {
                 band_total: null,
                 scored_at: str(current["scored_at"]) ?? str(entryVal["scored_at"]),
                 corpus_ref: corpusRef,
+                input_paths: inputPaths(current["inputs"] ?? entryVal["inputs"]),
                 staleness_basis: stalenessBasis,
                 review_run_id: str(current["review_run_id"]),
                 selection_method: selectionMethod,

package/dist/lib/catalogue/builders/requirements.js

@@ -18,10 +18,17 @@
 //   change_work_order   per (change, repository): the record's work order, agreed or completed.
 //   change_work_item    per (change, work item): the ids its proposal's `## Work Items` section lists, keyed by
 //                       the undated name so the row survives archive.
-//   requirement_status  per (requirement, repository): observed from a baseline's `**Observed in:**` line;
+//   requirement_revisions  one row per distinct text of a requirement (schema 6.0.0, M-ADR 0230 §4.7, Proposed): the
+//                       living spec's is current, an agreed open change's ADDED or MODIFIED block intended, an
+//                       archived change's block the living spec no longer holds history. Identified by its digest.
+//   requirement_assertions per (revision, repository): observed from a baseline's `**Observed in:**` line;
 //                       declared-shipped from an archived change whose agreement record's verdict is PASS, through
-//                       its work orders' `implements` lists; agreed from an open change whose record is agreed.
-//                       The latest event wins, archived changes in archive order, then open changes.
+//                       its work orders' `implements` lists; each about the revision that change's delta states, so
+//                       evidence about one revision is never read as evidence about another. The latest wins, in
+//                       archive order. An agreed change is not an assertion: it is an intended revision.
+//   change_effects      per (change, element): each requirement a change's delta writes, from its base revision to
+//                       its target, open and archived changes alike; and each structural element its structural
+//                       deltas write (an archived change's from its effect record, structure/applied.yaml).
 //
 // Archive order is ../../behaviour-store/archive.ts's; same-day archives the history cannot order are a finding.
 //
@@ -29,8 +36,25 @@
 import { readdir, readFile, stat } from "node:fs/promises";
 import { join } from "node:path";
 import { parse as parseYaml } from "yaml";
+import { createHash } from "node:crypto";
 import { observedIn, orderArchives, parseRequirements, renamePairs, resolveImplements } from "../../behaviour-store/archive.js";
+import { effectsOf, parseAppliedRecord } from "../../structure/effects.js";
+import { APPLIED_FILE, loadChangeStructure, loadModel } from "../../structure/model.js";
+import { viewOf } from "../../structure/view.js";
+import { requirementBlock } from "../../validate/agreement-evidence.js";
 export { observedIn, parseRequirements, resolveImplements };
+/** `sha256:` of a requirement block, its lines trimmed and blank lines dropped (M-ADR 0230 §4.7). */
+export function requirementDigest(spec, name) {
+    const block = requirementBlock(spec, name);
+    if (block === null)
+        return undefined;
+    const normal = block.split("\n").map((l) => l.trim()).filter((l) => l !== "").join("\n");
+    return `sha256:${createHash("sha256").update(normal, "utf8").digest("hex")}`;
+}
+/** A revision's id: <requirement_id>@<the digest's first 12 hex digits>. */
+export function revisionId(requirementId, digest) {
+    return `${requirementId}@${digest.slice("sha256:".length, "sha256:".length + 12)}`;
+}
 const STORE = "openspec";
 const AGREEMENTS = join("docs", "agreements");
 async function isDir(p) {
@@ -65,8 +89,10 @@ async function deltaOf(changeDir) {
         if (text === null)
             continue;
         for (const r of parseRequirements(text)) {
-            if (r.operation)
-                out.push({ feature, name: r.name, operation: r.operation, file, scenarios: r.scenarios });
+            if (!r.operation)
+                continue;
+            const digest = r.operation === "ADDED" || r.operation === "MODIFIED" ? requirementDigest(text, r.name) : undefined;
+            out.push({ feature, name: r.name, operation: r.operation, file, scenarios: r.scenarios, ...(digest ? { digest } : {}) });
         }
     }
     return out;
@@ -126,14 +152,24 @@ export function parseWorkItems(proposal) {
     return ids;
 }
 const rel = (sddPath, p) => p.slice(sddPath.length + 1).split("\\").join("/");
+/** One effect per (change, element): a change that renames and modifies a requirement records MODIFIED, as its lineage does. */
+function dedupeEffects(rows) {
+    const byId = new Map();
+    for (const r of rows) {
+        const prior = byId.get(String(r["id"]));
+        byId.set(String(r["id"]), prior && r["operation"] === "RENAMED" ? prior : r);
+    }
+    return [...byId.values()];
+}
 export async function buildRequirements(inputs) {
     const { sddPath, findings } = inputs;
     const scoped = (change) => `${inputs.sddId}::${change}`;
-    const empty = { requirements: [], lineage: [], status: [], changes: [], workOrders: [], workItems: [] };
+    const empty = { requirements: [], lineage: [], revisions: [], assertions: [], effects: [], changes: [], workOrders: [], workItems: [] };
     const store = join(sddPath, STORE);
     if (!(await isDir(store)))
         return empty;
     const requirements = new Map();
+    const livingDigest = new Map();
     const unknownFeatures = new Set();
     const known = (feature) => {
         if (inputs.knownFeatureIds.has(feature))
@@ -154,9 +190,26 @@ export async function buildRequirements(inputs) {
                 continue;
             }
             requirements.set(id, { id, feature_id: feature, name: r.name, stage: "living", spec_path: rel(sddPath, file), scenario_count: r.scenarios, source_sdd_id: "", platform_sdd_id: "" });
+            const digest = requirementDigest(text, r.name);
+            if (digest)
+                livingDigest.set(id, digest);
         }
     }
     const events = [];
+    const revisions = new Map();
+    const requirementEffects = [];
+    const structureEffects = [];
+    const effectRow = (changeId, kind, element, operation, base, target) => ({
+        id: `${changeId}__${kind}__${element}`,
+        change_id: changeId,
+        element_kind: kind,
+        element_id: element,
+        operation,
+        base_revision: base,
+        target_revision: target,
+        source_sdd_id: "",
+        platform_sdd_id: "",
+    });
     const lineage = [];
     const unknownRepos = new Set();
     const changes = [];
@@ -214,7 +267,13 @@ export async function buildRequirements(inputs) {
                 lineage: { change_id: scoped(dir), change_kind: kind, operation: d.operation, archived_on: archivedOn, source_sdd_id: "", platform_sdd_id: "" },
                 ...(d.operation === "REMOVED" ? { removedIn: rel(sddPath, d.file) } : {}),
             });
+            archived.push({ index, feature: d.feature, name: d.name, effect: { change: scoped(dir), operation: d.operation, ...(d.digest ? { digest: d.digest } : {}) } });
         }
+        // Structural effects, from the effect record the method's archive wrote (M-ADR 0230 §4.6).
+        const applied = await readText(join(changeDir, "structure", APPLIED_FILE));
+        const rec = applied === null ? null : parseAppliedRecord(applied);
+        for (const e of rec?.effects ?? [])
+            structureEffects.push(effectRow(scoped(dir), "structure", e.element, e.operation, e.base ?? "", e.target ?? ""));
         if (evidence !== null) {
             const repos = observedIn(evidence);
             if (repos.length === 0) {
@@ -222,8 +281,8 @@ export async function buildRequirements(inputs) {
             }
             for (const repo of repos)
                 for (const d of delta)
-                    if (d.operation !== "REMOVED")
-                        archived.push({ index, feature: d.feature, name: d.name, event: { repo, status: "observed", basis: scoped(dir) } });
+                    if (d.digest)
+                        archived.push({ index, feature: d.feature, name: d.name, event: { repo, status: "observed", basis: scoped(dir), digest: d.digest } });
             continue;
         }
         const record = await agreementRecord(sddPath, change);
@@ -242,7 +301,8 @@ export async function buildRequirements(inputs) {
                     findings.add("convention", `${AGREEMENTS}/${change}.yaml: work order for ${wo.repo} implements "${name}", which the change's delta does not name`);
                 }
                 for (const d of match)
-                    archived.push({ index, feature: d.feature, name: d.name, event: { repo: wo.repo, status: "declared-shipped", basis: scoped(dir) } });
+                    if (d.digest)
+                        archived.push({ index, feature: d.feature, name: d.name, event: { repo: wo.repo, status: "declared-shipped", basis: scoped(dir), digest: d.digest } });
             }
         }
     }
@@ -266,8 +326,25 @@ export async function buildRequirements(inputs) {
     // One lineage row per (requirement, change): a change that renames and modifies a requirement records MODIFIED,
     // the behaviour change, and its delta still shows the rename.
     const lineageById = new Map();
+    // Revisions in archive order: each ADDED or MODIFIED block is a revision its change introduced; the last one of a
+    // requirement is the base of the next change's effect on it.
+    const latest = new Map();
     for (const a of archived) {
         const requirementId = current(a.feature, a.name, a.index);
+        if (a.effect) {
+            if (!requirements.has(requirementId))
+                continue;
+            const base = latest.get(requirementId);
+            const target = a.effect.digest ? revisionId(requirementId, a.effect.digest) : undefined;
+            if (a.effect.digest && target) {
+                revisions.set(target, { id: target, requirement_id: requirementId, digest: a.effect.digest, state: "history", change_id: a.effect.change, source_sdd_id: "", platform_sdd_id: "" });
+                latest.set(requirementId, target);
+            }
+            if (a.effect.operation === "REMOVED")
+                latest.delete(requirementId);
+            requirementEffects.push(effectRow(a.effect.change, "requirement", requirementId, a.effect.operation, base ?? "", a.effect.operation === "RENAMED" ? base ?? "" : target ?? ""));
+            continue;
+        }
         if (a.event)
             pushEvent({ requirementId, ...a.event });
         else if (a.lineage && requirements.has(requirementId)) {
@@ -278,6 +355,12 @@ export async function buildRequirements(inputs) {
         }
     }
     lineage.push(...lineageById.values());
+    // The living text is the current revision, whichever change introduced it (none, for an edit no change made).
+    for (const [id, digest] of livingDigest) {
+        const rid = revisionId(id, digest);
+        const prior = revisions.get(rid);
+        revisions.set(rid, { id: rid, requirement_id: id, digest, state: "current", change_id: prior?.["change_id"] ?? "", source_sdd_id: "", platform_sdd_id: "" });
+    }
     // 3. Open changes whose agreement record is agreed.
     for (const dir of (await dirs(join(store, "changes"))).filter((d) => d !== "archive")) {
         const record = await agreementRecord(sddPath, dir);
@@ -288,44 +371,70 @@ export async function buildRequirements(inputs) {
             openStatus = "proposed";
         }
         await recordChange(dir, dir, openKind, openStatus, "", join(store, "changes", dir), record);
-        if (record?.status !== "agreed")
-            continue;
         const delta = await deltaOf(join(store, "changes", dir));
+        const agreed = record?.status === "agreed";
         for (const d of delta) {
             const id = `${d.feature}::${d.name}`;
-            if (d.operation === "ADDED" && !requirements.has(id) && known(d.feature)) {
+            if (agreed && d.operation === "ADDED" && !requirements.has(id) && known(d.feature)) {
                 requirements.set(id, { id, feature_id: d.feature, name: d.name, stage: "agreed", spec_path: rel(sddPath, d.file), scenario_count: d.scenarios, source_sdd_id: "", platform_sdd_id: "" });
             }
+            // An effect for every element the change writes: a requirement a change not yet agreed ADDs has no
+            // requirements row yet, and still has its effect (change_effects.element_id names no foreign key).
+            if (!requirements.has(id) && !(d.operation === "ADDED" && known(d.feature)))
+                continue;
+            const living = livingDigest.get(id);
+            const base = living ? revisionId(id, living) : "";
+            const target = d.digest ? revisionId(id, d.digest) : "";
+            // An agreed change's text is an intended revision; one not yet agreed has an effect and no revision row.
+            if (agreed && d.digest && !revisions.has(target)) {
+                revisions.set(target, { id: target, requirement_id: id, digest: d.digest, state: "intended", change_id: scoped(dir), source_sdd_id: "", platform_sdd_id: "" });
+            }
+            requirementEffects.push(effectRow(scoped(dir), "requirement", id, d.operation, d.operation === "ADDED" ? "" : base, d.operation === "REMOVED" ? "" : d.operation === "RENAMED" ? base : target));
         }
+        if (!agreed)
+            continue;
         for (const wo of record.work_orders ?? []) {
             if (!wo.repo)
                 continue;
             for (const name of wo.implements ?? []) {
-                const { matches, ambiguous } = resolveImplements(delta.filter((x) => x.operation !== "REMOVED"), name);
+                const { ambiguous } = resolveImplements(delta.filter((x) => x.operation !== "REMOVED"), name);
                 if (ambiguous.length > 0) {
-                    findings.add("divergence", `${AGREEMENTS}/${dir}.yaml: work order for ${wo.repo} implements "${name}", a name ${ambiguous.length} features in the change share (${ambiguous.join(", ")}); qualify it as <feature>::<name>. No status is derived from it`);
-                }
-                for (const d of matches) {
-                    pushEvent({ requirementId: `${d.feature}::${d.name}`, repo: wo.repo, status: "agreed", basis: scoped(dir) });
+                    findings.add("divergence", `${AGREEMENTS}/${dir}.yaml: work order for ${wo.repo} implements "${name}", a name ${ambiguous.length} features in the change share (${ambiguous.join(", ")}); qualify it as <feature>::<name>`);
                 }
             }
         }
     }
+    // Open changes' structural effects, against the model as it stands (M-ADR 0230 §4.4, §4.7).
+    {
+        const problems = [];
+        const files = await loadModel(sddPath, problems);
+        const view = viewOf(files ?? [], problems);
+        for (const dir of (await dirs(join(store, "changes"))).filter((d) => d !== "archive")) {
+            const s = await loadChangeStructure(sddPath, dir, problems);
+            for (const e of effectsOf(s, view))
+                structureEffects.push(effectRow(scoped(dir), "structure", e.element, e.operation, e.base ?? "", e.target ?? ""));
+        }
+    }
     for (const f of unknownFeatures)
         findings.add("convention", `${STORE}/: a spec keyed "${f}" names no catalogue feature, so its requirements are not catalogued (M-ADR 0221 §4.7)`);
     for (const r of unknownRepos)
-        findings.add("convention", `${STORE}/: a status names repository "${r}", which the catalogue does not hold; no status row`);
-    // Latest event per (requirement, repository) wins.
-    const status = new Map();
+        findings.add("convention", `${STORE}/: an assertion names repository "${r}", which the catalogue does not hold; no assertion row`);
+    // Latest assertion per (revision, repository) wins.
+    const assertions = new Map();
     for (const e of events) {
-        const id = `${e.requirementId}__${e.repo}`;
-        status.set(id, { id, requirement_id: e.requirementId, repo_id: e.repo, status: e.status, basis: e.basis, source_sdd_id: "", platform_sdd_id: "" });
+        const rid = revisionId(e.requirementId, e.digest);
+        if (!revisions.has(rid))
+            continue;
+        const id = `${rid}__${e.repo}`;
+        assertions.set(id, { id, revision_id: rid, requirement_id: e.requirementId, repo_id: e.repo, kind: e.status, basis: e.basis, source_sdd_id: "", platform_sdd_id: "" });
     }
     const byId = (a, b) => String(a["id"]).localeCompare(String(b["id"]));
     return {
         requirements: [...requirements.values()].sort(byId),
         lineage,
-        status: [...status.values()].sort(byId),
+        revisions: [...revisions.values()].sort(byId),
+        assertions: [...assertions.values()].sort(byId),
+        effects: [...dedupeEffects(requirementEffects), ...structureEffects].sort(byId),
         changes: changes.sort(byId),
         workOrders: workOrders.sort(byId),
         workItems: workItems.sort(byId),