@astrosheep/keiyaku 4.0.5 → 4.0.6

package/build/src/akuma/request-wire.d.ts

@@ -1,11 +1,11 @@
 import { type AkuId } from "./identity.js";
 import { decodeProviderOptions, type ReadonlyRestraint } from "./provider-recipe.js";
-import { resolveProviderExecution } from "./providers/index.js";
+import { decodeProviderExecution } from "./providers/index.js";
 import { type TaskMutationAction, type TaskMutationRequest } from "../task/mutation.js";
 export type RequestRecipe = Readonly<{
     description?: string;
     allowed: readonly string[];
-    provider: ReturnType<typeof resolveProviderExecution>["execution"];
+    provider: ReturnType<typeof decodeProviderExecution>;
     options: ReturnType<typeof decodeProviderOptions>;
     readonly?: ReadonlyRestraint;
 }>;
@@ -43,6 +43,7 @@ export type DeliverRequestClaim = Readonly<{
     contractId: string;
     message?: string;
     includeDirty: boolean;
+    materializeConflict: boolean;
 }>;
 export type ReviewRequestClaim = Readonly<{
     id: string;

package/build/src/akuma/request-wire.js

@@ -4,7 +4,7 @@ import { isAbsolute, join, resolve } from "node:path";
 import { decodeAllowedActions } from "./allowed.js";
 import { archetypeName, parseAkuId } from "./identity.js";
 import { decodeProviderOptions, decodeReadonlyRestraint, } from "./provider-recipe.js";
-import { resolveProviderExecution } from "./providers/index.js";
+import { decodeProviderExecution } from "./providers/index.js";
 import { decodeTaskMutationRequest, isTaskMutationAction, } from "../task/mutation.js";
 const UUID = /^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/u;
 function object(value) {
@@ -69,7 +69,7 @@ export function decodeRecipe(value) {
         return Object.freeze({
             ...(recipe.description === undefined ? {} : { description: recipe.description }),
             allowed: decodeAllowedActions(recipe.allowed),
-            provider: resolveProviderExecution(recipe.provider).execution,
+            provider: decodeProviderExecution(recipe.provider),
             options,
             ...(readonly === undefined ? {} : { readonly }),
         });
@@ -153,6 +153,7 @@ function decodeDeliver(id, payload) {
     const valid = exactKeys(payload, [
         "contractId",
         "includeDirty",
+        "materializeConflict",
         "repoRoot",
         ...(payload.message === undefined ? [] : ["message"]),
     ]);
@@ -161,6 +162,7 @@ function decodeDeliver(id, payload) {
         && selected !== null
         && absolute(payload.repoRoot)
         && typeof payload.includeDirty === "boolean"
+        && typeof payload.materializeConflict === "boolean"
         && (payload.message === undefined
             || (typeof payload.message === "string"
                 && payload.message.trim().length > 0))
@@ -170,6 +172,7 @@ function decodeDeliver(id, payload) {
             repoRoot: payload.repoRoot,
             contractId: selected,
             includeDirty: payload.includeDirty,
+            materializeConflict: payload.materializeConflict,
             ...(payload.message === undefined
                 ? {}
                 : { message: payload.message }),

package/build/src/akuma-body.js

@@ -48,6 +48,7 @@ export function upstreamFor(launch, processConfiguration) {
                 requester: input.requester,
                 ...(input.message === undefined ? {} : { message: input.message }),
                 includeDirty: input.includeDirty,
+                materializeConflict: input.materializeConflict,
                 requireBranchesToBeUpToDate: requireBranchesToBeUpToDateFrom({ settings: configuration }),
                 hooks: worktreeHooksFrom({ settings: configuration }),
                 signal: input.signal,
@@ -81,4 +82,17 @@ export function upstreamFor(launch, processConfiguration) {
         }),
     };
 }
-await runAkumaBody(upstreamFor);
+const encoded = process.argv[2];
+if (encoded === undefined)
+    throw new TypeError("Akuma body launch payload is missing");
+const launch = JSON.parse(Buffer.from(encoded, "base64url").toString("utf8"));
+const mappedHome = process.env.KEIYAKU_HOME?.trim();
+const mappedGitPath = process.env.KEIYAKU_GIT_PATH;
+if (mappedGitPath !== undefined && mappedGitPath.trim().length === 0) {
+    throw new TypeError("KEIYAKU_GIT_PATH requires a nonblank value");
+}
+const configuration = {
+    ...(mappedHome === undefined || mappedHome.length === 0 ? {} : { home: mappedHome }),
+    ...(mappedGitPath === undefined ? {} : { gitPath: mappedGitPath }),
+};
+await runAkumaBody(launch, upstreamFor(launch, configuration));

package/build/src/alias/index.d.ts

@@ -9,6 +9,7 @@ export type AliasMove = Readonly<{
     alias: AliasBinding;
     previous: AkuId | null;
 }>;
+export declare function nukeAliases(world: WorldRoot): Promise<void>;
 export declare function readAliases(world: WorldRoot): Promise<readonly AliasBinding[]>;
 export declare function resolveAlias(world: WorldRoot, value: AkumaAlias): Promise<AkuId | null>;
 export declare function moveAlias(input: Readonly<{

package/build/src/alias/index.js

@@ -1,4 +1,4 @@
-import { mkdir, readFile } from "node:fs/promises";
+import { lstat, mkdir, readFile, unlink } from "node:fs/promises";
 import { dirname, resolve } from "node:path";
 import { parseAkuId } from "../akuma/identity.js";
 import { replaceFileDurably } from "../coordination/durable-file.js";
@@ -77,6 +77,39 @@ async function read(path) {
         throw error;
     }
 }
+async function regularFile(path) {
+    try {
+        const value = await lstat(path);
+        if (!value.isFile() || value.isSymbolicLink())
+            throw new Error(`Alias custody is not a regular file: ${path}`);
+        return true;
+    }
+    catch (error) {
+        if (error.code === "ENOENT")
+            return false;
+        throw error;
+    }
+}
+export async function nukeAliases(world) {
+    const location = paths(world);
+    const initialAuthority = await regularFile(location.authority);
+    const initialLock = await regularFile(location.lock);
+    if (!initialAuthority && !initialLock)
+        return;
+    const held = await acquireSqliteTransactionLock({ path: location.lock, mode: "immediate" });
+    try {
+        // Alias writers use this same custody lock. Observe after acquiring it so
+        // an authority committed by a prior holder is part of this reset sweep.
+        const authorityPresent = await regularFile(location.authority);
+        if (authorityPresent) {
+            await read(location.authority);
+            await unlink(location.authority);
+        }
+    }
+    finally {
+        held.close();
+    }
+}
 export async function readAliases(world) {
     return await read(paths(world).authority);
 }

package/build/src/cli/accepted.js

@@ -51,9 +51,11 @@ export function acceptedDeliver(result, coordinate) {
     return {
         ...acceptedEnvelope(result, coordinate),
         verb: "deliver",
+        ...(value.completion === undefined ? {} : { completion: value.completion }),
         ...(verificationVerdict === undefined ? {} : { verificationVerdict }),
         ...(value.verification === undefined ? {} : { verification: value.verification }),
         ...(value.verificationReuse === undefined ? {} : { verificationReuse: value.verificationReuse }),
+        ...(value.verificationSummary === undefined ? {} : { verificationSummary: value.verificationSummary }),
         ...(value.placement === undefined ? {} : { placement: value.placement }),
         ...(value.cleanup === undefined ? {} : { cleanup: value.cleanup }),
         ...(value.leak === undefined ? {} : { leak: value.leak }),
@@ -70,9 +72,11 @@ export function acceptedReview(result, coordinate) {
         ...acceptedEnvelope(result, coordinate),
         verb: "review",
         verdict: reviewAttestation.data.verdict,
+        ...(value.completion === undefined ? {} : { completion: value.completion }),
         ...(verificationVerdict === undefined ? {} : { verificationVerdict }),
         ...(value.verification === undefined ? {} : { verification: value.verification }),
         ...(value.verificationReuse === undefined ? {} : { verificationReuse: value.verificationReuse }),
+        ...(value.verificationSummary === undefined ? {} : { verificationSummary: value.verificationSummary }),
         ...(value.placement === undefined ? {} : { placement: value.placement }),
         ...(value.workspace === undefined ? {} : { workspace: value.workspace }),
         ...(value.cleanup === undefined ? {} : { cleanup: value.cleanup }),

package/build/src/cli/commands/akuma-invoke.js

@@ -102,6 +102,7 @@ export async function invokeAkuma(command, input) {
                 ...(input.statedCwd === undefined ? {} : { cwd: input.statedCwd }),
                 mode: command.mode,
                 ...(command.timeoutMs === undefined ? {} : { timeoutMs: command.timeoutMs }),
+                ...(command.readonly === undefined ? {} : { readonly: command.readonly }),
                 ...(input.contract === undefined ? {} : { contract: input.contract }),
                 ...(command.alias === undefined ? {} : { alias: command.alias }),
                 ...(command.allowed === undefined ? {} : { allowed: command.allowed }),

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

@@ -22,6 +22,7 @@ export type ParsedAkumaCommand = Output & ((Readonly<{
     alias?: AkumaAlias;
     mode: "wait" | "detach";
     timeoutMs?: number;
+    readonly?: true;
     allowed?: AllowedActions;
 }> & Prompted) | Readonly<{
     command: "kill";

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

@@ -1,4 +1,4 @@
-import { CliUsageError, isBlankInput, usageLine, withJsonAutomationHelp } from "../usage.js";
+import { CliUsageError, isBlankInput, usageLine } from "../usage.js";
 import { archetypeName, parseAkuId } from "../../akuma/identity.js";
 import { parseDuration as decodeDuration } from "../../duration.js";
 import { parseAkumaAlias, parseAkumaGlob } from "../../identity/selector.js";
@@ -12,16 +12,18 @@ const AKUMA_COMMAND_SPECS = {
             alias: "value",
             wait: "value",
             detach: "boolean",
+            readonly: "boolean",
             allowed: "repeatable",
             json: "boolean",
         },
-        usage: "call <akuma-name> [--contract <kei/...>] [--alias @name] [--allowed <product.action>]... [--wait <duration> | -d | --detach] [--json] (<prompt> | -)",
+        usage: "call <akuma-name> [--contract <kei/...>] [--alias @name] [--readonly] [--allowed <product.action>]... [--wait <duration> | -d | --detach] (<prompt> | -)",
         purpose: "Birth an Akuma from <akuma-name> with one prompt.",
         details: [
             "Give <prompt> as one argument, or use final - to read stdin.",
             "Default: --wait 5m. An explicit --wait replaces that duration; -d and --detach return after birth.",
             "--contract dispatches the born Akuma to that Contract.",
             "--alias assigns the world-local @name selector to the born Akuma.",
+            "--readonly adds the one-way read-only birth restriction.",
             "Repeated --allowed replaces the Archetype list; --allowed none selects an empty list.",
             "With --contract, Dispatch succeeds first. If @name exists, the alias then moves.",
         ].join("\n"),
@@ -30,14 +32,14 @@ const AKUMA_COMMAND_SPECS = {
         arity: "one-or-more",
         stdin: false,
         flags: { any: "boolean", all: "boolean", timeout: "value", json: "boolean" },
-        usage: "wait <akuma-selector>... [--any | --all] [--timeout <duration>] [--json]",
+        usage: "wait <akuma-selector>... [--any | --all] [--timeout <duration>]",
         purpose: "Wait for one Akuma or an explicitly selected Akuma set.",
     },
     tell: {
         arity: 1,
         stdin: true,
         flags: { interrupt: "boolean", json: "boolean" },
-        usage: "tell <aku/...|@alias> [--interrupt] [--json] (<prompt> | -)",
+        usage: "tell <aku/...|@alias> [--interrupt] (<prompt> | -)",
         purpose: "Send one prompt to an existing Akuma and wake it.",
         details: [
             "Give <prompt> as one argument, or use final - to read stdin.",
@@ -48,21 +50,21 @@ const AKUMA_COMMAND_SPECS = {
         arity: 1,
         stdin: false,
         flags: { before: "value", since: "value", limit: "value", last: "boolean", json: "boolean" },
-        usage: "history <aku/...|@alias|kei/...> [--before <index> | --since <index>] [--limit <count>] [--last] [--json]",
+        usage: "history <aku/...|@alias|kei/...> [--before <index> | --since <index>] [--limit <count>] [--last]",
         purpose: "Read Akuma execution history or one complete Contract journal and Dispatch timeline.",
     },
     fork: {
         arity: 1,
         stdin: false,
         flags: { at: "value", json: "boolean" },
-        usage: "fork <aku/...> --at <historyId> [--json]",
+        usage: "fork <aku/...> --at <historyId>",
         purpose: "Fork one Akuma at a retained answered history point.",
     },
     kill: {
         arity: "one-or-more",
         stdin: false,
         flags: { json: "boolean" },
-        usage: "kill <akuma-selector>... [--json]",
+        usage: "kill <akuma-selector>...",
         purpose: "Put down the current Body of an Akuma selector snapshot.",
     },
 };
@@ -77,7 +79,7 @@ export function renderAkumaRootRows() {
 }
 export function renderAkumaHelp(action) {
     const spec = AKUMA_COMMAND_SPECS[action];
-    return withJsonAutomationHelp(`${spec.purpose}\n\n${usageLine(spec.usage)}${spec.details === undefined ? "" : `\n\n${spec.details}`}`);
+    return `${spec.purpose}\n\n${usageLine(spec.usage)}${spec.details === undefined ? "" : `\n\n${spec.details}`}`;
 }
 export function renderAkumaUsage(action) {
     return usageLine(AKUMA_COMMAND_SPECS[action].usage);
@@ -305,6 +307,7 @@ function parseCall(flags, archetype, prompt, output, fail) {
         ...(alias === undefined ? {} : { alias }),
         mode,
         ...(timeoutMs === undefined ? {} : { timeoutMs }),
+        ...(flags.readonly === true ? { readonly: true } : {}),
         ...(allowed === undefined ? {} : { allowed }),
         prompt,
         output,

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

@@ -6,7 +6,7 @@ export type ContractCommandSpec = Readonly<{
     usage: string;
     purpose: string;
 }>;
-export declare const AMEND_MINIMAL_STDIN_HELP: string;
+export declare const AMEND_OPERATIONS_HELP: string;
 export declare const CONTRACT_COMMAND_SPECS: {
     readonly bind: {
         readonly positional: "none";
@@ -20,7 +20,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly gates: "raw-value";
             readonly json: "boolean";
         };
-        readonly usage: "bind [--task <task/...>] [--target <ref>] [--here] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] [--json] -";
+        readonly usage: "bind [--task <task/...>] [--target <ref>] [--here] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] -";
         readonly purpose: "Create one Contract from stdin Markdown.";
     };
     readonly amend: {
@@ -33,7 +33,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly gates: "raw-value";
             readonly json: "boolean";
         };
-        readonly usage: "amend [<contract>|@<contract>] [--after <kei/...> ... | --clear-after] [--gates <name,...>] [--actor <actor>] [--json] [-]";
+        readonly usage: "amend [<contract>|@<contract>] [--after <kei/...> ... | --clear-after] [--gates <name,...>] [--actor <actor>] [-]";
         readonly purpose: "Amend one Contract's document operations or structured terms.";
     };
     readonly deliver: {
@@ -43,9 +43,10 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly actor: "value";
             readonly message: "value";
             readonly "include-dirty": "boolean";
+            readonly "materialize-conflict": "boolean";
             readonly json: "boolean";
         };
-        readonly usage: "deliver [<contract>|@<contract>] [--message <text>] [--include-dirty] [--actor <actor>] [--json]";
+        readonly usage: "deliver [<contract>|@<contract>] [--message <text>] [--include-dirty] [--materialize-conflict] [--actor <actor>]";
         readonly purpose: "Deliver one Contract candidate.";
     };
     readonly review: {
@@ -58,7 +59,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly summary: "value";
             readonly json: "boolean";
         };
-        readonly usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--actor <actor>] [--json]";
+        readonly usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--actor <actor>]";
         readonly purpose: "Record one review verdict.";
     };
     readonly arc: {
@@ -68,7 +69,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly actor: "value";
             readonly json: "boolean";
         };
-        readonly usage: "arc [<contract>|@<contract>] [--actor <actor>] [--json] -";
+        readonly usage: "arc [<contract>|@<contract>] [--actor <actor>] -";
         readonly purpose: "Record stdin arc Markdown for one Contract.";
     };
     readonly abandon: {
@@ -79,7 +80,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly note: "value";
             readonly json: "boolean";
         };
-        readonly usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>] [--json]";
+        readonly usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>]";
         readonly purpose: "Abandon one Contract with an optional note.";
     };
     readonly status: {
@@ -88,7 +89,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "status [<contract>|@name|<aku/...>] [--json]";
+        readonly usage: "status [<contract>|@name|<aku/...>]";
         readonly purpose: "Read the world status board or one Contract projection.";
     };
     readonly show: {
@@ -97,7 +98,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "show [<contract>|@<contract>] [--json]";
+        readonly usage: "show [<contract>|@<contract>]";
         readonly purpose: "Read one Contract guidance projection.";
     };
     readonly ls: {
@@ -106,7 +107,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "ls task[/] [--json]\n       keiyaku ls kei[/] [--json]\n       keiyaku ls aku[/] [--json]\n       keiyaku ls aku/<akuma>[/] [--json]\n       keiyaku ls \"aku/*/*\" [--json]";
+        readonly usage: "ls task[/]\n       keiyaku ls kei[/]\n       keiyaku ls aku[/]\n       keiyaku ls aku/<akuma>[/]\n       keiyaku ls \"aku/*/*\"";
         readonly purpose: "List one identity directory.";
     };
     readonly audit: {
@@ -118,7 +119,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly actor: "value";
             readonly json: "boolean";
         };
-        readonly usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--actor <actor>] [--json]";
+        readonly usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--actor <actor>]";
         readonly purpose: "Ask what candidate preparation, Verification, and target placement would do.";
     };
     readonly reconcile: {
@@ -128,16 +129,26 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly "retry-hooks": "boolean";
             readonly json: "boolean";
         };
-        readonly usage: "reconcile [<contract>|@<contract>] [--retry-hooks] [--json]";
+        readonly usage: "reconcile [<contract>|@<contract>] [--retry-hooks]";
         readonly purpose: "Reconcile one Contract or the invocation world.";
     };
+    readonly nuke: {
+        readonly positional: "none";
+        readonly stdin: "none";
+        readonly flags: {
+            readonly confirm: "value";
+            readonly json: "boolean";
+        };
+        readonly usage: "nuke [--confirm <WorldRoot>]";
+        readonly purpose: "Remove Keiyaku-owned data from one confirmed World.";
+    };
     readonly settings: {
         readonly positional: "none";
         readonly stdin: "none";
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "settings [--json]";
+        readonly usage: "settings";
         readonly purpose: "Read user and project Settings resources.";
     };
     readonly region: {
@@ -148,7 +159,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly path: "value";
             readonly json: "boolean";
         };
-        readonly usage: "region [<contract>] [--overlap] [--json]\n       region --path <repo-relative-path> [--json]";
+        readonly usage: "region [<contract>] [--overlap]\n       region --path <repo-relative-path>";
         readonly purpose: "Read active declared Contract Regions.";
     };
 };

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

