@astrosheep/keiyaku 2.9.8 → 2.9.10

package/build/cli/render/projection-activity.js

@@ -1,11 +1,31 @@
 import { compactText } from "./compact-text.js";
-import { displayColumns, fitVariableLine, resolveLineColumns, truncateMiddleColumns } from "./line-width.js";
+import { displayColumns, fitVariableLine, resolveLineColumns, truncateMiddleColumns, truncateColumns } from "./line-width.js";
 import { presentFoldedToolActivity, } from "./tool-presentation.js";
 import { presentLedgerPath, summarizeToolLedger } from "./tool-ledger-rollup.js";
 const TIME_GUTTER_WIDTH = 5;
 const VERB_WIDTH = 7;
 const SILENCE_THRESHOLD_MS = 60_000;
 const TIMELINE_GAP_MARKER = "⋮";
+/** Keep the renderer and its gap grammar while giving Kanshi its smaller live window. */
+export function selectProjectionActivityWindow(activity, ordinaryRows) {
+    // A Kanshi flow narrows only the settled history window. Unfinished activity
+    // remains pinned in its timeline position; it is not another history row.
+    const selected = activity.window.slice(-ordinaryRows);
+    const selectedOrders = new Set([
+        ...selected.map((row) => row.order),
+        ...activity.pinned.map((row) => row.order),
+    ]);
+    return {
+        activity: {
+            ...activity,
+            window: selected,
+            // Turn seals are a wait concern. Kanshi's narrow operational flow contains
+            // only ordinary activity plus durable tells.
+            timeline: activity.timeline.filter((row) => selectedOrders.has(row.order)),
+        },
+        leadingOmittedCount: activity.omittedSettledCount + activity.window.length - selected.length,
+    };
+}
 export function formatTimelineDuration(ms) {
     const totalSeconds = Math.max(0, Math.floor(ms / 1_000));
     if (totalSeconds < 60)
@@ -40,6 +60,14 @@ export function formatWallClock(at) {
         return "  :  │";
     return `${String(value.getHours()).padStart(2, "0")}:${String(value.getMinutes()).padStart(2, "0")}│`;
 }
+/** One durable-tell line dialect shared by wait and the embedded Kanshi flow. */
+export function renderPendingProjectionTell(tell, input) {
+    const createdAtMs = Date.parse(tell.createdAt);
+    const age = Math.max(0, input.anchorMs - (Number.isFinite(createdAtMs) ? createdAtMs : input.anchorMs));
+    const fixed = `${formatWallClock(tell.createdAt)} ${"told".padEnd(VERB_WIDTH)} `;
+    const tail = ` — ${formatTimelineDuration(age)}…`;
+    return `${fixed}${truncateColumns(`“${tell.text}”`, Math.max(0, input.maxColumns - displayColumns(fixed) - displayColumns(tail)))}${input.renderUnconsumedTail?.(tail) ?? tail}`;
+}
 function commonPrefix(left, right) {
     const a = [...left];
     const b = [...right];
@@ -73,8 +101,8 @@ function compressedPrefix(prefix) {
 function timelineGutter(label, spine) {
     return label || `${"".padStart(TIME_GUTTER_WIDTH)}${spine}`;
 }
-function renderTimelineGap(omittedEventCount, maxColumns) {
-    return fitVariableLine(`${timelineGutter("", TIMELINE_GAP_MARKER)} `, `${omittedEventCount} more`, maxColumns);
+function renderTimelineGap(omittedRowCount, maxColumns) {
+    return fitVariableLine(`${timelineGutter("", TIMELINE_GAP_MARKER)} `, `${omittedRowCount} more`, maxColumns);
 }
 function compactTokens(value) {
     if (value < 1_000)
@@ -148,13 +176,15 @@ function renderTerminalRollup(activity, input) {
             ? fitVariableLine(`${endPrefix} `, segments.join(" · "), input.maxColumns)
             : endPrefix,
     });
-    for (const file of summary.files) {
-        const repeat = file.count > 1 ? ` ×${file.count}` : "";
-        const diffstat = file.diffstat ? ` +${file.diffstat.additions} −${file.diffstat.deletions}` : "";
-        rows.push({ kind: "file", line: fitVariableLine("", `${file.path}${repeat}${diffstat}`, input.maxColumns) });
-    }
-    if (summary.hiddenFileCount > 0) {
-        rows.push({ kind: "file", line: fitVariableLine("", `… ${summary.hiddenFileCount} more files`, input.maxColumns) });
+    if (input.includeFiles !== false) {
+        for (const file of summary.files) {
+            const repeat = file.count > 1 ? ` ×${file.count}` : "";
+            const diffstat = file.diffstat ? ` +${file.diffstat.additions} −${file.diffstat.deletions}` : "";
+            rows.push({ kind: "file", line: fitVariableLine("", `${file.path}${repeat}${diffstat}`, input.maxColumns) });
+        }
+        if (summary.hiddenFileCount > 0) {
+            rows.push({ kind: "file", line: fitVariableLine("", `… ${summary.hiddenFileCount} more files`, input.maxColumns) });
+        }
     }
     return { rows, hasMutationFiles: summary.files.length > 0 };
 }
@@ -174,33 +204,37 @@ function timelineEntries(activity) {
 export function renderProjectionActivity(activity, input) {
     const lines = [];
     const rowKinds = [];
+    const rowAts = [];
     let priorAtMs;
-    let priorOrder;
     let priorMinute;
     let priorCompletedRan;
     let hasEndAnchor = false;
     let lastRunningTool;
+    const interrupted = input.state === "dead" || input.state === "lost" || input.state === "dismissed";
     const maxColumns = input.maxColumns ?? resolveLineColumns();
     const entries = timelineEntries(activity);
-    const pushRow = (line, kind) => {
+    const gapBeforeOrder = input.leadingOmittedCount ? activity.window[0]?.order : undefined;
+    let gapEmitted = false;
+    const pushRow = (line, kind, at) => {
         lines.push(line);
         rowKinds.push(kind);
+        rowAts.push(at);
         return true;
     };
     for (let index = 0; index < entries.length; index += 1) {
         const entry = entries[index];
         const atMs = Date.parse(entry.at);
-        if (priorOrder !== undefined && entry.order > priorOrder + 1) {
-            pushRow(renderTimelineGap(entry.order - priorOrder - 1, maxColumns), "activity");
-        }
-        priorOrder = entry.order;
         if (entry.kind === "clock") {
             if (Number.isFinite(atMs))
                 priorAtMs = atMs;
             continue;
         }
-        if (priorAtMs !== undefined && Number.isFinite(atMs) && atMs - priorAtMs >= SILENCE_THRESHOLD_MS) {
-            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}┆ `, `${formatTimelineDuration(atMs - priorAtMs)} pass in silence`, maxColumns), "silence");
+        if (!gapEmitted && input.leadingOmittedCount && gapBeforeOrder !== undefined && entry.row.order >= gapBeforeOrder) {
+            pushRow(renderTimelineGap(input.leadingOmittedCount, maxColumns), "activity", entry.at);
+            gapEmitted = true;
+        }
+        if (input.showSilence !== false && priorAtMs !== undefined && Number.isFinite(atMs) && atMs - priorAtMs >= SILENCE_THRESHOLD_MS) {
+            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}┆ `, `${formatTimelineDuration(atMs - priorAtMs)} pass in silence`, maxColumns), "silence", entry.at);
         }
         if (Number.isFinite(atMs))
             priorAtMs = atMs;
@@ -211,14 +245,14 @@ export function renderProjectionActivity(activity, input) {
             priorMinute = minute;
         const spine = row.kind === "turn"
             ? "├"
-            : input.state === "dead" || input.state === "lost"
+            : interrupted
                 ? "┆"
                 : "│";
         if (row.kind === "ran") {
             const duration = formatActionDuration(row.durationMs);
             const activityState = row.state === "completed"
                 ? "completed"
-                : input.state === "dead" || input.state === "lost"
+                : interrupted
                     ? "interrupted"
                     : input.state === "stalled" || input.state === "unknown"
                         ? "unresolved"
@@ -235,22 +269,22 @@ export function renderProjectionActivity(activity, input) {
             }
             priorCompletedRan = row.state === "completed" ? presentation.variableText : undefined;
             const budget = Math.max(0, maxColumns - displayColumns(fixed) - displayColumns(presentation.fixedSuffix));
-            pushRow(`${fixed}${truncateMiddleColumns(variable, budget)}${presentation.fixedSuffix}`, "activity");
+            pushRow(`${fixed}${truncateMiddleColumns(variable, budget)}${presentation.fixedSuffix}`, "activity", entry.at);
             continue;
         }
         if (row.kind === "said") {
             priorCompletedRan = undefined;
-            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"said".padEnd(VERB_WIDTH)} `, `“${compactText(row.text)}”`, maxColumns), "activity");
+            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"said".padEnd(VERB_WIDTH)} `, `“${compactText(row.text)}”`, maxColumns), "activity", entry.at);
         }
         else if (row.kind === "thought") {
             priorCompletedRan = undefined;
             const text = `${compactText(row.text)}${row.truncated && !row.text.endsWith("…") ? "…" : ""}`;
             const duration = formatActionDuration(row.durationMs);
-            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"thought".padEnd(VERB_WIDTH)} `, `${duration ? `${duration} — ` : ""}“${text}”`, maxColumns), "activity");
+            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"thought".padEnd(VERB_WIDTH)} `, `${duration ? `${duration} — ` : ""}“${text}”`, maxColumns), "activity", entry.at);
         }
         else if (row.kind === "warning") {
             priorCompletedRan = undefined;
-            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"warning".padEnd(VERB_WIDTH)} `, warningText(row), maxColumns), "activity");
+            pushRow(fitVariableLine(`${timelineGutter(label, spine)} ${"warning".padEnd(VERB_WIDTH)} `, warningText(row), maxColumns), "activity", entry.at);
         }
         else {
             priorCompletedRan = undefined;
@@ -258,7 +292,7 @@ export function renderProjectionActivity(activity, input) {
                 ? ` · ${compactTokens(row.inputTokens)}▸${compactTokens(row.outputTokens)} tok`
                 : "";
             const cost = row.costUsd !== undefined ? ` · $${row.costUsd.toFixed(2)}` : "";
-            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}├ `, `turn ${row.turn}${usage}${cost}`, maxColumns), "activity");
+            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}├ `, `turn ${row.turn}${usage}${cost}`, maxColumns), "activity", entry.at);
         }
     }
     for (const row of activity.pinned) {
@@ -267,10 +301,10 @@ export function renderProjectionActivity(activity, input) {
     }
     if (input.showPlan && activity.plan) {
         const planAtMs = Date.parse(activity.plan.at);
-        if (priorAtMs !== undefined && Number.isFinite(planAtMs) && planAtMs - priorAtMs >= SILENCE_THRESHOLD_MS) {
-            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}┆ `, `${formatTimelineDuration(planAtMs - priorAtMs)} pass in silence`, maxColumns), "silence");
+        if (input.showSilence !== false && priorAtMs !== undefined && Number.isFinite(planAtMs) && planAtMs - priorAtMs >= SILENCE_THRESHOLD_MS) {
+            pushRow(fitVariableLine(`${"".padStart(TIME_GUTTER_WIDTH)}┆ `, `${formatTimelineDuration(planAtMs - priorAtMs)} pass in silence`, maxColumns), "silence", activity.plan.at);
         }
