@astrosheep/keiyaku 4.0.1 → 4.0.2

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

@@ -1,140 +1,172 @@
 import { toolRepr } from "./akuma-tool.js";
-import { displayColumns, renderBoundedTextBlock, renderVoiceRuler, safeText, truncateMiddleDisplayText } from "./terminal.js";
-const GUTTER_MS = 60_000;
-const LABEL_WIDTH = 6;
+import { displayColumns, renderBoundedTextBlock, safeText, truncateMiddleDisplayText } from "./terminal.js";
 const DEFAULT_CONTEXT = { columns: 80, color: false };
-function identity(id, alias) { return `${id}${alias === undefined ? "" : ` (${alias})`}`; }
-function ruler(left, columns, scope = "") {
-    if (scope !== "")
-        return renderVoiceRuler(left, scope, columns).trimEnd();
-    const width = Math.max(20, Math.min(80, columns));
-    return `${left} ${"─".repeat(Math.max(1, width - displayColumns(left) - 1))}`;
+const OPENING_STROKE = "─────";
+const TIME_WIDTH = 5;
+const VERB_WIDTH = 6;
+function identity(id, alias) {
+    return `${id}${alias === undefined ? "" : ` (${alias})`}`;
+}
+function associatedIdentity(id, alias, contractId) {
+    return `${identity(id, alias)}${contractId === undefined ? "" : ` [${contractId}]`}`;
+}
+function snapshotHeading(id, alias, contractId) {
+    return [
+        OPENING_STROKE,
+        identity(id, alias),
+        ...(contractId === undefined ? [] : [`└─ ${contractId}`]),
+    ];
+}
+function lifeLabel(life) {
+    if (life === "running")
+        return "● running";
+    if (life === "asleep")
+        return "○ asleep";
+    if (life === "killed")
+        return "× killed";
+    return `? ${life}`;
 }
 function clock(at) {
-    if (at === undefined)
-        return "";
     const date = new Date(at);
-    return Number.isFinite(date.getTime()) ? `${String(date.getHours()).padStart(2, "0")}:${String(date.getMinutes()).padStart(2, "0")}` : "";
-}
-function label(value) { return `${value}${" ".repeat(Math.max(0, LABEL_WIDTH - displayColumns(value)))}`; }
-function renderSpineRow(item, context, profile, lastAt) {
-    const stamp = item.at === undefined ? undefined : Date.parse(item.at);
-    const printTime = stamp !== undefined && Number.isFinite(stamp) && (lastAt === undefined || stamp - lastAt >= GUTTER_MS);
-    const nextLastAt = printTime ? stamp : lastAt;
-    const gutter = `${printTime ? clock(item.at) : ""}`.padStart(5, " ");
-    const spine = item.spine === "turn" ? "┌│" : item.spine === "frontier" ? "┌⧖" : item.spine === "pending" ? " ⧗" : item.spine === "ok" ? " ✓" : item.spine === "error" ? " !" : " │";
-    const quote = item.quoted === true ? "“" : "";
-    const first = `${gutter}${spine} ${label(item.label)} ${quote}`;
-    if (item.indivisible === true)
-        return { lines: [`${first}${safeText(item.text)}`.trimEnd()], lastAt: nextLastAt };
-    if (item.overflow === "middle-ellipsis") {
-        const suffix = item.suffix ?? "";
-        const budget = Math.max(1, context.columns - displayColumns(first) - displayColumns(suffix));
-        return { lines: [`${first}${truncateMiddleDisplayText(item.text, budget)}${suffix}`.trimEnd()], lastAt: nextLastAt };
-    }
-    const continuation = `${"".padStart(gutter.length)}  │ ${"".padEnd(LABEL_WIDTH + 1, " ")}`;
-    const lines = renderBoundedTextBlock(item.text, { first, continuation, columns: context.columns, lines: profile === "history" ? Number.MAX_SAFE_INTEGER : (item.snapshotLines ?? 2), ...(item.truncated === true ? { truncated: true } : {}) });
-    return { lines: item.quoted === true ? lines.map((line, index) => index === lines.length - 1 ? `${line}”` : line) : lines, lastAt: nextLastAt };
+    return Number.isFinite(date.getTime()) ? `${String(date.getHours()).padStart(2, "0")}:${String(date.getMinutes()).padStart(2, "0")}` : "unknown";
 }
-function renderSpine(items, context, profile = "snapshot") {
-    let lastAt;
-    const lines = [];
-    for (const item of items) {
-        if (item.kind === "gap") {
-            if (item.count > 1)
-                lines.push(`     ⋮ +${item.count}`);
-            continue;
-        }
-        const rendered = renderSpineRow(item, context, profile, lastAt);
-        lastAt = rendered.lastAt;
-        lines.push(...rendered.lines);
-    }
-    return lines;
-}
-function activityLabel(row) {
+function label(row) {
     if (row.kind === "said")
         return "say";
     if (row.kind === "thought")
         return "think";
     if (row.kind === "note")
         return "note";
-    if (row.kind === "call" || row.kind === "turn")
+    if (row.kind === "call")
         return "call";
     if (row.kind === "tell")
         return "tell";
     if (row.kind === "outcome")
         return row.outcome.kind === "answered" ? "say" : "error";
+    if (row.kind === "turn")
+        return "call";
     return toolRepr(row).label;
 }
-function rowSpine(row, firstTurn, frontier) {
+function mark(row) {
     if (row.kind === "outcome")
-        return row.outcome.kind === "answered" ? "ok" : "error";
+        return row.outcome.kind === "answered" ? "✓" : "!";
     if (row.kind === "tell" && row.state === "pending")
-        return "pending";
-    if (frontier || (row.kind === "tool" && row.state === "running"))
-        return "frontier";
-    return firstTurn ? "turn" : "normal";
+        return "⧗";
+    if (row.kind === "tool") {
+        if (row.state === "active")
+            return "⧖";
+        if (row.state === "unsettled")
+            return "?";
+        return row.state.status === "ok" ? "✓" : "!";
+    }
+    return "·";
 }
 function rowText(row) {
-    if (row.kind === "said" || row.kind === "thought")
-        return { text: row.text, quoted: true, snapshotLines: row.kind === "said" ? 3 : 2 };
-    if (row.kind === "note")
-        return { text: row.text, snapshotLines: 2 };
-    if (row.kind === "call")
-        return { text: row.text, quoted: true, snapshotLines: 1 };
-    if (row.kind === "turn")
-        return { text: "", snapshotLines: 1 };
-    if (row.kind === "tell")
-        return { text: row.text, quoted: true, snapshotLines: 1 };
+    if (row.kind === "said" || row.kind === "thought" || row.kind === "note" || row.kind === "call" || row.kind === "tell") {
+        return { text: row.text, lines: row.kind === "said" || row.kind === "thought" ? 2 : row.kind === "tell" || row.kind === "call" ? 1 : 2 };
+    }
     if (row.kind === "outcome")
         return row.outcome.kind === "answered"
-            ? { text: row.outcome.answer, quoted: true, snapshotLines: 3 }
-            : { text: row.outcome.diagnostic, snapshotLines: 2 };
+            ? { text: row.outcome.answer, lines: 3 }
+            : { text: row.outcome.diagnostic, lines: 2 };
+    if (row.kind === "turn")
+        return { text: "", lines: 1 };
     const repr = toolRepr(row);
-    return { text: repr.text, ...(repr.overflow === undefined ? {} : { overflow: repr.overflow }), ...(repr.suffix === undefined ? {} : { suffix: repr.suffix }), snapshotLines: 2 };
+    return { text: repr.text, lines: 2, ...(repr.overflow === "middle-ellipsis" ? { middle: true } : {}), ...(repr.suffix === undefined ? {} : { suffix: repr.suffix }) };
 }
-function rowItem(row, firstTurn, frontier) {
-    const truncated = "truncated" in row && row.truncated === true ? { truncated: true } : {};
-    return { kind: "row", at: row.at, label: activityLabel(row), spine: rowSpine(row, firstTurn, frontier), ...rowText(row), ...truncated };
+function eventPrefix(glyph, verb, time) {
+    const gutter = time === undefined ? " ".repeat(TIME_WIDTH) : time.padEnd(TIME_WIDTH);
+    return `${gutter} ${glyph} ${verb.padEnd(VERB_WIDTH)} `;
 }
-function snapshotItems(entries) {
-    const seen = new Set();
-    return entries.flatMap((entry) => {
-        if (entry.kind === "gap")
-            return [entry];
-        const row = entry.row;
-        if (row.kind === "turn")
-            return [];
-        const first = "turnSequence" in row && !seen.has(row.turnSequence);
-        if ("turnSequence" in row)
-            seen.add(row.turnSequence);
-        return [rowItem(row, first, false)];
+function continuationPrefix() {
+    return eventPrefix("│", "");
+}
+function quotedBody(row) {
+    return row.kind === "said" || row.kind === "thought" || row.kind === "tell"
+        || (row.kind === "outcome" && row.outcome.kind === "answered");
+}
+function quoteLines(lines, prefix) {
+    const prefixWidth = prefix.length;
+    return lines.map((line) => {
+        const body = line.slice(prefixWidth);
+        if (body.length === 0)
+            return line;
+        return `${line.slice(0, prefixWidth)}“${body}”`;
     });
 }
+function renderMiddleEllipsis(first, text, suffix, columns) {
+    const prefixWidth = displayColumns(first);
+    const remaining = columns - prefixWidth;
+    const suffixWidth = displayColumns(suffix);
+    const withSuffix = remaining - suffixWidth;
+    // `$ ` + one head char + ellipsis + tail; cue and ellipsis alone are not a subject.
+    const showSuffix = suffix.length > 0 && withSuffix >= 6;
+    return `${first}${truncateMiddleDisplayText(text, Math.max(0, showSuffix ? withSuffix : remaining))}${showSuffix ? suffix : ""}`;
+}
+function renderRow(row, context, history, first) {
+    const value = rowText(row);
+    const quoted = quotedBody(row);
+    const quoteWidth = quoted ? 2 : 0;
+    if (value.middle === true) {
+        return [renderMiddleEllipsis(first, value.text, value.suffix ?? "", context.columns - quoteWidth)];
+    }
+    const lines = renderBoundedTextBlock(value.text, {
+        first,
+        continuation: continuationPrefix(),
+        columns: context.columns - quoteWidth,
+        lines: history ? Number.MAX_SAFE_INTEGER : value.lines,
+        ...("truncated" in row && row.truncated === true ? { truncated: true } : {}),
+    });
+    return quoted ? quoteLines(lines, first) : lines;
+}
+function groupedEntries(entries, context, history = false) {
+    const lines = [];
+    let previousClock;
+    for (const entry of entries) {
+        if (entry.kind === "gap") {
+            lines.push(`${" ".repeat(TIME_WIDTH)} ⋮ ${entry.count} omitted`);
+            continue;
+        }
+        const row = entry.row;
+        const at = clock(row.at);
+        const changed = previousClock === undefined || at !== previousClock;
+        lines.push(...renderRow(row, context, history, eventPrefix(mark(row), label(row), changed ? at : undefined)));
+        previousClock = at;
+    }
+    return lines;
+}
+function groupedRows(rows, context, history = false) {
+    return groupedEntries(rows.filter((row) => row.kind !== "turn").map((row) => ({ kind: "row", row })), context, history);
+}
 function snapshotText(view, context, options = {}) {
-    const status = view.status;
-    const items = [...snapshotItems(status.timeline.entries), ...(options.tail ?? [])];
-    return [ruler(identity(status.id, options.alias), context.columns, options.contractId ?? view.contractId), ...(options.facts ?? []), ...renderSpine(items, context)].filter(Boolean).join("\n");
+    const snapshot = view.status.timeline;
+    const activity = snapshot.kind === "idle" && snapshot.outcome !== undefined
+        ? groupedRows([
+            ...snapshot.entries.filter((entry) => entry.kind === "row").map((entry) => entry.row),
+            snapshot.outcome,
+        ].sort((left, right) => left.sequence - right.sequence), context)
+        : groupedEntries(snapshot.entries, context);
+    const facts = [
+        ...(view.status.readonly?.enforcement === "none" ? [`! ${safeText(view.status.readonly.diagnostic)}`] : []),
+        ...(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");
 }
 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 history = result.history;
-    const rows = history.rows.map((row) => rowItem(row, false, false));
     const contractId = result.historyResult.contractId;
-    const scope = contractId === undefined ? "history" : `history · ${contractId}`;
-    return [ruler(identity(result.akuma, result.alias), context.columns, scope), ...renderSpine(rows, context, "history")].join("\n");
+    return [...snapshotHeading(result.akuma, result.alias, contractId), ...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 });
+    return snapshotText(result.result.observation, context, { ...(result.alias === undefined ? {} : { alias: result.alias }), facts, showLife: false });
 }
 function dispatchLines(stage) {
-    if (stage.kind === "none")
-        return [];
-    if (stage.kind === "dispatched")
+    if (stage.kind === "none" || stage.kind === "dispatched")
         return [];
     if (stage.failure.kind === "conflict")
         return [`dispatch failed conflict ${stage.failure.current.contractId}`];
@@ -142,47 +174,108 @@ function dispatchLines(stage) {
         return ["dispatch failed contention"];
     return [`dispatch failed ${stage.failure.kind} ${safeText(stage.failure.diagnostic)}`];
 }
+function callFailed(result) {
+    return result.dispatch.kind === "failed"
+        || result.alias.kind === "failed"
+        || result.readonly?.enforcement === "none";
+}
+function statusAnswer(view) {
+    if (view.status.life !== "asleep")
+        return undefined;
+    if (view.status.readonly?.enforcement === "none")
+        return undefined;
+    const timeline = view.status.timeline;
+    if (timeline.kind !== "idle" || timeline.outcome?.outcome.kind !== "answered")
+        return undefined;
+    return timeline.outcome.outcome.answer;
+}
+export function akumaRawAnswer(result) {
+    if (result.action === "call") {
+        if (callFailed(result.result) || result.result.observation.kind !== "observed")
+            return undefined;
+        return statusAnswer({ status: result.result.observation.status });
+    }
+    if (result.action === "wait" && result.result.statuses.length === 1)
+        return statusAnswer(result.result.statuses[0]);
+    return undefined;
+}
+function executionCwdLine(result) {
+    return result.execution.source === "contract-worktree" ? [`cwd ${result.execution.cwd}`] : [];
+}
 function callText(result, context) {
     const alias = result.result.alias.kind === "aliased" ? result.result.alias.alias.alias : undefined;
-    const facts = [...dispatchLines(result.result.dispatch)];
     const contractId = result.result.dispatch.kind === "dispatched" ? result.result.dispatch.dispatch.contractId : undefined;
-    const head = contractId === undefined ? identity(result.result.akuma, alias) : ruler(identity(result.result.akuma, alias), context.columns, contractId);
+    const facts = [...dispatchLines(result.result.dispatch)];
+    const restraint = result.result.readonly?.enforcement === "none" ? [`! ${safeText(result.result.readonly.diagnostic)}`] : [];
     if (result.result.alias.kind === "failed")
         facts.push(`alias failed ${result.result.alias.failure.kind} ${safeText(result.result.alias.failure.diagnostic)}`);
-    if (result.result.observation.kind === "detached")
-        return [head, ...facts].join("\n");
-    if (result.result.observation.kind === "failed")
-        return [head, ...facts, `! error ${safeText(result.result.observation.failure.diagnostic)}`].join("\n");
-    return snapshotText({ status: result.result.observation.status, ...(contractId === undefined ? {} : { contractId }) }, context, { ...(alias === undefined ? {} : { alias }), facts });
+    const cwd = executionCwdLine(result.result);
+    if (result.result.observation.kind === "detached") {
+        const lines = [...snapshotHeading(result.result.akuma, alias, 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`);
+        }
+        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 snapshotText({ status: result.result.observation.status, ...(contractId === undefined ? {} : { contractId }) }, context, {
+        ...(alias === undefined ? {} : { alias }),
+        facts: [...cwd, ...facts],
+    });
 }
 export function renderAkumaText(command, result, context = DEFAULT_CONTEXT) {
+    const answer = akumaRawAnswer(result);
+    if (answer !== undefined) {
+        if (result.action !== "call")
+            return answer;
+        const cwd = executionCwdLine(result.result);
+        return cwd.length === 0 ? answer : `${cwd.join("\n")}\n${answer}`;
+    }
     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 }) });
+        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 "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.kind === "fork-failed" ? result.receipt.diagnostic : result.receipt.diagnostic;
+                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 contractId === undefined ? result.receipt.child : ruler(result.receipt.child, context.columns, contractId);
+            return associatedIdentity(result.receipt.child, undefined, 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");
     }
 }
-export function akumaExitCode(result) {
-    if (result.action === "call" && (result.result.dispatch.kind === "failed" || result.result.alias.kind === "failed" || result.result.observation.kind === "failed"))
-        return 2;
-    if (result.action === "kill" && result.result.results.some((member) => member.evidence === "unavailable" || member.evidence === "alive-after-sigkill"))
-        return 1;
-    if (result.action === "tell" && result.mode === "ordinary" && typeof result.result.tell.wake !== "string")
+function callExitCode(result) {
+    if (result.result.dispatch.kind === "failed" || result.result.alias.kind === "failed" || result.result.observation.kind === "failed")
         return 2;
-    if (result.action === "tell" && result.mode === "interrupt" && result.result.receipt.kind !== "interrupted")
-        return 1;
-    if (result.action === "fork" && result.receipt.kind !== "forked")
-        return result.receipt.kind === "upstream-forked" ? 2 : 1;
-    return 0;
+    if (result.result.observation.kind !== "observed")
+        return 0;
+    const timeline = result.result.observation.status.timeline;
+    return timeline.kind === "idle" && timeline.outcome?.outcome.kind === "failed" ? 2 : 0;
+}
+function killExitCode(result) {
+    return result.result.results.some((member) => member.evidence === "unavailable" || member.evidence === "hung" || member.evidence === "untidy") ? 1 : 0;
+}
+function tellExitCode(result) {
+    if (result.mode === "ordinary")
+        return typeof result.result.tell.wake === "string" ? 0 : 2;
+    return result.result.receipt.kind === "interrupted" ? 0 : 1;
+}
+function forkExitCode(result) {
+    return result.receipt.kind === "forked" ? 0 : result.receipt.kind === "upstream-forked" ? 2 : 1;
+}
+export function akumaExitCode(result) {
+    switch (result.action) {
+        case "call": return callExitCode(result);
+        case "kill": return killExitCode(result);
+        case "tell": return tellExitCode(result);
+        case "fork": return forkExitCode(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")
@@ -191,4 +284,6 @@ export function akumaJsonValue(command, result) {
         throw new Error("history result requires the history command");
     return result.historyResult;
 }
-export function renderAkumaJson(command, result) { return JSON.stringify(akumaJsonValue(command, result)); }
+export function renderAkumaJson(command, result) {
+    return JSON.stringify(akumaJsonValue(command, result));
+}

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

@@ -0,0 +1,3 @@
+import type { AcceptedAuditResult } from "../result.js";
+import { type TextRenderContext } from "./terminal.js";
+export declare function renderAcceptedAudit(result: AcceptedAuditResult, context?: TextRenderContext): string;

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

@@ -0,0 +1,104 @@
+import { cleanupLines, leakLines, outcomeLines, receiptPayload, receiptRow, stopLines, } from "./receipt.js";
+import { renderRefusalFacts } from "./refusal.js";
+import { gitShortStat, renderBoundedTextBlock, renderOpaqueBlock, } from "./terminal.js";
+const CHILD = "  ";
+function workspaceEvidence(workspace, columns) {
+    return renderOpaqueBlock(`workspace ${workspace.kind} ${workspace.path}`, CHILD, columns);
+}
+function candidateLines(report, columns, addressed) {
+    const candidate = report.candidate;
+    const lines = [];
+    if (candidate.kind === "blocked") {
+        receiptRow(lines, "!", "candidate", [{ text: "blocked" }], columns);
+        lines.push(...renderRefusalFacts(candidate.refusal, CHILD, columns, addressed));
+        return lines;
+    }
+    const identity = candidate.identity;
+    receiptRow(lines, "✓", "candidate", [{ text: "ready" }], columns);
+    lines.push(...renderOpaqueBlock(`tender=${identity.tenderSnapshot}`, CHILD, columns));
+    lines.push(...renderOpaqueBlock(`integration=${identity.integration.snapshot}`, CHILD, columns));
+    lines.push(...renderOpaqueBlock(`change=${identity.integration.changeId}`, CHILD, columns));
+    lines.push(...workspaceEvidence(candidate.workspace, columns));
+    lines.push(...renderOpaqueBlock(gitShortStat(candidate.scope), CHILD, columns));
+    if (candidate.scope.paths !== undefined) {
+        for (const path of candidate.scope.paths) {
+            lines.push(...renderOpaqueBlock(path, CHILD, columns));
+        }
+    }
+    if (report.delivery !== undefined) {
+        lines.push(...renderOpaqueBlock(`delivery change=${report.delivery.changeId} ${report.delivery.relation}`, CHILD, columns));
+    }
+    if (candidate.diff !== undefined)
+        receiptPayload(lines, "diff", candidate.diff);
+    return lines;
+}
+function verificationLines(verification, columns, addressed) {
+    const lines = [];
+    if (verification.kind === "not-run") {
+        receiptRow(lines, "·", "verification", [{ text: "not-run" }], columns);
+        return lines;
+    }
+    if (verification.kind === "stopped") {
+        return stopLines("verification", verification.stop, columns, addressed);
+    }
+    receiptRow(lines, verification.kind === "satisfied" ? "✓" : "!", "verification", [
+        { text: verification.kind },
+        { text: `${verification.passed} of ${verification.total}` },
+    ], columns);
+    if (verification.summary !== undefined) {
+        lines.push(...renderBoundedTextBlock(verification.summary, {
+            first: `${CHILD}summary `,
+            continuation: CHILD,
+            columns,
+        }));
+    }
+    return lines;
+}
+function targetLines(target, columns, addressed) {
+    const lines = [];
+    if (target.kind === "not-observed") {
+        receiptRow(lines, "·", "target", [{ text: "not-observed" }], columns);
+        return lines;
+    }
+    if (target.kind === "placeable") {
+        receiptRow(lines, "✓", "target", [
+            { text: "placeable" },
+            { text: target.ref, opaque: true },
+            { text: target.head, opaque: true },
+        ], columns);
+        return lines;
+    }
+    if (target.kind === "moved") {
+        receiptRow(lines, "!", "target", [
+            { text: "moved" },
+            { text: target.ref, opaque: true },
+            { text: `${target.expected} -> ${target.observed}`, opaque: true },
+        ], columns);
+        return lines;
+    }
+    if (target.kind === "failed") {
+        receiptRow(lines, "!", "target", [{ text: "failed" }], columns);
+        receiptPayload(lines, "diagnostic", target.diagnostic);
+        return lines;
+    }
+    receiptRow(lines, "!", "target", [{ text: "refused" }], columns);
+    lines.push(...renderRefusalFacts(target.refusal, CHILD, columns, addressed));
+    return lines;
+}
+function obligationLines(result, columns) {
+    return [
+        ...(result.cleanup === undefined ? [] : cleanupLines(result.cleanup, columns)),
+        ...(result.leak === undefined ? [] : leakLines(result.leak, columns)),
+    ];
+}
+export function renderAcceptedAudit(result, context) {
+    const report = result.report;
+    const columns = context?.columns ?? 80;
+    return [
+        ...outcomeLines("✓", result.verb, "accepted", result.contract, columns),
+        ...candidateLines(report, columns, result.contract),
+        ...verificationLines(report.verification, columns, result.contract),
+        ...targetLines(report.target, columns, result.contract),
+        ...obligationLines(result, columns),
+    ].join("\n");
+}

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

@@ -1,4 +1,4 @@
 import type { AcceptedResult, RetryResult } from "../result.js";
-export declare function obligationLines(value: Pick<AcceptedResult, "verification" | "placement" | "cleanup" | "leak">): readonly string[];
-export declare function renderAccepted(result: AcceptedResult): string;
-export declare function renderRetry(result: RetryResult): string;
+import { type TextRenderContext } from "./terminal.js";
+export declare function renderAccepted(result: AcceptedResult, context?: TextRenderContext): string;
+export declare function renderRetry(result: RetryResult, context?: TextRenderContext): string;