@@ -1,20 +1,26 @@
-export const AMEND_MINIMAL_STDIN_HELP = [
-    "minimal stdin:",
-    "  ## Replace: Design",
-    "  <complete replacement>",
+export const AMEND_OPERATIONS_HELP = [
+    "stdin operations (H2 sections only, no H1):",
+    "  ## Replace: Context|Objective|Design|Region|Criteria|Verification|<extension>",
+    "  ## Append: Context|Objective|Design|Criteria|<extension>",
+    "  ## Add: Criteria|<new-extension-title>",
+    "  ## Update: Criterion <existing-title>|<existing-extension-title>",
+    "  ## Remove: Criterion <existing-title>|<existing-extension-title>",
+    "",
+    "full operation grammar: docs/document.md, Amend Operations",
 ].join("\n");
 export const CONTRACT_COMMAND_SPECS = {
-    bind: { positional: "none", stdin: "required", flags: { actor: "value", task: "value", target: "value", here: "boolean", after: "repeat-value", gates: "raw-value", json: "boolean" }, usage: "bind [--task <task/...>] [--target <ref>] [--here] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] [--json] -", purpose: "Create one Contract from stdin Markdown." },
-    amend: { positional: "optional", stdin: "optional", flags: { actor: "value", after: "repeat-value", "clear-after": "boolean", gates: "raw-value", json: "boolean" }, usage: "amend [<contract>|@<contract>] [--after <kei/...> ... | --clear-after] [--gates <name,...>] [--actor <actor>] [--json] [-]", purpose: "Amend one Contract's document operations or structured terms." },
-    deliver: { positional: "optional", stdin: "none", flags: { actor: "value", message: "value", "include-dirty": "boolean", json: "boolean" }, usage: "deliver [<contract>|@<contract>] [--message <text>] [--include-dirty] [--actor <actor>] [--json]", purpose: "Deliver one Contract candidate." },
-    review: { positional: "optional", stdin: "optional", flags: { actor: "value", satisfied: "boolean", unsatisfied: "boolean", summary: "value", json: "boolean" }, usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--actor <actor>] [--json]", purpose: "Record one review verdict." },
-    arc: { positional: "optional", stdin: "required", flags: { actor: "value", json: "boolean" }, usage: "arc [<contract>|@<contract>] [--actor <actor>] [--json] -", purpose: "Record stdin arc Markdown for one Contract." },
-    abandon: { positional: "optional", stdin: "none", flags: { actor: "value", note: "value", json: "boolean" }, usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>] [--json]", purpose: "Abandon one Contract with an optional note." },
-    status: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "status [<contract>|@name|<aku/...>] [--json]", purpose: "Read the world status board or one Contract projection." },
-    show: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "show [<contract>|@<contract>] [--json]", purpose: "Read one Contract guidance projection." },
-    ls: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "ls task[/] [--json]\n       keiyaku ls kei[/] [--json]\n       keiyaku ls aku[/] [--json]\n       keiyaku ls aku/<akuma>[/] [--json]\n       keiyaku ls \"aku/*/*\" [--json]", purpose: "List one identity directory." },
-    audit: { positional: "optional", stdin: "none", flags: { "include-dirty": "boolean", diff: "boolean", actor: "value", json: "boolean" }, usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--actor <actor>] [--json]", purpose: "Ask what candidate preparation, Verification, and target placement would do." },
-    reconcile: { positional: "optional", stdin: "none", flags: { "retry-hooks": "boolean", json: "boolean" }, usage: "reconcile [<contract>|@<contract>] [--retry-hooks] [--json]", purpose: "Reconcile one Contract or the invocation world." },
-    settings: { positional: "none", stdin: "none", flags: { json: "boolean" }, usage: "settings [--json]", purpose: "Read user and project Settings resources." },
-    region: { positional: "optional", stdin: "none", flags: { overlap: "boolean", path: "value", json: "boolean" }, usage: "region [<contract>] [--overlap] [--json]\n       region --path <repo-relative-path> [--json]", purpose: "Read active declared Contract Regions." },
+    bind: { positional: "none", stdin: "required", flags: { actor: "value", task: "value", target: "value", here: "boolean", after: "repeat-value", gates: "raw-value", json: "boolean" }, usage: "bind [--task <task/...>] [--target <ref>] [--here] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] -", purpose: "Create one Contract from stdin Markdown." },
+    amend: { positional: "optional", stdin: "optional", flags: { actor: "value", after: "repeat-value", "clear-after": "boolean", gates: "raw-value", json: "boolean" }, usage: "amend [<contract>|@<contract>] [--after <kei/...> ... | --clear-after] [--gates <name,...>] [--actor <actor>] [-]", purpose: "Amend one Contract's document operations or structured terms." },
+    deliver: { positional: "optional", stdin: "none", flags: { actor: "value", message: "value", "include-dirty": "boolean", "materialize-conflict": "boolean", json: "boolean" }, usage: "deliver [<contract>|@<contract>] [--message <text>] [--include-dirty] [--materialize-conflict] [--actor <actor>]", purpose: "Deliver one Contract candidate." },
+    review: { positional: "optional", stdin: "optional", flags: { actor: "value", satisfied: "boolean", unsatisfied: "boolean", summary: "value", json: "boolean" }, usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--actor <actor>]", purpose: "Record one review verdict." },
+    arc: { positional: "optional", stdin: "required", flags: { actor: "value", json: "boolean" }, usage: "arc [<contract>|@<contract>] [--actor <actor>] -", purpose: "Record stdin arc Markdown for one Contract." },
+    abandon: { positional: "optional", stdin: "none", flags: { actor: "value", note: "value", json: "boolean" }, usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>]", purpose: "Abandon one Contract with an optional note." },
+    status: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "status [<contract>|@name|<aku/...>]", purpose: "Read the world status board or one Contract projection." },
+    show: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "show [<contract>|@<contract>]", purpose: "Read one Contract guidance projection." },
+    ls: { positional: "optional", stdin: "none", flags: { json: "boolean" }, usage: "ls task[/]\n       keiyaku ls kei[/]\n       keiyaku ls aku[/]\n       keiyaku ls aku/<akuma>[/]\n       keiyaku ls \"aku/*/*\"", purpose: "List one identity directory." },
+    audit: { positional: "optional", stdin: "none", flags: { "include-dirty": "boolean", diff: "boolean", actor: "value", json: "boolean" }, usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--actor <actor>]", purpose: "Ask what candidate preparation, Verification, and target placement would do." },
+    reconcile: { positional: "optional", stdin: "none", flags: { "retry-hooks": "boolean", json: "boolean" }, usage: "reconcile [<contract>|@<contract>] [--retry-hooks]", purpose: "Reconcile one Contract or the invocation world." },
+    nuke: { positional: "none", stdin: "none", flags: { confirm: "value", json: "boolean" }, usage: "nuke [--confirm <WorldRoot>]", purpose: "Remove Keiyaku-owned data from one confirmed World." },
+    settings: { positional: "none", stdin: "none", flags: { json: "boolean" }, usage: "settings", purpose: "Read user and project Settings resources." },
+    region: { positional: "optional", stdin: "none", flags: { overlap: "boolean", path: "value", json: "boolean" }, usage: "region [<contract>] [--overlap]\n       region --path <repo-relative-path>", purpose: "Read active declared Contract Regions." },
 };

