@astrosheep/keiyaku 4.0.3 → 4.0.5

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

@@ -1,5 +1,5 @@
 import { toolRepr } from "./akuma-tool.js";
-import { displayColumns, renderBoundedTextBlock, safeText, truncateMiddleDisplayText } from "./terminal.js";
+import { displayColumns, renderBoundedTextBlock, renderTextBlock, safeText, truncateMiddleDisplayText, } from "./terminal.js";
 const DEFAULT_CONTEXT = { columns: 80, color: false };
 const OPENING_STROKE = "─────";
 const TIME_WIDTH = 5;
@@ -7,16 +7,27 @@ const VERB_WIDTH = 6;
 function identity(id, alias) {
     return `${id}${alias === undefined ? "" : ` (${alias})`}`;
 }
-function associatedIdentity(id, alias, contractId) {
+function associatedContractId(contract) {
+    return contract.kind === "associated" ? contract.contractId : undefined;
+}
+function associatedIdentity(id, alias, contract) {
+    const contractId = contract === undefined ? undefined : associatedContractId(contract);
     return `${identity(id, alias)}${contractId === undefined ? "" : ` [${contractId}]`}`;
 }
-function snapshotHeading(id, alias, contractId) {
+function snapshotHeading(id, alias, contract) {
+    const contractId = contract === undefined ? undefined : associatedContractId(contract);
     return [
         OPENING_STROKE,
         identity(id, alias),
         ...(contractId === undefined ? [] : [`└─ ${contractId}`]),
     ];
 }
+function contractFacts(contract) {
+    return contract.kind === "failed" ? [`! contract failed ${safeText(contract.diagnostic)}`] : [];
+}
+function unobservedText(id, diagnostic) {
+    return `! ${id} unobserved: ${safeText(diagnostic)}`;
+}
 function lifeLabel(life) {
     if (life === "running")
         return "● running";
@@ -138,6 +149,59 @@ function groupedEntries(entries, context, history = false) {
 function groupedRows(rows, context, history = false) {
     return groupedEntries(rows.filter((row) => row.kind !== "turn").map((row) => ({ kind: "row", row })), context, history);
 }
+function taskDispositionMark(disposition) {
+    if (disposition === "done")
+        return "✓";
+    if (disposition === "drop")
+        return "×";
+    if (disposition === "on_hold")
+        return "⧗";
+    if (disposition === "in_progress")
+        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));
+    }
+    if (snapshot.reportedChangesOmitted > 0) {
+        lines.push(`  ⋮ ${snapshot.reportedChangesOmitted} earlier changes`);
+    }
+    return lines;
+}
+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;
+}
 function snapshotText(view, context, options = {}) {
     const snapshot = view.status.timeline;
     const activity = snapshot.kind === "idle" && snapshot.outcome !== undefined
@@ -148,22 +212,46 @@ function snapshotText(view, context, options = {}) {
         : groupedEntries(snapshot.entries, context);
     const facts = [
         ...(view.status.readonly?.enforcement === "none" ? [`! ${safeText(view.status.readonly.diagnostic)}`] : []),
+        ...contractFacts(view.contract),
         ...(options.facts ?? []),
     ];
     const footer = options.showLife === false ? [] : [`  ${lifeLabel(view.status.life)}`];
-    return [...snapshotHeading(view.status.id, options.alias, view.contractId), ...facts, ...activity, ...footer].join("\n");
+    return [
+        ...snapshotHeading(view.status.id, options.alias, view.contract),
+        ...facts,
+        ...activity,
+        ...footer,
+        ...renderReportedChangeLines(snapshot, context.columns),
+        ...renderTaskContextLines(view.createdTasks, context.columns),
+    ].join("\n");
+}
+function observationStageText(id, observation, context, options = {}) {
+    if (observation.kind === "unobserved")
+        return unobservedText(id, observation.diagnostic);
+    return snapshotText(observation, context, options);
+}
+function waitText(result, context) {
+    const alias = result.alias;
+    const blocks = [
+        ...result.result.observations.map((observation) => snapshotText(observation, context, { ...(alias === undefined ? {} : { alias }) })),
+        ...result.result.unobserved.map((member) => unobservedText(member.id, member.diagnostic)),
+    ];
+    return blocks.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");
-    const contractId = result.historyResult.contractId;
-    return [...snapshotHeading(result.akuma, result.alias, contractId), ...groupedRows(result.history.rows, context, true)].join("\n");
+    return [...snapshotHeading(result.akuma, result.alias, result.historyResult.contract), ...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)}`];
-    return snapshotText(result.result.observation, context, { ...(result.alias === undefined ? {} : { alias: result.alias }), facts, showLife: false });
+    return observationStageText(result.result.akuma, result.result.observation, context, {
+        ...(result.alias === undefined ? {} : { alias: result.alias }),
+        facts,
+        showLife: false,
+    });
 }
 function dispatchLines(stage) {
     if (stage.kind === "none" || stage.kind === "dispatched")
@@ -195,8 +283,9 @@ export function akumaRawAnswer(result) {
             return undefined;
         return statusAnswer({ status: result.result.observation.status });
     }
-    if (result.action === "wait" && result.result.statuses.length === 1)
-        return statusAnswer(result.result.statuses[0]);
+    if (result.action === "wait" && result.result.observations.length === 1) {
+        return statusAnswer(result.result.observations[0]);
+    }
     return undefined;
 }
 function executionCwdLine(result) {
@@ -211,7 +300,9 @@ function callText(result, context) {
         facts.push(`alias failed ${result.result.alias.failure.kind} ${safeText(result.result.alias.failure.diagnostic)}`);
     const cwd = executionCwdLine(result.result);
     if (result.result.observation.kind === "detached") {
-        const lines = [...snapshotHeading(result.result.akuma, alias, contractId), ...cwd, ...restraint, ...facts];
+        const lines = [...snapshotHeading(result.result.akuma, alias, contractId === undefined
+                ? { kind: "none" }
+                : { kind: "associated", contractId }), ...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`);
@@ -219,9 +310,14 @@ function callText(result, context) {
         return lines.join("\n");
     }
     if (result.result.observation.kind === "failed") {
-        return [...snapshotHeading(result.result.akuma, alias, contractId), ...cwd, ...restraint, ...facts, `! error ${safeText(result.result.observation.failure.diagnostic)}`].join("\n");
+        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");
     }
