@astrosheep/keiyaku 2.9.7 → 2.9.9

package/build/agents/harness/event-persistence.js

@@ -1,4 +1,4 @@
-import { AGENT_ACTIVITY_MAX_CHANGES, AGENT_EVENT_TEXT_MAX_CHARS, AGENT_UNKNOWN_PAYLOAD_MAX_CHARS, } from "./events.js";
+import { AGENT_ACTIVITY_MAX_CHANGES, AGENT_DONE_FINAL_MESSAGE_PERSISTENCE_PREVIEW_MAX_CHARS, AGENT_EVENT_TEXT_MAX_CHARS, AGENT_UNKNOWN_PAYLOAD_MAX_CHARS, } from "./events.js";
 import { EXEC_EVENT_BUFFER_HARD_CAP } from "./event-channel.js";
 export function createTruncationMarker(envelope = {
     seq: EXEC_EVENT_BUFFER_HARD_CAP,
@@ -23,10 +23,10 @@ export function overflowMarkerFromDropped(dropped) {
         turn: dropped.turn,
     });
 }
-function truncateText(value) {
+function truncateText(value, limit = AGENT_EVENT_TEXT_MAX_CHARS) {
     return {
-        value: value.slice(0, AGENT_EVENT_TEXT_MAX_CHARS),
-        truncated: value.length > AGENT_EVENT_TEXT_MAX_CHARS,
+        value: value.slice(0, limit),
+        truncated: value.length > limit,
     };
 }
 /** Bound unknown native payloads before they enter the projection event stream. */
@@ -186,7 +186,9 @@ function normalizeBodyForPersistence(body) {
             return { body: { ...body, text: text.value }, truncated: text.truncated };
         }
         case "done": {
-            const finalMessage = body.finalMessage === undefined ? undefined : truncateText(body.finalMessage);
+            const finalMessage = body.finalMessage === undefined
+                ? undefined
+                : truncateText(body.finalMessage, AGENT_DONE_FINAL_MESSAGE_PERSISTENCE_PREVIEW_MAX_CHARS);
             return {
                 body: { ...body, ...(finalMessage ? { finalMessage: finalMessage.value } : {}) },
                 truncated: finalMessage?.truncated ?? false,

package/build/agents/harness/events.js

@@ -1,10 +1,11 @@
 import { z } from "zod";
-export const AGENT_EVENT_TEXT_MAX_CHARS = 4_096;
+export const AGENT_EVENT_TEXT_MAX_CHARS = 16_384;
+export const AGENT_DONE_FINAL_MESSAGE_PERSISTENCE_PREVIEW_MAX_CHARS = 65_536;
 export const AGENT_THOUGHT_TEXT_MAX_CHARS = 4_000;
 export const AGENT_PLAN_MAX_ITEMS = 64;
 export const AGENT_PLAN_ITEM_TEXT_MAX_CHARS = 200;
 export const AGENT_ACTIVITY_MAX_CHANGES = 32;
-export const AGENT_UNKNOWN_PAYLOAD_MAX_CHARS = 4_096;
+export const AGENT_UNKNOWN_PAYLOAD_MAX_CHARS = AGENT_EVENT_TEXT_MAX_CHARS;
 export const activityCallSchema = z.discriminatedUnion("kind", [
     z.object({ kind: z.literal("run"), command: z.string(), description: z.string().optional() }).strict(),
     z.object({

package/build/agents/harness/projection.js

@@ -239,12 +239,14 @@ async function settleProjection(shared) {
         }, shared.terms.idleTimeoutMs);
         idleTimeout.unref?.();
     };
-    executionTimeout = setTimeout(() => {
-        policyBudgetExceeded = true;
-        requestPolicyBudgetCleanup(shared, createAbortError(`${shared.terms.provider} execution policy budget expired`));
-        resolvePolicyBudget();
-    }, shared.terms.executionTimeoutMs);
-    executionTimeout.unref?.();
+    if (shared.terms.executionTimeoutMs > 0) {
+        executionTimeout = setTimeout(() => {
+            policyBudgetExceeded = true;
+            requestPolicyBudgetCleanup(shared, createAbortError(`${shared.terms.provider} execution policy budget expired`));
+            resolvePolicyBudget();
+        }, shared.terms.executionTimeoutMs);
+        executionTimeout.unref?.();
+    }
     const requestLiveAbort = () => {
         if (shared.explicitlyAborted)
             return;

package/build/agents/providers/codex-app-server/adapter.js

@@ -243,7 +243,12 @@ export async function startCodexAppServer(prompt, cwd, options = {}) {
             builderDiagnostic = (text) => builder.emit({ type: "diagnostic", text });
             emitTurnStarted = () => builder.emit({ type: "turn", phase: "started" });
             const env = buildSubagentEnv(options.env);
-            server = new CodexAppServerProcess(executable, env, options.codexHome, options.onEvidence, (text) => builder.emit({ type: "diagnostic", text }));
+            server = new CodexAppServerProcess(executable, env, {
+                cwd,
+                codexHome: options.codexHome,
+                onEvidence: options.onEvidence,
+                onEvidenceDiagnostic: (text) => builder.emit({ type: "diagnostic", text }),
+            });
             const { turnCompleted } = createCodexAppServerTurnMonitor({
                 server,
                 builder,

package/build/agents/providers/codex-app-server/session.js

@@ -3,8 +3,6 @@ import { emitProviderEvidence, sha256Utf8 } from "../../harness/runtime.js";
 import { coerceString } from "../../harness/runtime.js";
 import { CODEX_APP_SERVER_PROVIDER } from "./identity.js";
 export class CodexAppServerProcess {
-    onEvidence;
-    onEvidenceDiagnostic;
     child;
     pending = new Map();
     notificationListeners = new Set();
@@ -17,15 +15,18 @@ export class CodexAppServerProcess {
     gracefulClose;
     forceClose;
     codexHome;
-    constructor(executable, env, codexHome, onEvidence, onEvidenceDiagnostic) {
-        this.onEvidence = onEvidence;
-        this.onEvidenceDiagnostic = onEvidenceDiagnostic;
-        this.codexHome = codexHome;
+    onEvidence;
+    onEvidenceDiagnostic;
+    constructor(executable, env, options) {
+        this.codexHome = options.codexHome;
+        this.onEvidence = options.onEvidence;
+        this.onEvidenceDiagnostic = options.onEvidenceDiagnostic;
         const spawnEnv = {
             ...env,
-            ...(codexHome ? { CODEX_HOME: codexHome } : {}),
+            ...(options.codexHome ? { CODEX_HOME: options.codexHome } : {}),
         };
         this.child = spawn(executable, ["app-server", "--listen", "stdio://"], {
+            cwd: options.cwd,
             env: spawnEnv,
             stdio: ["pipe", "pipe", "pipe"],
         });

package/build/agents/selector.js

@@ -77,7 +77,18 @@ export async function selectSubagent(agentName, cwd) {
         throw new FlowError("INVALID_SETTINGS", `Akuma '${selected}' references missing provider instance '${instanceName}'.`);
     }
     if (!("instance" in providerCandidate) || providerCandidate.instance === undefined) {
-        throw new FlowError("INVALID_SETTINGS", `Akuma '${selected}' references invalid provider instance '${instanceName}': ${providerCandidate.reason}`);
+        const source = providerCandidate.source === "global" ? "global" : "local";
+        throw new FlowError("INVALID_SETTINGS", `Akuma '${selected}' references invalid provider instance '${instanceName}': ${providerCandidate.reason}`, {
+            facts: {
+                kind: "invalid_settings",
+                diseases: [{
+                        source,
+                        coordinate: providerCandidate.coordinate,
+                        knob: "providers",
+                        reason: providerCandidate.reason,
+                    }],
+            },
+        });
     }
     const providerInstance = providerCandidate.instance;
     const adapter = providerInstance.kind;

package/build/cli/commands/akuma/view/handler.js

@@ -2,19 +2,12 @@ import { FlowError } from "../../../../flow-error.js";
 import { assertSettingsKnobUsable } from "../../../../config/settings/disease.js";
 import { loadKeiyakuSettings } from "../../../../config/settings/loader.js";
 import { loadAkumaCatalog } from "../../../../config/akuma-loader.js";
-import { readProjectionStatusBoard } from "../../../../core/projection/index.js";
+import { readAkumaNonterminalProjectionStatus } from "../../../../core/projection/index.js";
 import { isResponseArtifactId } from "../../../../core/response-artifact-id.js";
 import { textResponse } from "../../../render/shared.js";
 import { renderProjectionStatusSection } from "../../../render/status.js";
 import { projectDirectory } from "../../shared.js";
 import { renderAkumaShow, renderAkumaView } from "../../akuma.js";
-const NONTERMINAL_PROJECTION_STATES = new Set([
-    "minting",
-    "startup-timeout",
-    "unknown",
-    "out",
-    "lost",
-]);
 export const handler = async (_stdin, flags, _signal, positional) => {
     const [name] = positional;
     if (!name)
@@ -28,8 +21,7 @@ export const handler = async (_stdin, flags, _signal, positional) => {
     assertSettingsKnobUsable(loaded, "default");
     assertSettingsKnobUsable(loaded, "reviewer");
     const profile = renderAkumaShow(await loadAkumaCatalog(cwd), loaded.providerInstances, loaded.knobs, name).trimEnd();
-    const projectionStatus = await readProjectionStatusBoard(cwd, Date.now(), { showAll: true });
-    const rows = (projectionStatus?.rows ?? []).filter((row) => row.akuma === name && NONTERMINAL_PROJECTION_STATES.has(row.state));
-    const projections = renderProjectionStatusSection({ rows }).trimEnd();
+    const projectionStatus = await readAkumaNonterminalProjectionStatus(cwd, Date.now(), name);
+    const projections = renderProjectionStatusSection(projectionStatus).trimEnd();
     return textResponse(renderAkumaView(profile, projections));
 };

package/build/cli/commands/contract/amend/handler.js

@@ -5,7 +5,7 @@ import { buildAmendResponse } from "../../../render/arc.js";
 import { renderCoreResult } from "../../../render/shared.js";
 import { effectiveDirectory, repositoryDirectory } from "../../shared.js";
 export const handler = async (stdin, flags) => {
-    const parsed = buildAmendInput(stdin, effectiveDirectory(flags), flags.contractId, flags.contractAddressSource);
+    const parsed = buildAmendInput(stdin, effectiveDirectory(flags), flags.contractId, flags.contractAddressSource, flags.appendScope);
     const cwd = await repositoryDirectory(flags, "amend");
     const address = await resolveExistingContractAddress(cwd, flags.contractId, flags.contractAddressSource, effectiveDirectory(flags));
     return renderCoreResult(amendKeiyaku({

package/build/cli/commands/contract/amend/meta.js

@@ -2,11 +2,11 @@ export const meta = {
     command: "amend",
     summary: "Record an amendment",
     usage: [
-        "keiyaku amend [-C|--cwd DIR] [--repo DIR] [--contract ADDR] - < amendment.md",
-        "keiyaku @addr amend [-C|--cwd DIR] [--repo DIR] - < amendment.md",
+        "keiyaku amend [-C|--cwd DIR] [--repo DIR] [--contract ADDR] [--append-scope PATTERN] - < amendment.md",
+        "keiyaku @addr amend [-C|--cwd DIR] [--repo DIR] [--append-scope PATTERN] - < amendment.md",
     ],
     stdin: { mode: "document", selector: { kind: "positional", index: 0, required: true, rejectBlank: true } },
-    flags: ["cwd", "repo", "contract"],
-    purpose: "Append a prose amendment and optional Scope Append gitignore-pattern delta.",
+    flags: ["cwd", "repo", "contract", "append-scope"],
+    purpose: "Append a prose amendment and one optional ordered scope-pattern delta from --append-scope or Scope Append.",
     completionRank: 8,
 };

package/build/cli/commands/projection/status/handler.js

@@ -6,6 +6,10 @@ import { renderProjectionFilteredStatus, renderStatusBoard } from "../../../rend
 import { textResponse } from "../../../render/shared.js";
 import { projectDirectory, repositoryDirectory } from "../../shared.js";
 export const handler = async (_stdin, flags, _signal, positional) => {
+    const [projectionId] = positional;
+    if (projectionId !== undefined && !isProjectionId(projectionId)) {
+        throw new FlowError("EMPTY_PARAM", `invalid projection id: ${projectionId}`);
+    }
     // Status is read-only and must open outside Git. projectDirectory still
     // honors --repo as a repository coordinate when the operator names one.
     const cwd = flags.target === undefined
@@ -14,12 +18,9 @@ export const handler = async (_stdin, flags, _signal, positional) => {
     const target = flags.target === undefined ? undefined : normalizeTargetRef(flags.target);
     const board = await readKanshiBoard(cwd, Date.now(), {
         ...(target === undefined ? {} : { target }),
-        showAllProjections: flags.all === true || positional.length === 1,
+        ...(projectionId === undefined ? {} : { projectionId }),
     });
-    const [projectionId] = positional;
     if (projectionId === undefined)
         return textResponse(renderStatusBoard(board));
-    if (!isProjectionId(projectionId))
-        throw new FlowError("EMPTY_PARAM", `invalid projection id: ${projectionId}`);
     return textResponse(renderProjectionFilteredStatus(board, projectionId));
 };

package/build/cli/commands/projection/status/meta.js

@@ -1,9 +1,9 @@
 export const meta = {
     command: "status",
     summary: "Show the Kanshi board",
-    usage: ["keiyaku status [PROJECTION] [-C|--cwd DIR] [--repo DIR] [--target REF] [--all]"],
+    usage: ["keiyaku status [PROJECTION] [-C|--cwd DIR] [--repo DIR] [--target REF]"],
     stdin: { mode: "argument" },
-    flags: ["cwd", "repo", "target", "all"],
+    flags: ["cwd", "repo", "target"],
     purpose: "Read the Kanshi board or filter it to one projection without mutation.",
     completionRank: 14,
 };

package/build/cli/commands/task/add/meta.js

@@ -1,11 +1,19 @@
+const TASK_ADD_USAGE_PREFIX = "keiyaku task add [-C|--cwd DIR] [--needs ID]... [--parent ID] [--from ID]... [--pri 0-3]";
 export const meta = {
     command: "task add",
     summary: "Add a task",
-    usage: ["keiyaku task add [-C|--cwd DIR] [--needs ID] [--parent ID] [--from ID] [--pri 0-3] <BODY|->"],
+    usage: [
+        `${TASK_ADD_USAGE_PREFIX} <BODY>`,
+        `${TASK_ADD_USAGE_PREFIX} - < task.md`,
+    ],
     stdin: {
         mode: "argument",
         selector: { kind: "positional", index: 0, required: true, rejectBlank: true },
     },
     flags: ["cwd", "needs", "parent", "from", "pri"],
     purpose: "Create a lightweight task from a title and optional body.",
+    notes: [
+        "<BODY> and literal - are mutually exclusive body selectors. Use literal - with stdin for multiline prose.",
+        "Only literal - reads stdin; unselected piped bytes are ignored and never change a literal <BODY>.",
+    ],
 };

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

@@ -17,7 +17,8 @@ export function parseTaskAddInput(input) {
     if (!input.trim())
         throw new FlowError("EMPTY_PARAM", "task add input cannot be blank");
     const lines = input.split(/\r?\n/);
-    const title = lines[0]?.trim() ?? "";
+    const firstLine = lines[0]?.startsWith("# ") ? lines[0].slice(2) : lines[0];
+    const title = firstLine?.trim() ?? "";
     if (!title)
         throw new FlowError("EMPTY_PARAM", "task title cannot be blank");
     if (lines.length > 1 && lines[1].trim() !== "") {

package/build/cli/completion.js

@@ -19,6 +19,10 @@ function topLevelCommands() {
 function subcommandsFor(parent) {
     return [...(getCommandMetadata(parent).subcommands ?? [])];
 }
+function topLevelOptionsFor(command) {
+    const metadata = allCommandMetadata().find((meta) => meta.command === command && !command.includes(" "));
+    return metadata ? metadata.flags.map((flag) => `--${flag}`) : [];
+}
 function filterPrefix(items, word) {
     return items.filter((item) => item.startsWith(word));
 }
@@ -50,6 +54,10 @@ export async function renderCompletionCandidates(input) {
     if (input.previous === "--filter") {
         return filterPrefix([TASK_FILTER_COMPLETION], word).join("\n");
     }
+    const options = input.previous ? topLevelOptionsFor(input.previous) : [];
+    if (options.length > 0) {
+        return filterPrefix(options, word).join("\n");
+    }
     return filterPrefix(topLevelCommands(), word).join("\n");
 }
 export function renderCompletionScript(shell = "bash") {

package/build/cli/render/kanshi.js

@@ -1,25 +1,82 @@
+import { getConfig } from "../../config/env.js";
 import { formatAgeMs } from "./format.js";
+import { displayColumns, resolveLineColumns, truncateColumns } from "./line-width.js";
+import { renderPendingProjectionTell, renderProjectionActivity, selectProjectionActivityWindow, } from "./projection-activity.js";
+const KANSHI_MAX_COLUMNS = 120;
+const KANSHI_ACTIVITY_ROWS = 3;
 function shortHead(hash) {
-    if (!hash)
-        return "????????";
-    return hash.slice(0, 7);
+    return hash?.slice(0, 7);
+}
+function supportsColor() {
+    const { terminal } = getConfig();
+    if (terminal.noColor !== undefined || terminal.forceColor === "0")
+        return false;
+    if (terminal.forceColor !== undefined)
+        return true;
+    return process.stdout.isTTY === true && terminal.term?.toLowerCase() !== "dumb";
+}
+function tone(text, value) {
+    if (!supportsColor() || value === undefined || value === "normal")
+        return text;
+    return value === "description"
+        ? `\x1b[2m${text}\x1b[0m`
+        : `\x1b[31m${text}\x1b[0m`;
+}
+function renderFacts(facts) {
+    return {
+        plain: facts.map((fact) => fact.text).join(" · "),
+        rendered: facts.map((fact) => tone(fact.text, fact.tone)).join(" · "),
+    };
+}
+/** Align facts without allowing ANSI bytes to enter width arithmetic. */
+function alignedBoardRow(input) {
+    const facts = renderFacts(input.facts);
+    const prefix = `${input.prefix} `;
+    const titleBudget = Math.max(0, input.width - displayColumns(prefix) - displayColumns(facts.plain) - 1);
+    const visibleTitle = truncateColumns(input.title, titleBudget);
+    const spaces = " ".repeat(Math.max(1, input.width - displayColumns(prefix) - displayColumns(visibleTitle) - displayColumns(facts.plain)));
+    return `${prefix}${tone(visibleTitle, input.titleTone ?? "description")}${spaces}${facts.rendered}`;
 }
 function arcSparkline(arcs) {
-    if (arcs <= 0)
-        return "";
+    if (arcs <= 1)
+        return undefined;
     return Array.from({ length: arcs }, () => "·").join("──");
 }
 function pendingAfterIds(contract) {
     return contract.after.filter((item) => !item.terminal).map((item) => item.id);
 }
-function kanshiGlyph(contract) {
-    if (contract.state.state === "corrupt")
-        return "×";
-    if (pendingAfterIds(contract).length > 0)
-        return "○";
-    if (contract.state.state === "petitioned")
-        return "◎";
-    return "●";
+/**
+ * The Kanshi shape is the after DAG, not the petition/claim settlement queue.
+ * Stable input order settles independent lanes and any malformed cycle remains
+ * observable rather than dropping a contract.
+ */
+export function orderKanshiContracts(contracts) {
+    const byId = new Map(contracts.map((contract) => [contract.id, contract]));
+    const remaining = new Set(contracts.map((contract) => contract.id));
+    const emitted = new Set();
+    const ordered = [];
+    while (remaining.size > 0) {
+        const next = contracts.find((contract) => (remaining.has(contract.id)
+            && pendingAfterIds(contract)
+                .filter((id) => byId.has(id))
+                .every((id) => emitted.has(id))));
+        if (!next) {
+            // The bind boundary normally rejects cycles. Keep a corrupt historical
+            // graph visible in its original deterministic order instead of inventing
+            // a dependency edge or omitting work from the board.
+            const fallback = contracts.find((contract) => remaining.has(contract.id));
+            if (!fallback)
+                break;
+            ordered.push(fallback);
+            emitted.add(fallback.id);
+            remaining.delete(fallback.id);
+            continue;
+        }
+        ordered.push(next);
+        emitted.add(next.id);
+        remaining.delete(next.id);
+    }
+    return ordered;
 }
 function renderDriftMark(drift) {
     if (drift.state === "drift")
@@ -28,73 +85,174 @@ function renderDriftMark(drift) {
         return "▲orphaned";
     return undefined;
 }
-export function renderKanshiBoard(status) {
-    const head = shortHead(status.defaultHead);
-    if (status.contracts.length === 0) {
-        if (status.targetFilter !== null) {
-            return `現世 ${head} · target selected\nno commissions on selected target\n`;
-        }
-        return `現世 ${head} 无在飞契约\n`;
+function contractGlyph(contract) {
+    if (contract.state.state === "corrupt")
+        return "×";
+    return pendingAfterIds(contract).length > 0 ? "⧗" : "□";
+}
+function contractFacts(contract) {
+    const facts = [];
+    const spark = arcSparkline(contract.arcs);
+    if (spark)
+        facts.push({ text: spark });
+    const drift = renderDriftMark(contract.baseDrift);
+    if (drift)
+        facts.push({ text: drift });
+    const lifecycle = contract.state.state === "active" ? "open" : contract.state.state;
+    const age = formatAgeMs(contract.lastActiveMs);
+    facts.push({ text: age ? `${lifecycle} ${age}` : lifecycle });
+    if (contract.queueHeadStalled) {
+        facts.push({ text: age ? `stalled ${age}` : "stalled", tone: "alert" });
     }
-    const header = status.targetFilter !== null
-        ? `現世 ${head} · target selected`
-        : `現世 ${head}`;
-    const lines = [header, ""];
-    for (const contract of status.contracts) {
-        const glyph = kanshiGlyph(contract);
-        const name = contract.place ? `${contract.slug} @${contract.place}` : contract.slug;
-        const spark = arcSparkline(contract.arcs);
-        const facts = [];
-        const lifecycle = contract.state.state;
-        if (lifecycle === "bound" || lifecycle === "active" || lifecycle === "petitioned") {
-            facts.push(lifecycle);
-        }
-        const arcMark = contract.currentArc.state === "open"
-            ? `a${contract.currentArc.number}+`
-            : `a${contract.currentArc.number}`;
-        facts.push(contract.title);
-        facts.push(arcMark);
-        facts.push(`next ${contract.nextStep.detail}`);
-        const age = formatAgeMs(contract.lastActiveMs);
-        if (age)
-            facts.push(age);
-        if (contract.queuePosition)
-            facts.push(`Q${contract.queuePosition}`);
-        const drift = renderDriftMark(contract.baseDrift);
-        if (drift)
-            facts.push(drift);
-        if (contract.nextStep.hint)
-            facts.push(contract.nextStep.hint);
-        const pending = pendingAfterIds(contract);
-        if (pending.length > 0) {
-            facts.push(`⧗ ${pending.map((id) => {
-                const dot = id.indexOf(".");
-                return dot > 0 ? id.slice(0, dot) : id;
-            }).join(",")}`);
-        }
-        if (contract.state.state === "corrupt") {
-            facts.push(`corrupt (${contract.state.reason ?? contract.corruptReason ?? "unknown"})`);
-        }
-        if (contract.queueHeadStalled) {
-            facts.push("朱 stall 去广场");
-        }
-        const sparkCol = spark.padEnd(14);
-        const factText = facts.join(" · ");
-        lines.push(`${glyph} ${name.padEnd(18)} ${sparkCol} ${factText}`.trimEnd());
-        if (contract.bootstrapDiagnostics.some((diagnostic) => diagnostic.kind === "plan-without-result")) {
-            lines.push("  ! bootstrap · no result recorded · forfeit and re-bind");
-        }
-        for (const diagnostic of contract.queueDiagnostics) {
-            if (diagnostic.kind === "legacy-petition") {
-                lines.push("  ! legacy petition · no seat · reject then re-petition");
-                continue;
-            }
-            if (diagnostic.kind === "duplicate-seat") {
-                lines.push(`  ! seat ${diagnostic.seat} duplicated with ${diagnostic.with} · ordered by contract id`);
-                continue;
-            }
-            lines.push("  ! target mismatch");
-        }
+    return facts;
+}
+function renderKeiyakuSection(board, width) {
+    if (!board.contractsObservable)
+        return undefined;
+    const lines = [`keiyaku ${board.contracts.length}`];
+    for (const contract of orderKanshiContracts(board.contracts)) {
+        lines.push(alignedBoardRow({
+            prefix: `${contractGlyph(contract)} ${contract.place ?? contract.slug}`,
+            title: contract.title,
+            facts: contractFacts(contract),
+            width,
+        }));
+    }
+    return lines.join("\n");
+}
+function activityState(row) {
+    switch (row.state) {
+        case "lost": return "lost";
+        case "startup-timeout": return "stalled";
+        case "unknown":
+        case "incompatible": return "unknown";
+        case "failed":
+        case "dead": return "dead";
+        case "done": return "returned";
+        case "killed":
+        case "dismissed": return "dismissed";
+        case "minting":
+        case "out": return "running";
+    }
+}
+function projectionBinding(board, row) {
+    if (row.binding?.kind !== "commission")
+        return "";
+    const place = board.commissionPlaces.get(row.binding.commissionId);
+    return place ? `@${place}` : "";
+}
+function projectionFacts(row) {
+    const facts = [];
+    if (row.durationMs !== undefined)
+        facts.push({ text: `up ${formatAgeMs(row.durationMs) ?? "0s"}` });
+    if (row.activityAgeMs !== undefined)
+        facts.push({ text: `active ${formatAgeMs(row.activityAgeMs) ?? "0s"}` });
+    if (row.state !== "out" && row.state !== "minting")
+        facts.push({ text: row.state, tone: row.state === "startup-timeout" ? "alert" : "normal" });
+    return facts;
+}
+function renderEmbeddedActivity(row, width) {
+    const observedAtMs = row.observedAtMs ?? Date.now();
+    const selection = row.activity
+        ? selectProjectionActivityWindow(row.activity, KANSHI_ACTIVITY_ROWS)
+        : undefined;
+    const ordinary = row.activity
+        ? renderProjectionActivity(selection.activity, {
+            anchorMs: observedAtMs,
+            state: activityState(row),
+            showPlan: false,
+            showSilence: false,
+            ...(row.workspaceRoot ? { workspaceRoot: row.workspaceRoot } : {}),
+            maxColumns: width,
+            leadingOmittedCount: selection.leadingOmittedCount,
+        })
+        : undefined;
+    const rendered = ordinary?.lines.map((line, index) => ({
+        line,
+        at: ordinary.rowAts[index],
+        order: index,
+    })) ?? [];
+    const tells = (row.pendingTells ?? []).map((tell, index) => ({
+        line: renderPendingProjectionTell(tell, {
+            anchorMs: observedAtMs,
+            maxColumns: width,
+            renderUnconsumedTail: (tail) => tone(tail, "alert"),
+        }),
+        at: tell.createdAt,
+        order: rendered.length + index,
+    }));
+    return [...rendered, ...tells]
+        .sort((left, right) => {
+        const leftAt = Date.parse(left.at ?? "");
+        const rightAt = Date.parse(right.at ?? "");
+        const safeLeft = Number.isFinite(leftAt) ? leftAt : Number.POSITIVE_INFINITY;
+        const safeRight = Number.isFinite(rightAt) ? rightAt : Number.POSITIVE_INFINITY;
+        return safeLeft - safeRight || left.order - right.order;
+    })
+        .map((entry) => entry.line);
+}
+function terminalSummary(board) {
+    const omitted = board.projections?.omitted;
+    if (!omitted)
+        return undefined;
+    const compatibleStates = ["failed", "dead", "done", "killed", "dismissed"];
+    const details = compatibleStates
+        .flatMap((state) => omitted.byState[state] > 0 ? [`${omitted.byState[state]} ${state}`] : []);
+    return details.length > 0 ? `+ ${details.join(" · ")}` : undefined;
+}
+function renderAkumaSection(board, width) {
+    if (!board.projections)
+        return undefined;
+    const lines = [`akuma ${board.projections.rows.length}`];
+    for (const row of board.projections.rows) {
+        const alias = row.alias ? ` ${row.alias}` : "";
+        lines.push(alignedBoardRow({
+            prefix: `◆ ${row.id}${alias}`,
+            title: projectionBinding(board, row),
+            titleTone: "normal",
+            facts: projectionFacts(row),
+            width,
+        }));
+        lines.push(...renderEmbeddedActivity(row, width));
     }
-    return `${lines.join("\n")}\n`;
+    const folded = terminalSummary(board);
+    if (folded)
+        lines.push(tone(folded, "description"));
+    return lines.join("\n");
+}
+function taskLabel(task) {
+    return task.title === task.id ? `P${task.pri} ${task.id}` : `P${task.pri} ${task.id} ${task.title}`;
+}
+function renderTaskSection(tasks, width) {
+    if (!tasks)
+        return undefined;
+    const lines = [`task ${tasks.total}`];
+    for (const task of tasks.topTasks) {
+        lines.push(alignedBoardRow({
+            prefix: "▶",
+            title: taskLabel(task),
+            facts: [{ text: `in_progress · active ${formatAgeMs(task.activityAgeMs) ?? "0s"}` }],
+            width,
+        }));
+    }
+    const folded = [
+        tasks.ready > 0 ? `${tasks.ready} ready` : undefined,
+        tasks.blocked > 0 ? `${tasks.blocked} blocked` : undefined,
+    ].filter((fact) => fact !== undefined);
+    if (folded.length > 0)
+        lines.push(tone(`+ ${folded.join(" · ")}`, "description"));
+    return lines.join("\n");
+}
+export function renderKanshiBoard(board) {
+    const width = Math.min(KANSHI_MAX_COLUMNS, resolveLineColumns());
+    const left = "kanshi ";
+    const head = shortHead(board.defaultHead);
+    const right = head ? ` 現世 ${head}` : " 現世";
+    const dashes = "─".repeat(Math.max(1, width - displayColumns(left) - displayColumns(right)));
+    const sections = [
+        renderKeiyakuSection(board, width),
+        renderAkumaSection(board, width),
+        renderTaskSection(board.tasks, width),
+    ].filter((section) => section !== undefined);
+    return `${[`${left}${dashes}${right}`, ...sections].join("\n\n")}\n`;
 }