@astrosheep/keiyaku 2.9.9 → 2.9.11

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

@@ -0,0 +1,9 @@
+export const meta = {
+    command: "history",
+    summary: "Discover retained Akuma runs or inspect one run",
+    usage: ["keiyaku history [PROJECTION|ALIAS|ARTIFACT] [-C|--cwd DIR] [--filter EXPR] [--sort KEYS] [--json]"],
+    stdin: { mode: "argument" },
+    flags: ["cwd", "repo", "filter", "sort", "json"],
+    purpose: "Read retained projection history and the public response-file path without reading response content.",
+    completionRank: 15,
+};

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

@@ -1,5 +1,4 @@
 import { resolveContractAddress, withResolvedAddress, } from "../../../core/addressing.js";
-import { projectionDir } from "../../../core/projection/index.js";
 import { resolveProjectionAddress, } from "../../projection-address.js";
 import { projectDirectory, repositoryDirectory } from "../shared.js";
 /** Resolve cwd + optional contract address, then run the verb under that carrier. */
@@ -13,16 +12,16 @@ export async function runProjectionCommand(flags, verb, operation) {
     const run = () => operation({ cwd, address });
     return address ? await withResolvedAddress(address, run) : await run();
 }
-export function resolveProjectionCommandAddress(ctx, projectionAddress, verb) {
+export function resolveProjectionCommandAddress(ctx, projectionAddress, verb, coordinate) {
     return resolveProjectionAddress({
         cwd: ctx.cwd,
         address: projectionAddress,
         scope: ctx.address,
+        coordinate,
         verb,
     });
 }
 export async function resolveProjectionCommandTarget(ctx, projectionAddress, verb) {
     const projection = await resolveProjectionCommandAddress(ctx, projectionAddress, verb);
-    const directory = await projectionDir(ctx.cwd, projection.id);
-    return { ...projection, directory };
+    return projection;
 }

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

@@ -3,7 +3,7 @@ import { normalizeTargetRef } from "../../../../core/target-ref.js";
 import { isProjectionId } from "../../../../core/projection/index.js";
 import { FlowError } from "../../../../flow-error.js";
 import { renderProjectionFilteredStatus, renderStatusBoard } from "../../../render/status.js";
-import { textResponse } from "../../../render/shared.js";
+import { coreTextResponse } from "../../../render/shared.js";
 import { projectDirectory, repositoryDirectory } from "../../shared.js";
 export const handler = async (_stdin, flags, _signal, positional) => {
     const [projectionId] = positional;
@@ -21,6 +21,6 @@ export const handler = async (_stdin, flags, _signal, positional) => {
         ...(projectionId === undefined ? {} : { projectionId }),
     });
     if (projectionId === undefined)
-        return textResponse(renderStatusBoard(board));
-    return textResponse(renderProjectionFilteredStatus(board, projectionId));
+        return coreTextResponse(renderStatusBoard(board), board);
+    return coreTextResponse(renderProjectionFilteredStatus(board, projectionId), board);
 };

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

@@ -1,5 +1,4 @@
-import { projectionDir } from "../../../../core/projection/index.js";
-import { snapshotCommissionProjectionIds, waitForProjection, waitForProjectionSet } from "../../../../core/projection/index.js";
+import { projectionDirAtCoordinate, resolveProjectionCoordinate, snapshotCommissionProjectionIdsAtCoordinate, waitForProjection, waitForProjectionSet, } from "../../../../core/projection/index.js";
 import { FlowError } from "../../../../flow-error.js";
 import { prependAddressReceipt } from "../../../render/address.js";
 import { buildProjectionWaitSetResponse, buildWaitResponse } from "../../../render/wait.js";
@@ -15,30 +14,40 @@ export const handler = async (_stdin, flags, signal, positional) => runProjectio
             signal,
         }), { alias: projection.alias }), ctx.address, { projectionId: projection.id, projectionAlias: projection.alias });
     }