-    return snapshotText({ status: result.result.observation.status, ...(contractId === undefined ? {} : { contractId }) }, context, {
+    return snapshotText({
+        status: result.result.observation.status,
+        contract: contractId === undefined ? { kind: "none" } : { kind: "associated", contractId },
+    }, context, {
         ...(alias === undefined ? {} : { alias }),
         facts: [...cwd, ...facts],
     });
@@ -237,16 +333,26 @@ export function renderAkumaText(command, result, context = DEFAULT_CONTEXT) {
     switch (result.action) {
         case "call": return callText(result, context);
         case "status": return snapshotText(result.status, context, { ...(result.alias === undefined ? {} : { alias: result.alias }) });
-        case "wait": return result.result.statuses.map((status) => snapshotText(status, context, { ...(result.alias === undefined ? {} : { alias: result.alias }) })).join("\n\n");
-        case "tell": return result.mode === "ordinary" ? tellText(result, context) : snapshotText(result.result.observation, context, { ...(result.alias === undefined ? {} : { alias: result.alias }), showLife: false });
-        case "history": return historyText(command, result, context);
+        case "wait":
+            return waitText(result, context);
+        case "tell":
+            return result.mode === "ordinary"
+                ? tellText(result, context)
+                : observationStageText(result.result.id, result.result.observation, context, {
+                    ...(result.alias === undefined ? {} : { alias: result.alias }),
+                    showLife: false,
+                });
+        case "history":
+            return historyText(command, result, context);
         case "fork": {
             if (result.receipt.kind !== "forked")
                 return result.receipt.kind === "unknown-history" ? `${result.receipt.at} has no matching retained answered turn` : result.receipt.kind === "provider-cannot-fork" ? `${result.receipt.provider} cannot fork` : result.receipt.diagnostic;
             const contractId = result.receipt.dispatch.kind === "dispatched" ? result.receipt.dispatch.dispatch.contractId : undefined;
-            return associatedIdentity(result.receipt.child, undefined, contractId);
+            return associatedIdentity(result.receipt.child, undefined, contractId === undefined
+                ? { kind: "none" }
+                : { kind: "associated", contractId });
         }
-        case "kill": return result.result.results.map((member) => snapshotText(member.observation, context, { facts: [`kill ${member.evidence}`], ...(result.alias === undefined ? {} : { alias: result.alias }) })).join("\n\n");
+        case "kill": return result.result.results.map((member) => observationStageText(member.id, member.observation, context, { facts: [`kill ${member.evidence}`], ...(result.alias === undefined ? {} : { alias: result.alias }) })).join("\n\n");
     }
 }
 function callExitCode(result) {
@@ -277,13 +383,21 @@ export function akumaExitCode(result) {
         default: return 0;
     }
 }
-export function akumaJsonValue(command, result) {
-    if (result.action === "call" || result.action === "fork" || result.action === "status" || result.action === "wait" || result.action === "tell" || result.action === "kill")
-        return result.action === "status" ? result.status : result.action === "wait" ? result.result : result.action === "tell" ? result.result : result.action === "kill" ? result.result : result.action === "call" ? result.result : result.receipt;
-    if (command.command !== "history")
-        throw new Error("history result requires the history command");
+export function akumaJsonValue(result) {
+    if (result.action === "call")
+        return result.result;
+    if (result.action === "fork")
+        return result.receipt;
+    if (result.action === "status")
+        return result.status;
+    if (result.action === "wait")
+        return result.result;
+    if (result.action === "tell")
+        return result.result;
+    if (result.action === "kill")
+        return result.result;
     return result.historyResult;
 }
-export function renderAkumaJson(command, result) {
-    return JSON.stringify(akumaJsonValue(command, result));
+export function renderAkumaJson(result) {
+    return JSON.stringify(akumaJsonValue(result));
 }

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

@@ -1,6 +1,6 @@
-import { cleanupLines, leakLines, outcomeLines, receiptPayload, receiptRow, stopLines, } from "./receipt.js";
+import { cleanupLines, leakLines, receiptPayload, receiptRow, stopLines, titleLines, } from "./receipt.js";
 import { renderRefusalFacts } from "./refusal.js";
-import { gitShortStat, renderBoundedTextBlock, renderOpaqueBlock, } from "./terminal.js";
+import { gitShortStat, renderOpaqueBlock, } from "./terminal.js";
 const CHILD = "  ";
 function workspaceEvidence(workspace, columns) {
     return renderOpaqueBlock(`workspace ${workspace.kind} ${workspace.path}`, CHILD, columns);
@@ -46,11 +46,7 @@ function verificationLines(verification, columns, addressed) {
         { text: `${verification.passed} of ${verification.total}` },
     ], columns);
     if (verification.summary !== undefined) {
-        lines.push(...renderBoundedTextBlock(verification.summary, {
-            first: `${CHILD}summary `,
-            continuation: CHILD,
-            columns,
-        }));
+        receiptPayload(lines, "summary", verification.summary);
     }
     return lines;
 }
@@ -91,14 +87,28 @@ function obligationLines(result, columns) {
         ...(result.leak === undefined ? [] : leakLines(result.leak, columns)),
     ];
 }
+function recordLines(result, columns) {
+    if (result.facts.length === 0)
+        return [];
+    const rows = [];
+    for (const fact of result.facts) {
+        receiptRow(rows, " ", "journal", [
+            { text: fact.entry, opaque: true },
+            { text: `· ${fact.kind}` },
+        ], columns);
+    }
+    receiptRow(rows, " ", "head", [{ text: result.head, opaque: true }], columns);
+    return ["  record", ...rows.map((line) => `  ${line}`)];
+}
 export function renderAcceptedAudit(result, context) {
     const report = result.report;
     const columns = context?.columns ?? 80;
     return [
-        ...outcomeLines("✓", result.verb, "accepted", result.contract, columns),
+        ...titleLines("✓", "audit", result.contract, columns),
         ...candidateLines(report, columns, result.contract),
         ...verificationLines(report.verification, columns, result.contract),
         ...targetLines(report.target, columns, result.contract),
         ...obligationLines(result, columns),
+        ...recordLines(result, columns),
     ].join("\n");
 }

package/build/src/cli/render/contract.d.ts

@@ -1,4 +1,6 @@
+import type { ContractHistory } from "../../index.js";
 import type { AcceptedResult, RetryResult } from "../result.js";
 import { type TextRenderContext } from "./terminal.js";
 export declare function renderAccepted(result: AcceptedResult, context?: TextRenderContext): string;
 export declare function renderRetry(result: RetryResult, context?: TextRenderContext): string;
+export declare function renderContractHistory(history: ContractHistory): string;

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, } from "./receipt.js";
+import { appendHookPayload, cleanupLines, hookFailureSummary, leakLines, outcomeLines, receiptPayload, receiptRow, reuseLines, stopLines, titleLines, } from "./receipt.js";
 import { gitShortStat, renderOpaqueBlock } from "./terminal.js";
 const HANG = "   ";
 function isRecord(value) {
@@ -30,6 +30,13 @@ function effectRows(effect, columns) {
             { text: effect.path, opaque: true },
         ], columns);
     }
