@astrosheep/keiyaku 4.5.7 → 4.5.9

package/build/src/cli/accepted.js

@@ -17,8 +17,8 @@ function acceptedEnvelope(result, coordinate) {
         contract,
         head: result.head,
         facts: acceptedFacts(result),
-        effects: result.effects,
-        settlement: result.settlement,
+        settlementLags: result.settlementLags,
+        ...(result.recoverySnapshot === undefined ? {} : { recoverySnapshot: result.recoverySnapshot }),
         ...(result.lags.length === 0 || firstLag === undefined ? {} : { lag: [firstLag, ...result.lags.slice(1)] }),
     };
 }

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

@@ -4,6 +4,7 @@ import type { Settings } from "../../settings.js";
 import type { WorldRoot } from "../../world.js";
 import type { InvokedAkumaCommand } from "./akuma.js";
 import { finishCall } from "../../library/akuma-creation.js";
+import { type ExecutionContext } from "../../akuma/requests.js";
 export type AkumaInvocationResult = Readonly<{
     kind: "akuma";
     action: "call";
@@ -83,6 +84,7 @@ type InvokeInput = Readonly<{
     environment: NodeJS.ProcessEnv;
     readStdin(): Promise<string>;
     finishCall?: typeof finishCall;
+    execution?: ExecutionContext;
 }>;
 export declare function invokeAkuma(command: InvokedAkumaCommand, input: InvokeInput): Promise<AkumaInvocationResult>;
 export declare function invokeAkumaStatus(path: WorldRoot, akuma: string, alias?: string, repo?: Repo): Promise<AkumaInvocationResult>;

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

@@ -1,6 +1,14 @@
 import { Keiyaku, } from "../../index.js";
 import { beginCall, finishCall } from "../../library/akuma-creation.js";
+import { killAkuma, tellAkuma, waitAkuma } from "../../library/fleet.js";
+import { localExecutionContext } from "../../akuma/requests.js";
 import { recognizeAndListen } from "../square-edge.js";
+function withRollbackDiagnostic(primary, rollback) {
+    const primaryText = primary instanceof Error ? primary.message : String(primary);
+    const rollbackText = rollback instanceof Error ? rollback.message : String(rollback);
+    const error = new Error(`${primaryText}; ${rollbackText}`, { cause: primary });
+    return error;
+}
 function inputAlias(selector) {
     return selector.startsWith("@") ? selector : undefined;
 }
@@ -12,13 +20,13 @@ async function invokeWait(command, input) {
     return {
         kind: "akuma",
         action: "wait",
-        result: await Keiyaku.wait({
+        result: await waitAkuma({
             path: input.path,
             akuma: command.akuma,
             ...(input.repo === undefined ? {} : { repo: input.repo }),
             ...(command.completion === undefined ? {} : { completion: command.completion }),
             ...(command.timeoutMs === undefined ? {} : { timeoutMs: command.timeoutMs }),
-        }),
+        }, input.execution ?? localExecutionContext()),
         ...(alias === undefined ? {} : { alias }),
     };
 }
@@ -41,12 +49,12 @@ async function invokeTell(command, input) {
             ...(alias === undefined ? {} : { alias }),
         };
     }
-    const result = await Keiyaku.tell({
+    const result = await tellAkuma({
         path: input.path,
         akuma: command.akuma,
         body,
         ...(input.repo === undefined ? {} : { repo: input.repo }),
-    });
+    }, input.execution ?? localExecutionContext());
     const alias = inputAlias(command.akuma);
     return { kind: "akuma", action: "tell", mode: "ordinary", result, body, ...(alias === undefined ? {} : { alias }) };
 }
@@ -93,11 +101,11 @@ async function invokeKill(command, input) {
     return {
         kind: "akuma",
         action: "kill",
-        result: await Keiyaku.kill({
+        result: await killAkuma({
             path: input.path,
             akuma: command.akuma,
             ...(input.repo === undefined ? {} : { repo: input.repo }),
-        }),
+        }, input.execution ?? localExecutionContext()),
         ...(alias === undefined ? {} : { alias }),
     };
 }
