@sdd-method/sdd-cli 3.0.0 → 4.0.1

package/dist/lib/validate/structural-model.js

@@ -0,0 +1,265 @@
+// structural-model: the structural model and each open change's structural artifact (M-ADR 0230 §4.3, §4.4, Proposed;
+// docs/method/methods/guides/structural-model-format.md).
+//
+// The model (openspec/structure/<partition>.yaml), as the current view:
+//   files       valid YAML, schema_version, a partition matching its file name and naming one this SDD has
+//               (a platform SDD: its domains and `platform`; an application or integration SDD: its sdd_id)
+//   elements    a `structure` catalogue, its `structure` columns only, an id held once, required columns,
+//               value types and vocabularies (the catalogue metamodel's)
+//   references  resolved in the view; into a catalogue of another class, against that catalogue as built
+//   hierarchies no cycle through a self-reference; natural keys unique; domain invariants naming their entity's own
+//               attributes and relationships
+//   views       each generated view under docs/structure/ missing, stale (rendered from an earlier model) or edited by
+//               hand (its body no longer matches the digest in its header)
+// Each open change (openspec/changes/<change>/structure/):
+//   artifact    where the model exists, a change has partition deltas or none.yaml, never both
+//   deltas      well formed; ADDED ids new; MODIFIED and REMOVED ids held by the delta's partition; a base
+//               revision for every element modified, removed or read, still the current one; a reference into an
+//               element another open change adds names that change in depends_on
+//   no-op       contradicted by a behaviour delta for a feature the model does not hold; a structural delta
+//               must add that feature
+// Composition (§4.5; lib/structure/compose.ts), with a change agreed when its agreement record says so:
+//   overlap     two agreed changes writing one element or adding one id; a change overlapping an agreed one
+//   composed    each change's view (with its dependency closure) and the intended view (every agreed change)
+//               validated on their own; what fails there and not in current is reported against the changes
+//               that write the elements it names
+//   reads       a dependency withdrawn (record withdrawn or superseded, or neither open nor archived), an agreed
+//               change depending on one not agreed, a cycle of dependencies
+// Archived changes (§4.6):
+//   archived    a change archived with structural deltas and no effect record (a raw `openspec archive`): its
+//               structure is not applied, so its transition is not shipped
+//
+// Report only while M-ADR 0230 is Proposed (ENFORCED): every finding is a [WARN] and the check exits 0. Without
+// openspec/structure/ and with no change carrying a structure/ directory it reports [N/A].
+import { readdir, readFile } from "node:fs/promises";
+import { join } from "node:path";
+import { parseDocument } from "yaml";
+import { parseCatalogueCsv } from "../catalogue/csv-reader.js";
+import { loadCanonicalSchema } from "../catalogue/schema-loader.js";
+import { APPLIED_FILE, elementKey, loadChangeStructure, loadModel, STRUCTURE_DIR } from "../structure/model.js";
+import { agreedOrder, attribute, checkDependencies, checkOverlap, intended, viewAt } from "../structure/compose.js";
+import { describeState, renderViews, VIEW_PATHS, viewState } from "../structure/render.js";
+import { validateDeltas, validateView, viewOf } from "../structure/view.js";
+const VIEW_COUNT = Object.keys(VIEW_PATHS).length;
+/** Flipped when M-ADR 0230 is accepted: findings then FAIL. */
+export const ENFORCED = false;
+const CHANGES_DIR = join("openspec", "changes");
+async function readText(p) {
+    try {
+        return await readFile(p, "utf8");
+    }
+    catch {
+        return null;
+    }
+}
+async function subdirs(p) {
+    try {
+        return (await readdir(p, { withFileTypes: true })).filter((e) => e.isDirectory()).map((e) => e.name).sort();
+    }
+    catch {
+        return [];
+    }
+}
+/** The change's agreement record status (docs/agreements/<change>.yaml), or `unrecorded`. */
+async function agreementStatus(repo, change) {
+    const text = await readText(join(repo, "docs", "agreements", `${change}.yaml`));
+    if (text === null)
+        return "unrecorded";
+    try {
+        const status = String(parseDocument(text).toJS()?.agreement_record?.status ?? "");
+        return ["proposed", "agreed", "withdrawn", "superseded"].find((s) => s === status) ?? "unrecorded";
+    }
+    catch {
+        return "unrecorded";
+    }
+}
+/** Names of archived changes: openspec/changes/archive/<YYYY-MM-DD>-<name>. */
+async function archivedNames(repo) {
+    return new Set((await subdirs(join(repo, CHANGES_DIR, "archive"))).map((d) => d.replace(/^\d{4}-\d{2}-\d{2}-/, "")));
+}
+function builtLookup(repo) {
+    const cache = new Map();
+    const fn = ((catalogue, column) => {
+        const rows = cache.get(catalogue);
+        if (rows === undefined || rows === null)
+            return null;
+        return new Set(rows.map((r) => r[column] ?? ""));
+    });
+    fn.load = async (catalogue) => {
+        if (cache.has(catalogue))
+            return;
+        const text = await readText(join(repo, "catalogues", `${catalogue}.csv`));
+        cache.set(catalogue, text === null ? null : parseCatalogueCsv(text).rows);
+    };
+    return fn;
+}
+export async function checkStructuralModel(repo, options = {}) {
+    const enforced = options.enforced ?? ENFORCED;
+    const problems = [];
+    const lines = [];
+    const files = await loadModel(repo, problems);
+    const changes = (await subdirs(join(repo, CHANGES_DIR))).filter((c) => c !== "archive");
+    const structures = [];
+    for (const c of changes)
+        structures.push(await loadChangeStructure(repo, c, problems));
+    if (files === null && !structures.some((s) => s.present)) {
+        return { exitCode: 0, stdout: `[N/A] structural-model: no structural model (${STRUCTURE_DIR}/) and no change with structural deltas in this repository\n` };
+    }
+    const schema = options.schema ?? (await loadCanonicalSchema());
+    // Partitions this SDD has.
+    const manifest = (await readText(join(repo, ".sdd", "sdd-manifest.yaml"))) ?? "";
+    let profile = "";
+    let sddId = "";
+    try {
+        const m = parseDocument(manifest).toJS();
+        profile = String(m?.profile ?? "");
+        sddId = String(m?.sdd_id ?? "");
+    }
+    catch {
+        // the manifest check reports an unparseable manifest
+    }
+    const view = viewOf(files ?? [], problems);
+    const built = builtLookup(repo);
+    for (const c of schema.catalogues)
+        if (c.sourceOfTruth !== "structure")
+            await built.load(c.name);
+    let allowed = null;
+    if (profile === "platform-profile") {
+        allowed = new Set(["platform", ...(view.get("domains")?.keys() ?? []), ...(built("domains", "id") ?? [])]);
+    }
+    else if (sddId !== "") {
+        allowed = new Set([sddId]);
+    }
+    else {
+        lines.push("partitions: not checked (no profile or sdd_id in .sdd/sdd-manifest.yaml)");
+    }
+    const checkPartition = (partition, file) => {
+        if (allowed !== null && !allowed.has(partition)) {
+            problems.push(`${file}: partition ${partition} is not one this SDD has (${profile === "platform-profile" ? "a domain id, or platform" : `its sdd_id, ${sddId}`})`);
+        }
+    };
+    for (const f of files ?? [])
+        checkPartition(f.partition, f.file);
+    // The current view.
+    const unresolved = new Set();
+    const currentProblems = [];
+    validateView(schema, view, built, currentProblems, unresolved);
+    problems.push(...currentProblems);
+    const elementCount = [...view.values()].reduce((n, m) => n + m.size, 0);
+    lines.push(files === null ? `model: none (${STRUCTURE_DIR}/ absent)` : `model: ${files.length} partition file(s), ${elementCount} element(s) in ${view.size} catalogue(s)`);
+    if (unresolved.size > 0)
+        lines.push(`references into ${[...unresolved].sort().join(", ")}: unresolved (no built catalogue)`);
+    // The generated views, against a render of the current view. An SDD that has not rendered them yet (no
+    // docs/structure/) is adopting the model, which keeps its originals until the review is complete (§6 step 1).
+    if (files !== null && (await subdirs(join(repo, "docs"))).includes("structure")) {
+        let current = 0;
+        for (const [path, rendered] of renderViews(view)) {
+            const state = viewState(rendered, await readText(join(repo, path)));
+            if (state === "current")
+                current++;
+            else
+                problems.push(describeState(path, state));
+        }
+        lines.push(`generated views: ${current} of ${VIEW_COUNT} current`);
+    }
+    else if (files !== null) {
+        lines.push("generated views: not rendered (no docs/structure/); `sdd-cli structure render` writes them");
+    }
+    // Open changes.
+    const addedBy = new Map();
+    for (const s of structures)
+        for (const d of s.deltas)
+            for (const e of d.added)
+                addedBy.set(elementKey(e.catalogue, e.id), s.change);
+    const features = new Set(view.get("features")?.keys() ?? []);
+    let withDeltas = 0;
+    let noOps = 0;
+    let without = 0;
+    for (const s of structures) {
+        const dir = join(CHANGES_DIR, s.change);
+        for (const d of s.deltas)
+            checkPartition(d.partition, d.file);
+        if (s.deltas.length > 0)
+            withDeltas++;
+        if (s.noOp)
+            noOps++;
+        if (!s.present || (s.deltas.length === 0 && !s.noOp)) {
+            without++;
+            if (files !== null)
+                problems.push(`${dir}: no structural artifact; the model exists, so a change states its structural deltas or claims none (structure/none.yaml)`);
+        }
+        if (s.noOp && s.deltas.length > 0)
+            problems.push(`${s.noOp.file}: a no-op claim beside ${s.deltas.length} partition delta(s); state one or the other`);
+        const elsewhere = new Map([...addedBy].filter(([, c]) => c !== s.change));
+        validateDeltas(schema, view, s.deltas, elsewhere, problems);
+        // A behaviour delta for a feature the model does not hold needs that feature added here.
+        const adds = new Set(s.deltas.flatMap((d) => d.added.filter((e) => e.catalogue === "features").map((e) => e.id)));
+        for (const feature of await subdirs(join(repo, dir, "specs"))) {
+            if (features.has(feature) || adds.has(feature))
+                continue;
+            if (files === null && features.size === 0 && !s.present)
+                continue;
+            if (s.noOp)
+                problems.push(`${s.noOp.file}: claims no structural effect, and the change's behaviour deltas create a living spec for ${feature}, a feature the model does not hold`);
+            else
+                problems.push(`${dir}: a behaviour delta for ${feature}, a feature the model does not hold, and no structural delta adds features/${feature}`);
+        }
+    }
+    lines.push(`changes: ${changes.length} open, ${withDeltas} with structural deltas, ${noOps} claiming none, ${without} without the artifact`);
+    // Composition (M-ADR 0230 §4.5): the three views and the three checks.
+    const open = new Map();
+    for (const s of structures)
+        open.set(s.change, { structure: s, status: await agreementStatus(repo, s.change) });
+    const archived = await archivedNames(repo);
+    checkOverlap(open, problems);
+    checkDependencies(open, archived, problems);
+    const known = new Set(currentProblems);
+    const atAgreed = new Set();
+    for (const [name, oc] of open) {
+        if (oc.structure.deltas.length === 0)
+            continue;
+        const at = [];
+        validateView(schema, viewAt(view, name, open), built, at, new Set());
+        for (const p of at) {
+            if (known.has(p))
+                continue;
+            problems.push(`at ${name}: ${p}`);
+            if (oc.status === "agreed")
+                atAgreed.add(p);
+        }
+    }
+    const agreed = agreedOrder(open);
+    if (agreed.length > 0) {
+        const inIntended = [];
+        validateView(schema, intended(view, open), built, inIntended, new Set());
+        for (const p of inIntended) {
+            if (known.has(p) || atAgreed.has(p))
+                continue;
+            const by = attribute(p, open, agreed);
+            problems.push(`in the intended view, from ${by.length > 0 ? by.join(" with ") : "the agreed changes together"}: ${p}`);
+        }
+    }
+    // An archived change with structural deltas and no effect record: archived by a raw `openspec archive`, so its
+    // behaviour moved and its structure did not. Its structural transition is not shipped (§4.6).
+    let raw = 0;
+    for (const dir of await subdirs(join(repo, CHANGES_DIR, "archive"))) {
+        const ap = [];
+        const s = await loadChangeStructure(repo, join("archive", dir), ap);
+        if (s.deltas.length === 0)
+            continue;
+        if ((await readText(join(repo, CHANGES_DIR, "archive", dir, "structure", APPLIED_FILE))) !== null)
+            continue;
+        raw++;
+        problems.push(`${join(CHANGES_DIR, "archive", dir)}: archived with structural deltas and no effect record (structure/${APPLIED_FILE}), as a raw \`openspec archive\` leaves it; its structure is not applied, so the transition is not shipped. Run \`sdd-cli change archive ${dir.replace(/^\d{4}-\d{2}-\d{2}-/, "")}\` to apply it, guarded by its base revisions`);
+    }
+    if (raw > 0)
+        lines.push(`archived changes whose structure is not applied: ${raw}`);
+    lines.push(`views: current; at each of ${[...open.values()].filter((o) => o.structure.deltas.length > 0).length} change(s) with deltas; intended from ${agreed.length} agreed change(s)`);
+    const body = lines.map((l) => `${l}\n`).join("");
+    if (problems.length === 0)
+        return { exitCode: 0, stdout: `structural-model:\n${body}[PASS] structural-model: ok\n` };
+    const tag = enforced ? "FAIL" : "WARN";
+    const tail = enforced ? `[FAIL] structural-model: ${problems.length} finding(s)\n` : `[WARN] structural-model: ${problems.length} finding(s), report only (M-ADR 0230, Proposed)\n`;
+    return { exitCode: enforced ? 1 : 0, stdout: `structural-model:\n${body}${problems.map((p) => `[${tag}] ${p}\n`).join("")}${tail}` };
+}
+//# sourceMappingURL=structural-model.js.map

