@tacuchi/agent-workflow-cli 21.8.0 → 21.10.0

package/dist/application/retirement/history-events.js

@@ -0,0 +1,158 @@
+/**
+ * The one durable Workline trace a retirement leaves: an append-only row.
+ *
+ * It is a SECOND table in `HISTORY.md`, under its own heading, and never the
+ * session table. The session table is an upsert keyed by session — exactly the
+ * wrong shape here, because the session it would key on no longer exists and
+ * because a terminal event must never be rewritten. So this ledger only ever
+ * grows, and its key is the operation's own digest.
+ *
+ * That key is what makes the same approval, retried, recognize itself instead of
+ * appending a second row for one operation. It is also the re-entry signal for a
+ * retirement with no git side at all: with no ref to compare, the presence of this
+ * row IS the answer to "did the commit point pass".
+ */
+import { formatNodeId } from "../../domain/workline-node.js";
+import { localDateIso } from "../dates.js";
+import { ensureHistoryFile } from "../history-table.js";
+const HEADING = "## Retiros";
+const TABLE_HEADER = "| Operación | Fecha | Comando | Objetivo | Resultado |\n" +
+    "|-----------|-------|---------|----------|-----------|";
+/** Short enough to read, long enough to identify: the digest's first 12 chars. */
+function key(digest) {
+    return digest.slice(0, 12);
+}
+/**
+ * The row a successful retirement adds, derived from the sealed proposal.
+ *
+ * Every cell comes from the object that was authorized: the command, the target,
+ * what disappeared or was restored, and what happened in git. A row assembled from
+ * a later reading of the workspace could describe something the person never
+ * approved.
+ */
+export function eventOf(proposal, now = new Date()) {
+    const git = proposal.publication === null
+        ? "sin efectos git"
+        : `${proposal.reverts.length} revert(s) en ${proposal.publication.ref} → árbol ${proposal.publication.expected_tree.slice(0, 12)}${proposal.reverts.some((r) => r.published)
+            ? " · publicación remota pendiente y externa"
+            : ""}`;
+    return {
+        operation: key(proposal.digest),
+        date: localDateIso(now),
+        command: proposal.event.command,
+        target: formatNodeId(proposal.target),
+        result: `${proposal.event.summary} · ${git}`,
+    };
+}
+/**
+ * Every terminal event the ledger holds, oldest first.
+ *
+ * Read for the projections, and kept strictly apart from `status.discarded`, which
+ * means something else entirely: items a session DEFERRED or EXCLUDED from its
+ * scope. Folding a retirement into that list would make "discarded" mean two
+ * different things on the same board — one of them recoverable and one of them not.
+ */
+export async function readEvents(fs, paths) {
+    const path = paths.cwdHistoryFile();
+    if (!(await fs.exists(path)))
+        return [];
+    let text;
+    try {
+        text = await fs.readText(path);
+    }
+    catch {
+        return [];
+    }
+    const out = [];
+    let inTable = false;
+    for (const line of text.split("\n")) {
+        const trimmed = line.trim();
+        if (trimmed === HEADING) {
+            inTable = true;
+            continue;
+        }
+        if (!inTable)
+            continue;
+        if (trimmed.startsWith("#"))
+            break;
+        const event = rowOf(trimmed);
+        if (event !== null)
+            out.push(event);
+    }
+    return out;
+}
+/** One data row of the ledger; `null` for the header, the separator or a non-row. */
+function rowOf(line) {
+    if (!line.startsWith("|"))
+        return null;
+    // `| a | b | c | d | e |` splits into ["", a, b, c, d, e, ""].
+    const cells = line.split("|").map((c) => c.trim());
+    if (cells.length < 7)
+        return null;
+    const [, operation, date, command, target, result] = cells;
+    if (operation === "Operación" || /^[-:]+$/.test(operation))
+        return null;
+    return { operation, date, command, target, result };
+}
+/** Whether this operation's row is already there — the idempotence check. */
+export async function hasEvent(fs, paths, digest) {
+    const path = paths.cwdHistoryFile();
+    if (!(await fs.exists(path)))
+        return false;
+    try {
+        return (await fs.readText(path)).includes(`| ${key(digest)} |`);
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Append the row, once.
+ *
+ * Idempotent by the digest, and append-only by construction: it inserts at the end
+ * of its own table and rewrites nothing above it, so no previous row — of either
+ * table — can be lost by a retirement.
+ */
+export async function appendEvent(fs, paths, event) {
+    const path = paths.cwdHistoryFile();
+    await ensureHistoryFile(fs, path);
+    const text = await fs.readText(path);
+    if (text.includes(`| ${event.operation} |`))
+        return { appended: false };
+    const row = `| ${event.operation} | ${event.date} | ${event.command} | ${event.target} | ${event.result} |`;
+    if (!text.includes(HEADING)) {
+        const base = text.endsWith("\n") ? text : `${text}\n`;
+        await fs.writeText(path, `${base}\n${HEADING}\n\n${TABLE_HEADER}\n${row}\n`);
+        return { appended: true };
+    }
+    // The table already exists: the row goes at the END of it, and everything else
+    // in the file is copied through untouched.
+    const lines = text.split("\n");
+    const last = lastRowIndex(lines);
+    if (last === -1) {
+        const base = text.endsWith("\n") ? text : `${text}\n`;
+        await fs.writeText(path, `${base}${TABLE_HEADER}\n${row}\n`);
+        return { appended: true };
+    }
+    lines.splice(last + 1, 0, row);
+    await fs.writeText(path, lines.join("\n"));
+    return { appended: true };
+}
+/** Index of the last row of the retirements table; `-1` when it has none yet. */
+function lastRowIndex(lines) {
+    let last = -1;
+    let inTable = false;
+    for (let i = 0; i < lines.length; i++) {
+        const line = (lines[i] ?? "").trim();
+        if (line === HEADING)
+            inTable = true;
+        else if (!inTable)
+            continue;
+        else if (line.startsWith("|"))
+            last = i;
+        else if (line.startsWith("#"))
+            break;
+    }
+    return last;
+}
+//# sourceMappingURL=history-events.js.map

package/dist/application/retirement/history-events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-events.js","sourceRoot":"","sources":["../../../src/application/retirement/history-events.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,MAAM,OAAO,GAAG,YAAY,CAAC;AAE7B,MAAM,YAAY,GAChB,0DAA0D;IAC1D,wDAAwD,CAAC;AAE3D,kFAAkF;AAClF,SAAS,GAAG,CAAC,MAAc;IACzB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC7B,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CAAC,QAA4B,EAAE,MAAY,IAAI,IAAI,EAAE;IAC1E,MAAM,GAAG,GACP,QAAQ,CAAC,WAAW,KAAK,IAAI;QAC3B,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,iBAAiB,QAAQ,CAAC,WAAW,CAAC,GAAG,YAAY,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAC5H,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACvC,CAAC,CAAC,2CAA2C;YAC7C,CAAC,CAAC,EACN,EAAE,CAAC;IACT,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC;QACvB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO;QAC/B,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,MAAM,GAAG,EAAE;KAC7C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,EAAkB,EAClB,KAAmB;IAEnB,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC;IACpC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YACxB,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qFAAqF;AACrF,SAAS,KAAK,CAAC,IAAY;IACzB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,+DAA+D;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,KAOpD,CAAC;IACF,IAAI,SAAS,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,EAAkB,EAClB,KAAmB,EACnB,MAAc;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC;IACpC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,EAAkB,EAClB,KAAmB,EACnB,KAAoB;IAEpB,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC;IACpC,MAAM,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAExE,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,SAAS,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,OAAO,MAAM,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,MAAM,IAAI,CAAC;IAC5G,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC;QACtD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,KAAK,OAAO,OAAO,YAAY,KAAK,GAAG,IAAI,CAAC,CAAC;QAC7E,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED,+EAA+E;IAC/E,2CAA2C;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC;QACtD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,GAAG,YAAY,KAAK,GAAG,IAAI,CAAC,CAAC;QAC7D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5B,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,KAAwB;IAC5C,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,GAAG,IAAI,CAAC;aAChC,IAAI,CAAC,OAAO;YAAE,SAAS;aACvB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC;aACnC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/application/retirement/journal.js

@@ -0,0 +1,113 @@
+/**
+ * The journal: the only thing that exists between "nothing happened" and "it is
+ * done".
+ *
+ * A retirement deletes session folders, so its own record cannot live inside one —
+ * the operation would erase the evidence it needs to finish itself. It lives under
+ * `.workflow/.retirement/`, outside everything the operation is allowed to remove,
+ * and it disappears when the operation converges.
+ *
+ * What it exists for is a single question a re-entering process has to answer:
+ * **which side of the commit point is the world on?** And the answer is never "how
+ * far did the previous process think it got" — that reading died with the process.
+ * The answer is the REF: at the prepared tip means committed, still at the expected
+ * old value means nothing was published. So the journal carries the two values that
+ * make the question answerable, and the phase it records is a hint for a human, not
+ * the decision.
+ *
+ * While a journal exists, the operation is neither a success nor a failure: it is
+ * IN FLIGHT, and every Workline surface that projects state has to say so rather
+ * than describe a half-retired workspace as if it were finished.
+ */
+import { join } from "node:path";
+/** Directory the journals live in — outside every deletable session. */
+export const JOURNAL_DIR = ".retirement";
+export const JOURNAL_VERSION = 1;
+export function journalDir(paths) {
+    return join(paths.cwdRoot(), JOURNAL_DIR);
+}
+export function journalPath(paths, digest) {
+    return join(journalDir(paths), `${digest}.json`);
+}
+export function quarantinePath(paths, digest) {
+    return join(journalDir(paths), `${digest}.quarantine`);
+}
+export function openJournal(input) {
+    return {
+        version: JOURNAL_VERSION,
+        digest: input.proposal.digest,
+        phase: "prepared",
+        opened: input.opened,
+        proposal: input.proposal,
+        quarantine: input.quarantine,
+        private_refs: [],
+    };
+}
+export async function writeJournal(fs, paths, journal) {
+    await fs.mkdirp(journalDir(paths));
+    await fs.writeText(journalPath(paths, journal.digest), `${JSON.stringify(journal, null, 2)}\n`);
+}
+export async function dropJournal(fs, paths, digest) {
+    await fs.remove(journalPath(paths, digest));
+}
+export async function readJournal(fs, paths, digest) {
+    const path = journalPath(paths, digest);
+    if (!(await fs.exists(path)))
+        return { status: "absent" };
+    return parseJournal(fs, path);
+}
+/**
+ * Every journal in flight right now.
+ *
+ * Read by the surfaces that project state, because a workspace with a journal is
+ * not a workspace anybody can describe yet: one of its sessions may be gone from
+ * disk while its row is not written, or a ref may have moved while the filesystem
+ * has not caught up. Reporting the pending operation is what turns that window
+ * from a lie into a visible state.
+ */
+export async function listPendingJournals(fs, paths) {
+    const dir = journalDir(paths);
+    if (!(await fs.exists(dir)))
+        return { journals: [], unreadable: [] };
+    const journals = [];
+    const unreadable = [];
+    for (const entry of await fs.list(dir)) {
+        if (entry.type !== "file" || !entry.name.endsWith(".json"))
+            continue;
+        const read = await parseJournal(fs, entry.path);
+        if (read.status === "present")
+            journals.push(read.journal);
+        else if (read.status === "unreadable")
+            unreadable.push({ path: entry.path, reason: read.reason });
+    }
+    return { journals, unreadable };
+}
+async function parseJournal(fs, path) {
+    let parsed;
+    try {
+        parsed = JSON.parse(await fs.readText(path));
+    }
+    catch (err) {
+        return {
+            status: "unreadable",
+            reason: `no se pudo leer el journal de retiro ${path}: ${err instanceof Error ? err.message : String(err)}`,
+        };
+    }
+    if (!isJournal(parsed)) {
+        return { status: "unreadable", reason: `${path} no tiene la forma de un journal de retiro` };
+    }
+    return { status: "present", journal: parsed };
+}
+function isJournal(value) {
+    if (value === null || typeof value !== "object")
+        return false;
+    const j = value;
+    return (typeof j.version === "number" &&
+        typeof j.digest === "string" &&
+        typeof j.phase === "string" &&
+        typeof j.quarantine === "string" &&
+        Array.isArray(j.private_refs) &&
+        j.proposal !== null &&
+        typeof j.proposal === "object");
+}
+//# sourceMappingURL=journal.js.map

package/dist/application/retirement/journal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"journal.js","sourceRoot":"","sources":["../../../src/application/retirement/journal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAKjC,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AAmCzC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC;AAEjC,MAAM,UAAU,UAAU,CAAC,KAAmB;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAmB,EAAE,MAAc;IAC7D,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAmB,EAAE,MAAc;IAChE,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,aAAa,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAI3B;IACC,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;QAC7B,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,EAAkB,EAClB,KAAmB,EACnB,OAA0B;IAE1B,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,EAAkB,EAClB,KAAmB,EACnB,MAAc;IAEd,MAAM,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC9C,CAAC;AAOD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,EAAkB,EAClB,KAAmB,EACnB,MAAc;IAEd,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC1D,OAAO,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,EAAkB,EAClB,KAAmB;IAEnB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACrE,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,UAAU,GAA4C,EAAE,CAAC;IAC/D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACrE,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACtD,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY;YACnC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClC,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,EAAkB,EAAE,IAAY;IAC1D,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,wCAAwC,IAAI,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;SAC5G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,4CAA4C,EAAE,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,OAAO,CACL,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;QAC7B,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;QAC5B,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;QAC3B,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;QAC7B,CAAC,CAAC,QAAQ,KAAK,IAAI;QACnB,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAC/B,CAAC;AACJ,CAAC"}

package/dist/application/retirement/prepare.js

@@ -0,0 +1,233 @@
+/**
+ * `prepare`: everything a retirement would do, sealed, having changed nothing.
+ *
+ * It writes no session, no journal, no file and no ref. That is not an
+ * optimization — it is what makes the preview safe to run on the wrong target,
+ * which is exactly what somebody about to delete work needs to be able to do.
+ *
+ * The whole answer comes out of ONE object. The preview a person reads, the digest
+ * they approve and the effects `apply` performs are three views of the same record,
+ * so "what I was shown" and "what will happen" cannot drift apart into two
+ * descriptions that disagree.
+ */
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { sealRetirementProposal, } from "../../domain/retirement/proposal.js";
+import { parseTargetSelector, selectorText } from "../../domain/retirement/selector.js";
+import { baselineDigest } from "../../domain/session/custody.js";
+import { formatNodeId } from "../../domain/workline-node.js";
+import { semanticDigest } from "../semantic-operation/protocol.js";
+import { readBindingRegistry } from "../session-binding-service.js";
+import { attributeGitEffects } from "./attribution.js";
+import { buildRetirementGraph } from "./graph.js";
+import { resolveDiscardClosure, resolveResetClosure, resolveResetSession, resolveTarget, } from "./resolve.js";
+export async function prepareRetirement(deps, input) {
+    const parsed = parseTargetSelector(input.target);
+    if (!parsed.ok) {
+        return {
+            ok: false,
+            rejection: {
+                code: "TARGET_NOT_FOUND",
+                message: parsed.problem.message,
+                candidates: [],
+                action: parsed.problem.action,
+            },
+        };
+    }
+    const { graph } = await buildRetirementGraph(deps);
+    const found = resolveTarget(graph, parsed.selector);
+    if (!found.ok)
+        return { ok: false, rejection: found.rejection };
+    const closure = input.mode === "discard"
+        ? resolveDiscardClosure(graph, found.node)
+        : await resetClosure(graph, found.node);
+    if (!closure.ok)
+        return { ok: false, rejection: closure.rejection };
+    return buildProposal(deps, closure.closure, selectorText(parsed.selector));
+}
+function resetClosure(graph, target) {
+    const session = resolveResetSession(graph, target);
+    if (!session.ok)
+        return { ok: false, rejection: session.rejection };
+    return resolveResetClosure(graph, session.node);
+}
+async function buildProposal(deps, closure, targetText) {
+    const readSet = [];
+    const deletes = [];
+    const restores = [];
+    const units = [];
+    const blocks = [];
+    const dirty = [];
+    const reverts = [];
+    const publications = [];
+    const restored = new Set();
+    for (const entry of closure.entries) {
+        if (entry.node.kind === "session") {
+            await collectSession(deps, entry.node, {
+                mode: closure.mode,
+                deletes,
+                restores,
+                restored,
+                units,
+                dirty,
+                reverts,
+                publications,
+                blocks,
+                readSet,
+            });
+            continue;
+        }
+        // A document in the closure disappears whole. Its digest travels so `apply`
+        // can tell "the file I was shown" from "a file somebody edited since" — read
+        // ONCE, because two readings of the same file could disagree and then the
+        // delete and the compare-and-swap would be checking different things.
+        const digest = await digestOf(deps.fs, entry.node.absolute_path);
+        deletes.push({ path: entry.node.path, kind: "file", digest });
+        readSet.push({ id: `doc:${entry.node.path}`, digest: digest ?? "absent" });
+    }
+    if (blocks.length > 0) {
+        return {
+            ok: false,
+            rejection: {
+                code: "SHARED_CONSUMER",
+                message: blocks.map((b) => b.reason).join("; "),
+                candidates: blocks.flatMap((b) => b.contested),
+                action: blocks[0]?.action ?? "resolvé la atribución compartida y reintentá",
+            },
+            blocks,
+        };
+    }
+    // A restore and a delete over the same path would be two instructions for one
+    // file. The restore wins: it is the one that knows what should be there.
+    const finalDeletes = deletes.filter((d) => !restored.has(d.path));
+    const bindings = await bindingsOf(deps, closure, readSet);
+    return {
+        ok: true,
+        proposal: sealRetirementProposal({
+            mode: closure.mode,
+            target: closure.target.id,
+            closure: closure.entries.map((e) => ({ node: e.node.id, path: e.node.path, reason: e.reason })),
+            deletes: finalDeletes,
+            restores,
+            bindings,
+            units,
+            dirty,
+            reverts,
+            // More than one would mean two commit points; the attribution refuses that
+            // shape upstream, so reaching here with two is impossible by construction.
+            publication: publications[0] ?? null,
+            event: eventOf(closure, targetText, finalDeletes, restores),
+            read_set: readSet,
+        }),
+    };
+}
+/**
+ * What one session in the closure contributes.
+ *
+ * The mode decides only ONE thing here — whether the session's declared inputs go
+ * back to their previous bytes — and everything else is identical. A discard that
+ * restored inputs would undo work the user asked to keep; a reset that did not
+ * would leave the document half-executed. Both modes remove the session folder,
+ * its units and its attributable git effects, because those are the session's own
+ * either way.
+ */
+async function collectSession(deps, node, collector) {
+    const facts = node.session;
+    if (facts === null)
+        return;
+    collector.deletes.push({ path: node.path, kind: "directory", digest: null });
+    const custody = facts.custody;
+    for (const unit of facts.units) {
+        collector.units.push({
+            alias: unit.alias,
+            session: facts.folder,
+            path: unit.path,
+            branch: unit.branch,
+            // From the custody's own record of that source; empty when a legacy session
+            // has a unit but no custody, and then the unit is reported rather than touched.
+            repo: custody?.sources.find((s) => s.alias === unit.alias)?.path ?? "",
+        });
+    }
+    if (custody === null)
+        return;
+    collector.readSet.push({ id: `custody:${facts.folder}`, digest: custody.digest });
+    for (const artifact of custody.artifacts) {
+        if (artifact.role === "output") {
+            // Born inside the session: it goes, in both modes.
+            const absolute = join(deps.paths.workspaceDir(), artifact.path);
+            collector.deletes.push({
+                path: artifact.path,
+                kind: "file",
+                digest: await digestOf(deps.fs, absolute),
+            });
+            continue;
+        }
+        if (collector.mode !== "reset")
+            continue;
+        const absolute = join(deps.paths.workspaceDir(), artifact.path);
+        collector.restores.push({
+            path: artifact.path,
+            existed: artifact.before.existed,
+            content: artifact.before.content,
+            digest: artifact.before.digest,
+            current_digest: await digestOf(deps.fs, absolute),
+        });
+        collector.restored.add(artifact.path);
+    }
+    const attribution = await attributeGitEffects(deps.git, custody, {
+        scratchDir: tmpdir(),
+        opId: facts.folder,
+    });
+    collector.dirty.push(...attribution.dirty);
+    collector.reverts.push(...attribution.reverts);
+    collector.blocks.push(...attribution.blocks);
+    if (attribution.publication !== null)
+        collector.publications.push(attribution.publication);
+    for (const source of custody.sources) {
+        const tree = source.unit_path ?? source.path;
+        collector.readSet.push({
+            id: `git:${source.alias}/HEAD`,
+            digest: (await headOf(deps.git, tree)) ?? "unborn",
+        });
+    }
+}
+/** Conversation associations that stop resolving once the closure is gone. */
+async function bindingsOf(deps, closure, readSet) {
+    const read = await readBindingRegistry(deps.fs, deps.paths);
+    if (!read.ok)
+        return [];
+    readSet.push({ id: "bindings", digest: semanticDigest(read.registry.bindings) });
+    const folders = new Set(closure.entries
+        .filter((e) => e.node.kind === "session")
+        .map((e) => e.node.session?.folder ?? e.node.id.key));
+    return Object.entries(read.registry.bindings)
+        .filter(([, folder]) => folders.has(folder))
+        .map(([contextHash]) => contextHash)
+        .sort();
+}
+function eventOf(closure, targetText, deletes, restores) {
+    const summary = closure.mode === "discard"
+        ? `retirado ${targetText}: ${closure.entries.length} nodos, ${deletes.length} rutas`
+        : `restaurado ${restores.length} artefacto(s) y retirada ${formatNodeId(closure.target.id)}`;
+    return { command: closure.mode, key: formatNodeId(closure.target.id), summary };
+}
+/** `null` when the path is not there — an absence is a fact, not a failure. */
+async function digestOf(fs, absolute) {
+    if (!(await fs.exists(absolute)))
+        return null;
+    try {
+        return baselineDigest(await fs.readText(absolute));
+    }
+    catch {
+        return null;
+    }
+}
+async function headOf(git, tree) {
+    try {
+        return await git.head(tree);
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=prepare.js.map

package/dist/application/retirement/prepare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prepare.js","sourceRoot":"","sources":["../../../src/application/retirement/prepare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAUL,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACxF,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAK7D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAyB,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAwC,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACxF,OAAO,EAGL,qBAAqB,EACrB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,GACd,MAAM,cAAc,CAAC;AAkBtB,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAiB,EACjB,KAAmB;IAEnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,SAAS,EAAE;gBACT,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;gBAC/B,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;aAC9B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;IAEhE,MAAM,OAAO,GACX,KAAK,CAAC,IAAI,KAAK,SAAS;QACtB,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;IAEpE,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,YAAY,CACnB,KAAsB,EACtB,MAAiB;IAEjB,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;IACpE,OAAO,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,IAAiB,EACjB,OAAwB,EACxB,UAAkB;IAElB,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAgC,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,MAAM,YAAY,GAA4B,EAAE,CAAC;IAEjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;gBACrC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO;gBACP,QAAQ;gBACR,QAAQ;gBACR,KAAK;gBACL,KAAK;gBACL,OAAO;gBACP,YAAY;gBACZ,MAAM;gBACN,OAAO;aACR,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,4EAA4E;QAC5E,6EAA6E;QAC7E,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,IAAI,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,SAAS,EAAE;gBACT,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/C,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9C,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,8CAA8C;aAC5E;YACD,MAAM;SACP,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElE,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO;QACL,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,sBAAsB,CAAC;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAChF;YACD,OAAO,EAAE,YAAY;YACrB,QAAQ;YACR,QAAQ;YACR,KAAK;YACL,KAAK;YACL,OAAO;YACP,2EAA2E;YAC3E,2EAA2E;YAC3E,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI;YACpC,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC;YAC3D,QAAQ,EAAE,OAAO;SAClB,CAAC;KACH,CAAC;AACJ,CAAC;AAeD;;;;;;;;;GASG;AACH,KAAK,UAAU,cAAc,CAC3B,IAAiB,EACjB,IAAe,EACf,SAA2B;IAE3B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;IAC3B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAE7E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,KAAK,CAAC,MAAM;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,4EAA4E;YAC5E,gFAAgF;YAChF,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE;SACvE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAC7B,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAElF,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,mDAAmD;YACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YAChE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC;aAC1C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChE,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;YAChC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;YAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;YAC9B,cAAc,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC;SAClD,CAAC,CAAC;QACH,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE;QAC/D,UAAU,EAAE,MAAM,EAAE;QACpB,IAAI,EAAE,KAAK,CAAC,MAAM;KACnB,CAAC,CAAC;IACH,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC3C,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAC/C,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,WAAW,CAAC,WAAW,KAAK,IAAI;QAAE,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IAC3F,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC;QAC7C,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;YACrB,EAAE,EAAE,OAAO,MAAM,CAAC,KAAK,OAAO;YAC9B,MAAM,EAAE,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,QAAQ;SACnD,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,UAAU,CACvB,IAAiB,EACjB,OAAwB,EACxB,OAAuB;IAEvB,MAAM,IAAI,GAAG,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,OAAO,CAAC,OAAO;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CACvD,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;SAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC;SACnC,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,OAAO,CACd,OAAwB,EACxB,UAAkB,EAClB,OAAoC,EACpC,QAAsC;IAEtC,MAAM,OAAO,GACX,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,YAAY,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,WAAW,OAAO,CAAC,MAAM,QAAQ;QACpF,CAAC,CAAC,cAAc,QAAQ,CAAC,MAAM,4BAA4B,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;IACjG,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AAClF,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,QAAQ,CAAC,EAAkB,EAAE,QAAgB;IAC1D,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,GAAY,EAAE,IAAY;IAC9C,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/application/retirement/preview.js

@@ -0,0 +1,101 @@
+/**
+ * The preview: the sealed proposal, read out loud.
+ *
+ * Every line below is DERIVED from the record — nothing is authored here and
+ * nothing is looked up again. That is the property the whole authorization rests
+ * on: the person reads this, approves the digest, and `apply` performs the same
+ * object. A preview assembled from a second reading of the workspace could describe
+ * a retirement that differs from the one being approved, and it would be the
+ * description a human trusts.
+ *
+ * The human projection and the JSON are two renderings of one structure for the
+ * same reason: a terminal user and an agent host must be able to disagree about
+ * formatting and never about scope.
+ */
+import { proposesReverts } from "../../domain/retirement/proposal.js";
+import { formatNodeId } from "../../domain/workline-node.js";
+export function retirementPreview(proposal) {
+    return {
+        mode: proposal.mode,
+        target: formatNodeId(proposal.target),
+        digest: proposal.digest,
+        disappears: proposal.closure.map((entry) => ({
+            node: formatNodeId(entry.node),
+            path: entry.path,
+            reason: entry.reason,
+        })),
+        restores: proposal.restores.map((restore) => ({
+            path: restore.path,
+            to: restore.existed ? "bytes-previos" : "inexistente",
+            // What the person most needs to see: the file moved since the baseline was
+            // sealed, so restoring it discards whatever happened in between.
+            changed_since: restore.current_digest !== restore.digest,
+        })),
+        local_changes: proposal.dirty.map((change) => ({
+            alias: change.alias,
+            tree: change.tree,
+            paths: change.paths,
+            exclusive_unit: change.exclusive_unit,
+        })),
+        reverts: proposal.reverts.map((revert) => ({
+            alias: revert.alias,
+            commit: revert.commit,
+            ref: revert.ref,
+            published: revert.published,
+        })),
+        publication: proposal.publication === null
+            ? null
+            : {
+                alias: proposal.publication.alias,
+                ref: proposal.publication.ref,
+                expected_old: proposal.publication.expected_old,
+                expected_tree: proposal.publication.expected_tree,
+                revert_count: proposal.publication.revert_count,
+            },
+        units: proposal.units.map((unit) => ({
+            alias: unit.alias,
+            session: unit.session,
+            branch: unit.branch,
+        })),
+        bindings: proposal.bindings.length,
+        history_row: `${proposal.event.command} · ${proposal.event.key} · ${proposal.event.summary}`,
+        touches_git_history: proposesReverts(proposal),
+    };
+}
+/**
+ * The terminal reading of the same structure.
+ *
+ * A section with nothing in it is omitted rather than printed empty: a preview
+ * that lists "reverts: none" next to five other empty headings buries the two
+ * lines that matter, and what matters here is noticing a revert BEFORE approving.
+ */
+export function renderRetirementPreview(preview) {
+    const lines = [];
+    const verb = preview.mode === "discard" ? "Retirar" : "Restaurar";
+    lines.push(`${verb} ${preview.target}`);
+    lines.push(`Digest de aprobación: ${preview.digest}`);
+    section(lines, "Desaparece", preview.disappears.map((d) => `${d.node} — ${d.path} (${d.reason})`));
+    section(lines, "Vuelve atrás", preview.restores.map((r) => `${r.path} → ${r.to}${r.changed_since ? " (cambió desde el baseline)" : ""}`));
+    section(lines, "Cambios locales que se descartan", preview.local_changes.map((c) => `${c.alias} (${c.exclusive_unit ? "unidad exclusiva" : "checkout compartido"}): ${c.paths.join(", ")}`));
+    section(lines, "Commits que se revierten (nuevo commit, sin reescribir)", preview.reverts.map((r) => `${r.alias} ${r.commit.slice(0, 12)} → ${r.ref}${r.published ? " · publicado: el push queda pendiente y externo" : ""}`));
+    if (preview.publication !== null) {
+        const p = preview.publication;
+        section(lines, "Punto de commit (el único)", [
+            `${p.alias} · ${p.ref} · desde ${(p.expected_old ?? "inexistente").slice(0, 12)} · ${p.revert_count} revert(s) hasta el árbol ${p.expected_tree.slice(0, 12)}`,
+        ]);
+    }
+    section(lines, "Unidades que se reconcilian", preview.units.map((u) => `${u.alias} · ${u.branch}`));
+    if (preview.bindings > 0) {
+        section(lines, "Asociaciones de conversación que dejan de resolver", [`${preview.bindings}`]);
+    }
+    section(lines, "Huella en HISTORY", [preview.history_row]);
+    return lines.join("\n");
+}
+function section(lines, title, items) {
+    if (items.length === 0)
+        return;
+    lines.push("", `${title}:`);
+    for (const item of items)
+        lines.push(`  - ${item}`);
+}
+//# sourceMappingURL=preview.js.map

package/dist/application/retirement/preview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preview.js","sourceRoot":"","sources":["../../../src/application/retirement/preview.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAsC7D,MAAM,UAAU,iBAAiB,CAAC,QAA4B;IAC5D,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;QACrC,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;YAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;QACH,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAE,eAAyB,CAAC,CAAC,CAAE,aAAuB;YAC3E,2EAA2E;YAC3E,iEAAiE;YACjE,aAAa,EAAE,OAAO,CAAC,cAAc,KAAK,OAAO,CAAC,MAAM;SACzD,CAAC,CAAC;QACH,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC7C,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACzC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC,CAAC;QACH,WAAW,EACT,QAAQ,CAAC,WAAW,KAAK,IAAI;YAC3B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,KAAK;gBACjC,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG;gBAC7B,YAAY,EAAE,QAAQ,CAAC,WAAW,CAAC,YAAY;gBAC/C,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,aAAa;gBACjD,YAAY,EAAE,QAAQ,CAAC,WAAW,CAAC,YAAY;aAChD;QACP,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM;QAClC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,MAAM,QAAQ,CAAC,KAAK,CAAC,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE;QAC5F,mBAAmB,EAAE,eAAe,CAAC,QAAQ,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAA0B;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAEtD,OAAO,CACL,KAAK,EACL,YAAY,EACZ,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CACrE,CAAC;IACF,OAAO,CACL,KAAK,EACL,cAAc,EACd,OAAO,CAAC,QAAQ,CAAC,GAAG,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,EAAE,CACpF,CACF,CAAC;IACF,OAAO,CACL,KAAK,EACL,kCAAkC,EAClC,OAAO,CAAC,aAAa,CAAC,GAAG,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,qBAAqB,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CACF,CAAC;IACF,OAAO,CACL,KAAK,EACL,yDAAyD,EACzD,OAAO,CAAC,OAAO,CAAC,GAAG,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1H,CACF,CAAC;IACF,IAAI,OAAO,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC;QAC9B,OAAO,CAAC,KAAK,EAAE,4BAA4B,EAAE;YAC3C,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,IAAI,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,6BAA6B,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;SAC/J,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CACL,KAAK,EACL,6BAA6B,EAC7B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CACrD,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,KAAK,EAAE,oDAAoD,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,OAAO,CAAC,KAAe,EAAE,KAAa,EAAE,KAAwB;IACvE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;AACtD,CAAC"}