@sdd-method/sdd-cli 2.5.0 → 4.0.0

package/dist/lib/structure/compose.js

@@ -0,0 +1,174 @@
+// Views over the structural model, and how changes compose (M-ADR 0230 §4.5, §4.7, Proposed).
+//   current       the model as published
+//   at a change   current with that change's deltas and those of its dependency closure, dependencies first
+//   intended      current with every agreed change's deltas
+// Distinct ids do not prove independence, so three checks run:
+//   1 write overlap        two agreed changes never MODIFY or REMOVE one element, and never ADD one id; a change
+//                          not yet agreed that overlaps an agreed one cannot be agreed while that one is open
+//   2 composed validation  each view is validated on its own; what fails in a view and not in current is reported
+//                          against the changes that write the elements it names
+//   3 read dependencies    base revisions still current (validateDeltas); a dependency withdrawn invalidates its
+//                          dependants; an agreed change depending on one not yet agreed; a cycle of dependencies
+// Pure: reads nothing; the structural-model validator uses it.
+import { elementKey } from "./model.js";
+/** Element key -> the write a change makes to it. */
+export function writesOf(s) {
+    const out = new Map();
+    for (const d of s.deltas) {
+        for (const e of d.added)
+            out.set(elementKey(e.catalogue, e.id), "ADDED");
+        for (const e of d.modified)
+            out.set(elementKey(e.catalogue, e.id), "MODIFIED");
+        for (const r of d.removed)
+            out.set(elementKey(r.catalogue, r.id), "REMOVED");
+    }
+    return out;
+}
+function copy(view) {
+    const out = new Map();
+    for (const [c, m] of view)
+        out.set(c, new Map(m));
+    return out;
+}
+/** The view with one change's deltas applied: an addition or modification replaces whole, a removal deletes. */
+export function apply(view, s) {
+    const out = copy(view);
+    const put = (e) => {
+        const m = out.get(e.catalogue) ?? new Map();
+        m.set(e.id, e);
+        out.set(e.catalogue, m);
+    };
+    for (const d of s.deltas) {
+        for (const e of d.added)
+            put(e);
+        for (const e of d.modified)
+            put(e);
+        for (const r of d.removed)
+            out.get(r.catalogue)?.delete(r.id);
+    }
+    return out;
+}
+/**
+ * A change's dependency closure, dependencies first and the change last. A dependency that is not open is skipped
+ * here (archived: its additions are current; otherwise reported as withdrawn by checkDependencies). A cycle stops the
+ * walk and is reported there too.
+ */
+export function closure(change, open) {
+    const order = [];
+    const visiting = new Set();
+    const visit = (c) => {
+        if (order.includes(c) || visiting.has(c))
+            return;
+        const oc = open.get(c);
+        if (!oc)
+            return;
+        visiting.add(c);
+        for (const d of oc.structure.deltas)
+            for (const dep of d.dependsOn)
+                visit(dep);
+        visiting.delete(c);
+        order.push(c);
+    };
+    visit(change);
+    return order;
+}
+export function viewAt(current, change, open) {
+    let v = current;
+    for (const c of closure(change, open))
+        v = apply(v, open.get(c).structure);
+    return v;
+}
+/** Agreed changes in an order that applies each after its dependencies. */
+export function agreedOrder(open) {
+    const order = [];
+    for (const [name, oc] of [...open].sort(([a], [b]) => a.localeCompare(b))) {
+        if (oc.status !== "agreed")
+            continue;
+        for (const c of closure(name, open))
+            if (!order.includes(c) && open.get(c).status === "agreed")
+                order.push(c);
+    }
+    return order;
+}
+export function intended(current, open) {
+    let v = current;
+    for (const c of agreedOrder(open))
+        v = apply(v, open.get(c).structure);
+    return v;
+}
+/** Check 1: write overlap. */
+export function checkOverlap(open, problems) {
+    const names = [...open.keys()].sort();
+    const writes = new Map(names.map((n) => [n, writesOf(open.get(n).structure)]));
+    for (let i = 0; i < names.length; i++) {
+        for (let j = i + 1; j < names.length; j++) {
+            const a = names[i];
+            const b = names[j];
+            const sa = open.get(a).status;
+            const sb = open.get(b).status;
+            if (sa !== "agreed" && sb !== "agreed")
+                continue;
+            for (const [key, wa] of writes.get(a)) {
+                const wb = writes.get(b).get(key);
+                if (wb === undefined)
+                    continue;
+                // One adding what the other modifies or removes is reported by the other's own deltas, whose base cannot exist.
+                // Two additions of one id are one id claimed twice, whatever their content.
+                if ((wa === "ADDED") !== (wb === "ADDED"))
+                    continue;
+                const verb = wa === "ADDED" ? "both ADD" : wa === wb ? `both ${wa}` : `${wa} and ${wb}`;
+                if (sa === "agreed" && sb === "agreed")
+                    problems.push(`write overlap: agreed changes ${a} and ${b} ${verb} ${key}; reorder or merge them`);
+                else {
+                    const [held, waiting] = sa === "agreed" ? [a, b] : [b, a];
+                    problems.push(`write overlap: ${waiting} ${verb === "both ADD" ? "adds" : "writes"} ${key}, which agreed change ${held} also ${verb === "both ADD" ? "adds" : "writes"}; it cannot be agreed while ${held} is open`);
+                }
+            }
+        }
+    }
+}
+/** Check 3, beyond base revisions: withdrawn dependencies, agreement before a dependency, cycles. */
+export function checkDependencies(open, archived, problems) {
+    for (const [name, oc] of [...open].sort(([a], [b]) => a.localeCompare(b))) {
+        const deps = new Set(oc.structure.deltas.flatMap((d) => [...d.dependsOn]));
+        for (const dep of deps) {
+            const target = open.get(dep);
+            if (target === undefined) {
+                if (!archived.has(dep))
+                    problems.push(`read dependency: ${name} depends on ${dep}, which is neither open nor archived: withdrawn, so ${name} is invalidated until it no longer needs it`);
+                continue;
+            }
+            if (target.status === "withdrawn" || target.status === "superseded") {
+                problems.push(`read dependency: ${name} depends on ${dep}, whose agreement record is ${target.status}: ${name} is invalidated until it no longer needs it`);
+            }
+            else if (oc.status === "agreed" && target.status !== "agreed") {
+                problems.push(`read dependency: ${name} is agreed and depends on ${dep}, which is not: a change is agreed with its dependency closure`);
+            }
+        }
+        // A cycle through this change.
+        const seen = new Set();
+        const stack = [...deps];
+        while (stack.length > 0) {
+            const c = stack.pop();
+            if (c === name) {
+                problems.push(`read dependency: ${name} depends on itself through depends_on; a cycle can never archive`);
+                break;
+            }
+            if (seen.has(c))
+                continue;
+            seen.add(c);
+            for (const d of open.get(c)?.structure.deltas ?? [])
+                stack.push(...d.dependsOn);
+        }
+    }
+}
+const KEY_RE = /\b([a-z][a-z0-9_]*)\/([^\s,;:()"]+)/g;
+/** The changes that write any element a finding names. */
+export function attribute(problem, open, among) {
+    const keys = new Set([...problem.matchAll(KEY_RE)].map((m) => `${m[1]}/${m[2]}`));
+    return among.filter((c) => {
+        const w = writesOf(open.get(c).structure);
+        return [...keys].some((k) => w.has(k));
+    });
+}
+//# sourceMappingURL=compose.js.map

package/dist/lib/structure/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../../src/lib/structure/compose.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yCAAyC;AACzC,4GAA4G;AAC5G,4DAA4D;AAC5D,+DAA+D;AAC/D,iHAAiH;AACjH,8GAA8G;AAC9G,kHAAkH;AAClH,gFAAgF;AAChF,iHAAiH;AACjH,iHAAiH;AACjH,+DAA+D;AAC/D,OAAO,EAAE,UAAU,EAAsC,MAAM,YAAY,CAAC;AAa5E,qDAAqD;AACrD,MAAM,UAAU,QAAQ,CAAC,CAAkB;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiB,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,IAAU;IACtB,MAAM,GAAG,GAAS,IAAI,GAAG,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,KAAK,CAAC,IAAU,EAAE,CAAkB;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,CAAU,EAAQ,EAAE;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAmB,CAAC;QAC7D,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACf,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,IAAqC;IAC3E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM;YAAE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/E,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAa,EAAE,MAAc,EAAE,IAAqC;IACzF,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,WAAW,CAAC,IAAqC;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ;YAAE,SAAS;QACrC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,OAAa,EAAE,IAAqC;IAC3E,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC;QAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,YAAY,CAAC,IAAqC,EAAE,QAAkB;IACpF,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAU,CAAC,CAAC,CAAC;IACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;YAC/B,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;gBAAE,SAAS;YACjD,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC;gBACvC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnC,IAAI,EAAE,KAAK,SAAS;oBAAE,SAAS;gBAC/B,gHAAgH;gBAChH,4EAA4E;gBAC5E,IAAI,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC;oBAAE,SAAS;gBACpD,MAAM,IAAI,GAAG,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;gBACxF,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;oBAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,GAAG,yBAAyB,CAAC,CAAC;qBACtI,CAAC;oBACJ,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC1D,QAAQ,CAAC,IAAI,CAAC,kBAAkB,OAAO,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,yBAAyB,IAAI,SAAS,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,+BAA+B,IAAI,UAAU,CAAC,CAAC;gBACvN,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,iBAAiB,CAC/B,IAAqC,EACrC,QAA6B,EAC7B,QAAkB;IAElB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3E,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,eAAe,GAAG,uDAAuD,IAAI,6CAA6C,CAAC,CAAC;gBAC1L,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gBACpE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,eAAe,GAAG,+BAA+B,MAAM,CAAC,MAAM,KAAK,IAAI,6CAA6C,CAAC,CAAC;YAC9J,CAAC;iBAAM,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAChE,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,6BAA6B,GAAG,gEAAgE,CAAC,CAAC;YAC1I,CAAC;QACH,CAAC;QACD,+BAA+B;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,oBAAoB,IAAI,kEAAkE,CAAC,CAAC;gBAC1G,MAAM;YACR,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,MAAM,GAAG,sCAAsC,CAAC;AAEtD,0DAA0D;AAC1D,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,IAAqC,EAAE,KAAwB;IACxG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;QAC3C,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/lib/structure/effects.d.ts

@@ -0,0 +1,16 @@
+import { type ChangeStructure, type Element } from "./model.js";
+export interface Effect {
+    readonly element: string;
+    readonly operation: "ADDED" | "MODIFIED" | "REMOVED";
+    /** The revision written against (MODIFIED, REMOVED). */
+    readonly base?: string;
+    /** The revision the change leaves (ADDED, MODIFIED). */
+    readonly target?: string;
+}
+export declare function effectsOf(s: ChangeStructure, current: ReadonlyMap<string, ReadonlyMap<string, Element>>): Effect[];
+export declare function parseAppliedRecord(text: string): {
+    change: string;
+    baseCommit: string;
+    effects: Effect[];
+} | null;
+//# sourceMappingURL=effects.d.ts.map

package/dist/lib/structure/effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/lib/structure/effects.ts"],"names":[],"mappings":"AAGA,OAAO,EAAwB,KAAK,eAAe,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IACrD,wDAAwD;IACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,wDAAwD;IACxD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,EAAE,CAkBlH;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAQjH"}

package/dist/lib/structure/effects.js

@@ -0,0 +1,36 @@
+// A change's structural effect, and the effect record an archive leaves (M-ADR 0230 §4.6, §4.7, Proposed). Pure reads,
+// so the catalogue builder and the verify-only CLI can carry them; writing the record is apply.ts's.
+import { parseDocument } from "yaml";
+import { elementKey, revision } from "./model.js";
+export function effectsOf(s, current) {
+    const out = [];
+    const rev = (catalogue, id) => {
+        const e = current.get(catalogue)?.get(id);
+        return e ? revision(e.catalogue, e.id, e.columns) : undefined;
+    };
+    for (const d of s.deltas) {
+        for (const e of d.added)
+            out.push({ element: elementKey(e.catalogue, e.id), operation: "ADDED", target: revision(e.catalogue, e.id, e.columns) });
+        for (const e of d.modified) {
+            const base = rev(e.catalogue, e.id);
+            out.push({ element: elementKey(e.catalogue, e.id), operation: "MODIFIED", ...(base ? { base } : {}), target: revision(e.catalogue, e.id, e.columns) });
+        }
+        for (const r of d.removed) {
+            const base = rev(r.catalogue, r.id);
+            out.push({ element: elementKey(r.catalogue, r.id), operation: "REMOVED", ...(base ? { base } : {}) });
+        }
+    }
+    return out.sort((a, b) => a.element.localeCompare(b.element));
+}
+export function parseAppliedRecord(text) {
+    try {
+        const v = parseDocument(text).toJS();
+        if (!v || typeof v.change !== "string" || !Array.isArray(v.effects))
+            return null;
+        return { change: v.change, baseCommit: String(v.base_commit ?? ""), effects: v.effects };
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=effects.js.map

package/dist/lib/structure/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/lib/structure/effects.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,qGAAqG;AACrG,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAsC,MAAM,YAAY,CAAC;AAWtF,MAAM,UAAU,SAAS,CAAC,CAAkB,EAAE,OAA0D;IACtG,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,SAAiB,EAAE,EAAU,EAAsB,EAAE;QAChE,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClJ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACpC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACpC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAA2E,CAAC;QAC9G,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACjF,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAmB,EAAE,CAAC;IACvG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/lib/structure/extract.d.ts

@@ -0,0 +1,19 @@
+import { runCatalogueBuild } from "../catalogue/build.js";
+import type { Finding } from "../catalogue/findings.js";
+export declare const REPORT_FILE = "extraction-report.md";
+export interface Extraction {
+    /** Why nothing was extracted, or null. */
+    readonly refused: string | null;
+    /** Partition -> file text. */
+    readonly files: ReadonlyMap<string, string>;
+    /** Catalogue -> element count, structure catalogues with elements only. */
+    readonly counts: ReadonlyMap<string, number>;
+    readonly loss: readonly string[];
+    readonly extraction: readonly Finding[];
+    readonly report: string;
+}
+/** Extract the model. Writes nothing; `writeExtraction` writes it. `build` is the catalogue build, replaceable in tests. */
+export declare function extractStructure(sddPath: string, build?: typeof runCatalogueBuild): Promise<Extraction>;
+/** Write the partition files and the report under openspec/structure/. Returns the paths written. */
+export declare function writeExtraction(sddPath: string, x: Extraction): Promise<string[]>;
+//# sourceMappingURL=extract.d.ts.map

package/dist/lib/structure/extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../../src/lib/structure/extract.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAG1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAMxD,eAAO,MAAM,WAAW,yBAAyB,CAAC;AAKlD,MAAM,WAAW,UAAU;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAoDD,4HAA4H;AAC5H,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,GAAE,OAAO,iBAAqC,GAAG,OAAO,CAAC,UAAU,CAAC,CAoChI;AAED,qGAAqG;AACrG,wBAAsB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWvF"}

package/dist/lib/structure/extract.js

@@ -0,0 +1,123 @@
+// An SDD's first structural model, extracted from its sources (M-ADR 0230 §5.3, §6 step 1, Proposed). The builders
+// already parse the sources: the diagrams, data models, service tables, configuration, traceability manifests,
+// feature trees and groundings. So extraction builds the catalogue from the sources into a scratch directory, and
+// projects the model it implies (modelFromRows). It writes the partition files and an extraction report beside
+// them, and touches no source file. From the moment openspec/structure/ exists, committed or not, the catalogue is
+// built from the model, so writing it is the admission: review the extraction against the code first, with --dry-run
+// (which writes nothing) or in a scratch copy, and keep the originals until that review is complete.
+import { execFileSync } from "node:child_process";
+import { mkdir, mkdtemp, readdir, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { runCatalogueBuild } from "../catalogue/build.js";
+import { readCatalogueCsv } from "../catalogue/csv-reader.js";
+import { loadCanonicalSchema } from "../catalogue/schema-loader.js";
+import { modelFileText, modelFromRows } from "./catalogue.js";
+import { STRUCTURE_DIR } from "./model.js";
+import { STRUCTURE } from "./view.js";
+export const REPORT_FILE = "extraction-report.md";
+/** Derived path columns of structure catalogues: the source files the elements were read from. */
+const SOURCE_PATH_COLUMNS = ["doc_path", "diagram_path", "spec_path"];
+function head(sddPath) {
+    try {
+        const sha = execFileSync("git", ["-C", sddPath, "rev-parse", "--short", "HEAD"], { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
+        const dirty = execFileSync("git", ["-C", sddPath, "status", "--porcelain"], { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim() !== "";
+        return dirty ? `${sha}, with uncommitted changes` : sha;
+    }
+    catch {
+        return "not a git repository";
+    }
+}
+function report(sddId, at, schemaVersion, x, sources, otherFindings) {
+    const lines = [
+        "# Structural model extraction",
+        "",
+        `Extracted by \`sdd-cli migrate structure\` from ${sddId}'s sources at ${at}, against catalogue schema ${schemaVersion} (M-ADR 0230, Proposed).`,
+        "",
+        "**Writing this model admits it as the baseline** (M-ADR 0230 §6 step 1). From the moment `openspec/structure/` exists, committed or not, it is the record of structure: the catalogue is built from it, and the structural-model check asks every open change for its structural deltas or a `none.yaml` (report only while M-ADR 0230 is Proposed). Review it against the code before it is written (`sdd-cli migrate structure --dry-run` prints this report and writes nothing), and keep the sources listed below until that review is complete; nothing here changed them. Removing `openspec/structure/` withdraws a model written too soon. After admission, structure changes only through a change's structural deltas, and the diagrams and tables are generated by `sdd-cli structure render`.",
+        "",
+        "## Elements",
+        "",
+        "| Catalogue | Elements |",
+        "| --- | --- |",
+        ...[...x.counts].map(([c, n]) => `| ${c} | ${n} |`),
+        "",
+        `Partitions: ${[...x.files.keys()].map((p) => `\`${p}\``).join(", ") || "none"}.`,
+        "",
+        "## What the extraction could not carry",
+        "",
+    ];
+    if (x.loss.length === 0 && x.extraction.length === 0)
+        lines.push("Nothing: every structural fact the sources state that a builder reads is in the model.", "");
+    for (const l of x.loss)
+        lines.push(`- ${l}`);
+    for (const f of x.extraction)
+        lines.push(`- ${f.summary}`);
+    if (x.loss.length + x.extraction.length > 0)
+        lines.push("");
+    lines.push("Prose, and anything a builder does not read, stays in the original files only. A diagram's layout and styling are not structure, and the generated views do not reproduce them.", "", "## Sources the elements were read from", "", ...(sources.length > 0 ? sources.map((s) => `- \`${s}\``) : ["- (no element names its source file)"]), "", "## Other findings of the build", "", ...(otherFindings.size > 0 ? [...otherFindings].map(([c, n]) => `- ${c}: ${n}`) : ["- none"]), "", "These are the build's findings about the sources. They are reported by `sdd-cli catalogue build` as before, and extraction does not change them.", "");
+    return lines.join("\n");
+}
+/** Extract the model. Writes nothing; `writeExtraction` writes it. `build` is the catalogue build, replaceable in tests. */
+export async function extractStructure(sddPath, build = runCatalogueBuild) {
+    const none = { files: new Map(), counts: new Map(), loss: [], extraction: [], report: "" };
+    try {
+        await readdir(join(sddPath, STRUCTURE_DIR));
+        return { ...none, refused: `${STRUCTURE_DIR}/ already exists; an SDD's first model is extracted once, and after that structure changes through a change's structural deltas` };
+    }
+    catch {
+        // no model yet
+    }
+    const schema = await loadCanonicalSchema();
+    const scratch = await mkdtemp(join(tmpdir(), "sdd-migrate-structure-"));
+    try {
+        const built = await build({ sddPath, outDir: scratch }, () => undefined);
+        if (built.exitCode !== 0) {
+            return { ...none, refused: `the sources do not build cleanly (sdd-cli catalogue build exits ${built.exitCode}: ${built.internalFkPass ? "" : "dangling references, "}${built.pkConflicts} key conflict(s)); a model extracted from them would carry the same faults. Fix the build first` };
+        }
+        const rows = new Map();
+        for (const c of schema.catalogues) {
+            if (c.sourceOfTruth !== STRUCTURE)
+                continue;
+            rows.set(c.name, (await readCatalogueCsv(join(scratch, `${c.name}.csv`)).catch(() => ({ rows: [] }))).rows);
+        }
+        const loss = [];
+        const model = modelFromRows(schema, rows, { platform: built.profile === "platform-profile", sddId: built.sddId }, loss);
+        const files = new Map([...model].sort(([a], [b]) => a.localeCompare(b)).map(([p, els]) => [p, modelFileText(p, els)]));
+        const counts = new Map();
+        for (const els of model.values())
+            for (const [c, list] of Object.entries(els))
+                counts.set(c, (counts.get(c) ?? 0) + list.length);
+        const sortedCounts = new Map([...counts].sort(([a], [b]) => a.localeCompare(b)));
+        const sources = new Set();
+        for (const list of rows.values())
+            for (const r of list)
+                for (const col of SOURCE_PATH_COLUMNS)
+                    if (r[col])
+                        sources.add(String(r[col]));
+        const extraction = built.findings.filter((f) => f.category === "extraction");
+        const other = new Map();
+        for (const f of built.findings)
+            if (f.category !== "extraction")
+                other.set(String(f.category), (other.get(String(f.category)) ?? 0) + 1);
+        const x = { files, counts: sortedCounts, loss, extraction };
+        return { ...x, refused: null, report: report(built.sddId, head(sddPath), schema.schemaVersion, x, [...sources].sort(), new Map([...other].sort())) };
+    }
+    finally {
+        await rm(scratch, { recursive: true, force: true });
+    }
+}
+/** Write the partition files and the report under openspec/structure/. Returns the paths written. */
+export async function writeExtraction(sddPath, x) {
+    const dir = join(sddPath, STRUCTURE_DIR);
+    await mkdir(dir, { recursive: true });
+    const written = [];
+    for (const [p, text] of x.files) {
+        await writeFile(join(dir, `${p}.yaml`), text, "utf8");
+        written.push(join(STRUCTURE_DIR, `${p}.yaml`));
+    }
+    await writeFile(join(dir, REPORT_FILE), x.report, "utf8");
+    written.push(join(STRUCTURE_DIR, REPORT_FILE));
+    return written;
+}
+//# sourceMappingURL=extract.js.map

package/dist/lib/structure/extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../../src/lib/structure/extract.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,+GAA+G;AAC/G,kHAAkH;AAClH,+GAA+G;AAC/G,mHAAmH;AACnH,qHAAqH;AACrH,qGAAqG;AACrG,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAG,sBAAsB,CAAC;AAElD,kGAAkG;AAClG,MAAM,mBAAmB,GAAG,CAAC,UAAU,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;AActE,SAAS,IAAI,CAAC,OAAe;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACnJ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACrJ,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,4BAA4B,CAAC,CAAC,CAAC,GAAG,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,sBAAsB,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,EAAU,EAAE,aAAqB,EAAE,CAAyC,EAAE,OAA0B,EAAE,aAA0C;IACjL,MAAM,KAAK,GAAG;QACZ,+BAA+B;QAC/B,EAAE;QACF,mDAAmD,KAAK,iBAAiB,EAAE,8BAA8B,aAAa,0BAA0B;QAChJ,EAAE;QACF,2wBAA2wB;QAC3wB,EAAE;QACF,aAAa;QACb,EAAE;QACF,0BAA0B;QAC1B,eAAe;QACf,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QACnD,EAAE;QACF,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG;QACjF,EAAE;QACF,wCAAwC;QACxC,EAAE;KACH,CAAC;IACF,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,wFAAwF,EAAE,EAAE,CAAC,CAAC;IAC/J,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CACR,iLAAiL,EACjL,EAAE,EACF,wCAAwC,EACxC,EAAE,EACF,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,EACrG,EAAE,EACF,gCAAgC,EAChC,EAAE,EACF,GAAG,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC7F,EAAE,EACF,kJAAkJ,EAClJ,EAAE,CACH,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4HAA4H;AAC5H,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAe,EAAE,QAAkC,iBAAiB;IACzG,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC3F,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;QAC5C,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,aAAa,iIAAiI,EAAE,CAAC;IACjL,CAAC;IAAC,MAAM,CAAC;QACP,eAAe;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,mEAAmE,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,uBAAuB,GAAG,KAAK,CAAC,WAAW,iGAAiG,EAAE,CAAC;QAC9R,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS;gBAAE,SAAS;YAC5C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9G,CAAC;QACD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,KAAK,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;QACxH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAU,CAAC,CAAC,CAAC;QAChI,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACjI,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,KAAK,MAAM,GAAG,IAAI,mBAAmB;oBAAE,IAAI,CAAC,CAAC,GAAG,CAAC;wBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvI,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzI,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC5D,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IACvJ,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAAe,EAAE,CAAa;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACzC,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/lib/structure/model.d.ts

@@ -0,0 +1,57 @@
+export declare const STRUCTURE_DIR: string;
+export declare const NO_OP_FILE = "none.yaml";
+/** An archived change's record of its structural effect, beside its deltas (M-ADR 0230 §4.6). */
+export declare const APPLIED_FILE = "applied.yaml";
+/** Partition names a file name would confuse with the no-op claim or the effect record. */
+export declare const RESERVED_PARTITIONS: ReadonlySet<string>;
+export declare const FORMAT_VERSION = "1.0.0";
+export type Value = string | number | boolean;
+export interface Element {
+    readonly catalogue: string;
+    readonly id: string;
+    /** Every stated column except `id`. */
+    readonly columns: Readonly<Record<string, Value>>;
+    readonly partition: string;
+    /** The file it was read from, relative to the SDD. */
+    readonly file: string;
+}
+export interface ModelFile {
+    readonly partition: string;
+    readonly file: string;
+    readonly elements: readonly Element[];
+}
+export interface Removal {
+    readonly catalogue: string;
+    readonly id: string;
+    readonly reason: string;
+}
+export interface Delta {
+    readonly change: string;
+    readonly partition: string;
+    readonly file: string;
+    readonly dependsOn: readonly string[];
+    readonly added: readonly Element[];
+    readonly modified: readonly Element[];
+    readonly removed: readonly Removal[];
+    /** `<catalogue>/<id>` -> the revision the change was written against. */
+    readonly base: ReadonlyMap<string, string>;
+}
+export interface ChangeStructure {
+    readonly change: string;
+    readonly deltas: readonly Delta[];
+    /** The no-op claim's reason, when the change makes one. */
+    readonly noOp: {
+        readonly file: string;
+        readonly reason: string;
+    } | null;
+    /** True when the change has a structure/ directory at all. */
+    readonly present: boolean;
+}
+/** `sha256:<hex>` of the element's canonical JSON: {catalogue, columns (sorted), id}, no whitespace, UTF-8. */
+export declare function revision(catalogue: string, id: string, columns: Readonly<Record<string, Value>>): string;
+export declare function elementKey(catalogue: string, id: string): string;
+/** The model, or null when the SDD has no openspec/structure/ directory. */
+export declare function loadModel(repo: string, problems: string[]): Promise<ModelFile[] | null>;
+/** A change's structural artifact. */
+export declare function loadChangeStructure(repo: string, change: string, problems: string[]): Promise<ChangeStructure>;
+//# sourceMappingURL=model.d.ts.map

package/dist/lib/structure/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/lib/structure/model.ts"],"names":[],"mappings":"AAYA,eAAO,MAAM,aAAa,QAAgC,CAAC;AAC3D,eAAO,MAAM,UAAU,cAAc,CAAC;AACtC,iGAAiG;AACjG,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAC3C,2FAA2F;AAC3F,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAgC,CAAC;AACrF,eAAO,MAAM,cAAc,UAAU,CAAC;AAEtC,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE9C,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACzE,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,+GAA+G;AAC/G,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,CAKxG;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAEhE;AA0FD,4EAA4E;AAC5E,wBAAsB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,CAqB7F;AAED,sCAAsC;AACtC,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAyDpH"}