@milehimikey/em 1.14.2 → 1.16.0

package/dist/cli/findings.d.ts

@@ -78,8 +78,8 @@ export declare function lookupFindingsBesideReport(baseDir: string, reportPath:
 /** Every `conformance/*-findings.json` beside `baseDir`, newest filename first, that parses and
  *  shape-validates — a malformed candidate is silently skipped (`em conform-findings check` is
  *  the loud diagnosis for a broken file, not this scan). Shared by `cli/sliceConform.ts`'s
- *  `findLatestFindingsForRevision` (filters to one `revision`) and `em slice reratify`'s advisory
- *  (`reratifyAdvisory`, cli/reratify.ts — looks across every past run, not just one revision).
+ *  `findLatestFindingsForRevision` (filters to one `revision`) and `em slice revise`'s advisory
+ *  (`reviseAdvisory`, cli/revise.ts — looks across every past run, not just one revision).
  *  Returns `[]` when `conformance/` doesn't exist. */
 export declare function listAllFindingsFiles(baseDir: string): {
     path: string;

package/dist/cli/findings.js

@@ -205,8 +205,8 @@ export function lookupFindingsBesideReport(baseDir, reportPath) {
 /** Every `conformance/*-findings.json` beside `baseDir`, newest filename first, that parses and
  *  shape-validates — a malformed candidate is silently skipped (`em conform-findings check` is
  *  the loud diagnosis for a broken file, not this scan). Shared by `cli/sliceConform.ts`'s
- *  `findLatestFindingsForRevision` (filters to one `revision`) and `em slice reratify`'s advisory
- *  (`reratifyAdvisory`, cli/reratify.ts — looks across every past run, not just one revision).
+ *  `findLatestFindingsForRevision` (filters to one `revision`) and `em slice revise`'s advisory
+ *  (`reviseAdvisory`, cli/revise.ts — looks across every past run, not just one revision).
  *  Returns `[]` when `conformance/` doesn't exist. */
 export function listAllFindingsFiles(baseDir) {
     const dir = join(baseDir, "conformance");

package/dist/cli/frontmatterSurgery.d.ts

@@ -12,9 +12,9 @@ export declare function normalizeFieldValue(raw: string | undefined): string | n
 /** Same anchor as `fieldLineRegex`, but captures through the line's own trailing EOL (or
  *  end-of-string, for a field that happens to be the frontmatter's last line) so a match can be
  *  spliced out ENTIRELY — key, value, and terminator — rather than just replaced. Used by
- *  `em slice reratify` (reratify.ts) to drop a now-stale `ratifiedBy:`/`ratifiedOn:` pair: those
- *  fields describe who signed off the PRIOR version, and silently leaving them in place would
- *  make a fresh version look already ratified. */
+ *  `em slice revise` (revise.ts, MIL-283 — formerly `reratify`) to drop the now-stale sign-off
+ *  keys (`SIGN_OFF_KEYS` there): those fields describe who signed off the PRIOR version, and
+ *  silently leaving them in place would make a fresh version look already ratified. */
 export declare function fieldLineWithEolRegex(key: string): RegExp;
 /** Byte offsets of the frontmatter block's inner lines (between the two `---` fences), located
  *  by walking lines with `indexOf` rather than `split(/\r?\n/)` — a rewrite can't afford the

package/dist/cli/frontmatterSurgery.js

@@ -33,9 +33,9 @@ export function normalizeFieldValue(raw) {
 /** Same anchor as `fieldLineRegex`, but captures through the line's own trailing EOL (or
  *  end-of-string, for a field that happens to be the frontmatter's last line) so a match can be
  *  spliced out ENTIRELY — key, value, and terminator — rather than just replaced. Used by
- *  `em slice reratify` (reratify.ts) to drop a now-stale `ratifiedBy:`/`ratifiedOn:` pair: those
- *  fields describe who signed off the PRIOR version, and silently leaving them in place would
- *  make a fresh version look already ratified. */
+ *  `em slice revise` (revise.ts, MIL-283 — formerly `reratify`) to drop the now-stale sign-off
+ *  keys (`SIGN_OFF_KEYS` there): those fields describe who signed off the PRIOR version, and
+ *  silently leaving them in place would make a fresh version look already ratified. */
 export function fieldLineWithEolRegex(key) {
     return new RegExp(`^${key}[ \\t]*:[ \\t]*[^\\r\\n]*\\r?\\n?`, "im");
 }

package/dist/cli/frontmatterSurgery.js.map

@@ -1 +1 @@
-{"version":3,"file":"frontmatterSurgery.js","sourceRoot":"","sources":["../../src/cli/frontmatterSurgery.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,uFAAuF;AACvF,4FAA4F;AAC5F,yFAAyF;AACzF,yFAAyF;AACzF,8FAA8F;AAC9F,gGAAgG;AAChG,sEAAsE;AACtE,EAAE;AACF,+FAA+F;AAE/F;;;;mDAImD;AACnD,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,gGAAgG;IAChG,6FAA6F;IAC7F,6FAA6F;IAC7F,+FAA+F;IAC/F,OAAO,IAAI,MAAM,CAAC,KAAK,GAAG,8BAA8B,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC;AAED;;;qBAGqB;AACrB,MAAM,UAAU,mBAAmB,CAAC,GAAuB;IACzD,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;;;;;kDAKkD;AAClD,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,IAAI,MAAM,CAAC,IAAI,GAAG,mCAAmC,EAAE,IAAI,CAAC,CAAC;AACtE,CAAC;AAED;;;;;0FAK0F;AAC1F,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,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"}
+{"version":3,"file":"frontmatterSurgery.js","sourceRoot":"","sources":["../../src/cli/frontmatterSurgery.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,uFAAuF;AACvF,4FAA4F;AAC5F,yFAAyF;AACzF,yFAAyF;AACzF,8FAA8F;AAC9F,gGAAgG;AAChG,sEAAsE;AACtE,EAAE;AACF,+FAA+F;AAE/F;;;;mDAImD;AACnD,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,gGAAgG;IAChG,6FAA6F;IAC7F,6FAA6F;IAC7F,+FAA+F;IAC/F,OAAO,IAAI,MAAM,CAAC,KAAK,GAAG,8BAA8B,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC;AAED;;;qBAGqB;AACrB,MAAM,UAAU,mBAAmB,CAAC,GAAuB;IACzD,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;;;;;uFAKuF;AACvF,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,IAAI,MAAM,CAAC,IAAI,GAAG,mCAAmC,EAAE,IAAI,CAAC,CAAC;AACtE,CAAC;AAED;;;;;0FAK0F;AAC1F,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,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"}

package/dist/cli/markImplemented.d.ts

@@ -1,5 +1,6 @@
 import { NormalizedModel } from "../model/model.js";
 import { RefsResult } from "../model/refs.js";
+import { QueuedItem } from "../catalog/deferQueue.js";
 export type ApplyFrontmatterResult = {
     ok: true;
     content: string;
@@ -8,27 +9,18 @@ export type ApplyFrontmatterResult = {
     ok: false;
     message: string;
 };
-/**
- * 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`.
- *
- * MIL-277 (GH #222): refuses any doc that isn't `ready-to-implement` or `implemented`. This
- * command is the step AFTER ratification — the implement contract (§6) and the engagement skill
- * both run it at merge without re-checking status, so without a gate here an agent pointed at a
- * `draft` or `reviewed` slice would record it as shipped with no human sign-off. Same posture as
- * `review.ts`/`ratify.ts` refusing out-of-order statuses; deliberately no escape flag, because
- * `em slice ratify` IS the escape hatch (it has its own `--skip-review`). `implemented` stays
- * legal so the idempotent re-run and the "status already implemented, `implementedIn` missing"
- * repair (MIL-103 AC#5) keep working — neither skips a lifecycle step.
- * No fs access — the caller reads/writes; see `runMarkImplemented` below.
- */
-export declare function applyImplementedFrontmatter(raw: string, prUrl: string): ApplyFrontmatterResult;
+export declare function applyImplementedFrontmatter(raw: string, prUrl: string, shippedOn?: string | null): ApplyFrontmatterResult;
 export type RunMarkImplementedResult = {
     ok: true;
     path: string;
     changed: boolean;
+    /** MIL-283: set when the merge opened the next version as a `draft` because at least one
+     *  Open Question was deferred to it — `version` is the new draft's, `reopened` the count. */
+    openedDraft: {
+        version: number;
+        reopened: number;
+        injected: number;
+    } | null;
 } | {
     ok: false;
     message: string;
@@ -40,4 +32,17 @@ export type RunMarkImplementedResult = {
  * `doc.path`), then reads/applies/writes it. `baseDir` is the `.em` file's directory, same
  * convention every doc/note path in `em` uses.
  */
-export declare function runMarkImplemented(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string, prUrl: string): RunMarkImplementedResult;
+export declare function runMarkImplemented(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string, prUrl: string, shippedOn?: string | null): RunMarkImplementedResult;
+/** Pure: when `content` (a freshly implemented doc) has a question deferred to v<version+1>,
+ *  returns it with the next draft opened (`openNextDraft`); else returns it unchanged. One call:
+ *  `openNextDraft` is pure and reports how many questions it re-opened, so "was anything
+ *  deferred to v<N+1>" is read off its result rather than decided by a second scan that would
+ *  have to agree with it on what the deferral marker looks like. */
+export declare function nextDraftIfDeferred(content: string, queuedFor?: (version: number) => QueuedItem[]): {
+    content: string;
+    openedDraft: {
+        version: number;
+        reopened: number;
+        injected: number;
+    } | null;
+};

package/dist/cli/markImplemented.js

@@ -1,11 +1,13 @@
 // 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.
+// into `em` itself, the same way MIL-87 promoted `--slice-ready`. Flips `status: implemented`,
+// sets `implementedIn: <pr-url>` and writes the shipped record beside it (MIL-284:
+// `shippedVersion:`/`shippedRef:`/`shippedOn:`) on the slice doc resolved from the key via the
+// SAME note-binding resolution `--slice-ready`/`em export` use (catalog/docJoin.ts's
+// resolveSliceDocJoin). Then, only when an Open Question was deferred to v<N+1> (MIL-283), opens
+// that next version as a `draft` through `revise.ts`'s `openNextDraft` — the one path on which
+// `version:` moves here, and the body changes only to re-open those questions.
 //
 // 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`
@@ -33,6 +35,8 @@ import { join } from "node:path";
 import { continuationOf } from "../model/continuation.js";
 import { resolveSliceDocJoin } from "../catalog/docJoin.js";
 import { fieldLineRegex, locateFrontmatterInner, normalizeFieldValue } from "./frontmatterSurgery.js";
+import { openNextDraft } from "./revise.js";
+import { clearQueue, readQueue } from "./defer.js";
 /** The status a doc must hold for `mark-implemented` to flip it: ratified, not yet shipped. */
 const RATIFIED_STATUS = "ready-to-implement";
 const IMPLEMENTED_STATUS = "implemented";
@@ -49,10 +53,56 @@ const IMPLEMENTED_STATUS = "implemented";
  * `review.ts`/`ratify.ts` refusing out-of-order statuses; deliberately no escape flag, because
  * `em slice ratify` IS the escape hatch (it has its own `--skip-review`). `implemented` stays
  * legal so the idempotent re-run and the "status already implemented, `implementedIn` missing"
- * repair (MIL-103 AC#5) keep working — neither skips a lifecycle step.
+ * repair (MIL-103 AC#5) keep working — neither skips a lifecycle step. MIL-283 widens the
+ * idempotent re-run to any doc whose shipped record already names this URL, whatever its working
+ * `status` — the merge itself may have opened v<N+1> as a `draft`, and a re-run (the engagement
+ * skill's per-level pass, a CI retry) must still no-op rather than hit the gate.
  * No fs access — the caller reads/writes; see `runMarkImplemented` below.
  */
-export function applyImplementedFrontmatter(raw, prUrl) {
+/**
+ * MIL-284: the shipped record, written beside `implementedIn:` — `shippedVersion:` (the doc's
+ * `version:` now), `shippedRef:` (its `ratifiedRef:`, when it has one) and `shippedOn:`
+ * (`shippedOn`, the local date). Each key that already has a line is replaced in place; the rest
+ * are inserted right after `implementedIn:`. Since MIL-283 this record, not `status`, is what
+ * every lifecycle reader decides on (`shippedRecordOf` in catalog/sliceDoc.ts), so
+ * `shippedVersion:`/`shippedRef:` are ALWAYS written on a real flip — a v2 merge that left a
+ * stale `shippedVersion: 1` beside `version: 2` would read as an unshipped delta forever. Only
+ * `shippedOn:` depends on the caller: `null` (the pure default, no clock here) skips it. Pure.
+ */
+function withShippedRecord(inner, eol, shippedOn) {
+    const implMatch = fieldLineRegex("implementedIn").exec(inner);
+    if (!implMatch)
+        return inner; // unreachable after the edits above; defensive
+    const versionMatch = fieldLineRegex("version").exec(inner);
+    const refMatch = fieldLineRegex("ratifiedRef").exec(inner);
+    const version = versionMatch ? normalizeFieldValue(versionMatch[2]) : null;
+    const ref = refMatch ? normalizeFieldValue(refMatch[2]) : null;
+    const wanted = [
+        ["shippedVersion", version],
+        ["shippedRef", ref],
+        ["shippedOn", shippedOn],
+    ];
+    const edits = [];
+    const fresh = [];
+    for (const [key, value] of wanted) {
+        if (value === null)
+            continue;
+        const m = fieldLineRegex(key).exec(inner);
+        if (m)
+            edits.push({ index: m.index, oldLen: m[0].length, next: `${m[1]}${value}` });
+        else
+            fresh.push(`${key}: ${value}`);
+    }
+    if (fresh.length > 0) {
+        edits.push({ index: implMatch.index, oldLen: implMatch[0].length, next: `${implMatch[0]}${eol}${fresh.join(eol)}` });
+    }
+    edits.sort((a, b) => b.index - a.index);
+    let out = inner;
+    for (const edit of edits)
+        out = out.slice(0, edit.index) + edit.next + out.slice(edit.index + edit.oldLen);
+    return out;
+}
+export function applyImplementedFrontmatter(raw, prUrl, shippedOn = null) {
     const trimmedUrl = prUrl.trim();
     if (!trimmedUrl)
         return { ok: false, message: "a PR URL is required" };
@@ -72,14 +122,24 @@ export function applyImplementedFrontmatter(raw, prUrl) {
     const implMatch = fieldLineRegex("implementedIn").exec(inner);
     const currentStatus = normalizeFieldValue(statusMatch[2])?.toLowerCase() ?? null;
     const currentImplementedIn = implMatch ? normalizeFieldValue(implMatch[2]) : null;
-    if (currentStatus === IMPLEMENTED_STATUS && currentImplementedIn !== null) {
+    const shippedVersionMatch = fieldLineRegex("shippedVersion").exec(inner);
+    const hasShippedRecord = currentStatus === IMPLEMENTED_STATUS || (shippedVersionMatch !== null && normalizeFieldValue(shippedVersionMatch[2]) !== null);
+    // A merge already recorded — the read-both rule `shippedRecordOf` applies: `status: implemented`,
+    // or a `shippedVersion:` under any working status (MIL-283 opened the next draft at merge). The
+    // same URL is the idempotent no-op; a different one refuses rather than overwrite provenance. A
+    // `ready-to-implement` doc over a shipped record is the NEXT version's merge — it falls through
+    // to the ordinary flip below, which replaces the link and the record.
+    if (hasShippedRecord && currentImplementedIn !== null && currentStatus !== RATIFIED_STATUS) {
         if (currentImplementedIn === trimmedUrl) {
             return { ok: true, content: raw, changed: false }; // idempotent no-op
         }
+        const nextVersionNote = currentStatus === IMPLEMENTED_STATUS
+            ? ""
+            : `; the doc is \`status: ${currentStatus ?? "(empty)"}\` for its next version — ratify that before marking its merge`;
         return {
             ok: false,
             message: `already marked implemented with a different URL (existing: ${currentImplementedIn}, ` +
-                `requested: ${trimmedUrl}) — refusing to overwrite`,
+                `requested: ${trimmedUrl}) — refusing to overwrite${nextVersionNote}`,
         };
     }
     if (currentStatus !== RATIFIED_STATUS && currentStatus !== IMPLEMENTED_STATUS) {
@@ -115,6 +175,8 @@ export function applyImplementedFrontmatter(raw, prUrl) {
         const eol = rest.startsWith("\r\n") ? "\r\n" : "\n";
         updatedInner = inner.slice(0, statusMatch.index) + `${statusMatch[1]}implemented` + `${eol}implementedIn: ${trimmedUrl}` + rest;
     }
+    const afterStatus = inner.slice(statusMatch.index + statusMatch[0].length);
+    updatedInner = withShippedRecord(updatedInner, afterStatus.startsWith("\r\n") ? "\r\n" : "\n", shippedOn);
     const content = raw.slice(0, range.innerStart) + updatedInner + raw.slice(range.innerEnd);
     return { ok: true, content, changed: true };
 }
@@ -125,7 +187,7 @@ export function applyImplementedFrontmatter(raw, prUrl) {
  * `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) {
+export function runMarkImplemented(model, refs, baseDir, sliceKey, prUrl, shippedOn = null) {
     const sliceIndex = refs.sliceKeys.indexOf(sliceKey);
     if (sliceIndex === -1) {
         return { ok: false, message: `no slice with export key "${sliceKey}" in this model` };
@@ -159,13 +221,35 @@ export function runMarkImplemented(model, refs, baseDir, sliceKey, prUrl) {
     }
     const absPath = join(baseDir, doc.path);
     const raw = readFileSync(absPath, "utf8");
-    const result = applyImplementedFrontmatter(raw, prUrl);
+    const result = applyImplementedFrontmatter(raw, prUrl, shippedOn);
     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 };
+    if (!result.changed)
+        return { ok: true, path: doc.path, changed: false, openedDraft: null };
+    // MIL-283: the shipped version is recorded; if the ratified doc deferred any question to the
+    // NEXT version, that version is known work — open it as a `draft` right now so the deferred
+    // questions are back on the list (and `shippedVersion:` keeps saying v<N> shipped). A doc with
+    // nothing deferred stays `implemented` until someone runs `em slice revise`. Only on the real
+    // flip (`changed`), never on the idempotent re-run or the missing-link repair of an already
+    // implemented doc — those recorded their shipment before.
+    // GH #236: a question queued by `em slice defer` while the doc was ratified counts the same —
+    // it is injected into the draft, and the queue is cleared once the draft is on disk.
+    const next = nextDraftIfDeferred(result.content, (v) => readQueue(baseDir, sliceKey, v).items);
+    writeFileSync(absPath, next.content, "utf8");
+    if (next.openedDraft && next.openedDraft.injected > 0)
+        clearQueue(baseDir, sliceKey, next.openedDraft.version);
+    return { ok: true, path: doc.path, changed: true, openedDraft: next.openedDraft };
+}
+/** Pure: when `content` (a freshly implemented doc) has a question deferred to v<version+1>,
+ *  returns it with the next draft opened (`openNextDraft`); else returns it unchanged. One call:
+ *  `openNextDraft` is pure and reports how many questions it re-opened, so "was anything
+ *  deferred to v<N+1>" is read off its result rather than decided by a second scan that would
+ *  have to agree with it on what the deferral marker looks like. */
+export function nextDraftIfDeferred(content, queuedFor) {
+    const opened = openNextDraft(content, { queuedFor });
+    if (!opened.ok || opened.reopened + opened.injected === 0)
+        return { content, openedDraft: null };
+    return { content: opened.content, openedDraft: { version: opened.newVersion, reopened: opened.reopened, injected: opened.injected } };
 }
 //# sourceMappingURL=markImplemented.js.map

package/dist/cli/markImplemented.js.map

@@ -1 +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;AACpF,EAAE;AACF,+FAA+F;AAC/F,kGAAkG;AAClG,gGAAgG;AAChG,sDAAsD;AAEtD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAMtG,+FAA+F;AAC/F,MAAM,eAAe,GAAG,oBAAoB,CAAC;AAC7C,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAEzC;;;;;;;;;;;;;;;GAeG;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,kBAAkB,IAAI,oBAAoB,KAAK,IAAI,EAAE,CAAC;QAC1E,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,IAAI,aAAa,KAAK,eAAe,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QAC9E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,oBAAoB,aAAa,IAAI,SAAS,0CAA0C;gBACxF,eAAe,eAAe,iEAAiE;SAClG,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,cAAc,EAAE,iBAAiB,EAAE,GAAG,mBAAmB,CACpE,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAC9B,CAAC;IAEF,wFAAwF;IACxF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAE,CAAC,IAAI,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,IAAI,QAAQ,2BAA2B,iBAAiB,YAAY,QAAQ,aAAa;gBACzF,+CAA+C,iBAAiB,WAAW;SAC9E,CAAC;IACJ,CAAC;IAED,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"}
+{"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,mFAAmF;AACnF,+FAA+F;AAC/F,qFAAqF;AACrF,iGAAiG;AACjG,+FAA+F;AAC/F,+EAA+E;AAC/E,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;AACpF,EAAE;AACF,+FAA+F;AAC/F,kGAAkG;AAClG,gGAAgG;AAChG,sDAAsD;AAEtD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACtG,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAOnD,+FAA+F;AAC/F,MAAM,eAAe,GAAG,oBAAoB,CAAC;AAC7C,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAEzC;;;;;;;;;;;;;;;;;;GAkBG;AACH;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CAAC,KAAa,EAAE,GAAW,EAAE,SAAwB;IAC7E,MAAM,SAAS,GAAG,cAAc,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,+CAA+C;IAC7E,MAAM,YAAY,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,MAAM,MAAM,GAA8B;QACxC,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAC3B,CAAC,YAAY,EAAE,GAAG,CAAC;QACnB,CAAC,WAAW,EAAE,SAAS,CAAC;KACzB,CAAC;IACF,MAAM,KAAK,GAAsD,EAAE,CAAC;IACpE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;;YAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3G,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,GAAW,EAAE,KAAa,EAAE,YAA2B,IAAI;IACrG,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;IAClF,MAAM,mBAAmB,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,gBAAgB,GACpB,aAAa,KAAK,kBAAkB,IAAI,CAAC,mBAAmB,KAAK,IAAI,IAAI,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAEjI,kGAAkG;IAClG,gGAAgG;IAChG,gGAAgG;IAChG,gGAAgG;IAChG,sEAAsE;IACtE,IAAI,gBAAgB,IAAI,oBAAoB,KAAK,IAAI,IAAI,aAAa,KAAK,eAAe,EAAE,CAAC;QAC3F,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,MAAM,eAAe,GACnB,aAAa,KAAK,kBAAkB;YAClC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,0BAA0B,aAAa,IAAI,SAAS,gEAAgE,CAAC;QAC3H,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,8DAA8D,oBAAoB,IAAI;gBACtF,cAAc,UAAU,4BAA4B,eAAe,EAAE;SACxE,CAAC;IACJ,CAAC;IAED,IAAI,aAAa,KAAK,eAAe,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QAC9E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,oBAAoB,aAAa,IAAI,SAAS,0CAA0C;gBACxF,eAAe,eAAe,iEAAiE;SAClG,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;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3E,YAAY,GAAG,iBAAiB,CAAC,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAE1G,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;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAsB,EACtB,IAAgB,EAChB,OAAe,EACf,QAAgB,EAChB,KAAa,EACb,YAA2B,IAAI;IAE/B,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,cAAc,EAAE,iBAAiB,EAAE,GAAG,mBAAmB,CACpE,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAC9B,CAAC;IAEF,wFAAwF;IACxF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAE,CAAC,IAAI,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,IAAI,QAAQ,2BAA2B,iBAAiB,YAAY,QAAQ,aAAa;gBACzF,+CAA+C,iBAAiB,WAAW;SAC9E,CAAC;IACJ,CAAC;IAED,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,EAAE,SAAS,CAAC,CAAC;IAClE,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,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAE5F,6FAA6F;IAC7F,4FAA4F;IAC5F,+FAA+F;IAC/F,8FAA8F;IAC9F,4FAA4F;IAC5F,0DAA0D;IAC1D,8FAA8F;IAC9F,qFAAqF;IACrF,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/F,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,GAAG,CAAC;QAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC/G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;AACpF,CAAC;AAED;;;;oEAIoE;AACpE,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,SAA6C;IAE7C,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IACjG,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC;AACxI,CAAC"}

package/dist/cli/ratify.d.ts

@@ -1,5 +1,6 @@
 import { NormalizedModel } from "../model/model.js";
 import { RefsResult } from "../model/refs.js";
+import { GitRunner } from "./diff-inputs.js";
 /** MIL-238: the ratifier's API-first statement about this version of a public-touching slice. */
 export type MeaningConfirmation = {
     kind: "meaning-unchanged";
@@ -29,9 +30,10 @@ export declare function stripMeaningConfirmation(inner: string): string;
  *  (docs/process.md#the-slice-lifecycle-gates): contracts/invariants agreed, open questions
  *  resolved or deferred, ready for an implementing agent or engineer to pick up. */
 export declare const RATIFIED_STATUS = "ready-to-implement";
-/** One upstream producing slice (in timeline order earlier than the slice being ratified) whose
- *  doc hasn't reached `ready-to-implement`/`implemented` yet. `status` is the doc's own status
- *  string, or the literal `"no doc"` when no doc is bound/found for that slice at all. */
+/** One upstream producing slice (in timeline order earlier than the slice being ratified) that
+ *  is neither shipped (its shipped record, MIL-283) nor ratified (`ready-to-implement`). `status`
+ *  is the doc's own status string, or the literal `"no doc"` when no doc is bound/found for that
+ *  slice at all. */
 export interface UpstreamUnratifiedSlice {
     sliceKey: string;
     status: string;
@@ -40,7 +42,7 @@ export interface UpstreamUnratifiedSlice {
  * MIL-198 (ruling R5): for every element in the `sliceKey` slice, walks the query index's `in`
  * adjacency one hop to find producing elements that live in OTHER slices (a producer in the SAME
  * slice isn't a cross-slice dependency), dedupes by upstream slice, and reports every upstream
- * slice whose doc status isn't `ready-to-implement`/`implemented` — sorted by the upstream
+ * slice that is neither shipped nor `ready-to-implement` — sorted by the upstream
  * slice's position on the timeline (`Slice.index`), so the advisory itself reads in the order the
  * team should catch up in. Advisory data only: never refuses, callers decide whether/how to print
  * it. An unknown `sliceKey` (shouldn't happen — the caller already resolved it) yields `[]`
@@ -76,7 +78,35 @@ export type ApplyRatifyResult = {
  * that refusal message (and in the caller's skip notice); every other refusal here is about the
  * doc's own text. No fs access — the caller reads/writes; see `runRatify` below.
  */
-export declare function applyRatifyFrontmatter(raw: string, sliceKey: string, ratifiedBy: string, ratifiedOn: string, skipReview?: boolean, confirmation?: MeaningConfirmation | null): ApplyRatifyResult;
+/**
+ * MIL-284: what `em slice ratify` records as the ratified content's address — `ratifiedRef:` (the
+ * commit whose tree holds the body being signed; null outside a git repository) and
+ * `ratifiedHash:` (`sha256:` over the body, always). `runRatify` resolves it via
+ * `resolveRatifiedIdentity`; the pure transform just writes whatever it is handed, so tests and
+ * non-git callers can pass their own.
+ */
+export interface RatifiedIdentity {
+    ref: string | null;
+    hash: string;
+}
+export type RatifiedIdentityResult = {
+    ok: true;
+    identity: RatifiedIdentity;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * MIL-284: computes the identity `applyRatifyFrontmatter` records. The hash needs no git. The
+ * ref does, and ratifying a doc with uncommitted changes would record a ref whose tree does not
+ * hold the body being signed — so inside a repository that is a refusal, not a warning. Outside
+ * one (`git` null, or the model dir is not in a work tree) the ref is simply absent: the hash
+ * still gives the ratified body an identity, and `--slice-ready` still checks it. Every git call
+ * runs `-C baseDir` — the model's directory, never the process cwd — so a model nested in a
+ * larger repository, or run from elsewhere, resolves against the right work tree.
+ */
+export declare function resolveRatifiedIdentity(git: GitRunner | null, baseDir: string, docPath: string, raw: string): RatifiedIdentityResult;
+export declare function applyRatifyFrontmatter(raw: string, sliceKey: string, ratifiedBy: string, ratifiedOn: string, skipReview?: boolean, confirmation?: MeaningConfirmation | null, identity?: RatifiedIdentity | null): ApplyRatifyResult;
 export type RunRatifyResult = {
     ok: true;
     path: string;
@@ -95,4 +125,4 @@ export type RunRatifyResult = {
  * `--slice-ready`/`em export` use (MIL-121 cross-binding included), then reads/applies/writes
  * it. `baseDir` is the `.em` file's directory, same convention every doc/note path in `em` uses.
  */
-export declare function runRatify(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string, ratifiedBy: string, ratifiedOn: string, skipReview?: boolean, confirmation?: MeaningConfirmation | null): RunRatifyResult;
+export declare function runRatify(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string, ratifiedBy: string, ratifiedOn: string, skipReview?: boolean, confirmation?: MeaningConfirmation | null, git?: GitRunner | null): RunRatifyResult;