package/dist/lib/validate/structural-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-model.js","sourceRoot":"","sources":["../../../src/lib/validate/structural-model.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,0DAA0D;AAC1D,EAAE;AACF,wEAAwE;AACxE,2GAA2G;AAC3G,4GAA4G;AAC5G,0GAA0G;AAC1G,yEAAyE;AACzE,yGAAyG;AACzG,oHAAoH;AACpH,6CAA6C;AAC7C,uHAAuH;AACvH,2EAA2E;AAC3E,2DAA2D;AAC3D,+FAA+F;AAC/F,2GAA2G;AAC3G,iHAAiH;AACjH,iFAAiF;AACjF,4GAA4G;AAC5G,sCAAsC;AACtC,wGAAwG;AACxG,4GAA4G;AAC5G,6GAA6G;AAC7G,4GAA4G;AAC5G,iDAAiD;AACjD,iHAAiH;AACjH,4EAA4E;AAC5E,2BAA2B;AAC3B,8GAA8G;AAC9G,2EAA2E;AAC3E,EAAE;AACF,gHAAgH;AAChH,2FAA2F;AAC3F,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAwB,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,SAAS,EAAE,aAAa,EAAwB,MAAM,uBAAuB,CAAC;AACtI,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAmC,MAAM,yBAAyB,CAAC;AACrJ,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAoB,MAAM,sBAAsB,CAAC;AAE9F,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;AAElD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC;AAE9B,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AAEhD,KAAK,UAAU,QAAQ,CAAC,CAAS;IAC/B,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,CAAS;IAC9B,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,MAAc;IACzD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC;IAChF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,YAAY,CAAC;IACvC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAE,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAyD,EAAE,gBAAgB,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;QAC1I,OAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC;IAChH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CAAC;IACtB,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,aAAa,CAAC,IAAY;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACvH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgD,CAAC;IACtE,MAAM,EAAE,GAAG,CAAC,CAAC,SAAiB,EAAE,MAAc,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACrD,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC,CAAiE,CAAC;IACnE,EAAE,CAAC,IAAI,GAAG,KAAK,EAAE,SAAiB,EAAE,EAAE;QACpC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO;QACjC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,SAAS,MAAM,CAAC,CAAC,CAAC;QAC1E,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAsC,CAAC,CAAC;IAC/G,CAAC,CAAC;IACF,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAY,EACZ,UAA4D,EAAE;IAE9D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC;IAC9C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACxF,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,UAAU,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvF,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,gDAAgD,aAAa,8DAA8D,EAAE,CAAC;IAC9J,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,MAAM,mBAAmB,EAAE,CAAC,CAAC;IAE/D,2BAA2B;IAC3B,MAAM,QAAQ,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAoD,CAAC;QAC3F,OAAO,GAAG,MAAM,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;QACnC,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,qDAAqD;IACvD,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;QAAE,IAAI,CAAC,CAAC,aAAa,KAAK,WAAW;YAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjG,IAAI,OAAO,GAAuB,IAAI,CAAC;IACvC,IAAI,OAAO,KAAK,kBAAkB,EAAE,CAAC;QACnC,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC;SAAM,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAE,IAAY,EAAQ,EAAE;QAC/D,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,SAAS,6BAA6B,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,eAAe,KAAK,EAAE,GAAG,CAAC,CAAC;QACrK,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE;QAAE,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAEjE,oBAAoB;IACpB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC;IAC/D,QAAQ,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,aAAa,WAAW,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,uBAAuB,YAAY,kBAAkB,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC;IAC5K,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAE7H,uGAAuG;IACvG,8GAA8G;IAC9G,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpE,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC;;gBAC9B,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,oBAAoB,OAAO,OAAO,UAAU,UAAU,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,4FAA4F,CAAC,CAAC;IAC3G,CAAC;IAED,gBAAgB;IAChB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,UAAU;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACpI,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,IAAI;YAAE,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,OAAO,EAAE,CAAC;YACV,IAAI,KAAK,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,2HAA2H,CAAC,CAAC;QACvK,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,CAAC,MAAM,CAAC,MAAM,6CAA6C,CAAC,CAAC;QACvJ,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1E,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC5D,yFAAyF;QACzF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClH,KAAK,MAAM,OAAO,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACzD,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,SAAS;YAClE,IAAI,CAAC,CAAC,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,6FAA6F,OAAO,qCAAqC,CAAC,CAAC;;gBAC9K,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,2BAA2B,OAAO,8EAA8E,OAAO,EAAE,CAAC,CAAC;QACtJ,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,MAAM,UAAU,UAAU,4BAA4B,KAAK,mBAAmB,OAAO,uBAAuB,CAAC,CAAC;IAE7I,uEAAuE;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,UAAU;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChH,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3C,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7B,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC/C,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC3B,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC9C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;IACH,CAAC;IACD,+GAA+G;IAC/G,8FAA8F;IAC9F,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,GAAG,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,SAAS;QAC5G,GAAG,EAAE,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,qEAAqE,YAAY,4IAA4I,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,+CAA+C,CAAC,CAAC;IACxW,CAAC;IACD,IAAI,GAAG,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,yCAAyC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC;IAE1L,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,sBAAsB,IAAI,+BAA+B,EAAE,CAAC;IACrH,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,4BAA4B,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,4BAA4B,QAAQ,CAAC,MAAM,mDAAmD,CAAC;IACpL,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,sBAAsB,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;AACvI,CAAC"}