-    const selected = [];
+    const selected = new Map();
+    let coordinate;
+    if (ctx.address) {
+        coordinate = {
+            physicalRoot: ctx.address.repo.stableRoot,
+            authority: { kind: "repository", stableRoot: ctx.address.repo.stableRoot },
+        };
+    }
+    else {
+        coordinate = await resolveProjectionCoordinate(ctx.cwd);
+    }
     if (positional.length === 0) {
         if (ctx.address?.binding.kind === "commission") {
-            selected.push(...await snapshotCommissionProjectionIds(ctx.cwd, ctx.address.binding.commissionId));
+            for (const id of await snapshotCommissionProjectionIdsAtCoordinate(coordinate, ctx.address.binding.commissionId)) {
+                selected.set(id, { id, projectionDirectory: projectionDirAtCoordinate(coordinate, id) });
+            }
         }
     }
     else {
         // Resolve in argument order so multiple bad coordinates have one stable failure.
         for (const projectionAddress of positional) {
-            selected.push((await resolveProjectionCommandAddress(ctx, projectionAddress, "wait")).id);
+            const projection = await resolveProjectionCommandAddress(ctx, projectionAddress, "wait", coordinate);
+            selected.set(projection.id, { id: projection.id, projectionDirectory: projection.directory });
         }
     }