@@ -118,7 +126,7 @@ export async function invokeAkuma(command, input) {
                 ...(input.contract === undefined ? {} : { contract: input.contract }),
                 ...(command.alias === undefined ? {} : { alias: command.alias }),
                 ...(command.allowed === undefined ? {} : { allowed: command.allowed }),
-            });
+            }, input.execution ?? localExecutionContext());
             const listener = born.born.kind === "born"
                 ? await recognizeAndListen(input.path, input.environment, born.born.allocated)
                 : undefined;
@@ -131,8 +139,8 @@ export async function invokeAkuma(command, input) {
                     try {
                         await listener.rollback();
                     }
-                    catch {
-                        /* preserve launch failure */
+                    catch (rollbackError) {
+                        throw withRollbackDiagnostic(error, rollbackError);
                     }
                 }
                 throw error;

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

@@ -17,7 +17,7 @@ const AKUMA_COMMAND_SPECS = {
             allowed: "repeatable",
             json: "boolean",
         },
-        usage: "call <akuma-name> [--contract <kei/...>] [--alias @name] [--readonly] [--allowed <product.action>]... [--wait <duration> | -d | --detach] (<prompt> | -)",
+        usage: "call <akuma-name> [--contract <kei/...>] [--alias @name] [--readonly] [--allowed <product.action>]... [--wait <duration> | -d | --detach] [--json] (<prompt> | -)",
         purpose: "Birth an Akuma from <akuma-name> with one prompt.",
         details: [
             "Give <prompt> as one argument, or use - to read stdin.",
@@ -25,7 +25,7 @@ const AKUMA_COMMAND_SPECS = {
             "--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 adds actions to the Archetype defaults.",
+            "Repeated --allowed adds actions to the selected Akuma's defaults.",
             "With --contract, Dispatch succeeds first. If @name exists, the alias then moves.",
         ].join("\n"),
     },
@@ -33,14 +33,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>]",
+        usage: "wait <akuma-selector>... [--any | --all] [--timeout <duration>] [--json]",
         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] (<prompt> | -)",
+        usage: "tell <aku/...|@alias> [--interrupt] [--json] (<prompt> | -)",
         purpose: "Send one prompt to an existing Akuma and wake it.",
         details: [
             "Give <prompt> as one argument, or use - to read stdin.",
@@ -51,21 +51,21 @@ const AKUMA_COMMAND_SPECS = {
         arity: 1,
         stdin: false,
         flags: { id: "value", before: "value", since: "value", limit: "value", last: "boolean", json: "boolean" },
-        usage: "history <aku/...|@alias|kei/...> [--id <historyId> | --before <index> | --since <index>] [--limit <count>] [--last]",
+        usage: "history <aku/...|@alias> [--id <historyId> | --before <index> | --since <index>] [--limit <count>] [--last] [--json]\nhistory <kei/...> [--json]",
         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>",
+        usage: "fork <aku/...|@alias> --at <historyId> [--json]",
         purpose: "Fork one Akuma at a retained answered history point.",
     },
     kill: {
         arity: "one-or-more",
         stdin: false,
         flags: { json: "boolean" },
-        usage: "kill <akuma-selector>...",
+        usage: "kill <akuma-selector>... [--json]",
         purpose: "Put down the current Body of an Akuma selector snapshot.",
     },
 };