package/dist/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.12.0",
-  "built_against_sdd_cli": "3.0.0"
+  "version": "0.13.1",
+  "built_against_sdd_cli": "4.0.1"
 }

package/dist/verbs/change.d.ts

@@ -0,0 +1,3 @@
+import type { Command } from "commander";
+export declare function registerChange(program: Command): void;
+//# sourceMappingURL=change.d.ts.map

package/dist/verbs/change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change.d.ts","sourceRoot":"","sources":["../../src/verbs/change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAMzC,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CASrD"}

package/dist/verbs/change.js

@@ -0,0 +1,15 @@
+import { archiveChange } from "../lib/structure/archive.js";
+// `change archive <change>`: the method's archive operation (M-ADR 0230 §4.6, Proposed). Behaviour and structure are
+// prepared in a scratch worktree, validated as a whole, and published as one commit only if the store has not moved.
+// Run it again after an interruption: it verifies an archive that already landed, and recovers a raw `openspec archive`.
+export function registerChange(program) {
+    const change = program.command("change").description("Operate on a change in the behaviour store (M-ADR 0223, M-ADR 0230)");
+    change
+        .command("archive <change>")
+        .description("Archive a judged change: its behaviour and structure published as one guarded commit (M-ADR 0230 §4.6, Proposed)")
+        .option("--sdd-path <path>", "the SDD whose openspec/ is the store (default: the current directory)", ".")
+        .action(async (name, opts) => {
+        process.exitCode = await archiveChange({ sddPath: opts.sddPath, change: name, write: (s) => process.stdout.write(s) });
+    });
+}
+//# sourceMappingURL=change.js.map