-    const ids = [...new Set(selected)].sort();
-    if (ids.length === 0) {
+    const projections = [...selected.values()].sort((left, right) => left.id.localeCompare(right.id));
+    if (projections.length === 0) {
         throw new FlowError("EMPTY_PARAM", "wait commission snapshot contains no projections");
     }
     if (!flags.any && !flags.all) {
         throw new FlowError("EMPTY_PARAM", WAIT_SET_SELECTION_ERROR);
     }
     return prependAddressReceipt(buildProjectionWaitSetResponse(await waitForProjectionSet({
-        projections: await Promise.all(ids.map(async (id) => ({
-            id,
-            projectionDirectory: await projectionDir(ctx.cwd, id),
-        }))),
+        projections,
         selection: flags.any ? "any" : "all",
         timeoutMs: flags.timeoutMs,
         signal,

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

@@ -1,13 +1,22 @@
-import { createTask, resolveTaskCreator, } from "../../../../core/task/index.js";
-import { parseTaskAddInput, runTaskMutationCommand } from "../shared.js";
-export const handler = async (stdin, flags) => {
+import { createTask, openTaskMutationContext, resolveTaskCreator, } from "../../../../core/task/index.js";
+import { renderTaskMutationRow } from "../../../render/task.js";
+import { textResponse } from "../../../render/shared.js";
+import { effectiveDirectory } from "../../shared.js";
+import { parseTaskAddInput } from "../shared.js";
+export const handler = async (stdin, flags, signal) => {
     const input = parseTaskAddInput(stdin);
-    return runTaskMutationCommand(flags, async (repository, cwd) => createTask(repository, {
+    const cwd = effectiveDirectory(flags);
+    const context = await openTaskMutationContext(cwd, signal);
+    const task = await createTask(context.repository, {
         ...input,
+        namespace: context.namespace,
         creator: await resolveTaskCreator(cwd),
         ...(flags.taskPri === undefined ? {} : { pri: flags.taskPri }),
         needs: flags.taskNeeds ?? [],
         parent: flags.taskParent ?? null,
         from: flags.taskFrom ?? [],
-    }, { now: () => new Date() }));
+        supersedes: flags.taskSupersedes ?? [],
+        relatesTo: flags.taskRelatesTo ?? [],
+    }, { now: () => new Date() });
+    return textResponse(renderTaskMutationRow(task));
 };

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

@@ -1,4 +1,4 @@
-const TASK_ADD_USAGE_PREFIX = "keiyaku task add [-C|--cwd DIR] [--needs ID]... [--parent ID] [--from ID]... [--pri 0-3]";
+const TASK_ADD_USAGE_PREFIX = "keiyaku task add [-C|--cwd DIR] [--needs COORDINATE]... [--parent COORDINATE] [--from COORDINATE]... [--supersedes COORDINATE]... [--relates-to COORDINATE]... [--pri 0-3]";
 export const meta = {
     command: "task add",
     summary: "Add a task",
@@ -10,7 +10,7 @@ export const meta = {
         mode: "argument",
         selector: { kind: "positional", index: 0, required: true, rejectBlank: true },
     },
-    flags: ["cwd", "needs", "parent", "from", "pri"],
+    flags: ["cwd", "needs", "parent", "from", "supersedes", "relates-to", "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.",

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

@@ -5,6 +5,8 @@ import { meta as lsMeta } from "./ls/meta.js";
 import { meta as logMeta } from "./log/meta.js";
 import { meta as startMeta } from "./start/meta.js";
 import { meta as stopMeta } from "./stop/meta.js";
+import { meta as holdMeta } from "./hold/meta.js";
+import { meta as resumeMeta } from "./resume/meta.js";
 import { meta as doneMeta } from "./done/meta.js";
 import { meta as dropMeta } from "./drop/meta.js";
 import { meta as updateMeta } from "./update/meta.js";
@@ -17,6 +19,8 @@ export const taskCatalog = [
     { meta: logMeta, load: () => import("./log/handler.js") },
     { meta: startMeta, load: () => import("./start/handler.js") },
     { meta: stopMeta, load: () => import("./stop/handler.js") },
+    { meta: holdMeta, load: () => import("./hold/handler.js") },
+    { meta: resumeMeta, load: () => import("./resume/handler.js") },
     { meta: doneMeta, load: () => import("./done/handler.js") },
     { meta: dropMeta, load: () => import("./drop/handler.js") },
     { meta: updateMeta, load: () => import("./update/handler.js") },

package/build/cli/commands/task/done/handler.js

@@ -1,10 +1,7 @@
 import { doneTask } from "../../../../core/task/index.js";
-import { effectiveDirectory } from "../../shared.js";
-import { mutationSelectionMessage, rejectBareContractTaskState, runTaskMutationCommand } from "../shared.js";
+import { mutationSelectionMessage, runTaskMutationCommand } from "../shared.js";
 export const handler = async (_stdin, flags, _signal, positional) => {
     try {
-        if (positional[0] === undefined)
-            await rejectBareContractTaskState(effectiveDirectory(flags), "done");
         return await runTaskMutationCommand(flags, (repository) => doneTask(repository, positional[0]));
     }
     catch (error) {

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

@@ -1,7 +1,7 @@
 export const meta = {
     command: "task done",
     summary: "Complete a task",
-    usage: ["keiyaku task done [-C|--cwd DIR] [ID]"],
+    usage: ["keiyaku task done [-C|--cwd DIR] [COORDINATE]"],
     stdin: { mode: "argument" },
     flags: ["cwd"],
     purpose: "Complete an open or in-progress task.",

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

@@ -1,7 +1,7 @@
 export const meta = {
     command: "task drop",
     summary: "Drop a task",
-    usage: ["keiyaku task drop [-C|--cwd DIR] ID"],
+    usage: ["keiyaku task drop [-C|--cwd DIR] COORDINATE"],
     stdin: { mode: "argument" },
     flags: ["cwd"],
     purpose: "Abandon an open or in-progress task.",

package/build/cli/commands/task/hold/handler.js

@@ -0,0 +1,3 @@
+import { holdTask } from "../../../../core/task/index.js";
+import { runTaskMutationCommand } from "../shared.js";
+export const handler = async (_stdin, flags, _signal, positional) => runTaskMutationCommand(flags, (repository) => holdTask(repository, positional[0]));

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

@@ -0,0 +1,8 @@
+export const meta = {
+    command: "task hold",
+    summary: "Put a task on hold",
+    usage: ["keiyaku task hold [-C|--cwd DIR] COORDINATE"],
+    stdin: { mode: "argument" },
+    flags: ["cwd"],
+    purpose: "Move an open or in-progress task to on hold.",
+};

package/build/cli/commands/task/log/handler.js

@@ -7,6 +7,6 @@ export const handler = async (_stdin, flags, _signal, positional) => withTaskCom
     const task = board.byId.get(resolveTaskReadId(board, positional[0]));
     if (!task)
         throw new FlowError("INTERNAL_STATE", "resolved task disappeared from the board");
-    const rows = await readTaskHistory(cwd, task.id);
+    const rows = await readTaskHistory(cwd, task.coordinate);
     return textResponse(rows.map(({ timestamp, actor, subject }) => `${timestamp}\t${actor}\t${subject}`).join("\n"));
 });

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

@@ -1,8 +1,8 @@
 export const meta = {
     command: "task log",
     summary: "Show one task's Git history",
-    usage: ["keiyaku task log [-C|--cwd DIR] ID"],
+    usage: ["keiyaku task log [-C|--cwd DIR] COORDINATE"],
     stdin: { mode: "argument" },
     flags: ["cwd"],
-    purpose: "Read the current hub branch's task micro-commit history.",
+    purpose: "Read the current checkout branch's task micro-commit history.",
 };

package/build/cli/commands/task/resume/handler.js

@@ -0,0 +1,3 @@
+import { resumeTask } from "../../../../core/task/index.js";
+import { runTaskMutationCommand } from "../shared.js";
+export const handler = async (_stdin, flags, _signal, positional) => runTaskMutationCommand(flags, (repository) => resumeTask(repository, positional[0]));

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

@@ -0,0 +1,8 @@
+export const meta = {
+    command: "task resume",
+    summary: "Resume a task on hold",
+    usage: ["keiyaku task resume [-C|--cwd DIR] COORDINATE"],
+    stdin: { mode: "argument" },
+    flags: ["cwd"],
+    purpose: "Return an on-hold task to open.",
+};

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

@@ -1,6 +1,5 @@
-import * as path from "node:path";
 import { FlowError } from "../../../flow-error.js";
-import { isTaskId, openTaskCommandRepository, parseTaskDocument, readTaskDoctor, taskCommandContractId, } from "../../../core/task/index.js";
+import { openTaskCommandRepository, parseTaskDocument, readTaskDoctor, taskCoordinateFromSourcePath, } from "../../../core/task/index.js";
 import { deriveTaskDisplay, renderTaskList, renderTaskMutationRow, } from "../../render/task.js";
 import { textResponse } from "../../render/shared.js";
 import { effectiveDirectory } from "../shared.js";
@@ -46,7 +45,7 @@ function taskDocumentsById(sources) {
     for (const source of sources) {
         try {
             const document = parseTaskDocument(source);
-            documents.set(document.id, document);
+            documents.set(taskCoordinateFromSourcePath(source.path).coordinate, document);
         }
         catch {
             // Invalid documents are reported from board diseases.
@@ -59,9 +58,13 @@ function renderTaskDiseaseRows(diseases, documents) {
     const renderedCycles = new Set();
     for (const disease of diseases) {
         if (disease.code === "invalid_document") {
-            const name = path.basename(disease.path).replace(/\.md$/, "");
-            if (isTaskId(name))
-                rows.push(`! ${name} invalid front matter — quarantined`);
+            try {
+                const coordinate = taskCoordinateFromSourcePath(disease.path).coordinate;
+                rows.push(`! ${coordinate} invalid front matter — quarantined`);
+            }
+            catch {
+                // A malformed non-coordinate path has no copyable task identity to render.
+            }
             continue;
         }
         if (disease.code === "needs_cycle" && disease.id && disease.relatedIds) {
@@ -90,6 +93,28 @@ function renderTaskDiseaseRows(diseases, documents) {
                 rows.push(`! cycle detected: ${cycle.join(" → ")}`);
             continue;
         }
+        if (disease.code === "supersedes_cycle" && disease.id && disease.relatedIds) {
+            const cycleKey = `supersedes\0${disease.relatedIds.join("\0")}`;
+            if (renderedCycles.has(cycleKey))
+                continue;
+            renderedCycles.add(cycleKey);
+            const members = new Set(disease.relatedIds);
+            const start = [...members].sort()[0];
+            const cycle = [start];
+            let current = start;
+            for (let count = 0; count <= members.size; count += 1) {
+                const next = documents.get(current)?.supersedes.filter((id) => members.has(id)).sort()[0];
+                if (!next)
+                    break;
+                cycle.push(next);
+                if (next === start)
+                    break;
+                current = next;
+            }
+            if (cycle.at(-1) === start)
+                rows.push(`! supersedes cycle detected: ${cycle.join(" → ")}`);
+            continue;
+        }
         if (disease.code === "missing_reference" && disease.id && disease.relatedIds) {
             const document = documents.get(disease.id);
             if (!document)
@@ -99,6 +124,10 @@ function renderTaskDiseaseRows(diseases, documents) {
                     rows.push(`! ${disease.id} needs missing task ${related}`);
                 if (document.parent === related)
                     rows.push(`? ${disease.id} parent ${related} does not exist`);
+                if (document.supersedes.includes(related))
+                    rows.push(`! ${disease.id} supersedes missing task ${related}`);
+                if (document.relatesTo.includes(related))
+                    rows.push(`! ${disease.id} relates to missing task ${related}`);
             }
         }
     }
@@ -108,11 +137,13 @@ export async function renderTaskDoctor(cwd) {
     const result = await readTaskDoctor(cwd);
     const board = result.board;
     const tasks = board.tasks;
-    const counts = { inProgress: 0, ready: 0, blocked: 0, done: 0, dropped: 0, bound: 0 };
+    const counts = { inProgress: 0, onHold: 0, ready: 0, blocked: 0, done: 0, dropped: 0, bound: 0 };
     for (const task of tasks) {
         const display = deriveTaskDisplay(task);
         if (display === "in_progress")
             counts.inProgress += 1;
+        else if (display === "on_hold")
+            counts.onHold += 1;
         else if (display === "ready")
             counts.ready += 1;
         else if (display === "blocked")
@@ -126,7 +157,7 @@ export async function renderTaskDoctor(cwd) {
     }
     const lines = [
         `tasks · ${tasks.length} total`,
-        `${counts.inProgress} in_progress · ${counts.ready} ready · ${counts.blocked} blocked · ${counts.done} done · ${counts.dropped} dropped · ${counts.bound} bound`,
+        `${counts.inProgress} in_progress · ${counts.onHold} on hold · ${counts.ready} ready · ${counts.blocked} blocked · ${counts.done} done · ${counts.dropped} dropped · ${counts.bound} bound`,
         ...renderTaskDiseaseRows(board.diseases, taskDocumentsById(result.sources)),
         ...result.orphans.map(({ taskId, contractId }) => `! ${taskId} points at contract ${contractId} which has no ledger entry — rolling back`),
     ];
@@ -134,9 +165,3 @@ export async function renderTaskDoctor(cwd) {
         lines.push("× board lock currently held by a live writer");
     return lines.join("\n");
 }
-export async function rejectBareContractTaskState(cwd, verb) {
-    const contractId = await taskCommandContractId(cwd);
-    if (contractId) {
-        throw new FlowError("UNSUPPORTED_POLICY", `task ${verb} is not available in a contract worktree; task state follows the contract (${contractId})`);
-    }
-}

package/build/cli/commands/task/show/handler.js

@@ -8,6 +8,6 @@ export const handler = async (_stdin, flags, _signal, positional) => withTaskCom
     const task = board.byId.get(resolveTaskReadId(board, positional[0]));
     if (!task)
         throw new FlowError("INTERNAL_STATE", "resolved task disappeared from the board");
-    const tree = buildTaskTree(board, task.id);
+    const tree = buildTaskTree(board, task.coordinate);
     return textResponse(flags.json ? taskJsonText(renderTaskShowJson(task, tree)) : renderTaskShow(task, tree));
 });

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

@@ -1,7 +1,7 @@
 export const meta = {
     command: "task show",
     summary: "Show one task and its children tree",
-    usage: ["keiyaku task show [-C|--cwd DIR] ID [--json]"],
+    usage: ["keiyaku task show [-C|--cwd DIR] COORDINATE [--json]"],
     stdin: { mode: "argument" },
     flags: ["cwd", "json"],
     purpose: "Read one task and every descendant linked by parent edges.",

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

@@ -1,7 +1,7 @@
 export const meta = {
     command: "task start",
     summary: "Start a task",
-    usage: ["keiyaku task start [-C|--cwd DIR] ID"],
+    usage: ["keiyaku task start [-C|--cwd DIR] COORDINATE"],
     stdin: { mode: "argument" },
     flags: ["cwd"],
     purpose: "Move an open task to in_progress.",

package/build/cli/commands/task/stop/handler.js

@@ -1,10 +1,7 @@
 import { stopTask } from "../../../../core/task/index.js";
-import { effectiveDirectory } from "../../shared.js";
-import { mutationSelectionMessage, rejectBareContractTaskState, runTaskMutationCommand } from "../shared.js";
+import { mutationSelectionMessage, runTaskMutationCommand } from "../shared.js";
 export const handler = async (_stdin, flags, _signal, positional) => {
     try {
-        if (positional[0] === undefined)
-            await rejectBareContractTaskState(effectiveDirectory(flags), "stop");
         return await runTaskMutationCommand(flags, (repository) => stopTask(repository, positional[0]));
     }
     catch (error) {

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

@@ -1,7 +1,7 @@
 export const meta = {
     command: "task stop",
     summary: "Stop a task",
-    usage: ["keiyaku task stop [-C|--cwd DIR] [ID]"],
+    usage: ["keiyaku task stop [-C|--cwd DIR] [COORDINATE]"],
     stdin: { mode: "argument" },
     flags: ["cwd"],
     purpose: "Return an in-progress task to open.",

package/build/cli/commands/task/update/handler.js

@@ -1,13 +1,21 @@
-import { updateTask } from "../../../../core/task/index.js";
-import { runTaskMutationCommand } from "../shared.js";
+import { updateTaskWithReceipt } from "../../../../core/task/index.js";
+import { renderTaskUpdate, renderTaskUpdateJson } from "../../../render/task.js";
+import { textResponse } from "../../../render/shared.js";
+import { withTaskCommandRepository } from "../shared.js";
 export const handler = async (_stdin, flags, _signal, positional) => {
-    return runTaskMutationCommand(flags, (repository) => updateTask(repository, positional[0], {
+    const result = await withTaskCommandRepository(flags, (repository) => updateTaskWithReceipt(repository, positional[0], {
         ...(flags.taskTitle === undefined ? {} : { title: flags.taskTitle }),
         ...(flags.taskBody === undefined ? {} : { body: flags.taskBody }),
+        ...(flags.taskAppend === undefined ? {} : { appendBody: flags.taskAppend }),
         ...(flags.taskPri === undefined ? {} : { pri: flags.taskPri }),
         ...(flags.taskNeeds === undefined ? {} : { addNeeds: flags.taskNeeds }),
         ...(flags.taskDropNeeds === undefined ? {} : { dropNeeds: flags.taskDropNeeds }),
         ...(flags.taskParent !== undefined ? { parent: flags.taskParent } : flags.taskNoParent ? { parent: null } : {}),
         ...(flags.taskFrom === undefined ? {} : { from: flags.taskFrom }),
+        ...(flags.taskSupersedes === undefined ? {} : { addSupersedes: flags.taskSupersedes }),
+        ...(flags.taskDropSupersedes === undefined ? {} : { dropSupersedes: flags.taskDropSupersedes }),
+        ...(flags.taskRelatesTo === undefined ? {} : { addRelatesTo: flags.taskRelatesTo }),
+        ...(flags.taskDropRelatesTo === undefined ? {} : { dropRelatesTo: flags.taskDropRelatesTo }),
     }));
+    return textResponse(flags.json ? renderTaskUpdateJson(result) : renderTaskUpdate(result));
 };

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

@@ -1,11 +1,11 @@
 export const meta = {
     command: "task update",
     summary: "Update task facts",
-    usage: ["keiyaku task update [-C|--cwd DIR] ID [--title TEXT] [--body TEXT|-] [--pri 0-3] [--needs ID] [--drop-needs ID] [--parent ID|--no-parent] [--from ID]"],
+    usage: ["keiyaku task update [-C|--cwd DIR] COORDINATE [--title TEXT] [--body TEXT|-|--append TEXT|-] [--pri 0-3] [--needs COORDINATE] [--drop-needs COORDINATE] [--parent COORDINATE|--no-parent] [--from COORDINATE] [--supersedes COORDINATE] [--drop-supersedes COORDINATE] [--relates-to COORDINATE] [--drop-relates-to COORDINATE] [--json]"],
     stdin: {
         mode: "argument",
-        selector: { kind: "flag", name: "taskBody", required: false, rejectBlank: false },
+        selector: { kind: "flag", names: ["taskBody", "taskAppend"], required: false, rejectBlank: false },
     },
-    flags: ["cwd", "title", "body", "pri", "needs", "drop-needs", "parent", "no-parent", "from"],
+    flags: ["cwd", "title", "body", "append", "pri", "needs", "drop-needs", "parent", "no-parent", "from", "supersedes", "drop-supersedes", "relates-to", "drop-relates-to", "json"],
     purpose: "Change mutable task facts.",
 };

package/build/cli/completion.js

@@ -1,7 +1,7 @@
 import { assertSettingsKnobUsable } from "../config/settings/disease.js";
 import { loadKeiyakuSettings } from "../config/settings/loader.js";
 import { loadAkumaCatalog } from "../config/akuma-loader.js";
-import { listContractIds } from "../core/ledger.js";
+import { readRepositoryLifecycle } from "../core/repository-ledger/read-model.js";
 import { TASK_FILTER_COMPLETION } from "../core/task/query.js";
 import { allCommandMetadata, getCommandMetadata } from "./commands/metadata.js";
 function topLevelCommands() {
@@ -27,7 +27,8 @@ function filterPrefix(items, word) {
     return items.filter((item) => item.startsWith(word));
 }
 async function contractAddressCandidates(cwd, word) {
-    return filterPrefix((await listContractIds(cwd)).map((id) => `@${id}`), word);
+    const read = await readRepositoryLifecycle(cwd);
+    return filterPrefix(read.contracts.map((model) => `@${model.contract}`), word);
 }
 async function akumaCandidates(cwd, word) {
     const loaded = await loadKeiyakuSettings(cwd);

package/build/cli/flags.js

@@ -83,22 +83,37 @@ export const FLAG_SPECS = {
     place: {
         kind: "value",
         placeholder: "NAME",
-        description: "Set the H1 contract name for flag-generated bind Markdown.",
+        description: "Legacy bind title spelling; bind rejects it with --title migration guidance.",
     },
     objective: {
         kind: "value",
         placeholder: "TEXT",
         description: "Set the objective for flag-generated bind Markdown.",
     },
+    context: {
+        kind: "value",
+        placeholder: "TEXT",
+        description: "Set established facts and constraints for flag-generated bind Markdown.",
+    },
+    design: {
+        kind: "value",
+        placeholder: "TEXT",
+        description: "Set the settled design for flag-generated bind Markdown.",
+    },
     scope: {
         kind: "value",
         placeholder: "GLOB",
         description: "Set the single scope pattern for flag-generated bind Markdown.",
     },
-    checks: {
+    criteria: {
         kind: "value",
-        placeholder: "CHECK",
-        description: "Set the single acceptance check for flag-generated bind Markdown.",
+        placeholder: "CRITERION",
+        description: "Set the single declarative acceptance criterion for flag-generated bind Markdown.",
+    },
+    verification: {
+        kind: "value",
+        placeholder: "DECLARATION",
+        description: "Set the single executable verification declaration for flag-generated bind Markdown.",
     },
     task: {
         kind: "value",
@@ -132,17 +147,13 @@ export const FLAG_SPECS = {
         kind: "boolean",
         description: "Renew onto the current target before petitioning.",
     },
-    resolve: {
-        kind: "boolean",
-        description: "Open a durable Keiyaku-owned renew recovery session when the rewrite conflicts.",
-    },
     continue: {
         kind: "boolean",
-        description: "Continue the open Keiyaku-owned renew recovery session.",
+        description: "Continue from the derived renew conflict scratch.",
     },
     abort: {
         kind: "boolean",
-        description: "Restore and remove the open Keiyaku-owned renew recovery session.",
+        description: "Delete the derived renew conflict scratch without moving authoritative refs.",
     },
     shell: {
         kind: "value",
@@ -174,7 +185,7 @@ export const FLAG_SPECS = {
     },
     json: {
         kind: "boolean",
-        description: "Render task data as JSON.",
+        description: "Render structured data as JSON.",
     },
     "diff-budget": {
         kind: "value",
@@ -188,12 +199,12 @@ export const FLAG_SPECS = {
     filter: {
         kind: "value",
         placeholder: TASK_FILTER_GRAMMAR,
-        description: "Filter structured task facts. Repeat --filter for AND; comma values or | terms are OR.",
+        description: "Filter structured facts. Repeat --filter for AND; comma values or | terms are OR.",
     },
     sort: {
         kind: "value",
         placeholder: "KEY[,KEY...]",
-        description: "Sort by priority ascending, modified descending, or created descending.",
+        description: "Sort the selected structured collection.",
     },
     pri: {
         kind: "value",
@@ -224,16 +235,41 @@ export const FLAG_SPECS = {
         placeholder: "ID",
         description: "Add a discovery-lineage task. May be repeated.",
     },
+    supersedes: {
+        kind: "value",
+        placeholder: "ID",
+        description: "Record that this task supersedes another task. May be repeated.",
+    },
+    "drop-supersedes": {
+        kind: "value",
+        placeholder: "ID",
+        description: "Remove a supersedes relation. May be repeated.",
+    },
+    "relates-to": {
+        kind: "value",
+        placeholder: "ID",
+        description: "Record related work. May be repeated.",
+    },
+    "drop-relates-to": {
+        kind: "value",
+        placeholder: "ID",
+        description: "Remove a related-work relation. May be repeated.",
+    },
     title: {
         kind: "value",
         placeholder: "TEXT",
-        description: "Replace the task title.",
+        description: "Set the bind document title or replace the task title.",
     },
     body: {
         kind: "value",
         placeholder: "TEXT|-",
         description: "Replace the task body; literal - reads stdin.",
     },
+    append: {
+        kind: "value",
+        placeholder: "TEXT|-",
+        description: "Append a Markdown paragraph to the task body; literal - reads stdin.",
+    },
 };
 export const CONTROL_FLAGS = new Set(Object.keys(FLAG_SPECS));
 export const VALUE_FLAGS = new Set(Object.entries(FLAG_SPECS)
@@ -244,5 +280,6 @@ export const BOOLEAN_FLAGS = new Set(Object.entries(FLAG_SPECS)
     .map(([name]) => name));
 export const SHORT_FLAG_ALIASES = {
     C: "cwd",
+    d: "detach",
     f: "force",
 };

package/build/cli/help.js

@@ -13,6 +13,9 @@ function flagUsage(name, specs) {
     if (name === "cwd") {
         return `-C, --cwd ${spec?.placeholder ?? "DIR"}`;
     }
+    if (name === "detach") {
+        return "-d, --detach";
+    }
     return spec?.kind === "value" ? `--${name} ${spec.placeholder ?? "VALUE"}` : `--${name}`;
 }
 export { CLI_COMMAND_METADATA };
@@ -69,7 +72,7 @@ export function renderCliHelp(version) {
         "Configuration:",
         "  Akuma profiles  <KEIYAKU_HOME>/akuma/*.md or .keiyaku/akuma/*.md",
         "  Settings        <KEIYAKU_HOME>/settings.json or .keiyaku/settings.json",
-        "  Inspect         keiyaku akuma ls | keiyaku akuma view NAME",
+        "  Inspect         keiyaku akuma ls | keiyaku akuma show NAME",
         "  Environment     keiyaku dump-env",
         "  Full format     README Configuration",
     ].join("\n");