@astrosheep/keiyaku 4.6.4 → 4.6.7

package/build/src/cli/commands/task.js

@@ -1,13 +1,12 @@
 import { CliUsageError, isBlankInput } from "../usage.js";
 import { parseTaskNamespaceSelector } from "../../task/catalog.js";
-import { taskRowViewLimit, tasksWithExecution, } from "../../task/index.js";
+import { tasksWithExecution, taskRowViewLimit, } from "../../task/index.js";
 import { taskCompositionNamespaceHeader } from "../../task/compose-language.js";
-import { resolveTaskNamespaceContext, writeTaskNamespaceContext } from "../../task/context.js";
-import { displayContext, writeJson, writeStderr, writeStdout } from "../streams.js";
-import { renderTaskCompose, renderTaskContext, renderTaskDoctor, renderTaskFailure, renderTaskIncompleteDiagnostic, renderTaskLifecycle, renderTaskList, renderTaskMutation, renderTaskShow, renderTaskTree, renderTaskUpdate, taskExitCode, } from "../render/task.js";
+import { installNamespaceContext, resolveTaskNamespaceContext } from "../../task/context.js";
+import { displayContext, emit, writeJson, writeStderr, writeStdout } from "../streams.js";
+import { renderDoctor, renderTaskCompose, renderTaskContext, renderTaskFailure, renderTaskIncompleteDiagnostic, renderTaskLifecycle, renderTaskList, renderTaskMutation, renderTaskShow, renderTaskTree, renderTaskUpdate, taskExitCode, } from "../render/task.js";
 import { actorFromEdge } from "../actor.js";
 import { taskQuerySelection } from "../../task/query.js";
-export { renderTaskHelp } from "./task-grammar.js";
 function value(command, name) {
     const item = command.flags[name];
     return typeof item === "string" ? item : undefined;
@@ -59,17 +58,6 @@ function taskStdinDiagnostic(command) {
             return undefined;
     }
 }
-/**
- * The shared output primitive: one native answer, its matching rendered text, and the native exit
- * classifier's verdict. JSON writes the untouched native value; text writes the rendered lines.
- */
-function emitTask(output, result, project, code) {
-    if (output === "json")
-        writeJson(result);
-    else
-        writeStdout(project());
-    return code;
-}
 async function invokeAdd(input) {
     const { tasks, command, current = [] } = input;
     const selectedNamespace = namespace(value(command, "namespace")) ?? current;
@@ -137,17 +125,14 @@ async function runShow(command, tasks) {
         details.push(await tasks.task({ id }).read());
     const missing = details.findIndex((detail) => detail === null);
     const code = missing >= 0 ? 1 : 0;
-    if (command.output === "json") {
-        writeJson(handles.length === 1 ? details[0] : details);
-        return code;
-    }
+    const projected = handles.length === 1 ? details[0] : details;
     if (missing >= 0) {
         const refusal = { kind: "refused", refusal: { kind: "task-missing", taskId: handles[missing] } };
-        return emitTask(command.output, refusal, () => renderTaskShow(refusal, displayContext()), code);
+        return emit(command.output, projected, () => renderTaskShow(refusal, displayContext()), code);
     }
     const found = details.filter((detail) => detail !== null);
     const result = found.length === 1 ? found[0] : found;
-    return emitTask(command.output, result, () => renderTaskShow(result, displayContext()), code);
+    return emit(command.output, projected, () => renderTaskShow(result, displayContext()), code);
 }
 /** Presentation-only list scope the leaf acquired, never part of the native answer. */
 function listPresentation(command) {
@@ -169,7 +154,7 @@ async function runRead(input) {
                     : { namespace: explicitListNamespace(command) }),
                 ...(limit(command) === undefined ? {} : { limit: limit(command) }),
             });