+    else if (effect.kind === "recovery-snapshot") {
+        receiptRow(lines, mark, "recovery-snapshot", [
+            { text: effect.action },
+            { text: effect.snapshot, opaque: true },
+            { text: effect.retention },
+        ], columns);
+    }
     else {
         receiptRow(lines, mark, "ref", [
             { text: effect.action },
@@ -104,7 +111,6 @@ function pushBlock(lines, block) {
 }
 function acceptedRecord(result, columns) {
     const record = [];
-    receiptRow(record, " ", "head", [{ text: result.head, opaque: true }], columns);
     for (const fact of result.facts) {
         const contract = fact.contract === result.contract ? [] : [{ text: fact.contract, opaque: true }];
         receiptRow(record, " ", "journal", [
@@ -113,15 +119,10 @@ function acceptedRecord(result, columns) {
             { text: `· ${fact.kind}` },
         ], columns);
     }
-    if (result.verb === "bind") {
-        receiptRow(record, " ", "target", [{ text: result.target ?? "null", opaque: true }], columns);
-    }
+    receiptRow(record, " ", "head", [{ text: result.head, opaque: true }], columns);
     if (result.verb === "deliver") {
         pushBlock(record, reuseLines(result.verificationReuse, columns));
     }
-    if (result.verb === "amend") {
-        receiptPayload(record, "diff", result.diff);
-    }
     const changed = result.effects.filter(changedEffect);
     const unchanged = result.effects.filter((effect) => !changedEffect(effect));
     for (const effect of [...changed, ...unchanged])
@@ -146,22 +147,15 @@ function acceptedLagRows(result, columns) {
     }
     return obligations;
 }
-function acceptedObligations(result, columns) {
-    const obligations = [];
-    if (result.verb === "deliver" && result.verification !== undefined) {
-        obligations.push(...stopLines("verification", result.verification, columns, result.contract));
-    }
-    if (result.placement !== undefined) {
-        obligations.push(...stopLines("claim", result.placement, columns, result.contract));
-    }
-    if (result.verb === "deliver") {
-        if (result.cleanup !== undefined)
-            pushBlock(obligations, cleanupLines(result.cleanup, columns));
-        if (result.leak !== undefined)
-            pushBlock(obligations, leakLines(result.leak, columns));
-    }
-    obligations.push(...acceptedLagRows(result, columns));
-    return obligations;
+function indentRecord(lines) {
+    let payload = false;
+    return lines.map((line) => {
+        if (line.length === 0) {
+            payload = !payload;
+            return line;
+        }
+        return payload ? line : `  ${line}`;
+    });
 }
 function acceptedDeviations(result, columns) {
     const deviations = [];
@@ -178,32 +172,155 @@ function acceptedDeviations(result, columns) {
     }
     return deviations;
 }
-function renderAcceptedReceipt(result, context) {
-    const columns = context?.columns ?? 80;
-    const lines = outcomeLines("✓", result.verb, "accepted", result.contract, columns);
-    if (result.verb === "deliver" || result.verb === "review") {
-        lines.push(...acceptedObligations(result, columns));
+function recordBlock(result, columns) {
+    const rows = [...acceptedRecord(result, columns), ...acceptedLagRows(result, columns)];
+    return ["  record", ...indentRecord(rows)];
+}
+function verificationVerdictLine(verdict, columns) {
+    const lines = [];
+    receiptRow(lines, verdict === "satisfied" ? "✓" : "!", "verification", [
+        { text: verdict === "satisfied" ? "passed" : "failed" },
+    ], columns);
+    return lines;
+}
+function renderAcceptedBind(result, columns) {
+    const lines = titleLines("✓", "bound", result.contract, columns);
+    receiptRow(lines, " ", "workspace", [
+        { text: result.workspace === "worktree" ? "managed worktree" : "here" },
+    ], columns);
+    if (result.target === null)
+        receiptRow(lines, " ", "no target", [], columns);
+    else
+        receiptRow(lines, " ", "target", [{ text: result.target, opaque: true }], columns);
+    lines.push(...acceptedDeviations(result, columns), ...recordBlock(result, columns));
+    return lines.join("\n");
+}
+function renderAcceptedAmend(result, columns) {
+    const lines = titleLines("✓", "terms replaced", result.contract, columns);
+    receiptPayload(lines, "  terms diff", result.diff);
+    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);
     }
-    else {
-        lines.push(...acceptedLagRows(result, 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 title = complete ? "delivered" : "deliver — not complete";
+    const lines = titleLines("✓", title, result.contract, columns);
+    lines.push(...reintegrationLines(result, complete, columns));
+    if (!complete)
+        receiptRow(lines, " ", "candidate", [{ text: "kept" }], columns);
+    if (result.verification !== undefined) {
+        lines.push(...stopLines("verification", result.verification, columns, result.contract));
     }
-    if (result.verb === "bind" || result.verb === "amend" || result.verb === "review") {
-        lines.push(...acceptedDeviations(result, columns));
+    else if (result.verificationVerdict !== undefined) {
+        lines.push(...verificationVerdictLine(result.verificationVerdict, columns));
     }
-    lines.push(...acceptedRecord(result, 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)
+        pushBlock(lines, leakLines(result.leak, columns));
+    lines.push(...recordBlock(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);
+    if (result.placement !== undefined) {
+        lines.push(...stopLines("completion", result.placement, columns, result.contract));
+    }
+    if (result.verification !== undefined) {
+        lines.push(...stopLines("verification", result.verification, columns, result.contract));
+    }
+    if (result.cleanup !== undefined)
+        pushBlock(lines, cleanupLines(result.cleanup, columns));
+    if (result.leak !== undefined)
+        pushBlock(lines, leakLines(result.leak, columns));
+    lines.push(...acceptedDeviations(result, columns), ...recordBlock(result, columns));
+    return lines.join("\n");
+}
+function renderAcceptedArc(result, columns) {
+    const lines = titleLines("✓", "chapter recorded", result.contract, columns);
+    receiptRow(lines, " ", "chapter", [
+        { text: String(result.chapter.seq) },
+        { text: "·" },
+        { text: result.chapter.title },
+    ], columns);
+    lines.push(...recordBlock(result, columns));
+    return lines.join("\n");
+}
+function renderAcceptedAbandon(result, columns) {
+    const lines = titleLines("✓", "abandoned", result.contract, columns);
+    if (result.note !== undefined)
+        receiptRow(lines, " ", "note", [{ text: result.note }], columns);
+    for (const effect of result.effects) {
+        if (effect.kind === "worktree") {
+            receiptRow(lines, " ", "workspace", [
+                { text: effect.action },
+                { text: effect.path, opaque: true },
+            ], columns);
+        }
+        else if (effect.kind === "recovery-snapshot") {
+            receiptRow(lines, " ", "recovery snapshot", [
+                { text: effect.snapshot, opaque: true },
+                { text: `· ${effect.retention}` },
+            ], columns);
+        }
+    }
+    lines.push(...recordBlock(result, columns));
     return lines.join("\n");
 }
 export function renderAccepted(result, context) {
+    const columns = context?.columns ?? 80;
     switch (result.verb) {
         case "audit":
             return renderAcceptedAudit(result, context);
         case "bind":
+            return renderAcceptedBind(result, columns);
         case "amend":
-        case "deliver":
+            return renderAcceptedAmend(result, columns);
         case "review":
+            return renderAcceptedReview(result, columns);
         case "arc":
+            return renderAcceptedArc(result, columns);
         case "abandon":
-            return renderAcceptedReceipt(result, context);
+            return renderAcceptedAbandon(result, columns);
+        case "deliver":
+            return renderAcceptedDeliver(result, columns);
     }
 }
 export function renderRetry(result, context) {
@@ -213,3 +330,93 @@ export function renderRetry(result, context) {
         : [];
     return [...outcomeLines("?", result.verb, "retry", result.contract, columns), ...detail].join("\n");
 }
+function journalCount(events, source) {
+    return events.filter((event) => event.source === source).length;
+}
+function journalHead(fact) {
+    return fact.actor === undefined
+        ? `${fact.at} ${fact.kind} · ${fact.entry}`
+        : `${fact.at} ${fact.kind} · ${fact.entry} · ${fact.actor}`;
+}
+function listFact(label, values) {
+    return values.length === 0 ? [`  ${label} 0`] : [`  ${label} ${values.join(" · ")}`];
+}
+function journalBody(fact) {
+    switch (fact.kind) {
+        case "bind": {
+            const { coordinates, terms } = fact.data;
+            return [
+                `  start ${coordinates.start}`,
+                ...(coordinates.target === undefined ? [] : [`  target ${coordinates.target}`]),
+                `  workspace ${coordinates.workspace}`,
+                `  document ${terms.document.key}`,
+                ...listFact("gates", terms.gates),
+                ...listFact("after", terms.after),
+            ];
+        }
+        case "amend":
+            return [
+                `  document ${fact.data.document.key}`,
+                ...listFact("gates", fact.data.gates),
+                ...listFact("after", fact.data.after),
+            ];
+        case "bound":
+            return [];
+        case "deliver": {
+            const { tenderSnapshot, integration, method, policy } = fact.data;
+            return [
+                `  tender ${tenderSnapshot}`,
+                `  predecessor ${integration.predecessor}`,
+                `  snapshot ${integration.snapshot}`,
+                `  change ${integration.changeId}`,
+                `  method ${method}`,
+                `  require-branches-to-be-up-to-date ${String(policy.requireBranchesToBeUpToDate)}`,
+            ];
+        }
+        case "reintegrated":
+            return [
+                `  predecessor ${fact.data.predecessor}`,
+                `  snapshot ${fact.data.snapshot}`,
+            ];
+        case "attestation": {
+            const lines = [
+                `  gate ${fact.data.gate}`,
+                `  verdict ${fact.data.verdict}`,
+                `  subject ${fact.data.subject}`,
+            ];
+            if (fact.data.summary !== undefined)
+                receiptPayload(lines, "summary", fact.data.summary);
+            return lines;
+        }
+        case "claimed":
+            return [`  delivery ${fact.data.delivery}`];
+        case "arc": {
+            const lines = [`  sequence ${String(fact.data.seq)}`, `  title ${fact.data.title}`];
+            receiptPayload(lines, "objective", fact.data.objective);
+            receiptPayload(lines, "brief", fact.data.brief);
+            return lines;
+        }
+        case "abandoned": {
+            if (fact.data.note === undefined)
+                return [];
+            const lines = [];
+            receiptPayload(lines, "note", fact.data.note);
+            return lines;
+        }
+    }
+}
+function contractHistoryEventLines(event) {
+    if (event.source === "dispatch") {
+        return [`${event.dispatch.dispatchedAt} dispatch · ${event.dispatch.akuId}`];
+    }
+    return [journalHead(event.fact), ...journalBody(event.fact)];
+}
+export function renderContractHistory(history) {
+    const journals = journalCount(history.events, "journal");
+    const dispatches = journalCount(history.events, "dispatch");
+    return [
+        `history ${history.id} · ${journals} journal · ${dispatches} dispatch`,
+        "",
+        ...history.events.flatMap(contractHistoryEventLines),
+    ].join("\n");
+}