-        pushRow(renderPlan(activity.plan, maxColumns), "plan");
+        pushRow(renderPlan(activity.plan, maxColumns), "plan", activity.plan.at);
     }
     let hasMutationFiles = false;
     if (["returned", "dead", "lost", "dismissed"].includes(input.state)) {
@@ -278,10 +312,11 @@ export function renderProjectionActivity(activity, input) {
             anchorMs: input.anchorMs,
             ...(input.workspaceRoot ? { workspaceRoot: input.workspaceRoot } : {}),
             ...(input.terminalDiagnostic ? { diagnostic: input.terminalDiagnostic } : {}),
+            includeFiles: input.showTerminalFiles !== false,
             maxColumns,
         });
         for (const row of rollup.rows) {
-            pushRow(row.line, row.kind);
+            pushRow(row.line, row.kind, new Date(input.anchorMs).toISOString());
         }
         hasEndAnchor = true;
         hasMutationFiles = rollup.hasMutationFiles;
@@ -289,6 +324,7 @@ export function renderProjectionActivity(activity, input) {
     return {
         lines,
         rowKinds,
+        rowAts,
         ...(lastRunningTool ? { lastRunningTool } : {}),
         hasEndAnchor,
         hasMutationFiles,

package/build/cli/render/projection-history.js

@@ -0,0 +1,64 @@
+import { renderProjectionActivity } from "./projection-activity.js";
+function fact(value) {
+    return value ?? "unavailable";
+}
+function consequenceLines(run) {
+    const consequences = run.consequences;
+    if (consequences === null)
+        return [];
+    if (consequences.retention === "unavailable") {
+        return [`consequences: unavailable · ${consequences.reason}`];
+    }
+    const retained = (name, value, detail) => value.retention === "retained" ? `${name}: retained · ${detail}` : `${name}: unavailable · ${value.reason}`;
+    return [
+        `review: unavailable · ${consequences.review.reason}`,
+        retained("petition", consequences.petition, consequences.petition.retention === "retained" ? `${consequences.petition.intent} · ${consequences.petition.objectId}` : ""),
+        retained("verdict", consequences.verdict, consequences.verdict.retention === "retained" ? `${consequences.verdict.result} · ${consequences.verdict.objectId}` : ""),
+        retained("claim", consequences.claim, consequences.claim.retention === "retained" ? `${consequences.claim.objectId} · ${consequences.claim.mergeCommit}` : ""),
+        retained("landed commit", consequences.landedCommit, consequences.landedCommit.retention === "retained" ? consequences.landedCommit.commit : ""),
+    ];
+}
+function runLines(run) {
+    return [
+        `${run.id}${run.alias ? ` (${run.alias})` : ""} · ${run.outcome}`,
+        `akuma: ${fact(run.akuma)} · provider: ${fact(run.provider)}${run.pid === null ? "" : ` · pid: ${run.pid}`} · role: ${run.role}`,
+        `contract: ${fact(run.contractId)}`,
+        `created: ${fact(run.mintedAt)}${run.terminalAt ? ` · terminal: ${run.terminalAt}` : ""}`,
+        ...(run.generation ? [`generation: ${run.generation.executionId} · created: ${run.generation.createdAt}${run.generation.adoptedAt ? ` · adopted: ${run.generation.adoptedAt}` : ""}`] : []),
+        `activity: ${run.activityRetention} · ${run.activityCount} retained${run.activityRange ? ` · ${run.activityRange.first}-${run.activityRange.last}` : ""}`,
+        ...(run.telemetry ? [`telemetry: ${run.telemetry.inputTokens} in · ${run.telemetry.outputTokens} out${run.telemetry.cachedInputTokens !== undefined ? ` · ${run.telemetry.cachedInputTokens} cached` : ""}${run.telemetry.costUsd !== undefined ? ` · $${run.telemetry.costUsd.toFixed(2)}` : ""}`] : []),
+        ...(run.artifact ? [`artifact: ${fact(run.artifact.id)} · ${run.artifact.retention}${run.artifact.path ? ` · path: ${run.artifact.path}` : ""}`] : []),
+        ...consequenceLines(run),
+        ...run.diagnostics.map((diagnostic) => `diagnostic: ${diagnostic}`),
+    ];
+}
+export function renderProjectionHistoryList(runs) {
+    return runs.flatMap((run, index) => index === 0 ? runLines(run) : ["", ...runLines(run)]).join("\n");
+}
+export function renderProjectionHistoryDetail(detail) {
+    const lines = runLines(detail);
+    if (!detail.activity || detail.activity.retainedTimeline.length === 0)
+        return lines.join("\n");
+    const state = detail.outcome === "done" ? "returned"
+        : detail.outcome === "out" ? "running"
+            : detail.outcome === "failed" || detail.outcome === "dead" ? "dead"
+                : detail.outcome === "lost" ? "lost"
+                    : detail.outcome === "killed" || detail.outcome === "dismissed" ? "dismissed"
+                        : detail.outcome === "startup-timeout" ? "stalled"
+                            : "unknown";
+    const activity = renderProjectionActivity({
+        ...detail.activity,
+        timeline: detail.activity.retainedTimeline,
+        omittedSettledCount: 0,
+    }, {
+        anchorMs: Date.now(),
+        state,
+        showPlan: false,
+        showSilence: false,
+        showTerminalFiles: false,
+    });
+    return [...lines, "", ...activity.lines].join("\n");
+}
+export function projectionHistoryJson(value) {
+    return `${JSON.stringify(value)}\n`;
+}

package/build/cli/render/shared.js

@@ -1,4 +1,5 @@
 import { KEIYAKU_FILE } from "../../keiyaku.js";
+import { isCompleteLifecycleOutcome } from "../../core/outcome-base.js";
 import { commissionSlug, formatCommissionCoordinate } from "../../core/ids.js";
 import { assembleResponse, buildSection, DISPLAY_TEXT_MAX_CHARS, FORMAT_LIST_MAX_ITEM_CHARS, FORMAT_LIST_MAX_ITEMS, formatMaybe, formatWarnings, shellQuote, truncateForDisplay, } from "./format.js";
 import { WARNING_SECTION_TITLE } from "./response-style.js";
@@ -63,6 +64,26 @@ export function buildBindResponse(result, cwd) {
         ...(overlapWarnings.length > 0 ? ["Warnings:", ...overlapWarnings] : []),
     ].join("\n"), payload);
 }