package/dist/verbs/change.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change.js","sourceRoot":"","sources":["../../src/verbs/change.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D,qHAAqH;AACrH,qHAAqH;AACrH,yHAAyH;AACzH,MAAM,UAAU,cAAc,CAAC,OAAgB;IAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,qEAAqE,CAAC,CAAC;IAC5H,MAAM;SACH,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,kHAAkH,CAAC;SAC/H,MAAM,CAAC,mBAAmB,EAAE,uEAAuE,EAAE,GAAG,CAAC;SACzG,MAAM,CAAC,KAAK,EAAE,IAAY,EAAE,IAAyB,EAAE,EAAE;QACxD,OAAO,CAAC,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzH,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/verbs/structure.d.ts

@@ -0,0 +1,10 @@
+import type { Command } from "commander";
+export declare function runStructureShow(sddPath: string, ref: string, write: (s: string) => void): Promise<number>;
+export declare function runStructureRender(sddPath: string, options: {
+    check: boolean;
+}, write: (s: string) => void): Promise<number>;
+export declare function runMigrateStructure(sddPath: string, options: {
+    dryRun: boolean;
+}, write: (s: string) => void): Promise<number>;
+export declare function registerStructure(program: Command): void;
+//# sourceMappingURL=structure.d.ts.map

package/dist/verbs/structure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/verbs/structure.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AASzC,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GACzB,OAAO,CAAC,MAAM,CAAC,CAwBjB;AAID,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,EAC3B,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GACzB,OAAO,CAAC,MAAM,CAAC,CAkCjB;AAID,wBAAsB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAepI;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA4BxD"}