@@ -76,7 +76,7 @@ export function isParsedAkumaCommand(command) {
     return isAkumaAction(command.command) && !("contract" in command && command.command === "history");
 }
 export function renderAkumaRootRows() {
-    return Object.values(AKUMA_COMMAND_SPECS).flatMap((spec) => [`  ${spec.usage}`, `    ${spec.purpose}`]);
+    return Object.entries(AKUMA_COMMAND_SPECS).map(([action, spec]) => `  ${action.padEnd(10)} ${spec.purpose}`);
 }
 export function renderAkumaHelp(action) {
     const spec = AKUMA_COMMAND_SPECS[action];

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

@@ -4,6 +4,7 @@ import type { WorktreeHooks } from "../../library/configuration.js";
 import type { Repo } from "../../library/repo.js";
 import type { Settings } from "../../settings.js";
 import type { WorldRoot } from "../../world.js";
+import type { ExecutionContext } from "../../akuma/requests.js";
 type ContractMutation = Extract<ParsedCommand, {
     command: "bind" | "amend" | "deliver" | "review" | "arc" | "abandon" | "audit";
 }>;
@@ -17,9 +18,9 @@ export type ContractMutationInput = Readonly<{
     edge: InvocationEdge;
     scope: string;
     configuration?: Settings;
-    hooks: WorktreeHooks;
+    hooks?: WorktreeHooks;
     establishWorld: () => Promise<WorldRoot>;
-    forwarded?: true;
+    execution: ExecutionContext;
 }>;
 export declare function invokeContractMutation(input: ContractMutationInput): Promise<InvocationResult>;
 export {};

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

@@ -26,13 +26,12 @@ async function selectedGitPolicy(value) {
     const { requireBranchesToBeUpToDateFrom, SettingsError } = await import("../../library/configuration.js");
     return consumeSettings(() => requireBranchesToBeUpToDateFrom({ settings: value }), SettingsError);
 }
-async function selectContract(repo, selector, scope) {
+async function selectContract(repo, selector, scope, library) {
     const { contractFromInput, resolveContextualContract } = await import("../selectors.js");
-    if (selector !== undefined && !selector.startsWith("@"))
-        return contractFromInput(repo, selector);
-    const { Keiyaku } = await import("../../library/keiyaku.js");
-    const id = resolveContextualContract(await Keiyaku.list({ repo }), selector, scope);
-    return contractFromInput(repo, id);
+    const id = selector !== undefined && !selector.startsWith("@")
+        ? contractFromInput(repo, selector).id
+        : resolveContextualContract(await library.list({ repo }), selector, scope);
+    return { id, contract: library.of({ repo, id }) };
 }
 async function bindDraftReceipt(establishWorld, markdown) {
     const { preserveBindDraft } = await import("../draft.js");
@@ -51,7 +50,12 @@ async function invokeBind(input) {
     const { bindFromCommand } = await import("./bind.js");
     const { acceptedBind, resultFromMutationCall } = await import("../accepted.js");
     if (parsed.forkOf !== undefined) {
-        return resultFromMutationCall("bind", () => bindFromCommand({ command: parsed, repo, ...(actor === undefined ? {} : { actor }), hooks }), (accepted) => {
+        return resultFromMutationCall("bind", () => bindFromCommand({
+            command: parsed,
+            repo,
+            ...(actor === undefined ? {} : { actor }),
+            ...(hooks === undefined ? {} : { hooks }),
+        }), (accepted) => {
             const bound = accepted.facts.find((fact) => fact.kind === "bind");
             if (bound === undefined || bound.kind !== "bind")
                 throw new Error("accepted bind is missing its bind fact");
@@ -69,7 +73,7 @@ async function invokeBind(input) {
             markdown,
             gates,
             ...(actor === undefined ? {} : { actor }),
-            hooks,
+            ...(hooks === undefined ? {} : { hooks }),
         }), (accepted) => {
             const bound = accepted.facts.find((fact) => fact.kind === "bind");
             if (bound === undefined || bound.kind !== "bind")
@@ -94,22 +98,19 @@ function deliverRefusal(refusal) {
     const submodules = "submodules" in refusal && Array.isArray(refusal.submodules) ? refusal.submodules : [];
     return { ...refusal, option: { flag: "--include-dirty", available: submodules.length === 0 } };
 }
-async function existingSeat(input, parsed) {
+async function existingSeat(input, parsed, library) {
     const { repo, edge, scope, hooks } = input;
-    const { id, contract } = await selectContract(repo, parsed.contract, scope);
-    const actor = actorFromEdge(parsed.actor, edge.environment);
-    return { contract, id, ...(actor === undefined ? {} : { actor }), hooks };
+    const { id, contract } = await selectContract(repo, parsed.contract, scope, library);
+    const actor = "actor" in parsed ? actorFromEdge(parsed.actor, edge.environment) : undefined;
+    return { contract, id, ...(actor === undefined ? {} : { actor }), ...(hooks === undefined ? {} : { hooks }) };
 }
-async function invokeDeliver(parsed, seat, requireBranchesToBeUpToDate) {
+async function invokeDeliver(parsed, seat) {
     const { acceptedDeliver } = await import("../accepted.js");
     try {
         const delivered = await seat.contract.deliver({
-            ...(seat.actor === undefined ? {} : { actor: seat.actor }),
             ...(parsed.message === undefined ? {} : { message: parsed.message }),
-            requireBranchesToBeUpToDate,
             includeDirty: parsed.includeDirty,
             materializeConflict: parsed.materializeConflict,
-            hooks: seat.hooks,
         });
         if (!("facts" in delivered))
             return delivered;
@@ -130,16 +131,29 @@ async function invokeReview(parsed, seat, readStdin) {
     const { acceptedReview, resultFromMutationCall } = await import("../accepted.js");
     return resultFromMutationCall("review", () => seat.contract.review({
         verdict: parsed.verdict,
-        ...(seat.actor === undefined ? {} : { actor: seat.actor }),
         ...(summary === undefined ? {} : { summary }),
-        hooks: seat.hooks,
     }), (result) => acceptedReview(result, seat.id), { coordinate: seat.id });
 }
+async function contractLibrary(input, parsed) {
+    const { configuration, edge, hooks } = input;
+    if (input.execution.channel.kind !== "local" || !["audit", "deliver", "review"].includes(parsed.command)) {
+        const { Keiyaku } = await import("../../library/keiyaku.js");
+        return Keiyaku.withExecution({ execution: input.execution });
+    }
+    const requireBranchesToBeUpToDate = parsed.command !== "review" && configuration !== undefined ? await selectedGitPolicy(configuration) : false;
+    const actor = actorFromEdge(undefined, edge.environment);
+    const { Keiyaku } = await import("../../library/keiyaku.js");
+    return Keiyaku.withLocal({
+        ...(actor === undefined ? {} : { actor }),
+        ...(hooks === undefined ? {} : { hooks }),
+        requireBranchesToBeUpToDate,
+    });
+}
 export async function invokeContractMutation(input) {
-    const { parsed, repo, edge, configuration, hooks, forwarded } = input;
+    const { parsed, repo, edge, configuration, hooks } = input;
     if (parsed.command === "bind")
         return invokeBind(input);
-    const seat = await existingSeat(input, parsed);
+    const seat = await existingSeat(input, parsed, await contractLibrary(input, parsed));
     const { id, contract, actor } = seat;
     switch (parsed.command) {
         case "amend": {
@@ -156,37 +170,35 @@ export async function invokeContractMutation(input) {
                 ...(markdown === undefined ? {} : { markdown }),
                 gates,
                 ...(actor === undefined ? {} : { actor }),
-                hooks,
+                ...(hooks === undefined ? {} : { hooks }),
             }), (result) => acceptedAmend(result, id), { coordinate: id });
         }
         case "deliver":
-            return invokeDeliver(parsed, seat, forwarded === true ? false : await selectedGitPolicy(configuration));
+            return invokeDeliver(parsed, seat);
         case "review":
             return invokeReview(parsed, seat, edge.readStdin);
         case "arc": {
             const markdown = await edge.readStdin();
             const { acceptedArc, resultFromMutationCall } = await import("../accepted.js");
-            return resultFromMutationCall("arc", () => contract.arc({ markdown, ...(actor === undefined ? {} : { actor }), hooks }), (result) => acceptedArc(result, id), { coordinate: id });
+            return resultFromMutationCall("arc", () => contract.arc({
+                markdown,
+                ...(actor === undefined ? {} : { actor }),
+                ...(hooks === undefined ? {} : { hooks }),
+            }), (result) => acceptedArc(result, id), { coordinate: id });
         }
         case "abandon": {
             const { acceptedAbandon, resultFromMutationCall } = await import("../accepted.js");
             return resultFromMutationCall("abandon", () => contract.abandon({
                 ...(actor === undefined ? {} : { actor }),
                 ...(parsed.note === undefined ? {} : { note: parsed.note }),
-                hooks,
+                ...(hooks === undefined ? {} : { hooks }),
             }), (result) => acceptedAbandon(result, id), { coordinate: id });
         }
         case "audit": {
-            if (configuration === undefined)
-                throw new Error("audit invocation requires Settings");
-            const requireBranchesToBeUpToDate = await selectedGitPolicy(configuration);
             const { acceptedAudit, resultFromMutationCall } = await import("../accepted.js");
             return resultFromMutationCall("audit", () => contract.audit({
-                ...(actor === undefined ? {} : { actor }),
                 includeDirty: parsed.includeDirty,
                 showDiff: parsed.showDiff,
-                requireBranchesToBeUpToDate,
-                hooks,
             }), (result) => acceptedAudit(result, id), { coordinate: id });
         }
     }

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

@@ -30,14 +30,14 @@ export type ParsedAmend = Output & Actor & Readonly<{
     gates?: readonly string[];
     stdin?: true;
 }>;
-export type ParsedDeliver = Output & Actor & Readonly<{
+export type ParsedDeliver = Output & Readonly<{
     command: "deliver";
     contract?: string;
     message?: string;
     includeDirty: boolean;
     materializeConflict: boolean;
 }>;
-export type ParsedReview = Output & Actor & Readonly<{
+export type ParsedReview = Output & Readonly<{
     command: "review";
     contract?: string;
     verdict: "satisfied" | "unsatisfied";
@@ -72,7 +72,6 @@ export type ParsedAudit = Output & Readonly<{
     contract?: string;
     includeDirty: boolean;
     showDiff: boolean;
-    actor?: string;
 }>;
 export type ParsedReconcile = Output & Readonly<{
     command: "reconcile";
@@ -108,7 +107,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly "fork-of": "value";
             readonly json: "boolean";
         };
-        readonly usage: "bind [--task <task/...>] [--target <ref>] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] - | bind --fork-of <kei/...> [--target <ref>] [--actor <actor>]";
+        readonly usage: "bind [--task <task/...>] [--target <ref>] [--after <kei/...> ...] [--gates <name,...>] [--actor <actor>] [--json] - | bind --fork-of <kei/...> [--target <ref>] [--actor <actor>] [--json]";
         readonly purpose: "Create one Contract from stdin Markdown or a sibling fork.";
     };
     readonly amend: {
@@ -121,7 +120,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>] [-]";
+        readonly usage: "amend [<contract>|@<contract>] [--after <kei/...> ... | --clear-after] [--gates <name,...>] [--actor <actor>] [--json] [-]";
         readonly purpose: "Amend one Contract's document operations or structured terms.";
         readonly details: string;
     };
@@ -129,13 +128,12 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly positional: "optional";
         readonly stdin: "none";
         readonly flags: {
-            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] [--materialize-conflict] [--actor <actor>]";
+        readonly usage: "deliver [<contract>|@<contract>] [--message <text>] [--include-dirty] [--materialize-conflict] [--json]";
         readonly purpose: "Deliver one Contract candidate from the appointed worktree.";
         readonly details: string;
     };
@@ -143,13 +141,12 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly positional: "optional";
         readonly stdin: "optional";
         readonly flags: {
-            readonly actor: "value";
             readonly satisfied: "boolean";
             readonly unsatisfied: "boolean";
             readonly summary: "value";
             readonly json: "boolean";
         };
-        readonly usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--actor <actor>]";
+        readonly usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -) [--json]";
         readonly purpose: "Record one review verdict.";
     };
     readonly arc: {
@@ -159,7 +156,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly actor: "value";
             readonly json: "boolean";
         };
-        readonly usage: "arc [<contract>|@<contract>] [--actor <actor>] -";
+        readonly usage: "arc [<contract>|@<contract>] [--actor <actor>] [--json] -";
         readonly purpose: "Record stdin arc Markdown for one Contract.";
     };
     readonly abandon: {
@@ -170,7 +167,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly note: "value";
             readonly json: "boolean";
         };
-        readonly usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>]";
+        readonly usage: "abandon [<contract>|@<contract>] [--note <text>] [--actor <actor>] [--json]";
         readonly purpose: "Abandon one Contract with an optional note.";
     };
     readonly status: {
@@ -179,7 +176,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "status [<contract>|@name|<aku/...>]...";
+        readonly usage: "status [<contract>|@name|<aku/...>]... [--json]";
         readonly purpose: "Read the world status board or one or more Contract and Akuma projections.";
     };
     readonly show: {
@@ -188,7 +185,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "show [<contract>|@<contract>]";
+        readonly usage: "show [<contract>|@<contract>] [--json]";
         readonly purpose: "Read one Contract guidance projection.";
     };
     readonly ls: {
@@ -197,7 +194,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "ls task[/]\n       keiyaku ls kei[/]\n       keiyaku ls aku[/]\n       keiyaku ls aku/<akuma>[/]\n       keiyaku ls \"aku/*/*\"";
+        readonly usage: "ls task[/] [--json]\nls kei[/] [--json]\nls aku[/] [--json]\nls aku/<akuma>[/] [--json]\nls \"aku/*/*\" [--json]";
         readonly purpose: "List one identity directory.";
     };
     readonly audit: {
@@ -206,10 +203,9 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly "include-dirty": "boolean";
             readonly diff: "boolean";
-            readonly actor: "value";
             readonly json: "boolean";
         };
-        readonly usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--actor <actor>]";
+        readonly usage: "audit [<contract>|@<contract>] [--include-dirty] [--diff] [--json]";
         readonly purpose: "Ask what candidate preparation, Verification, and target placement would do.";
     };
     readonly reconcile: {
@@ -219,7 +215,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly "retry-hooks": "boolean";
             readonly json: "boolean";
         };
-        readonly usage: "reconcile [<contract>|@<contract>] [--retry-hooks]";
+        readonly usage: "reconcile [<contract>|@<contract>] [--retry-hooks] [--json]";
         readonly purpose: "Reconcile one Contract or the invocation world.";
     };
     readonly nuke: {
@@ -238,8 +234,8 @@ export declare const CONTRACT_COMMAND_SPECS: {
         readonly flags: {
             readonly json: "boolean";
         };
-        readonly usage: "settings";
-        readonly purpose: "Read user and project Settings resources.";
+        readonly usage: "settings [--json]";
+        readonly purpose: "Show effective Settings (user + project, read-only)";
     };
     readonly region: {
         readonly positional: "optional";
@@ -248,7 +244,7 @@ export declare const CONTRACT_COMMAND_SPECS: {
             readonly path: "repeat-value";
             readonly json: "boolean";
         };
-        readonly usage: "region [<contract>]\n       region --path <pattern> [--path <pattern> ...]";
+        readonly usage: "region [<contract>] [--json]\nregion --path <pattern> [--path <pattern> ...] [--json]";
         readonly purpose: "Read active declared Contract Regions.";
     };
 };