package/build/src/cli/commands/install.d.ts

@@ -1,4 +1,4 @@
-import { type ProcessInput, type ProcessOutcome } from "../../runtime/proc/run.js";
+import type { ProcessInput, ProcessOutcome } from "../../runtime/proc/run.js";
 export declare const HARNESS_NAMES: readonly ["codex", "claude", "opencode", "pi"];
 export type HarnessName = typeof HARNESS_NAMES[number];
 export type ParsedInstallCommand = Readonly<{
@@ -16,7 +16,7 @@ export type InstallInvocationResult = Readonly<{
     results: readonly HarnessInstallResult[];
 }>;
 export type InstallRunner = (input: ProcessInput) => Promise<ProcessOutcome>;
-export declare const INSTALL_USAGE = "install <codex|claude|opencode|pi> [--json]\n       install --all [--json]";
+export declare const INSTALL_USAGE = "install <codex|claude|opencode|pi>\n       install --all";
 export declare function parseInstallCommand(argv: readonly string[]): ParsedInstallCommand;
 export declare function renderInstallHelp(): string;
 export declare function installAssetsRoot(): string;

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

@@ -1,9 +1,8 @@
 import { dirname, resolve } from "node:path";
 import { fileURLToPath } from "node:url";
-import { runCrossPlatformProcess } from "../../runtime/proc/run.js";
-import { CliUsageError, usageLine, withJsonAutomationHelp } from "../usage.js";
+import { CliUsageError, usageLine } from "../usage.js";
 export const HARNESS_NAMES = ["codex", "claude", "opencode", "pi"];
-export const INSTALL_USAGE = "install <codex|claude|opencode|pi> [--json]\n       install --all [--json]";
+export const INSTALL_USAGE = "install <codex|claude|opencode|pi>\n       install --all";
 function isHarness(value) {
     return value !== undefined && HARNESS_NAMES.includes(value);
 }
@@ -43,7 +42,7 @@ export function parseInstallCommand(argv) {
     };
 }
 export function renderInstallHelp() {
-    return withJsonAutomationHelp(`Install the Keiyaku skills into one or more agent harnesses.\n\n${usageLine(INSTALL_USAGE)}`);
+    return `Install the Keiyaku skills into one or more agent harnesses.\n\n${usageLine(INSTALL_USAGE)}`;
 }
 const INSTALL_TIMEOUT_MS = 5 * 60 * 1000;
 const ASSET_ROOT = resolve(dirname(fileURLToPath(import.meta.url)), "../../../integrations/marketplace");