-            return emitTask(command.output, result, () => renderTaskList("ls", scope, result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskList("ls", scope, result, displayContext()), taskExitCode(result));
         }
         case "ready": {
             const result = await tasks.ready({
@@ -177,7 +162,7 @@ async function runRead(input) {
                 ...(value(command, "parent") === undefined ? {} : { parent: value(command, "parent") }),
                 ...(limit(command) === undefined ? {} : { limit: limit(command) }),
             });
-            return emitTask(command.output, result, () => renderTaskList("ready", scope, result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskList("ready", scope, result, displayContext()), taskExitCode(result));
         }
         case "blocked": {
             const result = await tasks.blocked({
@@ -185,7 +170,7 @@ async function runRead(input) {
                 ...(value(command, "parent") === undefined ? {} : { parent: value(command, "parent") }),
                 ...(limit(command) === undefined ? {} : { limit: limit(command) }),
             });
-            return emitTask(command.output, result, () => renderTaskList("blocked", scope, result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskList("blocked", scope, result, displayContext()), taskExitCode(result));
         }
         case "query": {
             const result = await tasks.query({
@@ -194,15 +179,15 @@ async function runRead(input) {
                 ...(value(command, "sort") === undefined ? {} : { sort: value(command, "sort") }),
                 ...(limit(command) === undefined ? {} : { limit: limit(command) }),
             });
-            return emitTask(command.output, result, () => renderTaskList("query", scope, result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskList("query", scope, result, displayContext()), taskExitCode(result));
         }
         case "tree": {
             const result = await tasks.task({ id }).tree();
-            return emitTask(command.output, result, () => renderTaskTree(result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskTree(result, displayContext()), taskExitCode(result));
         }
         case "doctor": {
             const result = await tasks.doctor();
-            return emitTask(command.output, result, () => renderTaskDoctor(result), taskExitCode(result));
+            return emit(command.output, result, () => renderDoctor(result), taskExitCode(result));
         }
         default:
             throw new Error(`task action is not a read: ${command.action}`);
@@ -231,26 +216,22 @@ function missingWorld(command) {
             return 1;
         }
         const refusal = missingTask(command.positionals[0]);
-        return emitTask(output, refusal, () => renderTaskShow(refusal, displayContext()), 1);
+        return emit(output, refusal, () => renderTaskShow(refusal, displayContext()), 1);
     }
     if (isWorldObservationAction(command) || (command.action === "compose" && command.flags.plan === true)) {
-        if (output === "json")
-            writeJson({ kind: "absent" });
-        else
-            writeStdout("task world absent");
-        return 1;
+        return emit(output, { kind: "absent" }, () => "task world absent", 1);
     }
     if (command.action === "context") {
         const result = { kind: "accepted", value: { namespace: [], source: "default-root" } };
-        return emitTask(output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+        return emit(output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
     }
     if (command.action === "tree") {
         const result = missingTask(command.positionals[0]);
-        return emitTask(output, result, () => renderTaskTree(result, displayContext()), taskExitCode(result));
+        return emit(output, result, () => renderTaskTree(result, displayContext()), taskExitCode(result));
     }
     if (command.action === "update") {
         const result = missingTask(command.positionals[0]);
-        return emitTask(output, result, () => renderTaskUpdate(result, displayContext()), taskExitCode(result));
+        return emit(output, result, () => renderTaskUpdate(result, displayContext()), taskExitCode(result));
     }
     if (command.action === "start" ||
         command.action === "stop" ||
@@ -258,18 +239,18 @@ function missingWorld(command) {
         command.action === "resume") {
         if (command.positionals.length === 1) {
             const result = missingTask(command.positionals[0]);
-            return emitTask(output, result, () => renderTaskMutation(command.action, result, displayContext()), taskExitCode(result));
+            return emit(output, result, () => renderTaskMutation(command.action, result, displayContext()), taskExitCode(result));
         }
         const result = {
             items: command.positionals.map((id) => ({ id: id, outcome: missingTask(id) })),
         };
-        return emitTask(output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
+        return emit(output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
     }
     if (command.action === "done" || command.action === "drop") {
         const result = {
             items: command.positionals.map((id) => ({ id: id, outcome: missingTask(id) })),
         };
-        return emitTask(output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
+        return emit(output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
     }
     throw new Error(`task action has no missing-world answer: ${command.action}`);
 }
@@ -300,7 +281,7 @@ async function runBatchLifecycle(tasks, command, verb) {
         ids: command.positionals,
         ...(note === undefined ? {} : { note }),
     });
-    return emitTask(command.output, result, () => renderTaskLifecycle(verb, result, displayContext()), taskExitCode(result));
+    return emit(command.output, result, () => renderTaskLifecycle(verb, result, displayContext()), taskExitCode(result));
 }
 async function runMutation(input) {
     const { tasks, command, current, stdin, composeMarkdown, composeNamespace } = input;
@@ -309,17 +290,17 @@ async function runMutation(input) {
     switch (command.action) {
         case "add": {
             const result = await invokeAdd(input);
-            return emitTask(command.output, result, () => renderTaskMutation("add", result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskMutation("add", result, displayContext()), taskExitCode(result));
         }
         case "update": {
             const result = await invokeUpdate(input);
-            return emitTask(command.output, result, () => renderTaskUpdate(result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskUpdate(result, displayContext()), taskExitCode(result));
         }
         case "start":
         case "stop":
         case "resume": {
             const result = await invokeLifecycle(tasks, command.positionals, command.positionals[0], command.action);
-            return emitTask(command.output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskLifecycle(command.action, result, displayContext()), taskExitCode(result));
         }
         case "hold":
         case "done":
@@ -328,20 +309,20 @@ async function runMutation(input) {
         case "context": {
             const selected = namespace(command.positionals[0]);
             if (selected !== undefined) {
-                await writeTaskNamespaceContext(input.context.writeRoot ?? input.context.directory, selected);
+                await installNamespaceContext(input.context.writeRoot ?? input.context.directory, selected);
                 const resolved = await resolveTaskNamespaceContext(input.context);
                 if (typeof resolved === "object" && "kind" in resolved) {
                     const result = { kind: "refused", refusal: resolved };
-                    return emitTask(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+                    return emit(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
                 }
                 const result = { kind: "accepted", value: resolved };
-                return emitTask(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+                return emit(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
             }
             const result = {
                 kind: "accepted",
                 value: { namespace: current ?? [], source: "default-root" },
             };
-            return emitTask(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
         }
         case "compose": {
             const result = await tasks.compose({
@@ -376,14 +357,14 @@ function refuseNamespace(command, refusal) {
         case "blocked":
         case "query": {
             const action = command.action;
-            return emitTask(command.output, result, () => renderTaskList(action, listPresentation(command), result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskList(action, listPresentation(command), result, displayContext()), taskExitCode(result));
         }
         case "add":
-            return emitTask(command.output, result, () => renderTaskMutation("add", result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskMutation("add", result, displayContext()), taskExitCode(result));
         case "context":
-            return emitTask(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
         case "compose":
-            return emitTask(command.output, result, () => renderTaskFailure("compose", result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskFailure("compose", result, displayContext()), taskExitCode(result));
         default:
             throw new Error(`task action has no namespace refusal: ${command.action}`);
     }
@@ -425,7 +406,7 @@ export async function runTaskCommand(command, coordinates, runtime) {
         current = resolved.namespace;
         if (command.action === "context" && command.positionals.length === 0) {
             const result = { kind: "accepted", value: resolved };
-            return emitTask(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
+            return emit(command.output, result, () => renderTaskContext(result, displayContext()), taskExitCode(result));
         }
     }
     if (command.action === "show")

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

@@ -15,7 +15,7 @@ export type CliCoordinates = Readonly<{
     }>;
     establishWorld: () => Promise<WorldRoot>;
 }>;
-export type CliCoordinateInput = Readonly<{
+type CliCoordinateInput = Readonly<{
     processCwd?: string;
     cwd?: string;
     repo?: string;
@@ -35,7 +35,6 @@ export declare const cliCoordinateDiscovery: {
     }>>;
     resolve(input: CliCoordinateInput): Promise<CliCoordinates>;
 };
-export declare function resolveCliCoordinates(input: CliCoordinateInput): Promise<CliCoordinates>;
 type InvocationCoordinatesInput = Readonly<{
     processCwd?: string;
     cwd?: string;

package/build/src/cli/coordinates.js

@@ -103,9 +103,6 @@ async function resolveWorld(cwd, repo) {
         throw error;
     }
 }
-export async function resolveCliCoordinates(input) {
-    return cliCoordinateDiscovery.resolve(input);
-}
 /** One explicit Git executable override from the process edge; a blank value is usage, not absence. */
 function gitPathFromEdge(environment) {
     const value = environment.KEIYAKU_GIT_PATH;
@@ -118,7 +115,7 @@ function gitPathFromEdge(environment) {
 /** The one process-edge coordinate resolution: explicit filesystem inputs plus the command's Repo policy. */
 export async function resolveInvocationCoordinates(invocation, environment) {
     const gitPath = gitPathFromEdge(environment);
-    return resolveCliCoordinates({
+    return cliCoordinateDiscovery.resolve({
         ...(invocation.processCwd === undefined ? {} : { processCwd: invocation.processCwd }),
         ...(invocation.cwd === undefined ? {} : { cwd: invocation.cwd }),
         ...(invocation.repo === undefined ? {} : { repo: invocation.repo }),

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

@@ -6,13 +6,12 @@ import { type ContractCommand as Command } from "./commands/contract-help.js";
 import { type CliUsageGuide } from "./usage.js";
 export { CliUsageError } from "./usage.js";
 export type { CliUsageGuide } from "./usage.js";
-export { renderContractHelp } from "./commands/contract-help.js";
 export type { Command };
 export declare function renderRootHelp(columns?: number): string;
 export declare function usageGuideForCommand(command: ParsedCommand): CliUsageGuide;
 export declare function renderHelp(coordinate: CliHelpCoordinate, columns?: number): string;
 export type ParsedCommand = ParsedBind | ParsedAmend | ParsedDeliver | ParsedReview | ParsedArc | ParsedAbandon | ParsedStatus | ParsedLs | ParsedAudit | ParsedReconcile | ParsedNuke | ParsedSettings | ParsedRegion | ParsedInstallCommand | ParsedAkumaCommand | ParsedTaskCommand;
-export type CliHelpCoordinate = Readonly<{
+type CliHelpCoordinate = Readonly<{
     kind: "root";
 }> | Readonly<{
     kind: "contract";
@@ -37,7 +36,7 @@ export type ParsedInvocation = Readonly<{
     version: true;
 }>;
 type RepoUse = "none" | "optional" | "required";
-export type CommandRepoPolicy = Readonly<{
+type CommandRepoPolicy = Readonly<{
     use: RepoUse;
     acceptsExplicit: boolean;
 }>;

package/build/src/cli/parse.js

@@ -4,9 +4,9 @@ import { INSTALL_ROOT_PURPOSE, INSTALL_USAGE, parseInstallCommand, renderInstall
 import { parseContractCommand, } from "./commands/contract-grammar.js";
 import { CONTRACT_COMMAND_SPECS, renderContractHelp as renderContractHelpForOwner, } from "./commands/contract-help.js";
 import { renderOpaqueBlock, renderTextBlock } from "./render/terminal.js";
+import { scanArgs } from "./scan.js";
 import { CliUsageError, commandGuide, isBlankInput, ROOT_USAGE_GUIDE, unknownCommandGuide, } from "./usage.js";
 export { CliUsageError } from "./usage.js";
-export { renderContractHelp } from "./commands/contract-help.js";
 const ROOT_USAGE = [
     "usage  keiyaku <command> [options]",
     "      keiyaku <command> --help   shows that command's complete usage",
@@ -140,63 +140,14 @@ export function assertExplicitRepoUse(command, repo) {
 function refuse(command, message) {
     throw new CliUsageError(message, commandGuide(command, CONTRACT_COMMAND_SPECS[command].usage));
 }
-function scanStdin(command, state) {
-    if (state.stdin)
-        refuse(command, "stdin marker '-' may appear only once");
-    if (CONTRACT_COMMAND_SPECS[command].stdin === "none")
-        refuse(command, `${command} reads no stdin`);
-    state.stdin = true;
-}
-function scanOption(command, argv, state, index) {
-    const token = argv[index];
-    const name = token.slice(2);
-    const spec = CONTRACT_COMMAND_SPECS[command];
-    const kind = spec.flags[name];
-    if (kind === undefined)
-        refuse(command, `option ${token} is not valid for ${command}`);
-    if (state.flags[name] !== undefined && kind !== "repeat-value")
-        refuse(command, `duplicate option: ${token}`);
-    if (kind === "boolean") {
-        state.flags[name] = true;
-        return index;
-    }
-    const value = argv[index + 1];
-    if (value === undefined || value.startsWith("--"))
-        refuse(command, `${token} requires a value`);
-    if (kind !== "raw-value" && value === "-") {
-        refuse(command, `${token} requires a value`);
-    }
-    if (kind !== "raw-value" && isBlankInput(value))
-        refuse(command, `${token} requires a nonblank value`);
-    if (kind === "repeat-value") {
-        const values = state.flags[name];
-        state.flags[name] = [...(Array.isArray(values) ? values : values === undefined ? [] : [values]), value];
-    }
-    else {
-        state.flags[name] = value;
-    }
-    return index + 1;
-}
-function scanContractTokens(command, argv, state) {
-    let positionalOnly = false;
-    for (let index = 1; index < argv.length; index += 1) {
-        const token = argv[index];
-        if (!positionalOnly && token === "--") {
-            positionalOnly = true;
-            continue;
-        }
-        if (!positionalOnly && token === "-") {
-            scanStdin(command, state);
-            continue;
-        }
-        if (!positionalOnly && token.startsWith("--")) {
-            index = scanOption(command, argv, state, index);
-            continue;
-        }
-        if (isBlankInput(token))
-            refuse(command, `${command} requires a nonblank value`);
-        state.positionals.push(token);
-    }
+/** The contract surfaces' one scan spec: `-` carries the edge's own stdin input. */
+function contractScanSpec(command, spec) {
+    return {
+        subject: command,
+        flags: spec.flags,
+        ...(spec.stdin === "none" ? {} : { stdin: "input" }),
+        stdinRefusal: `${command} reads no stdin`,
+    };
 }
 function scanArgv(argv) {
     const candidate = argv[0];
@@ -205,20 +156,27 @@ function scanArgv(argv) {
     }
     const command = candidate;
     const spec = CONTRACT_COMMAND_SPECS[command];
-    const state = { flags: {}, positionals: [], stdin: false };
-    scanContractTokens(command, argv, state);
-    if (spec.positional === "none" && state.positionals.length > 0) {
+    const scanned = scanArgs(argv, contractScanSpec(command, spec), (message) => refuse(command, message));
+    const stdin = scanned.stdin !== undefined;
+    if (spec.positional === "none" && scanned.positionals.length > 0) {
         refuse(command, `${command} accepts no contract`);
     }
-    if (spec.positional === "optional" && state.positionals.length > 1 && command !== "status") {
+    if (spec.positional === "optional" && scanned.positionals.length > 1 && command !== "status") {
         refuse(command, `${command} accepts at most one contract`);
     }
-    if (spec.stdin === "required" && !state.stdin) {
+    if (spec.stdin === "required" && !stdin) {
         refuse(command, `${command} requires stdin`);
     }
-    const output = state.flags.json === true ? "json" : "text";
-    const actor = typeof state.flags.actor === "string" ? state.flags.actor : undefined;
-    return { command, ...state, output, ...(actor === undefined ? {} : { actor }) };
+    const output = scanned.flags.json === true ? "json" : "text";
+    const actor = typeof scanned.flags.actor === "string" ? scanned.flags.actor : undefined;
+    return {
+        command,
+        flags: scanned.flags,
+        positionals: scanned.positionals,
+        stdin,
+        output,
+        ...(actor === undefined ? {} : { actor }),
+    };
 }
 function invocationOptions(argv) {
     let cwd;

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

@@ -1,13 +1,13 @@
 import type { LiveStatusObservation } from "../../akuma/akuma-observe.js";
 import type { TellResult } from "../../akuma/body.js";
 import type { AkuId } from "../../akuma/identity.js";
-import type { AkumaAskResult, AkumaKillResult, AkumaObservation, AkumaTellResult, AkumaWaitResult } from "../../akuma/selection-observation.js";
+import type { AkumaAskResult, AkumaKillResult, AkumaTellResult } from "../../akuma/selection-observation.js";
 import type { CallWaitHead, ForkResult } from "../../index.js";
 import type { CallResult } from "../../library/akuma-creation.js";
 import type { AkumaHistoryResult } from "../../library/selection.js";
 import { type ObservedCallHead } from "./akuma-activity.js";
 import { type TextRenderContext } from "./terminal.js";
-export type AskProgress = Readonly<{
+type AskProgress = Readonly<{
     admitted: (tell: TellResult, id: AkuId) => readonly string[];
     observe: (observation: LiveStatusObservation) => readonly string[];
     frame: () => readonly string[];
@@ -21,20 +21,6 @@ export declare function callObservationHead(input: Readonly<{
     akuma: string;
 }> & CallWaitHead): ObservedCallHead;
 export declare function renderCallText(result: CallResult, streamed: boolean, context: TextRenderContext): string;
-export declare function renderWaitText(result: AkumaWaitResult, presentation: Readonly<{
-    alias?: string;
-    startedAt?: number;
-    selection?: readonly import("./akuma-activity.js").WaitSelectedIdentity[];
-}>, context?: TextRenderContext): string;
-export declare function renderStatusText(status: AkumaObservation, alias: string | undefined, context?: TextRenderContext): string;
-export declare function renderTellText(result: AkumaTellResult, alias: string | undefined, context?: TextRenderContext, options?: Readonly<{
-    identity?: boolean;
-}>): string;
-export declare function renderHistoryText(result: AkumaHistoryResult, presentation: Readonly<{
-    alias?: string;
-    id?: string;
-    last?: boolean;
-}>, context?: TextRenderContext): string;
 export declare function renderForkText(receipt: ForkResult): string;
 export declare function renderKillText(result: AkumaKillResult, alias: string | undefined, context: TextRenderContext): string;
 export declare function callExitCode(result: CallResult): number;
@@ -43,3 +29,4 @@ export declare function tellExitCode(result: AkumaTellResult): number;
 export declare function askExitCode(result: AkumaAskResult): number;
 export declare function forkExitCode(receipt: ForkResult): number;
 export declare function historyExitCode(result: AkumaHistoryResult, id: string | undefined): number;
+export {};

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

@@ -1,4 +1,4 @@
-import { DEFAULT_CONTEXT, associatedIdentity, historyText, inputWaitStream, killResultText, snapshotHeading, snapshotText, tellText, waitText, } from "./akuma-activity.js";
+import { associatedIdentity, inputWaitStream, killResultText, snapshotHeading, tellText, } from "./akuma-activity.js";
 import { safeText } from "./terminal.js";
 export function askProgressStream(akuma, alias, context) {
     let target = akuma;
@@ -94,18 +94,6 @@ export function renderCallText(result, streamed, context) {
         ...(inputObservation.completedAt === undefined ? {} : { completedAt: inputObservation.completedAt }),
     });
 }
-export function renderWaitText(result, presentation, context = DEFAULT_CONTEXT) {
-    return waitText(result, presentation, context);
-}
-export function renderStatusText(status, alias, context = DEFAULT_CONTEXT) {
-    return snapshotText(status, context, ...(alias === undefined ? [{}] : [{ alias }]));
-}
-export function renderTellText(result, alias, context = DEFAULT_CONTEXT, options = {}) {
-    return tellText(result, alias, context, options);
-}
-export function renderHistoryText(result, presentation, context = DEFAULT_CONTEXT) {
-    return historyText(result, presentation, context);
-}
 export function renderForkText(receipt) {
     if (receipt.kind !== "forked") {
         if (receipt.kind === "unknown-history")

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

@@ -110,7 +110,7 @@ function targetLines(report, columns, addressed, abbreviations) {
 }
 function obligationLines(result, columns) {
     return [
-        ...executionCleanupLines(effectCleanup(result.effects).filter((issue) => issue.kind !== "worktree-leak"), columns, result.contract),
+        ...executionCleanupLines(effectCleanup(result.effects), columns, result.contract),
         ...executionStopLines(effectExecutionStops(result.effects), columns),
     ];
 }

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

@@ -187,7 +187,7 @@ function acceptedLagRows(result, columns) {
             receiptRow(obligations, "!", "settlement owner", [{ text: contract, opaque: true }], columns);
         pushBlock(obligations, settlementLagRows(lag, columns));
     }
-    pushBlock(obligations, executionCleanupLines(effectCleanup(result.effects).filter((issue) => issue.kind !== "worktree-leak"), columns, result.contract));
+    pushBlock(obligations, executionCleanupLines(effectCleanup(result.effects), columns, result.contract));
     pushBlock(obligations, executionStopLines(effectExecutionStops(result.effects), columns));
     return obligations;
 }
@@ -205,21 +205,6 @@ function recordBlock(result, columns) {
     const rows = [...acceptedRecord(result, columns), ...acceptedLagRows(result, columns)];
     return rows;
 }
-function nonGatingVerificationLines(result, columns) {
-    const lines = [];
-    const verification = result.value.completion?.verification;
-    if (verification === undefined || verification.verdict !== "unsatisfied")
-        return lines;
-    receiptRow(lines, "!", "verification", [
-        ...(verification.mode === "reused" ? [{ text: "reused" }] : []),
-        { text: "unsatisfied" },
-        { text: "· not required by Contract gates" },
-    ], columns);
-    if (result.value.verificationSummary !== undefined) {
-        receiptPayload(lines, "  summary", result.value.verificationSummary);
-    }
-    return lines;
-}
 /** A terminal command names the worktree it retired, or the retained worktree it failed to remove. */
 function worktreeRetirementLines(result, columns) {
     const lines = [];
@@ -281,15 +266,15 @@ function completedPlacementLines(result, columns) {
             { text: completion.target, opaque: true },
         ], columns);
     }
-    if (completion.verification?.verdict === "satisfied") {
+    const verification = result.value.verification;
+    if (verification?.kind !== "stopped" && verification?.verdict === "satisfied") {
         receiptRow(lines, " ", "integration result", [
             {
-                text: `${displayGitId(completion.integration, abbreviations)} · verification ${completion.verification.mode === "reused" ? "reused " : ""}satisfied`,
+                text: `${displayGitId(completion.integration, abbreviations)} · verification ${verification.kind === "reused" ? "reused " : ""}satisfied`,
             },
         ], columns);
     }
     lines.push(...landedChangesLines(completion.scope, columns));
-    lines.push(...nonGatingVerificationLines(result, columns));
     // Placement admission always admits the claim entry beside the movement, so a completed placement is accepted.
     receiptRow(lines, "✓", lifecycleWord("claimed"), [], columns);
     return lines;
@@ -372,33 +357,50 @@ function deliverIdentityLines(result, abbreviations, columns, kept) {
         receiptRow(lines, " ", "candidate", [{ text: `${displayGitId(result.value.tenderSnapshot, abbreviations)}${kept ? " · kept" : ""}`, opaque: true }], columns);
     if (result.value.integration !== undefined && !/^0{40}$/u.test(result.value.integration.changeId))
         receiptRow(lines, " ", "content identity", [{ text: displayGitId(result.value.integration.changeId, abbreviations), opaque: true }], columns);
+    if (result.value.contentChange !== undefined)
+        receiptRow(lines, " ", "candidate-content-changed", [
+            { text: `previous ${displayGitId(result.value.contentChange.previousChange, abbreviations)}`, opaque: true },
+            { text: `current ${displayGitId(result.value.contentChange.currentChange, abbreviations)}`, opaque: true },
+        ], columns);
+    if (result.value.note !== undefined)
+        receiptPayload(lines, "note", result.value.note);
+    const reusedIntegration = result.value.leading.reusedIntegration;
+    if (reusedIntegration !== undefined)
+        receiptRow(lines, " ", "integration", [{ text: `${displayGitId(reusedIntegration, abbreviations)} reused · commit message kept from first delivery` }], columns);
     return lines;
 }
+function deliveryIdentityAbbreviations(value, verificationSnapshot) {
+    return abbreviateGitIds([
+        value.tenderSnapshot ?? "",
+        value.integration?.changeId ?? "",
+        value.integration.snapshot,
+        value.contentChange?.previousChange ?? "",
+        value.contentChange?.currentChange ?? "",
+        verificationSnapshot ?? "",
+        value.completion?.predecessor ?? "",
+        value.completion?.integration ?? "",
+    ]);
+}
 function renderAcceptedDeliver(result, columns) {
     const complete = result.value.completion !== undefined;
+    const verification = result.value.verification;
+    const subject = verification?.kind === "stopped" ? undefined : verification;
     const lines = titleLines("✓", "delivered", result.contract, columns);
-    const abbreviations = abbreviateGitIds([
-        result.value.tenderSnapshot ?? "",
-        result.value.integration?.changeId ?? "",
-        result.value.verificationSubject?.snapshot ?? "",
-        result.value.completion?.predecessor ?? "",
-        result.value.completion?.integration ?? "",
-    ]);
+    const abbreviations = deliveryIdentityAbbreviations(result.value, subject?.snapshot);
     lines.push(...deliverIdentityLines(result, abbreviations, columns, !complete));
     if (complete)
         lines.push(...completedPlacementLines(result, columns));
     else {
-        const subject = result.value.verificationSubject;
         if (subject !== undefined)
             receiptRow(lines, " ", "integration result", [
                 {
-                    text: `${displayGitId(subject.snapshot, abbreviations)} · verification ${subject.mode === "reused" ? "reused " : ""}${subject.verdict}`,
+                    text: `${displayGitId(subject.snapshot, abbreviations)} · verification ${subject.kind === "reused" ? "reused " : ""}${subject.verdict}`,
                 },
             ], columns);
         lines.push(...movementLines(result, columns));
     }
-    if (result.value.verification !== undefined)
-        lines.push(...stopLines(result.value.verification, columns, result.contract));
+    if (verification?.kind === "stopped")
+        lines.push(...stopLines(verification.stop, columns, result.contract));
     if (!complete && result.value.placement !== undefined)
         lines.push(...stopLines(result.value.placement, columns, result.contract));
     lines.push(...continuationLines(result, columns), ...(complete ? obligationLines(result, columns) : recordBlock(result, columns)), ...worktreeRetirementLines(result, columns), ...gatesAwaitLines(result.value.placement));
@@ -407,8 +409,8 @@ function renderAcceptedDeliver(result, columns) {
 function renderAcceptedReview(result, columns) {
     const lines = titleLines("✓", `review ${attestationVerdict(result.facts)}`, result.contract, columns);
     lines.push(...completedPlacementLines(result, columns));
-    if (result.value.verification !== undefined) {
-        lines.push(...stopLines(result.value.verification, columns, result.contract));
+    if (result.value.verification?.kind === "stopped") {
+        lines.push(...stopLines(result.value.verification.stop, columns, result.contract));
     }
     if (result.value.placement !== undefined) {
         lines.push(...stopLines(result.value.placement, columns, result.contract));

package/build/src/cli/render/kanshi-akuma.d.ts

@@ -1,7 +1,13 @@
-import type { KanshiReport } from "../../kanshi/index.js";
+import type { AkumaKanshiWorld, KanshiReport, Section } from "../../kanshi/index.js";
 import { type TextRenderContext } from "./terminal.js";
 declare const NARROW_COLUMNS = 72;
 declare function endpointFact(id: string, observed: string | undefined): string;
+/**
+ * One Akuma board section. The World board omits an empty section because its other
+ * sections already say what the World holds; a category board states that emptiness
+ * itself, since it is the whole answer.
+ */
+declare function renderAkumaBoard(section: Section<AkumaKanshiWorld>, observedAt: string, context: TextRenderContext, emptyRows: readonly string[]): readonly string[];
 declare function renderAkuma(report: KanshiReport, context: TextRenderContext): readonly string[];
 declare function formatAge(source: string | null | undefined, observedAt: string): string;
-export { endpointFact, formatAge, NARROW_COLUMNS, renderAkuma };
+export { endpointFact, formatAge, NARROW_COLUMNS, renderAkuma, renderAkumaBoard };