package/dist/verbs/structure.js

@@ -0,0 +1,124 @@
+import { mkdir, readFile, writeFile } from "node:fs/promises";
+import { dirname, join } from "node:path";
+import { stringify } from "yaml";
+import { extractStructure, writeExtraction } from "../lib/structure/extract.js";
+import { elementKey, loadModel, STRUCTURE_DIR } from "../lib/structure/model.js";
+import { describeState, renderViews, viewState } from "../lib/structure/render.js";
+import { revisionOf, viewOf } from "../lib/structure/view.js";
+// `structure show <catalogue>/<id>`: one element of the structural model and its revision, the value a change's
+// `base:` records for it (M-ADR 0230 §4.4, Proposed). Read only.
+export async function runStructureShow(sddPath, ref, write) {
+    const slash = ref.indexOf("/");
+    if (slash <= 0 || slash === ref.length - 1) {
+        write(`[FAIL] structure show: name an element as <catalogue>/<id>, not ${JSON.stringify(ref)}\n`);
+        return 2;
+    }
+    const catalogue = ref.slice(0, slash);
+    const id = ref.slice(slash + 1);
+    const problems = [];
+    const files = await loadModel(sddPath, problems);
+    if (files === null) {
+        write(`[FAIL] structure show: no structural model (${STRUCTURE_DIR}/) in ${sddPath}\n`);
+        return 1;
+    }
+    const e = viewOf(files, problems).get(catalogue)?.get(id);
+    if (!e) {
+        write(`[FAIL] structure show: the model holds no ${elementKey(catalogue, id)}\n`);
+        for (const p of problems)
+            write(`  ${p}\n`);
+        return 1;
+    }
+    write(`# ${elementKey(catalogue, id)} in ${e.file} (partition ${e.partition})\n`);
+    write(`revision: ${revisionOf(e)}\n`);
+    write(stringify({ id: e.id, ...e.columns }));
+    return 0;
+}
+// `structure render [--check]`: write the generated views of the current view (M-ADR 0230 §4.3, Proposed), or, with
+// --check, write nothing and report each view that is missing, stale or edited by hand (exit 1 if any is).
+export async function runStructureRender(sddPath, options, write) {
+    const problems = [];
+    const files = await loadModel(sddPath, problems);
+    if (files === null) {
+        write(`[FAIL] structure render: no structural model (${STRUCTURE_DIR}/) in ${sddPath}\n`);
+        return 1;
+    }
+    const view = viewOf(files, problems);
+    if (problems.length > 0) {
+        write(`[FAIL] structure render: the model does not load cleanly; run \`sdd-cli validate --validator structural-model\`\n`);
+        for (const p of problems)
+            write(`  ${p}\n`);
+        return 1;
+    }
+    let off = 0;
+    for (const [path, rendered] of renderViews(view)) {
+        const abs = join(sddPath, path);
+        const text = await readFile(abs, "utf8").catch(() => null);
+        const state = viewState(rendered, text);
+        if (options.check) {
+            if (state !== "current") {
+                off++;
+                write(`[WARN] ${describeState(path, state)}\n`);
+            }
+            continue;
+        }
+        if (state === "hand-edited")
+            write(`[WARN] ${describeState(path, state)}; the edit is overwritten\n`);
+        if (state !== "current") {
+            await mkdir(dirname(abs), { recursive: true });
+            await writeFile(abs, rendered, "utf8");
+        }
+        write(`${state === "current" ? "unchanged" : "wrote"} ${path}\n`);
+    }
+    if (options.check)
+        write(off === 0 ? "[PASS] structure render --check: every view is current\n" : `[FAIL] structure render --check: ${off} view(s) not current\n`);
+    return options.check && off > 0 ? 1 : 0;
+}
+// `migrate structure [--dry-run]`: extract an SDD's first structural model from its sources, with its report
+// (M-ADR 0230 §6 step 1, Proposed). Refuses an SDD that has a model; writes no source file.
+export async function runMigrateStructure(sddPath, options, write) {
+    const x = await extractStructure(sddPath);
+    if (x.refused !== null) {
+        write(`[FAIL] migrate structure: ${x.refused}\n`);
+        return 1;
+    }
+    const total = [...x.counts.values()].reduce((a, b) => a + b, 0);
+    write(`${options.dryRun ? "would extract" : "extracted"} ${total} element(s) in ${x.counts.size} catalogue(s), ${x.files.size} partition(s); ${x.loss.length + x.extraction.length} fact(s) the model could not carry\n`);
+    if (options.dryRun) {
+        write(x.report);
+        return 0;
+    }
+    for (const p of await writeExtraction(sddPath, x))
+        write(`wrote ${p}\n`);
+    write("[INFO] migrate structure: the model is now the record of structure, and the catalogue is built from it. Keep the original sources until it is reviewed against the code; removing openspec/structure/ withdraws it\n");
+    return 0;
+}
+export function registerStructure(program) {
+    const migrate = program.commands.find((c) => c.name() === "migrate");
+    if (migrate) {
+        migrate
+            .command("structure")
+            .description("Extract the SDD's first structural model from its sources into openspec/structure/, with an extraction report; source files are untouched (M-ADR 0230, Proposed)")
+            .option("--sdd-path <path>", "the SDD (default: the current directory)", ".")
+            .option("--dry-run", "write nothing; print the report", false)
+            .action(async (opts) => {
+            process.exitCode = await runMigrateStructure(opts.sddPath, { dryRun: opts.dryRun }, (s) => process.stdout.write(s));
+        });
+    }
+    const structure = program.command("structure").description("Read the structural model, and write its generated views (M-ADR 0230, Proposed)");
+    structure
+        .command("show <element>")
+        .description("Print one element of the structural model, <catalogue>/<id>, with its revision")
+        .option("--sdd-path <path>", "the SDD (default: the current directory)", ".")
+        .action(async (element, opts) => {
+        process.exitCode = await runStructureShow(opts.sddPath, element, (s) => process.stdout.write(s));
+    });
+    structure
+        .command("render")
+        .description("Write the generated views of the structural model under docs/structure/; --check reports instead")
+        .option("--sdd-path <path>", "the SDD (default: the current directory)", ".")
+        .option("--check", "write nothing; report each view that is missing, stale or edited by hand", false)
+        .action(async (opts) => {
+        process.exitCode = await runStructureRender(opts.sddPath, { check: opts.check }, (s) => process.stdout.write(s));
+    });
+}
+//# sourceMappingURL=structure.js.map

