@astrosheep/keiyaku 4.0.5 → 4.1.0

package/build/src/cli/parse.d.ts

@@ -1,6 +1,6 @@
 import { type ParsedTaskCommand, type TaskAction } from "./commands/task.js";
 import { type AkumaAction, type ParsedAkumaCommand } from "./commands/akuma.js";
-import type { CatalogQuery } from "../index.js";
+import type { CatalogQuery } from "../library/catalog.js";
 import { type ParsedInstallCommand } from "./commands/install.js";
 import { type ContractCommand as Command } from "./commands/contract.js";
 export { CliUsageError } from "./usage.js";
@@ -8,6 +8,7 @@ export type { Command };
 export declare function renderRootHelp(): string;
 export declare function renderContractHelp(command: Command): string;
 export declare function renderCommandUsage(command: ParsedCommand): string;
+export declare function renderHelp(coordinate: CliHelpCoordinate): string;
 type Output = Readonly<{
     output: "text" | "json";
 }>;
@@ -35,6 +36,7 @@ export type ParsedDeliver = Output & Actor & Readonly<{
     contract?: string;
     message?: string;
     includeDirty: boolean;
+    materializeConflict: boolean;
 }>;
 export type ParsedReview = Output & Actor & Readonly<{
     command: "review";
@@ -77,6 +79,10 @@ type ParsedReconcile = Output & Readonly<{
     contract?: string;
     retryHooks: boolean;
 }>;
+export type ParsedNuke = Output & Readonly<{
+    command: "nuke";
+    confirm?: string;
+}>;
 export type ParsedSettings = Output & Readonly<{
     command: "settings";
 }>;
@@ -89,7 +95,7 @@ export type ParsedRegion = Output & Readonly<{
 export type ParsedCommand = ParsedBind | ParsedAmend | ParsedDeliver | ParsedReview | ParsedArc | ParsedAbandon | ParsedStatus | (Output & Readonly<{
     command: "show";
     contract?: string;
-}>) | ParsedLs | ParsedAudit | ParsedReconcile | ParsedSettings | ParsedRegion | ParsedInstallCommand | ParsedAkumaCommand | ParsedTaskCommand;
+}>) | ParsedLs | ParsedAudit | ParsedReconcile | ParsedNuke | ParsedSettings | ParsedRegion | ParsedInstallCommand | ParsedAkumaCommand | ParsedTaskCommand;
 export type CliHelpCoordinate = Readonly<{
     kind: "root";
 }> | Readonly<{
@@ -112,4 +118,11 @@ export type ParsedExecution = Readonly<{
 export type ParsedInvocation = ParsedExecution | Readonly<{
     help: CliHelpCoordinate;
 }>;
+type RepoUse = "none" | "optional" | "required";
+export type CommandRepoPolicy = Readonly<{
+    use: RepoUse;
+    acceptsExplicit: boolean;
+}>;
+export declare function commandRepoPolicy(command: ParsedCommand): CommandRepoPolicy;
+export declare function assertExplicitRepoUse(command: ParsedCommand, repo: string | undefined): void;
 export declare function parseArgv(argv: readonly string[]): ParsedInvocation;

package/build/src/cli/parse.js

@@ -1,12 +1,12 @@
-import { isTaskAction, parseTaskCommand, renderTaskUsage, } from "./commands/task.js";
-import { isAkumaAction, parseAkumaCatalogPath, parseAkumaCommand, renderAkumaRootRows, renderAkumaUsage, } from "./commands/akuma.js";
+import { isTaskAction, parseTaskCommand, renderTaskHelp, renderTaskUsage, } from "./commands/task.js";
+import { isAkumaAction, parseAkumaCatalogPath, parseAkumaCommand, renderAkumaHelp, renderAkumaRootRows, renderAkumaUsage, } from "./commands/akuma.js";
 import { INSTALL_USAGE, parseInstallCommand, renderInstallHelp } from "./commands/install.js";
-import { AMEND_MINIMAL_STDIN_HELP, CONTRACT_COMMAND_SPECS, } from "./commands/contract.js";
-import { CliUsageError, isBlankInput, usageLine, withJsonAutomationHelp } from "./usage.js";
+import { CONTRACT_COMMAND_SPECS, } from "./commands/contract.js";
+import { CliUsageError, isBlankInput, usageLine } from "./usage.js";
 export { CliUsageError } from "./usage.js";
 const ROOT_USAGE = "usage: keiyaku [-C <path>] [--repo <path>] <command> [<contract>|@<contract>] [--flag ...] [-]";
 export function renderRootHelp() {
-    return withJsonAutomationHelp([
+    return [
         ROOT_USAGE,
         "",
         "global options:",
@@ -20,12 +20,12 @@ export function renderRootHelp() {
         "  task ...",
         "    Task coordination; see `keiyaku task --help`.",
         ...renderAkumaRootRows(),
-    ].join("\n"));
+    ].join("\n");
 }
 export function renderContractHelp(command) {
     const spec = CONTRACT_COMMAND_SPECS[command];
     const help = `${spec.purpose}\n\n${usageLine(spec.usage)}`;
-    return withJsonAutomationHelp(command === "amend" ? `${help}\n\n${AMEND_MINIMAL_STDIN_HELP}` : help);
+    return spec.help === undefined ? help : `${help}\n\n${spec.help}`;
 }
 function contractUsage(command) {
     return usageLine(CONTRACT_COMMAND_SPECS[command].usage);
@@ -39,6 +39,65 @@ export function renderCommandUsage(command) {
         return renderAkumaUsage(command.command);
     return contractUsage(command.command);
 }
+export function renderHelp(coordinate) {
+    switch (coordinate.kind) {
+        case "root": return renderRootHelp();
+        case "contract": return renderContractHelp(coordinate.command);
+        case "task": return renderTaskHelp(coordinate.action);
+        case "install": return renderInstallHelp();
+        case "akuma": return renderAkumaHelp(coordinate.action);
+    }
+}
+export function commandRepoPolicy(command) {
+    switch (command.command) {
+        case "bind":
+        case "amend":
+        case "deliver":
+        case "review":
+        case "arc":
+        case "abandon":
+        case "audit":
+        case "reconcile":
+        case "show":
+        case "region":
+            return { use: "required", acceptsExplicit: true };
+        case "ls":
+            return { use: command.query.kind === "contracts" ? "required" : "none", acceptsExplicit: false };
+        case "status":
+        case "tell":
+            return { use: "optional", acceptsExplicit: false };
+        case "history":
+            return "contract" in command
+                ? { use: "required", acceptsExplicit: true }
+                : { use: "optional", acceptsExplicit: false };
+        case "fork":
+            return { use: "optional", acceptsExplicit: true };
+        case "wait":
+        case "kill": {
+            const contractSelector = command.akuma.some((selector) => selector.startsWith("kei/"));
+            return { use: contractSelector ? "required" : "optional", acceptsExplicit: contractSelector };
+        }
+        case "call":
+            return {
+                use: command.contract === undefined ? "none" : "required",
+                acceptsExplicit: command.contract !== undefined,
+            };
+        case "settings":
+        case "nuke":
+        case "task":
+        case "install":
+            return { use: "none", acceptsExplicit: false };
+    }
+}
+function refuseUnusedRepo(command) {
+    if (command.command === "call")
+        throw new CliUsageError("--repo has no consumer without --contract");
+    throw new CliUsageError(`--repo has no consumer for ${command.command}`);
+}
+export function assertExplicitRepoUse(command, repo) {
+    if (repo !== undefined && !commandRepoPolicy(command).acceptsExplicit)
+        refuseUnusedRepo(command);
+}
 function optionalFlag(flags, name) {
     const value = flags[name];
     return typeof value === "string" ? value : undefined;
@@ -175,6 +234,7 @@ function parseDeliver(parts) {
         ...(parts.actor === undefined ? {} : { actor: parts.actor }),
         ...(message === undefined ? {} : { message }),
         includeDirty: parts.flags["include-dirty"] === true,
+        materializeConflict: parts.flags["materialize-conflict"] === true,
         output: parts.output,
     };
 }
@@ -356,6 +416,10 @@ function parseCommand(parts) {
                 output: parts.output,
             };
         }
+        case "nuke": {
+            const confirm = optionalFlag(parts.flags, "confirm");
+            return { command: "nuke", ...(confirm === undefined ? {} : { confirm }), output: parts.output };
+        }
         case "settings": return { command: "settings", output: parts.output };
         case "region": return parseRegion(parts);
     }
@@ -379,9 +443,10 @@ export function parseArgv(argv) {
     const akuma = isAkumaAction(invocation.commandArgv[0])
         ? parseAkumaCommand(invocation.commandArgv)
         : undefined;
-    return {
+    const parsed = {
         ...(invocation.cwd === undefined ? {} : { cwd: invocation.cwd }),
         ...(invocation.repo === undefined ? {} : { repo: invocation.repo }),
         command: task ?? akuma ?? install ?? parseCommand(scanArgv(invocation.commandArgv)),
     };
+    return parsed;
 }

package/build/src/cli/render/akuma.js

@@ -1,5 +1,5 @@
 import { toolRepr } from "./akuma-tool.js";
-import { displayColumns, renderBoundedTextBlock, renderTextBlock, safeText, truncateMiddleDisplayText, } from "./terminal.js";
+import { displayColumns, renderBoundedTextBlock, safeText, truncateMiddleDisplayText, } from "./terminal.js";
 const DEFAULT_CONTEXT = { columns: 80, color: false };
 const OPENING_STROKE = "─────";
 const TIME_WIDTH = 5;
@@ -14,14 +14,20 @@ function associatedIdentity(id, alias, contract) {
     const contractId = contract === undefined ? undefined : associatedContractId(contract);
     return `${identity(id, alias)}${contractId === undefined ? "" : ` [${contractId}]`}`;
 }
-function snapshotHeading(id, alias, contract) {
+function ruler(columns) {
+    return "─".repeat(Math.max(OPENING_STROKE.length, columns));
+}
+function snapshotHeading(id, alias, contract, columns) {
     const contractId = contract === undefined ? undefined : associatedContractId(contract);
     return [
-        OPENING_STROKE,
         identity(id, alias),
+        ruler(columns),
         ...(contractId === undefined ? [] : [`└─ ${contractId}`]),
     ];
 }
+function answeredHeading(id, alias, columns) {
+    return [`✓ came back ${identity(id, alias)}`, ruler(columns)].join("\n");
+}
 function contractFacts(contract) {
     return contract.kind === "failed" ? [`! contract failed ${safeText(contract.diagnostic)}`] : [];
 }
@@ -30,9 +36,9 @@ function unobservedText(id, diagnostic) {
 }
 function lifeLabel(life) {
     if (life === "running")
-        return "● running";
+        return "● STILL RUNNING";
     if (life === "asleep")
-        return "○ asleep";
+        return "✓ came back";
     if (life === "killed")
         return "× killed";
     return `? ${life}`;
@@ -70,7 +76,7 @@ function mark(row) {
             return "?";
         return row.state.status === "ok" ? "✓" : "!";
     }
-    return "·";
+    return "│";
 }
 function rowText(row) {
     if (row.kind === "said" || row.kind === "thought" || row.kind === "note" || row.kind === "call" || row.kind === "tell") {
@@ -160,47 +166,72 @@ function taskDispositionMark(disposition) {
         return "●";
     return disposition === "blocked" ? "‖" : "○";
 }
-function taskScanLine(row, indent = "") {
-    return `${indent}${taskDispositionMark(row.disposition)} ${row.id} · P${row.priority} ${row.disposition}`;
-}
-function changeOp(op) {
-    return op === "add" ? "write" : op === "delete" ? "delete" : "edit";
-}
-function renderReportedChangeLines(snapshot, columns) {
-    const lines = [`  changes ${snapshot.reportedChanges.length + snapshot.reportedChangesOmitted}`];
-    for (const change of snapshot.reportedChanges) {
-        const scan = `  ${changeOp(change.op)}`;
-        const path = safeText(change.path);
-        const stat = change.diffstat === undefined
-            ? ""
-            : ` — +${change.diffstat.added} -${change.diffstat.removed}`;
-        const inline = `${scan} ${path}${stat}`;
-        if (displayColumns(inline) <= columns)
-            lines.push(inline);
-        else
-            lines.push(`${scan}`, ...renderTextBlock(`${path}${stat}`, "    ", columns));
+function changeStat(group) {
+    let added = 0;
+    let removed = 0;
+    for (const change of group) {
+        if (change.diffstat === undefined)
+            return "+? -?";
+        added += change.diffstat.added;
+        removed += change.diffstat.removed;
     }
-    if (snapshot.reportedChangesOmitted > 0) {
-        lines.push(`  ⋮ ${snapshot.reportedChangesOmitted} earlier changes`);
+    return `+${added} -${removed}`;
+}
+function groupedChangeRows(changes) {
+    const groups = [];
+    const seen = new Map();
+    for (const change of changes) {
+        const index = seen.get(change.path);
+        if (index === undefined) {
+            seen.set(change.path, groups.length);
+            groups.push([change]);
+        }
+        else
+            groups[index].push(change);
     }
-    return lines;
+    return groups.map((group) => ({ path: group[0].path, stat: changeStat(group) }));
+}
+function renderReportedChangeLines(snapshot) {
+    const rows = groupedChangeRows(snapshot.reportedChanges);
+    const width = rows.reduce((max, row) => Math.max(max, row.stat.length), 0);
+    return [
+        `changes ${snapshot.reportedChanges.length + snapshot.reportedChangesOmitted}`,
+        ...rows.map((row) => `  ${row.stat.padEnd(width)}  ${safeText(row.path)}`),
+        ...(snapshot.reportedChangesOmitted > 0 ? [`  ⋮ ${snapshot.reportedChangesOmitted} earlier changes`] : []),
+    ];
+}
+function renderTaskRow(row, columns) {
+    const prefix = `  ${taskDispositionMark(row.disposition)} ${row.id} · `;
+    const body = `${safeText(row.title)} · ${row.disposition} · P${row.priority}`;
+    const inline = `${prefix}${body}`;
+    if (displayColumns(inline) <= columns)
+        return [inline];
+    return renderBoundedTextBlock(body, {
+        first: prefix,
+        continuation: "    ",
+        columns,
+        lines: Number.MAX_SAFE_INTEGER,
+    });
 }
 function renderTaskContextLines(created, columns) {
     if (created === undefined)
         return [];
     if (created.kind === "failed")
         return [`! tasks failed ${safeText(created.diagnostic)}`];
-    const lines = [`  tasks ${created.rows.length}`];
-    for (const row of created.rows) {
-        const scan = `  ${taskScanLine(row)}`;
-        const title = safeText(row.title);
-        const inline = `${scan} — ${title}`;
-        if (displayColumns(inline) <= columns)
-            lines.push(inline);
-        else
-            lines.push(`${scan} —`, ...renderTextBlock(title, "    ", columns));
-    }
-    return lines;
+    return [`tasks ${created.rows.length}`, ...created.rows.flatMap((row) => renderTaskRow(row, columns))];
+}
+function answerContextLines(observation, columns) {
+    return [
+        ...renderTaskContextLines(observation.createdTasks, columns),
+        ...renderReportedChangeLines(observation.status.timeline),
+    ];
+}
+function answeredBlock(observation, answer, alias, columns) {
+    const context = answerContextLines(observation, columns).join("\n");
+    if (context.length === 0)
+        return `${answeredHeading(observation.status.id, alias, columns)}\n${answer}`;
+    const separator = answer.endsWith("\n") ? "\n" : "\n\n";
+    return `${answeredHeading(observation.status.id, alias, columns)}\n${answer}${separator}${context}`;
 }
 function snapshotText(view, context, options = {}) {
     const snapshot = view.status.timeline;
@@ -215,14 +246,17 @@ function snapshotText(view, context, options = {}) {
         ...contractFacts(view.contract),
         ...(options.facts ?? []),
     ];
-    const footer = options.showLife === false ? [] : [`  ${lifeLabel(view.status.life)}`];
+    const taskContext = renderTaskContextLines(view.createdTasks, context.columns);
+    const changes = renderReportedChangeLines(snapshot);
+    const footer = options.showLife === false ? [] : ["", lifeLabel(view.status.life)];
     return [
-        ...snapshotHeading(view.status.id, options.alias, view.contract),
+        ...snapshotHeading(view.status.id, options.alias, view.contract, context.columns),
         ...facts,
         ...activity,
+        ...(activity.length > 0 && taskContext.length > 0 ? [""] : []),
+        ...taskContext,
+        ...changes,
         ...footer,
-        ...renderReportedChangeLines(snapshot, context.columns),
-        ...renderTaskContextLines(view.createdTasks, context.columns),
     ].join("\n");
 }
 function observationStageText(id, observation, context, options = {}) {
@@ -232,18 +266,27 @@ function observationStageText(id, observation, context, options = {}) {
 }
 function waitText(result, context) {
     const alias = result.alias;
+    const total = result.result.observations.length + result.result.unobserved.length;
+    const done = result.result.observations.filter((observation) => observation.status.life !== "running").length;
     const blocks = [
-        ...result.result.observations.map((observation) => snapshotText(observation, context, { ...(alias === undefined ? {} : { alias }) })),
+        ...result.result.observations.map((observation) => {
+            const answer = statusAnswer(observation);
+            if (answer !== undefined)
+                return answeredBlock(observation, answer, alias, context.columns);
+            return snapshotText(observation, context, { ...(alias === undefined ? {} : { alias }) });
+        }),
         ...result.result.unobserved.map((member) => unobservedText(member.id, member.diagnostic)),
     ];
-    return blocks.join("\n\n");
+    if (total <= 1)
+        return blocks.join("\n\n");
+    return [...blocks, `${done} of ${total} done`].join("\n\n");
 }
 function historyText(command, result, context) {
     if (command.last)
         return result.mode === "last" ? result.answer : "no answer retained";
     if (result.mode !== "page")
         throw new Error("history result lacks page");
-    return [...snapshotHeading(result.akuma, result.alias, result.historyResult.contract), ...groupedRows(result.history.rows, context, true)].join("\n");
+    return [...snapshotHeading(result.akuma, result.alias, result.historyResult.contract, context.columns), ...groupedRows(result.history.rows, context, true)].join("\n");
 }
 function tellText(result, context) {
     const facts = typeof result.result.tell.wake === "string" ? [] : [`! error ${safeText(result.result.tell.wake.diagnostic)}`];
@@ -291,6 +334,9 @@ export function akumaRawAnswer(result) {
 function executionCwdLine(result) {
     return result.execution.source === "contract-worktree" ? [`cwd ${result.execution.cwd}`] : [];
 }
+function posixShellArgument(value) {
+    return `'${value.replace(/'/g, `'\"'\"'`)}'`;
+}
 function callText(result, context) {
     const alias = result.result.alias.kind === "aliased" ? result.result.alias.alias.alias : undefined;
     const contractId = result.result.dispatch.kind === "dispatched" ? result.result.dispatch.dispatch.contractId : undefined;
@@ -302,17 +348,17 @@ function callText(result, context) {
     if (result.result.observation.kind === "detached") {
         const lines = [...snapshotHeading(result.result.akuma, alias, contractId === undefined
                 ? { kind: "none" }
-                : { kind: "associated", contractId }), ...cwd, ...restraint, ...facts];
+                : { kind: "associated", contractId }, context.columns), ...cwd, ...restraint, ...facts];
         if (!callFailed(result.result)) {
             const selector = result.result.alias.kind === "aliased" ? result.result.alias.alias.alias : result.result.akuma;
-            lines.push(`$ keiyaku -C ${result.world} wait ${selector} --timeout 5m`);
+            lines.push(`$ keiyaku -C ${posixShellArgument(result.world)} wait ${selector} --timeout 5m`);
         }
         return lines.join("\n");
     }
     if (result.result.observation.kind === "failed") {
         return [...snapshotHeading(result.result.akuma, alias, contractId === undefined
                 ? { kind: "none" }
-                : { kind: "associated", contractId }), ...cwd, ...restraint, ...facts, `! error ${safeText(result.result.observation.failure.diagnostic)}`].join("\n");
+                : { kind: "associated", contractId }, context.columns), ...cwd, ...restraint, ...facts, `! error ${safeText(result.result.observation.failure.diagnostic)}`].join("\n");
     }
     return snapshotText({
         status: result.result.observation.status,

package/build/src/cli/render/catalog.js

@@ -12,5 +12,9 @@ export function renderCatalogText(catalog) {
             ...(row.description === undefined ? [] : [`  ${safeText(row.description)}`]),
         ]).join("\n");
     }
-    return catalog.rows.map((row) => `${safeText(row.id)} - ${row.life}`).join("\n");
+    return catalog.rows.map((row) => {
+        if (!("lifeAt" in row))
+            return `${safeText(row.id)} - ${row.life}`;
+        return `${safeText(row.id)} - ${row.life} - runtime ${row.lifeAt ?? "-"} - last activity ${row.lastActivityAt ?? "-"}`;
+    }).join("\n");
 }

package/build/src/cli/render/contract.js

@@ -1,5 +1,5 @@
 import { renderAcceptedAudit } from "./audit.js";
-import { appendHookPayload, cleanupLines, hookFailureSummary, leakLines, outcomeLines, receiptPayload, receiptRow, reuseLines, stopLines, titleLines, } from "./receipt.js";
+import { appendHookPayload, cleanupLines, hookFailureSummary, leakLines, outcomeLines, receiptPayload, receiptRow, reuseLines, stopLines, stopSummary, titleLines, } from "./receipt.js";
 import { gitShortStat, renderOpaqueBlock } from "./terminal.js";
 const HANG = "   ";
 function isRecord(value) {
@@ -113,11 +113,20 @@ function acceptedRecord(result, columns) {
     const record = [];
     for (const fact of result.facts) {
         const contract = fact.contract === result.contract ? [] : [{ text: fact.contract, opaque: true }];
-        receiptRow(record, " ", "journal", [
-            ...contract,
-            { text: fact.entry, opaque: true },
-            { text: `· ${fact.kind}` },
-        ], columns);
+        receiptRow(record, " ", "journal", fact.kind === "reintegrated"
+            ? [
+                ...contract,
+                { text: fact.entry, opaque: true },
+                { text: "· reintegrated" },
+                { text: fact.data.predecessor, opaque: true },
+                { text: "->" },
+                { text: fact.data.snapshot, opaque: true },
+            ]
+            : [
+                ...contract,
+                { text: fact.entry, opaque: true },
+                { text: `· ${fact.kind}` },
+            ], columns);
     }
     receiptRow(record, " ", "head", [{ text: result.head, opaque: true }], columns);
     if (result.verb === "deliver") {
@@ -176,11 +185,58 @@ function recordBlock(result, columns) {
     const rows = [...acceptedRecord(result, columns), ...acceptedLagRows(result, columns)];
     return ["  record", ...indentRecord(rows)];
 }
-function verificationVerdictLine(verdict, columns) {
+function completionLines(result, columns) {
     const lines = [];
-    receiptRow(lines, verdict === "satisfied" ? "✓" : "!", "verification", [
-        { text: verdict === "satisfied" ? "passed" : "failed" },
+    const completion = result.completion;
+    if (completion === undefined)
+        return lines;
+    const verification = completion.verification;
+    receiptRow(lines, " ", "target", [
+        { text: "->" },
+        { text: completion.integration, opaque: true },
+        ...(verification?.verdict === "satisfied"
+            ? [{ text: `· verified (${verification.mode})` }]
+            : []),
     ], columns);
+    if (verification?.verdict === "unsatisfied") {
+        receiptRow(lines, "!", "verification", [
+            { text: "unsatisfied" },
+            { text: `(${verification.mode})` },
+        ], columns);
+        if (result.verificationSummary !== undefined) {
+            receiptPayload(lines, "  summary", result.verificationSummary);
+        }
+    }
+    return lines;
+}
+function movementLines(result, columns) {
+    const count = result.facts.filter((fact) => fact.kind === "reintegrated").length;
+    if (count === 0)
+        return [];
+    const lines = [];
+    receiptRow(lines, "~", "target", [{ text: `moved · re-integrated x${count}` }], columns);
+    return lines;
+}
+function continuationLines(result, columns) {
+    const report = result.continuation;
+    if (report === undefined)
+        return [];
+    const lines = [];
+    for (const contractId of report.claimed) {
+        receiptRow(lines, "✓", "continuation", [
+            { text: "complete" },
+            { text: contractId, opaque: true },
+        ], columns);
+    }
+    for (const { contractId, stop } of report.stopped) {
+        const detail = "kind" in stop ? [{ text: stop.kind }] : stopSummary(stop, contractId);
+        receiptRow(lines, "!", "continuation", [
+            { text: "blocked" },
+            { text: contractId, opaque: true },
+            { text: "·" },
+            ...detail,
+        ], columns);
+    }
     return lines;
 }
 function renderAcceptedBind(result, columns) {
@@ -201,51 +257,19 @@ function renderAcceptedAmend(result, columns) {
     lines.push(...acceptedDeviations(result, columns), ...recordBlock(result, columns));
     return lines.join("\n");
 }
-function reintegrationLines(result, complete, columns) {
-    const reintegrated = result.facts.filter((fact) => fact.kind === "reintegrated");
-    if (reintegrated.length === 0)
-        return [];
-    const lines = [];
-    for (const fact of reintegrated) {
-        receiptRow(lines, " ", "re-integrated", [
-            { text: fact.data.predecessor, opaque: true },
-            { text: "->" },
-            { text: fact.data.snapshot, opaque: true },
-        ], columns);
-    }
-    if (result.verificationVerdict !== undefined) {
-        receiptRow(lines, " ", "verification re-run", [
-            { text: "·" },
-            { text: result.verificationVerdict },
-        ], columns);
-    }
-    if (complete) {
-        receiptRow(lines, " ", "target", [
-            { text: "->" },
-            { text: reintegrated.at(-1).data.snapshot, opaque: true },
-        ], columns);
-    }
-    return lines;
-}
 function renderAcceptedDeliver(result, columns) {
-    const complete = result.facts.some((fact) => fact.kind === "claimed");
+    const complete = result.completion !== undefined;
     const title = complete ? "delivered" : "deliver — not complete";
     const lines = titleLines("✓", title, result.contract, columns);
-    lines.push(...reintegrationLines(result, complete, columns));
+    lines.push(...movementLines(result, columns), ...completionLines(result, columns), ...continuationLines(result, columns));
     if (!complete)
         receiptRow(lines, " ", "candidate", [{ text: "kept" }], columns);
     if (result.verification !== undefined) {
         lines.push(...stopLines("verification", result.verification, columns, result.contract));
     }
-    else if (result.verificationVerdict !== undefined) {
-        lines.push(...verificationVerdictLine(result.verificationVerdict, columns));
-    }
     if (!complete && result.placement !== undefined) {
         lines.push(...stopLines("completion", result.placement, columns, result.contract));
     }
-    else if (!complete && (result.verification !== undefined || result.verificationVerdict === "unsatisfied")) {
-        receiptRow(lines, "·", "completion", [{ text: "not attempted" }], columns);
-    }
     if (result.cleanup !== undefined)
         pushBlock(lines, cleanupLines(result.cleanup, columns));
     if (result.leak !== undefined)
@@ -254,12 +278,11 @@ function renderAcceptedDeliver(result, columns) {
     return lines.join("\n");
 }
 function renderAcceptedReview(result, columns) {
-    const complete = result.facts.some((fact) => fact.kind === "claimed");
-    const lines = titleLines("✓", `review ${result.verdict}`, result.contract, columns);
-    lines.push(...reintegrationLines(result, complete, columns));
-    receiptRow(lines, complete ? "✓" : "!", "contract", [
-        { text: complete ? "complete" : "not complete" },
-    ], columns);
+    const complete = result.completion !== undefined;
+    const lines = titleLines("✓", `review ${result.verdict} — ${complete ? "complete" : "not complete"}`, result.contract, columns);
+    lines.push(...movementLines(result, columns), ...completionLines(result, columns), ...continuationLines(result, columns));
+    if (!complete)
+        receiptRow(lines, " ", "candidate", [{ text: "kept" }], columns);
     if (result.placement !== undefined) {
         lines.push(...stopLines("completion", result.placement, columns, result.contract));
     }