@astrosheep/keiyaku 4.0.4 → 4.0.6

package/build/src/akuma-body.js

@@ -1,7 +1,12 @@
 import { runAkumaBody } from "./akuma/body.js";
 import { worldRootForAkumaPaths } from "./akuma/identity.js";
 import { executeKillAkuma, executeTellAkuma, executeWaitAkuma, } from "./library/fleet.js";
-function upstreamFor(launch) {
+import { requireBranchesToBeUpToDateFrom, worktreeHooksFrom, } from "./library/configuration.js";
+import { executeForwardedDeliver, executeForwardedReview, } from "./library/contract.js";
+import { Repo } from "./library/repo.js";
+import { settings } from "./settings.js";
+import { executeTaskMutation } from "./task/mutation.js";
+export function upstreamFor(launch, processConfiguration) {
     const path = worldRootForAkumaPaths(launch.paths);
     return {
         wait: async (input) => await executeWaitAkuma({
@@ -26,6 +31,68 @@ function upstreamFor(launch) {
                 service: result.results.map(({ id, evidence }) => ({ id, evidence })),
             };
         },
+        deliver: async (input) => {
+            const [repo, configuration] = await Promise.all([
+                Repo.at({
+                    path: input.repoRoot,
+                    ...(processConfiguration.gitPath === undefined ? {} : { gitPath: processConfiguration.gitPath }),
+                }),
+                settings({
+                    root: input.repoRoot,
+                    ...(processConfiguration.home === undefined ? {} : { home: processConfiguration.home }),
+                }),
+            ]);
+            return await executeForwardedDeliver({
+                repo,
+                contractId: input.contractId,
+                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,
+            });
+        },
+        review: async (input) => {
+            const [repo, configuration] = await Promise.all([
+                Repo.at({
+                    path: input.repoRoot,
+                    ...(processConfiguration.gitPath === undefined ? {} : { gitPath: processConfiguration.gitPath }),
+                }),
+                settings({
+                    root: input.repoRoot,
+                    ...(processConfiguration.home === undefined ? {} : { home: processConfiguration.home }),
+                }),
+            ]);
+            return await executeForwardedReview({
+                repo,
+                contractId: input.contractId,
+                requester: input.requester,
+                verdict: input.verdict,
+                ...(input.summary === undefined ? {} : { summary: input.summary }),
+                hooks: worktreeHooksFrom({ settings: configuration }),
+            });
+        },
+        task: async (input) => await executeTaskMutation({
+            world: input.world,
+            request: input.request,
+            requester: input.requester,
+            signal: input.signal,
+        }),
     };
 }
-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/body/arc.js

@@ -1,15 +1,8 @@
-import { parseToAST } from "../markdown/parse.js";
-import { indexDocument, indexedHeadings, normalizeTitle, rawSlice, sectionContent, } from "../markdown/query.js";
+import { sectionContent } from "../markdown/query.js";
+import { decodeDocumentEnvelope } from "./envelope.js";
 function refusal(message) {
     throw new TypeError(message);
 }
-function nonblankRaw(document, node) {
-    return rawSlice(document, node.span).trim().length > 0;
-}
-function topLevelSections(document) {
-    return indexedHeadings(indexDocument(document), { level: 2 })
-        .filter((node) => node.type === "section");
-}
 function requiredProse(document, sections, name) {
     const section = sections.get(name);
     if (section === undefined)
@@ -20,31 +13,13 @@ function requiredProse(document, sections, name) {
     return value;
 }
 export function decodeArcDocument(source) {
-    const document = parseToAST(source);
-    if (document.frontmatter !== undefined)
-        refusal("arc document may not contain frontmatter");
-    const titles = indexedHeadings(indexDocument(document), { level: 1 })
-        .filter((node) => node.type === "section");
-    if (titles.length !== 1)
-        refusal("arc document requires exactly one H1 title");
-    const title = titles[0];
+    const { document, title, sections } = decodeDocumentEnvelope(source, "arc");
     if (title.title.trim().length === 0)
         refusal("arc title must be nonblank");
-    if (title.children.some((node) => nonblankRaw(document, node))) {
-        refusal("arc title may not contain content before the first H2 section");
-    }
-    const stray = document.children.filter((node) => node.type !== "section" && nonblankRaw(document, node));
-    if (stray.length > 0)
-        refusal("arc document contains content outside an H1 or H2 section");
-    const sections = new Map();
-    for (const section of topLevelSections(document)) {
-        const name = normalizeTitle(section.title);
-        if (sections.has(name))
-            refusal(`duplicate arc section '${section.title}'`);
+    for (const [name, section] of sections) {
         if (name !== "objective" && name !== "brief") {
             refusal(`arc document does not allow ## ${section.title}`);
         }
-        sections.set(name, section);
     }
     return {
         title: title.title,

package/build/src/body/decode.js

@@ -1,29 +1,12 @@
 import { mintDocumentKey, mintDocumentSegmentKey } from "./keys.js";
-import { parseToAST } from "../markdown/parse.js";
-import { directChildren, indexDocument, indexedHeadings, normalizeTitle, rawSlice, sectionContent, } from "../markdown/query.js";
+import { decodeDocumentEnvelope } from "./envelope.js";
+import { directChildren, normalizeTitle, rawSlice, sectionContent, } from "../markdown/query.js";
 import { CONTRACT_SECTIONS, RESERVED_SECTIONS } from "./shape.js";
 import { decodeRegion, RegionDocumentError } from "./region.js";
 import { decodeVerificationDeclarations, VerificationDocumentError } from "./verification.js";
 function refusal(message) {
     throw new TypeError(message);
 }
-function nonblankRaw(document, node) {
-    return rawSlice(document, node.span).trim().length > 0;
-}
-function topLevelSections(document) {
-    return indexedHeadings(indexDocument(document), { level: 2 })
-        .filter((node) => node.type === "section");
-}
-function indexedSections(document) {
-    const sections = new Map();
-    for (const section of topLevelSections(document)) {
-        const title = normalizeTitle(section.title);
-        if (sections.has(title))
-            refusal(`duplicate contract section '${section.title}'`);
-        sections.set(title, section);
-    }
-    return sections;
-}
 function requireSections(sections) {
     for (const [name, spec] of Object.entries(CONTRACT_SECTIONS)) {
         if (spec.required && !sections.has(name))
@@ -72,14 +55,6 @@ function criteria(document, section) {
         return { title, body };
     });
 }
-function rejectUnownedBytes(document, title) {
-    if (title.children.some((node) => nonblankRaw(document, node))) {
-        refusal("contract title may not contain content before the first H2 section");
-    }
-    const stray = document.children.filter((node) => node.type !== "section" && nonblankRaw(document, node));
-    if (stray.length > 0)
-        refusal("contract document contains content outside an H1 or H2 section");
-}
 function verification(document, section) {
     try {
         return decodeVerificationDeclarations(document, section);
@@ -91,22 +66,14 @@ function verification(document, section) {
     }
 }
 export function decodeContractDocument(source) {
-    let document;
+    let envelope;
     try {
-        document = parseToAST(source);
+        envelope = decodeDocumentEnvelope(source, "contract");
     }
     catch (error) {
         refusal(error instanceof Error ? error.message : String(error));
     }
-    if (document.frontmatter !== undefined)
-        refusal("contract document may not contain frontmatter");
-    const titles = indexedHeadings(indexDocument(document), { level: 1 })
-        .filter((node) => node.type === "section");
-    if (titles.length !== 1)
-        refusal("contract document requires exactly one H1 title");
-    const title = titles[0];
-    rejectUnownedBytes(document, title);
-    const sections = indexedSections(document);
+    const { document, title, sections, sectionNodes } = envelope;
     requireSections(sections);
     for (const name of RESERVED_SECTIONS) {
         if (sections.has(name))
@@ -131,7 +98,6 @@ export function decodeContractDocument(source) {
         verification: verificationSection === undefined ? [] : verification(document, verificationSection),
         extensions,
     };
-    const sectionNodes = topLevelSections(document);
     const segments = sectionNodes.map((section) => mintDocumentSegmentKey(document.source, section.span));
     return {
         ...body,

package/build/src/body/envelope.d.ts

@@ -0,0 +1,7 @@
+import type { DocumentNode, SectionNode } from "../markdown/types.js";
+export declare function decodeDocumentEnvelope(source: string, kind: "arc" | "contract"): Readonly<{
+    document: DocumentNode;
+    title: SectionNode;
+    sections: ReadonlyMap<string, SectionNode>;
+    sectionNodes: readonly SectionNode[];
+}>;

package/build/src/body/envelope.js

@@ -0,0 +1,37 @@
+import { parseToAST } from "../markdown/parse.js";
+import { indexDocument, indexedHeadings, normalizeTitle, rawSlice } from "../markdown/query.js";
+function refusal(message) {
+    throw new TypeError(message);
+}
+function nonblankRaw(document, node) {
+    return rawSlice(document, node.span).trim().length > 0;
+}
+function topLevelSections(document) {
+    return indexedHeadings(indexDocument(document), { level: 2 })
+        .filter((node) => node.type === "section");
+}
+export function decodeDocumentEnvelope(source, kind) {
+    const document = parseToAST(source);
+    if (document.frontmatter !== undefined)
+        refusal(`${kind} document may not contain frontmatter`);
+    const titles = indexedHeadings(indexDocument(document), { level: 1 })
+        .filter((node) => node.type === "section");
+    if (titles.length !== 1)
+        refusal(`${kind} document requires exactly one H1 title`);
+    const title = titles[0];
+    if (title.children.some((node) => nonblankRaw(document, node))) {
+        refusal(`${kind} title may not contain content before the first H2 section`);
+    }
+    if (document.children.some((node) => node.type !== "section" && nonblankRaw(document, node))) {
+        refusal(`${kind} document contains content outside an H1 or H2 section`);
+    }
+    const sectionNodes = topLevelSections(document);
+    const sections = new Map();
+    for (const section of sectionNodes) {
+        const name = normalizeTitle(section.title);
+        if (sections.has(name))
+            refusal(`duplicate ${kind} section '${section.title}'`);
+        sections.set(name, section);
+    }
+    return { document, title, sections, sectionNodes };
+}

package/build/src/cli/accepted.js

@@ -1,10 +1,11 @@
 import { KeiyakuRefused, KeiyakuRetry, } from "../index.js";
 function acceptedFacts(result) {
-    return result.facts.map((fact) => ({
-        contract: fact.contract,
-        entry: fact.entry,
-        kind: fact.kind,
-    }));
+    return result.facts.map((fact) => fact.kind === "reintegrated"
+        ? { contract: fact.contract, entry: fact.entry, kind: fact.kind, data: fact.data }
+        : { contract: fact.contract, entry: fact.entry, kind: fact.kind });
+}
+function attestationFor(facts, gate) {
+    return facts.findLast((fact) => fact.kind === "attestation" && fact.data.gate === gate);
 }
 function acceptedEnvelope(result, coordinate) {
     const contract = coordinate ?? result.facts[0]?.contract;
@@ -45,14 +46,16 @@ export function acceptedAmend(result, coordinate) {
 }
 export function acceptedDeliver(result, coordinate) {
     const value = result.value;
-    const attestation = result.facts.find((fact) => fact.kind === "attestation");
+    const attestation = attestationFor(result.facts, "verified");
     const verificationVerdict = attestation?.data.verdict ?? value.verificationReuse?.verdict;
     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 }),
@@ -60,15 +63,24 @@ export function acceptedDeliver(result, coordinate) {
 }
 export function acceptedReview(result, coordinate) {
     const value = result.value;
-    const attestation = result.facts.find((fact) => fact.kind === "attestation");
-    if (attestation === undefined)
+    const reviewAttestation = attestationFor(result.facts, "reviewed");
+    if (reviewAttestation === undefined)
         throw new Error("accepted review is missing its attestation fact");
+    const verificationAttestation = attestationFor(result.facts, "verified");
+    const verificationVerdict = verificationAttestation?.data.verdict ?? value.verificationReuse?.verdict;
     return {
         ...acceptedEnvelope(result, coordinate),
         verb: "review",
-        verdict: attestation.data.verdict,
+        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 }),
+        ...(value.leak === undefined ? {} : { leak: value.leak }),
     };
 }
 export function acceptedArc(result, coordinate) {

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,17 +79,17 @@ 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);
 }
 export function parseAkumaCatalogPath(value) {
-    if (value === "aku/")
+    if (value === "aku" || value === "aku/")
         return { kind: "archetypes" };
     if (value === "aku/*/*")
         return { kind: "akuma" };
-    const match = /^aku\/(.+)\/$/u.exec(value);
+    const match = /^aku\/([^/]+)\/?$/u.exec(value);
     if (match === null)
         return null;
     return { kind: "akuma", archetype: archetypeName(match[1]) };
@@ -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

@@ -1,4 +1,4 @@
-export type ContractFlagKind = "boolean" | "value" | "repeat-value";
+export type ContractFlagKind = "boolean" | "value" | "raw-value" | "repeat-value";
 export type ContractCommandSpec = Readonly<{
     positional: "none" | "optional";
     stdin: "none" | "optional" | "required";
@@ -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";
@@ -17,10 +17,10 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly target: "value";
             readonly here: "boolean";
             readonly after: "repeat-value";
-            readonly gates: "value";
+            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: {
@@ -30,10 +30,10 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly actor: "value";
             readonly after: "repeat-value";
             readonly "clear-after": "boolean";
-            readonly gates: "value";
+            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.";
     };
 };