@milehimikey/em 1.7.2 → 1.8.1

package/dist/cli/markImplemented.js

@@ -0,0 +1,180 @@
+// SPDX-License-Identifier: MIT
+// `em slice mark-implemented` (MIL-103): promotes the lifecycle flip that used to live only in
+// em-sdd-bridge's `em-sdd-mark-implemented <slice-key> <pr-url>` (see reference/implement.md §6)
+// into `em` itself, the same way MIL-87 promoted `--slice-ready`. Sets exactly two frontmatter
+// fields — `status: implemented` and `implementedIn: <pr-url>` — on the slice doc resolved from
+// the key via the SAME note-binding resolution `--slice-ready`/`em export` use
+// (catalog/docJoin.ts's resolveSliceDocJoin). Never touches `version:` (a bump here is an `em
+// ledger` defect per docs/slice-doc-schema.md) and never touches the markdown body.
+//
+// Write strategy: surgical index-math splicing on the raw file text, not a parse+re-serialize
+// (sliceDoc.ts's own parser is deliberately read-only and drops everything not in its `SliceDoc`
+// shape — round-tripping through it would silently destroy comments, key order, spacing, and
+// every field this command isn't allowed to touch). `locateFrontmatterInner` finds the fenced
+// block's byte range using plain `indexOf` line-walking rather than `split(/\r?\n/)+join("\n")`
+// (what sliceDoc.ts's own splitFrontmatter does for parsing) specifically because a split/join
+// round-trip would silently normalize CRLF line endings across the WHOLE file the moment we
+// write it back — fine for a read-only parse, not for a rewrite that must preserve the body
+// byte-for-byte. Everything outside the two edited value spans — including the body, `version:`,
+// the other frontmatter keys, and (best-effort) the file's own line-ending style — is copied
+// through verbatim via string slicing, never reconstructed from parsed parts.
+//
+// Ported from the bridge's `src/lib/mark-implemented-doc.ts`, which targets the legacy
+// `- **Status:** ...` / `- **Implemented in:** ...` bullet dialect; this module targets the
+// canonical frontmatter dialect (MIL-86) instead, and folds in the note-binding resolution the
+// bridge's caller (`mark-implemented.ts`) did via a separate `em export` shell-out.
+import { readFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+/** A field line's matched span within a frontmatter `inner` string: `key[:]<ws>` prefix
+ *  (preserved verbatim on write) plus the value text that follows, lowercase-key-matched the
+ *  same way sliceDoc.ts's own parser folds keys for lookup. Column-0 only — same grammar as
+ *  sliceDoc.ts's `^([A-Za-z][\w-]*):\s*(.*)$`, so this never matches an indented/list-style line
+ *  the parser wouldn't treat as a field either. */
+function fieldLineRegex(key) {
+    // `[^\r\n]*` (not a lazy `.*?` + `\r?$`) deliberately -- JS regex `$`/multiline line-terminator
+    // semantics treat a lone `\r` as its own line boundary, which makes a trailing-`\r?$` anchor
+    // ambiguous on CRLF input. Excluding \r/\n from the value class sidesteps that entirely: the
+    // match always stops at the first \r or \n, full stop, no boundary-matching subtlety involved.
+    return new RegExp(`^(${key}[ \\t]*:[ \\t]*)([^\\r\\n]*)`, "im");
+}
+/** Strip a value the same way sliceDoc.ts's splitFrontmatter does when reading (surrounding
+ *  quotes, then blank-after-trim collapses to "absent") — used here only to classify the
+ *  *current* implementedIn value for the idempotent/refusal guard, matching what the parser
+ *  would have reported for the same text. */
+function normalizeFieldValue(raw) {
+    if (raw === undefined)
+        return null;
+    const v = raw.trim().replace(/^["']|["']$/g, "");
+    return v === "" ? null : v;
+}
+/** Byte offsets of the frontmatter block's inner lines (between the two `---` fences), located
+ *  by walking lines with `indexOf` rather than `split(/\r?\n/)` — see the module header for why
+ *  a rewrite can't afford the line-ending normalization a split/join would silently perform.
+ *  `null` when there's no well-formed leading `---`/`---` fence, mirroring sliceDoc.ts's own
+ *  "unterminated fence = no frontmatter" treatment. */
+function locateFrontmatterInner(markdown) {
+    if (!/^---[ \t]*\r?\n/.test(markdown))
+        return null;
+    const innerStart = markdown.indexOf("\n") + 1;
+    let pos = innerStart;
+    while (pos <= markdown.length) {
+        const nl = markdown.indexOf("\n", pos);
+        const lineEnd = nl === -1 ? markdown.length : nl;
+        const line = markdown.slice(pos, lineEnd);
+        if (/^---[ \t]*\r?$/.test(line)) {
+            return { innerStart, innerEnd: pos };
+        }
+        if (nl === -1)
+            break;
+        pos = nl + 1;
+    }
+    return null;
+}
+/**
+ * Pure text transform: flips `status:` to `implemented` and sets `implementedIn:` to `prUrl` in
+ * `raw`'s frontmatter block. Idempotent (re-applying the same URL is a no-op, `changed: false`,
+ * `content` returned byte-identical to `raw`); refuses (`ok: false`) rather than overwrite
+ * provenance when the doc is already `status: implemented` with a *different* `implementedIn`.
+ * No fs access — the caller reads/writes; see `runMarkImplemented` below.
+ */
+export function applyImplementedFrontmatter(raw, prUrl) {
+    const trimmedUrl = prUrl.trim();
+    if (!trimmedUrl)
+        return { ok: false, message: "a PR URL is required" };
+    // Refuse control characters (including an embedded \r/\n, which could splice a multi-line
+    // value into the frontmatter and corrupt the fence) and internal whitespace — a URL never
+    // legitimately contains either, so this is never a false positive, only a caller bug.
+    if (/[\x00-\x1f\x7f\x20]/.test(trimmedUrl)) {
+        return { ok: false, message: "PR URL must not contain control characters or whitespace" };
+    }
+    const range = locateFrontmatterInner(raw);
+    if (!range)
+        return { ok: false, message: "no frontmatter block found" };
+    const inner = raw.slice(range.innerStart, range.innerEnd);
+    const statusMatch = fieldLineRegex("status").exec(inner);
+    if (!statusMatch)
+        return { ok: false, message: "no `status:` field found in frontmatter" };
+    const implMatch = fieldLineRegex("implementedIn").exec(inner);
+    const currentStatus = normalizeFieldValue(statusMatch[2])?.toLowerCase() ?? null;
+    const currentImplementedIn = implMatch ? normalizeFieldValue(implMatch[2]) : null;
+    if (currentStatus === "implemented" && currentImplementedIn !== null) {
+        if (currentImplementedIn === trimmedUrl) {
+            return { ok: true, content: raw, changed: false }; // idempotent no-op
+        }
+        return {
+            ok: false,
+            message: `already marked implemented with a different URL (existing: ${currentImplementedIn}, ` +
+                `requested: ${trimmedUrl}) — refusing to overwrite`,
+        };
+    }
+    // Apply from the highest index first so an earlier edit's index stays valid — same convention
+    // the bridge's applyImplementedStatus uses. `implMatch` (if present) always sits at a higher
+    // or lower index than `statusMatch`; either way sorting by index descending keeps both safe to
+    // splice independently. When implMatch is absent, a fresh line is inserted right after the
+    // status line instead of a replacement.
+    let updatedInner;
+    if (implMatch) {
+        const edits = [
+            { index: statusMatch.index, oldLen: statusMatch[0].length, next: `${statusMatch[1]}implemented` },
+            { index: implMatch.index, oldLen: implMatch[0].length, next: `${implMatch[1]}${trimmedUrl}` },
+        ].sort((a, b) => b.index - a.index);
+        updatedInner = inner;
+        for (const edit of edits) {
+            updatedInner = updatedInner.slice(0, edit.index) + edit.next + updatedInner.slice(edit.index + edit.oldLen);
+        }
+    }
+    else {
+        const statusInsertEnd = statusMatch.index + statusMatch[0].length;
+        const rest = inner.slice(statusInsertEnd);
+        // Match the file's own line-ending style for the freshly-inserted line rather than
+        // hardcoding "\n" -- on a CRLF doc, `rest` starts with the "\r\n" that used to terminate the
+        // status line; reusing it keeps the new line consistent with its neighbors instead of being
+        // the one bare-LF line in an otherwise-CRLF file.
+        const eol = rest.startsWith("\r\n") ? "\r\n" : "\n";
+        updatedInner = inner.slice(0, statusMatch.index) + `${statusMatch[1]}implemented` + `${eol}implementedIn: ${trimmedUrl}` + rest;
+    }
+    const content = raw.slice(0, range.innerStart) + updatedInner + raw.slice(range.innerEnd);
+    return { ok: true, content, changed: true };
+}
+/**
+ * Resolves `sliceKey` to its bound doc via the same note-binding join `--slice-ready`/`em
+ * export` use (MIL-121 cross-binding included — the doc actually edited is whichever one the
+ * join resolved to, exactly like `sliceReadyValidate.ts` re-deriving its own read from
+ * `doc.path`), then reads/applies/writes it. `baseDir` is the `.em` file's directory, same
+ * convention every doc/note path in `em` uses.
+ */
+export function runMarkImplemented(model, refs, baseDir, sliceKey, prUrl) {
+    const sliceIndex = refs.sliceKeys.indexOf(sliceKey);
+    if (sliceIndex === -1) {
+        return { ok: false, message: `no slice with export key "${sliceKey}" in this model` };
+    }
+    const slice = model.slices[sliceIndex];
+    const { doc } = resolveSliceDocJoin(slice, sliceKey, baseDir, (id) => refs.refById.get(id));
+    if (doc.reason === "no-doc-bound") {
+        return {
+            ok: false,
+            message: `slice "${sliceKey}" has no doc bound via \`note "slices/${sliceKey}.md"\` — bind a slice doc before marking it implemented`,
+        };
+    }
+    if (doc.reason === "binding-missing-file") {
+        return { ok: false, message: `slice "${sliceKey}" notes "${doc.path}" but no such file exists` };
+    }
+    if (doc.reason === "frontmatter-invalid") {
+        return {
+            ok: false,
+            message: `slice doc "${doc.path}" has missing or invalid frontmatter — run \`em validate\` for details`,
+        };
+    }
+    const absPath = join(baseDir, doc.path);
+    const raw = readFileSync(absPath, "utf8");
+    const result = applyImplementedFrontmatter(raw, prUrl);
+    if (!result.ok) {
+        return { ok: false, message: `${doc.path}: ${result.message}` };
+    }
+    if (result.changed) {
+        writeFileSync(absPath, result.content, "utf8");
+    }
+    return { ok: true, path: doc.path, changed: result.changed };
+}
+//# sourceMappingURL=markImplemented.js.map

package/dist/cli/markImplemented.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markImplemented.js","sourceRoot":"","sources":["../../src/cli/markImplemented.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+FAA+F;AAC/F,iGAAiG;AACjG,+FAA+F;AAC/F,gGAAgG;AAChG,+EAA+E;AAC/E,8FAA8F;AAC9F,oFAAoF;AACpF,EAAE;AACF,8FAA8F;AAC9F,iGAAiG;AACjG,6FAA6F;AAC7F,8FAA8F;AAC9F,gGAAgG;AAChG,+FAA+F;AAC/F,4FAA4F;AAC5F,4FAA4F;AAC5F,iGAAiG;AACjG,6FAA6F;AAC7F,8EAA8E;AAC9E,EAAE;AACF,uFAAuF;AACvF,4FAA4F;AAC5F,+FAA+F;AAC/F,oFAAoF;AAEpF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;mDAImD;AACnD,SAAS,cAAc,CAAC,GAAW;IACjC,gGAAgG;IAChG,6FAA6F;IAC7F,6FAA6F;IAC7F,+FAA+F;IAC/F,OAAO,IAAI,MAAM,CAAC,KAAK,GAAG,8BAA8B,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC;AAED;;;6CAG6C;AAC7C,SAAS,mBAAmB,CAAC,GAAuB;IAClD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACjD,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC;AAED;;;;uDAIuD;AACvD,SAAS,sBAAsB,CAAC,QAAgB;IAC9C,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,OAAO,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,MAAM;QACrB,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAMD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAW,EAAE,KAAa;IACpE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;IACvE,0FAA0F;IAC1F,0FAA0F;IAC1F,sFAAsF;IACtF,IAAI,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,0DAA0D,EAAE,CAAC;IAC5F,CAAC;IAED,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAE1D,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;IAE3F,MAAM,SAAS,GAAG,cAAc,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IACjF,MAAM,oBAAoB,GAAG,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAElF,IAAI,aAAa,KAAK,aAAa,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QACrE,IAAI,oBAAoB,KAAK,UAAU,EAAE,CAAC;YACxC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,mBAAmB;QACxE,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,8DAA8D,oBAAoB,IAAI;gBACtF,cAAc,UAAU,2BAA2B;SACtD,CAAC;IACJ,CAAC;IAED,8FAA8F;IAC9F,6FAA6F;IAC7F,+FAA+F;IAC/F,2FAA2F;IAC3F,wCAAwC;IACxC,IAAI,YAAoB,CAAC;IACzB,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,KAAK,GAAG;YACZ,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE;YACjG,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,EAAE;SAC9F,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,YAAY,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,eAAe,GAAG,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAClE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1C,mFAAmF;QACnF,6FAA6F;QAC7F,4FAA4F;QAC5F,kDAAkD;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,GAAG,GAAG,GAAG,kBAAkB,UAAU,EAAE,GAAG,IAAI,CAAC;IAClI,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC;AAMD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAsB,EACtB,IAAgB,EAChB,OAAe,EACf,QAAgB,EAChB,KAAa;IAEb,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,QAAQ,iBAAiB,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;IAE7F,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,UAAU,QAAQ,yCAAyC,QAAQ,yDAAyD;SACtI,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,YAAY,GAAG,CAAC,IAAI,2BAA2B,EAAE,CAAC;IACnG,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACzC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,wEAAwE;SACxG,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;AAC/D,CAAC"}

package/dist/cli/migrateReactionShape.d.ts

@@ -0,0 +1,62 @@
+import { ElementNode } from "../parser/ast.js";
+import type { Diagnostic } from "../model/validate.js";
+export interface MigrationChange {
+    leadingSlice: string;
+    followingSlice: string;
+    reactionKind: string;
+    reactionName: string;
+    /** True when the leading slice held nothing but the reaction and was deleted outright. */
+    leadingSliceDeleted: boolean;
+    /** The view name added to the reaction's `from`, or null if none was needed/possible. */
+    addedFrom: string | null;
+    /** `element kind "name": note "slices/…"` lines for any note binding in either slice —
+     *  surfaced so the report can point at docs that may need re-checking (see module header). */
+    noteHints: string[];
+    /** Human-readable one-line (plus note-hint lines) report of this change, ready to print —
+     *  same convention as LedgerFinding.message in ledgerCheck.ts. */
+    message: string;
+}
+export interface MigrationRefusal {
+    leadingSlice: string;
+    leadingSliceLine: number;
+    followingSlice: string;
+    followingSliceLine: number;
+    reasons: string[];
+    /** Human-readable, ready-to-print report of this refusal — same convention as `message` above. */
+    message: string;
+}
+export interface MigrationPlan {
+    changes: MigrationChange[];
+    refusals: MigrationRefusal[];
+    /** The rewritten source, or null when there is nothing to change (changes.length === 0) —
+     *  including the fully-idempotent "already migrated" case. */
+    rewritten: string | null;
+}
+export interface MigrationVerifyResult {
+    ok: boolean;
+    /** Error-severity diagnostics present after the rewrite that weren't present before it
+     *  (matched by code+message, multiset-aware — see verifyMigration). Empty when ok. */
+    newErrors: Diagnostic[];
+}
+/**
+ * A single-line element's own source line — the only shape this module ever moves. Elements
+ * carrying a `{ fields }` block are refused rather than relocated (see planMigration): the
+ * canonical old-shape examples (docs/patterns.md, pre-MIL-120) never show a reaction with
+ * fields, and a multi-line block's `from` clause can legally sit on either its header or its
+ * closing line — correctly locating it isn't worth the risk on a shape that doesn't occur in
+ * practice. Kept exported for use by both planMigration and its tests.
+ */
+export declare function isSingleLineReaction(el: ElementNode): boolean;
+/**
+ * Detect and plan the rewrite for every old-shape site in `source`. Throws ParseError (from
+ * src/parser/parser.ts) if `source` itself doesn't parse — same contract as compile().
+ */
+export declare function planMigration(source: string): MigrationPlan;
+/**
+ * Re-parse + re-validate both `before` and `after`, and confirm the rewrite introduced no new
+ * error-severity diagnostic. Compared as a code+message multiset (not by count alone) so a
+ * genuinely new error can't hide behind an unrelated one the rewrite happened to fix. Never
+ * throws on `after` failing to parse/compile cleanly — that counts as new errors too, reported
+ * as a single synthetic entry, so a rewrite bug aborts loudly instead of crashing the CLI.
+ */
+export declare function verifyMigration(before: string, after: string): MigrationVerifyResult;

package/dist/cli/migrateReactionShape.js

@@ -0,0 +1,283 @@
+// SPDX-License-Identifier: MIT
+// `em migrate` (MIL-125): rewrites the OLD, pre-1.7.1 two-slice Automation/Translation shape —
+// reaction + its read model in one slice, that reaction's command + event in the next, linked
+// only by file-position adjacency — into the MIL-120 merged shape (reaction, command, and event
+// sharing one slice). MIL-120 changed what `em validate` accepts; it deliberately didn't touch
+// existing `.em` source text, since the restructuring has to happen in the source itself (see
+// that commit's own message, which filed this ticket as the follow-up). This is `em`'s first
+// command that mutates a `.em` file — see cli.ts's `migrate` registration for the CLI-shape
+// rationale (dedicated command, dry-run by default).
+//
+// Text-level and line-based throughout, guided by (not derived from) the parse: every edit is a
+// literal line range lifted from the original source and spliced elsewhere, so comments, blank
+// lines, and indentation everywhere else in the file survive byte-for-byte. Nothing here ever
+// regenerates a slice from the AST.
+//
+// Detection is deliberately narrow. A pair of adjacent slices only enters the refusal/migration
+// path at all once BOTH of these hold — the signature of an attempted old-shape pairing:
+//   - the leading slice has no `command` but has at least one reaction-kind element
+//     (automation/processor/saga/translation)
+//   - the following slice has at least one `command`
+// Every other adjacent pair (the overwhelming majority in a normal model) is silently skipped —
+// refusing on every unrelated slice boundary would bury the real refusals in noise. Once a pair
+// clears that bar, every deviation from the clean shape becomes a *refusal*, never a guess.
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { parse } from "../parser/parser.js";
+import { indexOfUnquoted, stripComment } from "../parser/lexer.js";
+import { normalizeName } from "../model/model.js";
+import { compile } from "../pipeline.js";
+const isReaction = (e) => AUTOMATION_KINDS.has(e.kind);
+const isCommand = (e) => e.kind === "command";
+const isEvent = (e) => e.kind === "event";
+const isView = (e) => e.kind === "view";
+/** A `slices/<key>.md`-shaped note (docs/slice-doc-schema.md's canonical binding path). */
+const NOTE_BINDING = /^slices\/.*\.md$/;
+/**
+ * A single-line element's own source line — the only shape this module ever moves. Elements
+ * carrying a `{ fields }` block are refused rather than relocated (see planMigration): the
+ * canonical old-shape examples (docs/patterns.md, pre-MIL-120) never show a reaction with
+ * fields, and a multi-line block's `from` clause can legally sit on either its header or its
+ * closing line — correctly locating it isn't worth the risk on a shape that doesn't occur in
+ * practice. Kept exported for use by both planMigration and its tests.
+ */
+export function isSingleLineReaction(el) {
+    return el.fields === undefined;
+}
+/** Escape `\` and `"` the same way the DSL's own quoted strings require (mirrors decodeQuoted's
+ *  inverse in src/parser/lexer.ts) — so a view name containing either round-trips correctly. */
+function escapeForQuotes(s) {
+    return s.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
+}
+/** Append (or extend) a `from "…"` clause on `line`, inserted before any trailing `# comment`
+ *  so the comment survives untouched. `from`'s own grammar captures to end-of-line once it
+ *  starts (src/parser/parser.ts's extractClauses), so for the single-line elements this module
+ *  ever touches, appending at the end of the code portion is always correct — whether starting
+ *  a fresh clause or adding one more name to an existing list. */
+function appendFromClause(line, viewName, hasExistingFrom) {
+    const codePart = stripComment(line);
+    const commentPart = line.slice(codePart.length);
+    const trimmedCode = codePart.replace(/\s+$/, "");
+    const addition = hasExistingFrom ? `, "${escapeForQuotes(viewName)}"` : ` from "${escapeForQuotes(viewName)}"`;
+    const rebuilt = trimmedCode + addition;
+    return commentPart ? `${rebuilt} ${commentPart}` : rebuilt;
+}
+/** An element's own line range, 1-based inclusive. Every reaction this module moves is single-
+ *  line (see isSingleLineReaction); this stays general (used for the leading slice's other
+ *  elements too, via sliceExtent) so a fields-bearing view/command elsewhere in the pair doesn't
+ *  throw off the slice's own closing-brace search. */
+function elementExtent(lines, el) {
+    const startIdx = el.line - 1;
+    if (!el.fields)
+        return [el.line, el.line];
+    const headerStripped = stripComment(lines[startIdx]);
+    const braceAt = indexOfUnquoted(headerStripped, "{");
+    if (braceAt < 0)
+        return [el.line, el.line];
+    const after = headerStripped.slice(braceAt + 1);
+    if (indexOfUnquoted(after, "}") >= 0)
+        return [el.line, el.line]; // closes on its own line
+    for (let i = startIdx + 1; i < lines.length; i++) {
+        if (stripComment(lines[i]).trim().startsWith("}"))
+            return [el.line, i + 1];
+    }
+    return [el.line, el.line]; // unreachable for source that already parsed successfully
+}
+/** A slice block's own line range, 1-based inclusive — from its `slice "Name" {` line to the
+ *  line whose stripped, trimmed content is exactly `}` (a slice's closing brace supports no
+ *  trailing clauses, unlike an element's — see src/parser/parser.ts's block-closing logic).
+ *  When `swallowTrailingBlank` is set (used only when the slice is about to be deleted whole),
+ *  one immediately-following blank line is folded into the range too — the same collapse
+ *  MIL-120's own doc rewrite made by hand (docs/patterns.md's "Carrier Webhook" removal),
+ *  so deleting a slice doesn't leave a doubled blank-line gap where it used to sit. Never
+ *  reaches past a second blank line, and never touches whatever precedes the slice. */
+function sliceExtent(lines, slice, swallowTrailingBlank = false) {
+    let lastElementEnd = slice.line;
+    for (const el of slice.elements) {
+        const [, end] = elementExtent(lines, el);
+        if (end > lastElementEnd)
+            lastElementEnd = end;
+    }
+    for (let i = lastElementEnd; i < lines.length; i++) {
+        const t = stripComment(lines[i]).trim();
+        if (t.length === 0)
+            continue;
+        if (t === "}") {
+            const closeLine = i + 1; // 1-based
+            const nextIdx = closeLine; // 0-based index of the line right after the close
+            if (swallowTrailingBlank && lines[nextIdx] !== undefined && lines[nextIdx].trim() === "") {
+                return [slice.line, closeLine + 1];
+            }
+            return [slice.line, closeLine];
+        }
+    }
+    return [slice.line, lastElementEnd]; // unreachable for source that already parsed successfully
+}
+/** Rebuild `lines` with every 1-based inclusive range in `removals` dropped, and each entry of
+ *  `insertions` (keyed by "insert before this 1-based line number") spliced in ahead of it — a
+ *  single forward pass, so multiple independent sites in one file compose without needing to
+ *  process edits in any particular order. */
+function applyEdits(lines, removals, insertions) {
+    const out = [];
+    for (let ln = 1; ln <= lines.length; ln++) {
+        const toInsert = insertions.get(ln);
+        if (toInsert)
+            out.push(...toInsert);
+        const removed = removals.some(([s, e]) => ln >= s && ln <= e);
+        if (!removed)
+            out.push(lines[ln - 1]);
+    }
+    return out;
+}
+/**
+ * Detect and plan the rewrite for every old-shape site in `source`. Throws ParseError (from
+ * src/parser/parser.ts) if `source` itself doesn't parse — same contract as compile().
+ */
+export function planMigration(source) {
+    const model = parse(source);
+    const eol = source.includes("\r\n") ? "\r\n" : "\n";
+    const lines = source.split(/\r?\n/);
+    const changes = [];
+    const refusals = [];
+    const removals = [];
+    const insertions = new Map();
+    for (let i = 0; i < model.slices.length - 1; i++) {
+        const leading = model.slices[i];
+        const following = model.slices[i + 1];
+        const leadingReactions = leading.elements.filter(isReaction);
+        const leadingHasCommand = leading.elements.some(isCommand);
+        const followingCommands = following.elements.filter(isCommand);
+        // Candidacy trigger (see module header) — anything short of this is an unrelated adjacent
+        // pair, skipped without comment.
+        if (leadingReactions.length === 0)
+            continue;
+        if (leadingHasCommand)
+            continue;
+        if (followingCommands.length === 0)
+            continue;
+        const reasons = [];
+        const leadingViews = leading.elements.filter(isView);
+        const leadingOther = leading.elements.filter((e) => !isView(e) && !isReaction(e));
+        if (leadingReactions.length > 1) {
+            reasons.push(`more than one reaction in leading slice "${leading.name}" (${leadingReactions
+                .map((r) => `${r.kind} "${r.name}"`)
+                .join(", ")})`);
+        }
+        if (leadingViews.length > 1 || leadingOther.length > 0) {
+            reasons.push(`leading slice "${leading.name}" has elements beyond one view and one reaction`);
+        }
+        if (following.elements.some(isReaction)) {
+            reasons.push(`following slice "${following.name}" already has a reaction`);
+        }
+        if (followingCommands.length > 1) {
+            reasons.push(`following slice "${following.name}" has more than one command`);
+        }
+        if (!following.elements.some(isEvent)) {
+            reasons.push(`following slice "${following.name}" has a command but no event`);
+        }
+        if (leadingReactions.length === 1 && !isSingleLineReaction(leadingReactions[0])) {
+            reasons.push(`reaction "${leadingReactions[0].name}" declares a \`{ fields }\` block — migrate this one by hand`);
+        }
+        if (reasons.length > 0) {
+            refusals.push({
+                leadingSlice: leading.name,
+                leadingSliceLine: leading.line,
+                followingSlice: following.name,
+                followingSliceLine: following.line,
+                reasons,
+                message: `refused slice "${leading.name}" / "${following.name}": ${reasons.join("; ")}`,
+            });
+            continue;
+        }
+        // Clean site.
+        const reaction = leadingReactions[0];
+        const command = followingCommands[0];
+        const view = leadingViews[0]; // undefined when the leading slice held only the reaction
+        const hasExistingFrom = (reaction.from ?? []).length > 0;
+        const alreadyNamesView = view
+            ? (reaction.from ?? []).some((n) => normalizeName(n) === normalizeName(view.name))
+            : false;
+        let reactionLine = lines[reaction.line - 1];
+        let addedFrom = null;
+        if (view && !alreadyNamesView) {
+            reactionLine = appendFromClause(reactionLine, view.name, hasExistingFrom);
+            addedFrom = view.name;
+        }
+        removals.push([reaction.line, reaction.line]);
+        insertions.set(command.line, [...(insertions.get(command.line) ?? []), reactionLine]);
+        const leadingSliceDeleted = !view;
+        if (leadingSliceDeleted) {
+            removals.push(sliceExtent(lines, leading, true));
+        }
+        const noteHints = [];
+        for (const el of [...leading.elements, ...following.elements]) {
+            if (el.note && NOTE_BINDING.test(el.note)) {
+                noteHints.push(`${el.kind} "${el.name}": note "${el.note}"`);
+            }
+        }
+        const leadingFate = leadingSliceDeleted
+            ? `leading slice "${leading.name}" deleted (now empty)`
+            : `leading slice "${leading.name}" kept (bare view)`;
+        const fromNote = addedFrom ? ` (added \`from "${addedFrom}"\`)` : "";
+        let message = `migrated slice "${leading.name}" / "${following.name}": moved ${reaction.kind} ` +
+            `"${reaction.name}" into "${following.name}"${fromNote}; ${leadingFate}`;
+        if (noteHints.length > 0) {
+            message += `\n  doc bindings may need re-checking: ${noteHints.join("; ")}`;
+        }
+        changes.push({
+            leadingSlice: leading.name,
+            followingSlice: following.name,
+            reactionKind: reaction.kind,
+            reactionName: reaction.name,
+            leadingSliceDeleted,
+            addedFrom,
+            noteHints,
+            message,
+        });
+    }
+    if (changes.length === 0) {
+        return { changes, refusals, rewritten: null };
+    }
+    return { changes, refusals, rewritten: applyEdits(lines, removals, insertions).join(eol) };
+}
+/**
+ * Re-parse + re-validate both `before` and `after`, and confirm the rewrite introduced no new
+ * error-severity diagnostic. Compared as a code+message multiset (not by count alone) so a
+ * genuinely new error can't hide behind an unrelated one the rewrite happened to fix. Never
+ * throws on `after` failing to parse/compile cleanly — that counts as new errors too, reported
+ * as a single synthetic entry, so a rewrite bug aborts loudly instead of crashing the CLI.
+ */
+export function verifyMigration(before, after) {
+    const beforeErrors = compile(before).diagnostics.filter((d) => d.severity === "error");
+    let afterErrors;
+    try {
+        afterErrors = compile(after).diagnostics.filter((d) => d.severity === "error");
+    }
+    catch (e) {
+        return {
+            ok: false,
+            newErrors: [
+                {
+                    severity: "error",
+                    code: "migrate-rewrite-unparseable",
+                    message: `rewritten source failed to parse: ${e instanceof Error ? e.message : String(e)}`,
+                },
+            ],
+        };
+    }
+    const remaining = new Map();
+    for (const d of beforeErrors) {
+        const key = `${d.code}|${d.message}`;
+        remaining.set(key, (remaining.get(key) ?? 0) + 1);
+    }
+    const newErrors = [];
+    for (const d of afterErrors) {
+        const key = `${d.code}|${d.message}`;
+        const left = remaining.get(key) ?? 0;
+        if (left > 0)
+            remaining.set(key, left - 1);
+        else
+            newErrors.push(d);
+    }
+    return { ok: newErrors.length === 0, newErrors };
+}
+//# sourceMappingURL=migrateReactionShape.js.map

package/dist/cli/migrateReactionShape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrateReactionShape.js","sourceRoot":"","sources":["../../src/cli/migrateReactionShape.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+FAA+F;AAC/F,8FAA8F;AAC9F,gGAAgG;AAChG,+FAA+F;AAC/F,8FAA8F;AAC9F,6FAA6F;AAC7F,4FAA4F;AAC5F,qDAAqD;AACrD,EAAE;AACF,gGAAgG;AAChG,+FAA+F;AAC/F,8FAA8F;AAC9F,oCAAoC;AACpC,EAAE;AACF,gGAAgG;AAChG,yFAAyF;AACzF,oFAAoF;AACpF,8CAA8C;AAC9C,qDAAqD;AACrD,gGAAgG;AAChG,gGAAgG;AAChG,4FAA4F;AAE5F,OAAO,EAAE,gBAAgB,EAAqC,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AA6CzC,MAAM,UAAU,GAAG,CAAC,CAAc,EAAW,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7E,MAAM,SAAS,GAAG,CAAC,CAAc,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;AACpE,MAAM,OAAO,GAAG,CAAC,CAAc,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAChE,MAAM,MAAM,GAAG,CAAC,CAAc,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAE9D,2FAA2F;AAC3F,MAAM,YAAY,GAAG,kBAAkB,CAAC;AAExC;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAe;IAClD,OAAO,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;AACjC,CAAC;AAED;gGACgG;AAChG,SAAS,eAAe,CAAC,CAAS;IAChC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC;AAED;;;;kEAIkE;AAClE,SAAS,gBAAgB,CAAC,IAAY,EAAE,QAAgB,EAAE,eAAwB;IAChF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC;IAC/G,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;IACvC,OAAO,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7D,CAAC;AAED;;;sDAGsD;AACtD,SAAS,aAAa,CAAC,KAAe,EAAE,EAAe;IACrD,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,MAAM;QAAE,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,eAAe,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACrD,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAChD,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB;IAC1F,KAAK,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,0DAA0D;AACvF,CAAC;AAED;;;;;;;uFAOuF;AACvF,SAAS,WAAW,CAAC,KAAe,EAAE,KAAgB,EAAE,oBAAoB,GAAG,KAAK;IAClF,IAAI,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,GAAG,GAAG,cAAc;YAAE,cAAc,GAAG,GAAG,CAAC;IACjD,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU;YACnC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,kDAAkD;YAC7E,IAAI,oBAAoB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBACzF,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,0DAA0D;AACjG,CAAC;AAED;;;6CAG6C;AAC7C,SAAS,UAAU,CAAC,KAAe,EAAE,QAA4B,EAAE,UAAiC;IAClG,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,KAAK,GAAc,KAAK,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEpC,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAEtC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7D,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,iBAAiB,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAE/D,0FAA0F;QAC1F,iCAAiC;QACjC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC5C,IAAI,iBAAiB;YAAE,SAAS;QAChC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE7C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAElF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CACV,4CAA4C,OAAO,CAAC,IAAI,MAAM,gBAAgB;iBAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;iBACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjB,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,IAAI,iDAAiD,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC,oBAAoB,SAAS,CAAC,IAAI,0BAA0B,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,oBAAoB,SAAS,CAAC,IAAI,6BAA6B,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC,oBAAoB,SAAS,CAAC,IAAI,8BAA8B,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,OAAO,CAAC,IAAI,CACV,aAAa,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,8DAA8D,CACpG,CAAC;QACJ,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,OAAO,CAAC,IAAI;gBAC1B,gBAAgB,EAAE,OAAO,CAAC,IAAI;gBAC9B,cAAc,EAAE,SAAS,CAAC,IAAI;gBAC9B,kBAAkB,EAAE,SAAS,CAAC,IAAI;gBAClC,OAAO;gBACP,OAAO,EAAE,kBAAkB,OAAO,CAAC,IAAI,QAAQ,SAAS,CAAC,IAAI,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACxF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,cAAc;QACd,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,0DAA0D;QAExF,MAAM,eAAe,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACzD,MAAM,gBAAgB,GAAG,IAAI;YAC3B,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClF,CAAC,CAAC,KAAK,CAAC;QAEV,IAAI,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAI,SAAS,GAAkB,IAAI,CAAC;QACpC,IAAI,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC9B,YAAY,GAAG,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC1E,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;QAEtF,MAAM,mBAAmB,GAAG,CAAC,IAAI,CAAC;QAClC,IAAI,mBAAmB,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,IAAI,EAAE,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAG,mBAAmB;YACrC,CAAC,CAAC,kBAAkB,OAAO,CAAC,IAAI,uBAAuB;YACvD,CAAC,CAAC,kBAAkB,OAAO,CAAC,IAAI,oBAAoB,CAAC;QACvD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,mBAAmB,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,IAAI,OAAO,GACT,mBAAmB,OAAO,CAAC,IAAI,QAAQ,SAAS,CAAC,IAAI,YAAY,QAAQ,CAAC,IAAI,GAAG;YACjF,IAAI,QAAQ,CAAC,IAAI,WAAW,SAAS,CAAC,IAAI,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;QAC3E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,0CAA0C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,YAAY,EAAE,OAAO,CAAC,IAAI;YAC1B,cAAc,EAAE,SAAS,CAAC,IAAI;YAC9B,YAAY,EAAE,QAAQ,CAAC,IAAI;YAC3B,YAAY,EAAE,QAAQ,CAAC,IAAI;YAC3B,mBAAmB;YACnB,SAAS;YACT,SAAS;YACT,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAChD,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,KAAa;IAC3D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAEvF,IAAI,WAAyB,CAAC;IAC9B,IAAI,CAAC;QACH,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,EAAE,EAAE,KAAK;YACT,SAAS,EAAE;gBACT;oBACE,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,qCAAqC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;iBAC3F;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACrC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;;YACtC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC;AACnD,CAAC"}

package/dist/cli/sliceIndex.d.ts

@@ -0,0 +1,49 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { Diagnostic } from "../model/validate.js";
+/** The marker name wrapping the Slices table: `<!-- GENERATED:slices:start -->` /
+ *  `<!-- GENERATED:slices:end -->`, matching templates/model-readme.md. */
+export declare const SLICE_INDEX_MARKER = "slices";
+export interface SliceIndexRow {
+    index: number;
+    name: string;
+    pattern: string;
+    status: string;
+    implementedIn: string;
+    docPath: string;
+}
+export interface SliceIndexTable {
+    /** The full replacement body for the GENERATED:slices block — header + one row per slice
+     *  (or just the header when the model has no slices yet). */
+    markdown: string;
+    rows: SliceIndexRow[];
+    /** binding-missing-file / frontmatter-invalid warnings from resolveSliceDocJoin — the same
+     *  diagnostics `em export` surfaces for a broken doc binding. */
+    diagnostics: Diagnostic[];
+}
+/** Build the Slices table body for `model`. `baseDir` is the `.em` file's directory — same
+ *  doc-resolution convention `em export`/`em catalog` use for `slices/<key>.md`. */
+export declare function buildSliceIndexTable(model: NormalizedModel, refs: RefsResult, baseDir: string): SliceIndexTable;
+export type SliceIndexResult = {
+    ok: true;
+    readmePath: string;
+    wrote: boolean;
+    changed: boolean;
+    table: SliceIndexTable;
+} | {
+    ok: false;
+    kind: "missing-readme" | "missing-markers" | "stale";
+    message: string;
+    table: SliceIndexTable;
+};
+/**
+ * Rewrite (or, in `check` mode, verify) the GENERATED:slices block in `<dirname(emFilePath)>/
+ * README.md`. Never creates the README or the marker pair — both are user errors reported back
+ * via `ok: false`, not silently fixed: a missing README means the model wasn't scaffolded from
+ * templates/model-readme.md yet, and missing markers mean an older/hand-edited README that
+ * needs the marker pair added first (see the message text for exactly what to do).
+ *
+ * `check: true` never writes to disk; a stale table is reported as `kind: "stale"` instead
+ * (CI-ready — the caller exits non-zero without having touched the working tree).
+ */
+export declare function runSliceIndex(model: NormalizedModel, refs: RefsResult, emFilePath: string, check: boolean): SliceIndexResult;