@@ -80,12 +79,13 @@ function diagnostic(argv, outcome) {
 export function installAssetsRoot() {
     return ASSET_ROOT;
 }
-export async function installHarnesses(harnesses, environment, runner = runCrossPlatformProcess) {
+export async function installHarnesses(harnesses, environment, runner) {
+    const run = runner ?? (await import("../../runtime/proc/run.js")).runCrossPlatformProcess;
     const results = [];
     for (const harness of harnesses) {
         let failure;
         for (const argv of recipes(harness)) {
-            const detail = diagnostic(argv, await runner({ argv, env: environment, timeoutMs: INSTALL_TIMEOUT_MS }));
+            const detail = diagnostic(argv, await run({ argv, env: environment, timeoutMs: INSTALL_TIMEOUT_MS }));
             if (detail.length > 0) {
                 failure = detail;
                 break;

package/build/src/cli/commands/nuke.d.ts

@@ -0,0 +1,10 @@
+import { type NukeResult } from "../../index.js";
+import type { WorldRoot } from "../../world.js";
+import { type ParsedCommand } from "../parse.js";
+import type { InvocationResult } from "../result.js";
+export declare function invokeNuke(command: Extract<ParsedCommand, {
+    command: "nuke";
+}>, world: WorldRoot | null): Promise<Readonly<{
+    kind: "nuke";
+    result: NukeResult;
+}> | InvocationResult>;

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

@@ -0,0 +1,20 @@
+import { Keiyaku, KeiyakuRefused } from "../../index.js";
+import { CliUsageError } from "../parse.js";
+export async function invokeNuke(command, world) {
+    if (world === null)
+        throw new CliUsageError("no Keiyaku world contains the invocation cwd");
+    try {
+        return {
+            kind: "nuke",
+            result: await Keiyaku.nuke({
+                world,
+                ...(command.confirm === undefined ? {} : { confirm: command.confirm }),
+            }),
+        };
+    }
+    catch (error) {
+        if (error instanceof KeiyakuRefused)
+            return { kind: "refused", verb: "nuke", refusal: error.refusal };
+        throw error;
+    }
+}

package/build/src/cli/commands/task-invoke.d.ts

@@ -16,9 +16,24 @@ export type TaskWorldObservation = Readonly<{
 }>;
 type TaskInput = Readonly<{
     world: WorldRoot | null;
+    context: Readonly<{
+        directory: string;
+        boundary: string;
+    }>;
     establish(): Promise<WorldRoot>;
     readStdin(): Promise<string>;
     actor?: string;
 }>;
+export declare function invokeTaskFromEdge(input: Readonly<{
+    parsed: ParsedTaskCommand;
+    world: WorldRoot | null;
+    context: Readonly<{
+        directory: string;
+        boundary: string;
+    }>;
+    establish: () => Promise<WorldRoot>;
+    readStdin: () => Promise<string>;
+    actor: string | undefined;
+}>): Promise<TaskInvocationResult>;
 export declare function invokeTask(command: ParsedTaskCommand, input: TaskInput): Promise<TaskInvocationResult>;
 export {};