package/dist/verbs/structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.js","sourceRoot":"","sources":["../../src/verbs/structure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAE9D,gHAAgH;AAChH,iEAAiE;AACjE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAe,EACf,GAAW,EACX,KAA0B;IAE1B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,mEAAmE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClG,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,KAAK,CAAC,+CAA+C,aAAa,SAAS,OAAO,IAAI,CAAC,CAAC;QACxF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1D,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,6CAA6C,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAClF,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,OAAO,CAAC,CAAC;IACX,CAAC;IACD,KAAK,CAAC,KAAK,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC;IAClF,KAAK,CAAC,aAAa,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oHAAoH;AACpH,2GAA2G;AAC3G,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAAe,EACf,OAA2B,EAC3B,KAA0B;IAE1B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,KAAK,CAAC,iDAAiD,aAAa,SAAS,OAAO,IAAI,CAAC,CAAC;QAC1F,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,mHAAmH,CAAC,CAAC;QAC3H,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,GAAG,EAAE,CAAC;gBACN,KAAK,CAAC,UAAU,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,aAAa;YAAE,KAAK,CAAC,UAAU,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACtG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,MAAM,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,CAAC,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,OAAO,CAAC,KAAK;QAAE,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,CAAC,oCAAoC,GAAG,wBAAwB,CAAC,CAAC;IACnK,OAAO,OAAO,CAAC,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,6GAA6G;AAC7G,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,OAAe,EAAE,OAA4B,EAAE,KAA0B;IACjH,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACvB,KAAK,CAAC,6BAA6B,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,KAAK,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,kBAAkB,CAAC,CAAC,MAAM,CAAC,IAAI,kBAAkB,CAAC,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,sCAAsC,CAAC,CAAC;IAC1N,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzE,KAAK,CAAC,sNAAsN,CAAC,CAAC;IAC9N,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,SAAS,CAAC,CAAC;IACrE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO;aACJ,OAAO,CAAC,WAAW,CAAC;aACpB,WAAW,CAAC,kKAAkK,CAAC;aAC/K,MAAM,CAAC,mBAAmB,EAAE,0CAA0C,EAAE,GAAG,CAAC;aAC5E,MAAM,CAAC,WAAW,EAAE,iCAAiC,EAAE,KAAK,CAAC;aAC7D,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;YAC3D,OAAO,CAAC,QAAQ,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACtH,CAAC,CAAC,CAAC;IACP,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,iFAAiF,CAAC,CAAC;IAC9I,SAAS;SACN,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,gFAAgF,CAAC;SAC7F,MAAM,CAAC,mBAAmB,EAAE,0CAA0C,EAAE,GAAG,CAAC;SAC5E,MAAM,CAAC,KAAK,EAAE,OAAe,EAAE,IAAyB,EAAE,EAAE;QAC3D,OAAO,CAAC,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IACL,SAAS;SACN,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,kGAAkG,CAAC;SAC/G,MAAM,CAAC,mBAAmB,EAAE,0CAA0C,EAAE,GAAG,CAAC;SAC5E,MAAM,CAAC,SAAS,EAAE,0EAA0E,EAAE,KAAK,CAAC;SACpG,MAAM,CAAC,KAAK,EAAE,IAAyC,EAAE,EAAE;QAC1D,OAAO,CAAC,QAAQ,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/verify-version.json

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sdd-method/sdd-cli",
-  "version": "3.0.0",
+  "version": "4.0.1",
   "description": "The full SDD method CLI (sdd-cli): init, sync, validate, catalogue build and aggregate, scaffold, plan, pack build and every other method verb for spec-driven-development repositories. The verify-only, author and maintain personas ship as @sdd-method/verify-cli, @sdd-method/author-cli and @sdd-method/maintain-cli.",
   "keywords": [
     "sdd-method",

package/scripts/author-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.11.0",
-  "built_against_sdd_cli": "3.0.0"
+  "version": "0.12.1",
+  "built_against_sdd_cli": "4.0.1"
 }

package/scripts/build-persona-package.mjs

@@ -44,6 +44,11 @@ const ADMIN_CANARIES = [
   "verbs/metamodel.js",
   "verbs/catalogue.js",
   "lib/catalogue/migration-map.js",
+  // The archive operation and extraction (M-ADR 0230 §4.6, §6, Proposed) are sdd-cli's while the record is Proposed: no persona carries them.
+  "verbs/change.js",
+  "lib/structure/archive.js",
+  "lib/structure/apply.js",
+  "lib/structure/extract.js",
 ];
 const AUTHOR_ONLY_MODULES = [
   "verbs/conformance.js",

package/scripts/maintain-version.json

@@ -1,4 +1,4 @@
 {
-  "version": "0.12.0",
-  "built_against_sdd_cli": "3.0.0"
+  "version": "0.13.1",
+  "built_against_sdd_cli": "4.0.1"
 }

package/scripts/verify-version.json

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