+export function buildContainedBindResponse(result) {
+    const payload = {
+        family: result.family,
+        completion: result.completion,
+        committed: result.committed,
+        heads: result.heads,
+        reconciliationKey: result.reconciliationKey,
+        prerequisites: result.prerequisites,
+        downstream: result.downstream,
+        replay: result.replay,
+        carrier: result.carrier,
+        cancellationObserved: result.cancellationObserved,
+    };
+    return coreTextResponse(`Bind committed with incomplete replay · head ${result.committed.head} · reconcile ${result.reconciliationKey}`, payload);
+}
+export function buildBindOutcomeResponse(result, cwd) {
+    return isCompleteLifecycleOutcome(result)
+        ? buildBindResponse(result, cwd)
+        : buildContainedBindResponse(result);
+}
 function renderScopeOverlapWarnings(overlaps) {
     const overlapsByCounterparty = new Map();
     for (const overlap of overlaps) {
@@ -105,10 +126,8 @@ export function buildForfeitResponse(result) {
                 `Could not remove contract worktree ${result.cleanup.worktreeRemoveFailure.path}: ${result.cleanup.worktreeRemoveFailure.reason}`,
             ]
             : []),
-        ...(result.cleanup.branchDeleteFailure
-            ? [
-                `Could not delete contract branch: ${redactBranchReference(result.cleanup.branchDeleteFailure.reason, result.cleanup.branchDeleteFailure.name)}`,
-            ]
+        ...(result.cleanup.deliveryRef.status === "mismatch"
+            ? [`Delivery ref ${result.cleanup.deliveryRef.mismatch.ref} remains present at ${result.cleanup.deliveryRef.mismatch.observed.head}; terminal replay preserved it as a projected-surface mismatch.`]
             : []),
     ];
     if (warnings.length === 0) {
@@ -117,11 +136,6 @@ export function buildForfeitResponse(result) {
     const warningSection = buildSection(WARNING_SECTION_TITLE, formatWarnings(warnings));
     return prependAddressReceipt(coreTextResponse(assembleResponse(base, "", [warningSection].filter((section) => section !== null)), payload), result.address);
 }
-function redactBranchReference(message, branch) {
-    return message
-        .replaceAll(`refs/heads/${branch}`, "contract branch")
-        .replaceAll(branch, "contract branch");
-}
 export const RULES_SECTION_MAX_CHARS = 5000;
 export const INFO_SECTION_TITLE = "Info";
 export const HINTS_SECTION_TITLE = "Hints";

package/build/cli/render/status.js

@@ -7,7 +7,6 @@ import { renderTerminalFailureFace, terminalFailureCodeSuffix } from "./terminal
 import { formatTellCommand } from "./shared.js";
 export const STATUS_DISEASES_SECTION_TITLE = "Diseases";
 export const STATUS_PROJECTION_SECTION_TITLE = "akuma";
-export const STATUS_CLAIM_RECEIPTS_SECTION_TITLE = "claim receipts";
 function projectionGlyph(state) {
     switch (state) {
         case "out":
@@ -37,15 +36,19 @@ export function renderSettingsDiseasesSection(diseases, taskDiseases = []) {
     return `${STATUS_DISEASES_SECTION_TITLE}\n${lines.join("\n")}\n`;
 }
 function renderTaskStatusSection(tasks) {
-    if (!tasks || tasks.inProgress + tasks.ready + tasks.blocked === 0)
+    if (!tasks || tasks.inProgress + tasks.onHold + tasks.ready + tasks.blocked === 0)
         return "";
     const segments = [
         tasks.inProgress > 0 ? `${tasks.inProgress} in_progress` : undefined,
+        tasks.onHold > 0 ? `${tasks.onHold} on hold` : undefined,
         tasks.ready > 0 ? `${tasks.ready} ready` : undefined,
         tasks.blocked > 0 ? `${tasks.blocked} blocked` : undefined,
     ].filter((segment) => segment !== undefined);
     const lines = [`tasks · ${segments.join(" / ")}`];
-    lines.push(...tasks.topTasks.map((task) => `  ${task.id} · P${task.pri} · ${task.state === "in_progress" ? "in_progress" : "ready"} · age ${formatAgeMs(task.ageMs)} · active ${formatAgeMs(task.activityAgeMs)} · ${task.title}`));
+    lines.push(...tasks.topTasks.map((task) => {
+        const onHold = task.state === "on_hold";
+        return `  ${task.id} · P${task.pri} · ${onHold ? "on hold" : "in_progress"} · age ${formatAgeMs(task.ageMs)} · ${onHold ? "updated" : "active"} ${formatAgeMs(task.activityAgeMs)} · ${task.title}`;
+    }));
     if (tasks.omitted > 0) {
         lines.push(`  · +${tasks.omitted} more — keiyaku task ls`);
     }
@@ -69,12 +72,12 @@ function terminalFailureSuffix(row) {
 function renderProjectionOmission(board) {
     if (!board.omitted)
         return undefined;
-    const counts = ["failed", "dead", "done", "killed", "dismissed", "incompatible"]
+    const counts = ["failed", "dead", "done", "killed", "dismissed"]
         .flatMap((state) => {
         const count = board.omitted?.byState[state] ?? 0;
         return count > 0 ? [`${count} ${state}`] : [];
     });
-    return `  · +${board.omitted.total} historical projections not shown (${counts.join(" · ")})`;
+    return counts.length > 0 ? `+ ${counts.join(" · ")}` : undefined;
 }
 function renderProjectionAge(row) {
     const duration = formatAgeMs(row.durationMs) ?? "?";
@@ -99,10 +102,9 @@ function renderProjectionAge(row) {
     return facts;
 }
 function renderProjectionTellCounts(row) {
-    const { inbox, inflight, submitted, consumed } = row.tellCounts;
-    if (inbox === 0 && inflight === 0 && submitted === 0 && consumed === 0)
-        return "";
-    return ` tell ${inbox}▸${inflight}▸${submitted}▸${consumed}`;
+    const { inbox, inflight, submitted, seen, consumed } = row.tellCounts;
+    const total = inbox + inflight + submitted + seen + consumed;
+    return total === 0 ? "" : ` tell ${total} told`;
 }
 function projectionActivityState(row) {
     switch (row.state) {
@@ -194,42 +196,18 @@ export function renderProjectionStatusSection(board) {
         lines.push(omission);
     return `${STATUS_PROJECTION_SECTION_TITLE}\n${lines.join("\n")}\n`;
 }
-function renderClaimReconciliationSection(recon) {
-    if (!recon)
-        return "";
-    const lines = recon.unclaimedSegments.map((seg) => `${recon.defaultBranch} ${shortCommitHash(seg.oldHead)}▸${shortCommitHash(seg.newHead)} · ${seg.commitCount} commits · 无 claim 收据`);
-    lines.push(...recon.receiptIssues.map((issue) => `receipt line ${issue.line} · ${issue.reason}`));
-    if (lines.length === 0)
-        return "";
-    return `${STATUS_CLAIM_RECEIPTS_SECTION_TITLE}\n${lines.join("\n")}\n`;
-}
 /**
  * Status mouth: kanshi board plus optional diseases section.
  * Healthy boards (no diseases) are byte-identical to renderKanshiBoard alone.
  */
 export function renderStatusBoard(board) {
     const boardText = renderKanshiBoard(board);
-    const projectionText = renderProjectionStatusSection(board.projections);
-    const receiptsText = renderClaimReconciliationSection(board.claimReconciliation);
-    const taskText = renderTaskStatusSection(board.tasks);
     const taskDiseaseText = [
         ...(board.tasks?.diseases ?? []).map((disease) => disease.message),
         ...(board.tasks?.diagnostic ? [board.tasks.diagnostic] : []),
     ];
     const diseasesText = renderSettingsDiseasesSection(board.diseases, taskDiseaseText);
-    if (!projectionText && !receiptsText && !taskText && diseasesText === "")
+    if (diseasesText === "")
         return boardText;
-    const sections = [boardText.trimEnd()];
-    if (board.targetFilter !== null && (projectionText || receiptsText || diseasesText)) {
-        sections.push("repository-wide — not filtered by target");
-    }
-    if (projectionText)
-        sections.push(projectionText.trimEnd());
-    if (receiptsText)
-        sections.push(receiptsText.trimEnd());
-    if (taskText)
-        sections.push(taskText.trimEnd());
-    if (diseasesText)
-        sections.push(diseasesText.trimEnd());
-    return `${sections.join("\n\n")}\n`;
+    return `${[boardText.trimEnd(), diseasesText.trimEnd()].join("\n\n")}\n`;
 }

package/build/cli/render/task.js

@@ -8,13 +8,29 @@ export function deriveTaskDisplay(task) {
     return display === "bound" ? `bound(${shortContractId(task.contractId)})` : display;
 }
 function renderTaskRowWithId(task, id) {
-    return `${id} · P${task.pri} · ${deriveTaskDisplay(task)} · ${task.title}`;
+    return `${id} · ${task.namespace ?? "hub"} · P${task.pri} · ${deriveTaskDisplay(task)} · ${task.title}`;
 }
 export function renderTaskListRow(task) {
-    return renderTaskRowWithId(task, task.id);
+    return renderTaskRowWithId(task, task.coordinate);
 }
 export function renderTaskMutationRow(task) {
-    return renderTaskRowWithId(task, task.id);
+    return renderTaskRowWithId(task, task.coordinate);
+}
+export function renderTaskUpdate(result) {
+    const lines = [renderTaskMutationRow(result.task)];
+    if (result.bodyChange) {
+        lines.push(`body · +${result.bodyChange.diffstat.additions} −${result.bodyChange.diffstat.deletions} lines`);
+        for (const section of result.bodyChange.removedSections) {
+            lines.push(`▲ section removed: ${section}`);
+        }
+    }
+    return lines.join("\n");
+}
+export function renderTaskUpdateJson(result) {
+    return JSON.stringify({
+        ...taskJson(result.task),
+        ...(result.bodyChange === undefined ? {} : { bodyChange: result.bodyChange }),
+    });
 }
 export function renderTaskRow(task, completeId = false) {
     return completeId ? renderTaskMutationRow(task) : renderTaskListRow(task);
@@ -28,24 +44,20 @@ export function renderTaskList(tasks, options = {}) {
 export function renderSelectedTaskList(tasks) {
     return tasks.map(renderTaskListRow).join("\n");
 }
-function renderIds(ids) {
-    return ids.length === 0 ? "(none)" : ids.join(", ");
-}
 function renderTaskDetails(task) {
     const released = new Set(task.releasedNeeds);
-    const needs = task.needs.length === 0
-        ? "(none)"
-        : task.needs
-            .map((id) => `${id}${released.has(id) ? " (dropped)" : ""}`)
-            .join(", ");
     return [
-        `${task.id} · ${task.title}`,
+        `${task.coordinate} · ${task.title}`,
+        `namespace: ${task.namespace ?? "(hub)"}`,
         `state: ${deriveTaskDisplay(task)}`,
         `priority: ${task.pri}`,
-        `needs: ${needs}`,
-        `blocks: ${renderIds(task.blocks)}`,
-        `parent: ${task.parent === null ? "(none)" : task.parent}`,
-        `from: ${renderIds(task.from)}`,
+        ...(task.needs.length === 0 ? [] : [`needs: ${task.needs.map((id) => `${id}${released.has(id) ? " (dropped)" : ""}`).join(", ")}`]),
+        ...(task.blocks.length === 0 ? [] : [`blocks: ${task.blocks.join(", ")}`]),
+        ...(task.parent === null ? [] : [`parent: ${task.parent}`]),
+        ...(task.from.length === 0 ? [] : [`from: ${task.from.join(", ")}`]),
+        ...(task.supersedes.length === 0 ? [] : [`supersedes: ${task.supersedes.join(", ")}`]),
+        ...(task.supersededBy.length === 0 ? [] : [`superseded by: ${task.supersededBy.join(", ")}`]),
+        ...(task.relatedTasks.length === 0 ? [] : [`relates to: ${task.relatedTasks.join(", ")}`]),
         `created: ${task.createdAt} by ${task.creator}`,
         "",
         task.body,
@@ -55,16 +67,24 @@ function renderTreeNode(node, prefix, last) {
     const branch = last ? "`- " : "|- ";
     const nestedPrefix = `${prefix}${last ? "   " : "|  "}`;
     const task = node.task;
-    const released = new Set(task.releasedNeeds);
-    const needs = task.needs.length === 0
-        ? "(none)"
-        : task.needs.map((id) => `${id}${released.has(id) ? " (dropped)" : ""}`).join(", ");
     const lines = [
-        `${prefix}${branch}${task.id} · ${deriveTaskDisplay(task)} · P${task.pri} · ${task.title}`,
-        `${nestedPrefix}needs: ${needs}`,
-        `${nestedPrefix}blocks: ${renderIds(task.blocks)}`,
-        `${nestedPrefix}from: ${renderIds(task.from)}`,
+        `${prefix}${branch}${task.coordinate} · ${deriveTaskDisplay(task)} · P${task.pri} · ${task.title}`,
     ];
+    const released = new Set(task.releasedNeeds);
+    if (task.needs.length > 0)
+        lines.push(`${nestedPrefix}needs: ${task.needs.map((id) => `${id}${released.has(id) ? " (dropped)" : ""}`).join(", ")}`);
+    if (task.blocks.length > 0)
+        lines.push(`${nestedPrefix}blocks: ${task.blocks.join(", ")}`);
+    if (task.parent !== null)
+        lines.push(`${nestedPrefix}parent: ${task.parent}`);
+    if (task.from.length > 0)
+        lines.push(`${nestedPrefix}from: ${task.from.join(", ")}`);
+    if (task.supersedes.length > 0)
+        lines.push(`${nestedPrefix}supersedes: ${task.supersedes.join(", ")}`);
+    if (task.supersededBy.length > 0)
+        lines.push(`${nestedPrefix}superseded by: ${task.supersededBy.join(", ")}`);
+    if (task.relatedTasks.length > 0)
+        lines.push(`${nestedPrefix}relates to: ${task.relatedTasks.join(", ")}`);
     node.children.forEach((child, index) => lines.push(...renderTreeNode(child, nestedPrefix, index === node.children.length - 1)));
     return lines;
 }
@@ -74,15 +94,17 @@ function treeDiagnostic(diagnostic) {
 }
 export function renderTaskShow(task, tree) {
     const treeLines = tree.descendants.length === 0
-        ? ["children tree: (empty)"]
+        ? []
         : ["children tree:", ...tree.descendants.flatMap((node, index) => renderTreeNode(node, "", index === tree.descendants.length - 1))];
     if (tree.diagnostics.length > 0)
         treeLines.push("tree diagnostics:", ...tree.diagnostics.map(treeDiagnostic));
-    return [...renderTaskDetails(task), "", ...treeLines].join("\n");
+    return [...renderTaskDetails(task), ...(treeLines.length === 0 ? [] : ["", ...treeLines])].join("\n");
 }
 export function taskJson(task) {
     return {
         id: task.id,
+        namespace: task.namespace,
+        coordinate: task.coordinate,
         title: task.title,
         state: task.state,
         display: deriveTaskDisplay(task),
@@ -91,6 +113,9 @@ export function taskJson(task) {
         blocks: [...task.blocks],
         parent: task.parent,
         from: [...task.from],
+        supersedes: [...task.supersedes],
+        supersededBy: [...task.supersededBy],
+        relatesTo: [...task.relatedTasks],
         contractId: task.contractId ?? null,
         createdAt: task.createdAt,
         updatedAt: task.updatedAt ?? task.createdAt,

package/build/cli/render/terminal-failure.js

@@ -3,7 +3,7 @@ export function terminalFailureCodeSuffix(code) {
     return code.startsWith("SUBAGENT_") ? code.slice("SUBAGENT_".length) : code;
 }
 export function terminalFailureColdStatement(failure) {
-    if (failure.publicCause?.kind === "rate_limit_exhausted") {
+    if (failure.publicCause?.code === "rate_limit_exhausted") {
         return "the provider rate limit is exhausted";
     }
     if (failure.class === "runner") {
@@ -33,6 +33,8 @@ function terminalFailureEvidence(failure, statement) {
         && failure.code === "SUBAGENT_NON_ZERO_EXIT"
         && failure.exitCode !== undefined;
     const parts = [];
+    if (failure.message)
+        parts.push(failure.message);
     if (failure.timeoutMs !== undefined) {
         parts.push(failure.code === "SUBAGENT_POLICY_BUDGET" ? `budget ${failure.timeoutMs}ms` : `idle ${failure.timeoutMs}ms`);
     }