@astrosheep/keiyaku 4.5.29 → 4.6.2

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

@@ -21,6 +21,11 @@ export const CONTRACT_COMMAND_SPECS = {
             "Omitting --gates selects gates.default, or reviewed when no default exists.",
             '--gates "" explicitly binds without gates; --gates reviewed needs no bundle.',
             "",
+            "Binding appoints one managed worktree for the Contract and the receipt",
+            "reports its path; the holder and delegates work there. When appointment",
+            "lags, the Contract binds without a path and shows pending reconciliation",
+            "until the worktree is realized.",
+            "",
             "stdin is Contract Markdown:",
             "  # <title>",
             "  ## Context       motivation, authority, baseline, and boundaries",
@@ -80,7 +85,7 @@ export const CONTRACT_COMMAND_SPECS = {
             "Verification, integration, and cleanup progress appears on stderr; stdout contains one final result.",
             "By default, delivery uses HEAD. --include-dirty includes all non-ignored worktree changes, staged or not; it leaves your branch and index unchanged, so staging or committing is unnecessary.",
             "Repeating delivery with unchanged work resumes unfinished verification or integration. Changed work replaces the candidate.",
-            "Delivery requests integration. If prerequisites and gates pass, it integrates now and claims the Contract; otherwise the candidate remains waiting.",
+            "Delivery requests integration. If prerequisites and gates pass, it integrates now and accepts the Contract; otherwise the candidate remains waiting.",
             "Only changed candidate work invalidates earlier review. If Verification did not finish, repeating delivery resumes that candidate; --overwrite replaces it.",
             "Delivery never counts as an independent review verdict.",
             "",
@@ -94,10 +99,10 @@ export const CONTRACT_COMMAND_SPECS = {
         stdin: "optional",
         flags: { satisfied: "boolean", unsatisfied: "boolean", summary: "value", json: "boolean" },
         usage: "review [<contract>|@<contract>] (--satisfied | --unsatisfied) (--summary <text> | -)",
-        purpose: "Record whether a Contract meets its acceptance criteria based on the current work.",
+        purpose: "Record whether a Contract meets its acceptance criteria.",
         details: [
             "A review checks the whole Contract, not just one Arc. After delivery it checks the candidate; before delivery it checks the current Contract and worktree, but cannot integrate.",
-            "--satisfied means every acceptance criterion is met. It records the verdict and requests integration; if the candidate, prerequisites, and gates are ready, this invocation integrates and claims the Contract. Otherwise the Contract stays active.",
+            "--satisfied means every acceptance criterion is met. It records the verdict and requests integration; if the candidate, prerequisites, and gates are ready, this invocation integrates and accepts the Contract. Otherwise the Contract stays active.",
             "--unsatisfied records what is missing and does not request integration.",
             "--summary gives the conclusion and evidence for --satisfied, or the specific blocker for --unsatisfied.",
             "Progress appears on stderr; stdout contains one final result.",
@@ -108,7 +113,13 @@ export const CONTRACT_COMMAND_SPECS = {
         stdin: "required",
         flags: { actor: "value", json: "boolean" },
         usage: "arc [<contract>|@<contract>] [--actor <actor>] -",
-        purpose: "Add a progress note to a Contract's work history (an Arc).",
+        purpose: "Name the current chapter of a Contract's story (a story arc).",
+        details: [
+            "stdin is one nonblank H1 chapter name followed by any Markdown body, including none:",
+            "  # <chapter name>",
+            "  <freeform body, optional>",
+            "The chapter frames dispatched work; the receipt states that the chapter opened. Contract acceptance remains unchanged.",
+        ].join("\n"),
     },
     abandon: {
         positional: "optional",
@@ -120,34 +131,38 @@ export const CONTRACT_COMMAND_SPECS = {
     status: {
         positional: "optional",
         stdin: "none",
-        flags: { json: "boolean" },
-        usage: "status [<contract>|@name|<aku/...>]...",
+        flags: { guidance: "boolean", json: "boolean" },
+        usage: "status [<contract>|@name|<aku/...>]...\nstatus --guidance [<contract>|@<contract>]",
         purpose: "Show the world overview or selected Contract and Akuma status.",
-        details: "Akuma entries show the directory each Akuma works in.",
-    },
-    show: {
-        positional: "optional",
-        stdin: "none",
-        flags: { json: "boolean" },
-        usage: "show [<contract>|@<contract>]",
-        purpose: "Show one Contract's requirements, current state, and work guidance.",
+        details: [
+            "Akuma entries show the directory each Akuma was started in.",
+            "",
+            "--guidance reads one Contract's guidance instead of status. It accepts one Contract",
+            "selector or the installed Contract selection context, and refuses an Akuma, plural,",
+            "or world selection before the read.",
+        ].join("\n"),
     },
     ls: {
         positional: "optional",
         stdin: "none",
         flags: { limit: "value", json: "boolean" },
-        usage: 'ls task[/] [--limit <count>]\nls kei[/] [--limit <count>]\nls aku[/] [--limit <count>]\nls aku/<akuma>[/] [--limit <count>]\nls "aku/*/*" [--limit <count>]',
-        purpose: "List Tasks, Contracts, or Akumas in a selected scope.",
+        usage: 'ls task[/] [--limit <count>]\nls kei[/] [--limit <count>]\nls aku[/] [--limit <count>]\nls aku/<name>[/] [--limit <count>]\nls "aku/<name>/*" [--limit <count>]\nls "aku/*/*" [--limit <count>]',
+        purpose: "List Tasks, Contracts, or Akumas.",
+        details: [
+            "ls aku/ lists the callable Akuma-name catalog; ls aku/<name> lists the living Akumas under one name.",
+            'ls "aku/<name>/*" is the same living set in glob form; ls "aku/*/*" lists every living Akuma.',
+        ].join("\n"),
     },
     audit: {
         positional: "optional",
         stdin: "none",
         flags: { "include-dirty": "boolean", "show-diff": "boolean", json: "boolean" },
         usage: "audit [<contract>|@<contract>] [--include-dirty] [--show-diff]",
-        purpose: "Preview what would happen if you delivered a Contract now; progress is on stderr.",
+        purpose: "Preview what would happen if you delivered a Contract now.",
         details: [
             "--include-dirty checks all non-ignored worktree changes, staged or not.",
             "--show-diff includes the proposed candidate diff when one can be prepared.",
+            "Progress appears on stderr; stdout contains one final result.",
         ].join("\n"),
     },
     reconcile: {
@@ -155,7 +170,7 @@ export const CONTRACT_COMMAND_SPECS = {
         stdin: "none",
         flags: { "retry-hooks": "boolean", json: "boolean" },
         usage: "reconcile [<contract>|@<contract>] [--retry-hooks]",
-        purpose: "Restore a Contract's Git workspace from its recorded state, or reconcile workspaces across this World.",
+        purpose: "Restore a Contract's Git workspace from its recorded state, or all of this World's.",
         details: "--retry-hooks reruns configured setup commands even when a Contract workspace already exists; otherwise they run when reconciliation creates it.",
     },
     nuke: {
@@ -163,7 +178,7 @@ export const CONTRACT_COMMAND_SPECS = {
         stdin: "none",
         flags: { confirm: "value", json: "boolean" },
         usage: "nuke [--confirm <world-directory>]",
-        purpose: "Remove Keiyaku-owned data from a confirmed World.",
+        purpose: "Remove Keiyaku-owned data from this World.",
         details: "Stops Akumas and removes this World's Tasks and Keiyaku-created worktrees and Git references. --confirm must exactly match this World's directory; source files are not deleted.",
     },
     settings: {
@@ -171,14 +186,15 @@ export const CONTRACT_COMMAND_SPECS = {
         stdin: "none",
         flags: { json: "boolean" },
         usage: "settings",
-        purpose: "Show effective Settings (user + project, read-only)",
+        purpose: "Show effective Settings (user + project, read-only).",
     },
     region: {
         positional: "optional",
         stdin: "none",
         flags: { path: "repeat-value", json: "boolean" },
         usage: "region [<contract>]\nregion --path <pattern> [--path <pattern> ...]",
-        purpose: "Show declared Contract file patterns, optionally for selected paths.",
+        purpose: "Show declared Contract write patterns — all, one Contract's, or those overlapping given paths.",
+        details: "Check overlap before starting parallel work.",
     },
 };
 export function renderContractHelp(command) {
@@ -216,6 +232,3 @@ export function renderContractHelp(command) {
     const help = `${spec.purpose}\n\n${usageLine(spec.usage)}`;
     return spec.details === undefined ? help : `${help}\n\n${spec.details}`;
 }
-export function renderContractUsage(command) {
-    return usageLine(CONTRACT_COMMAND_SPECS[command].usage);
-}

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

@@ -1,100 +1,21 @@
-import type { CatalogQuery } from "../catalog.js";
-import { type ContractCommand } from "./contract-help.js";
-export { CONTRACT_COMMAND_SPECS, renderContractHelp, renderContractUsage, type ContractCommand, type ContractCommandSpec, type ContractFlagKind, } from "./contract-help.js";
-type Output = Readonly<{
-    output: "text" | "json";
-}>;
-type Actor = Readonly<{
-    actor?: string;
-}>;
-export type ParsedBind = Output & Actor & Readonly<{
-    command: "bind";
-    forkOf?: string;
-    task?: string;
-    target?: string;
-    after?: readonly string[];
-    gates?: readonly string[];
-}>;
-export type ParsedAmend = Output & Actor & Readonly<{
-    command: "amend";
-    contract?: string;
-    after?: readonly string[];
-    clearAfter?: true;
-    gates?: readonly string[];
-    stdin?: true;
-}>;
-export type ParsedDeliver = Output & Readonly<{
-    command: "deliver";
-    contract?: string;
-    message?: string;
-    includeDirty: boolean;
-    materializeConflict: boolean;
-    overwrite: boolean;
-}>;
-export type ParsedReview = Output & Readonly<{
-    command: "review";
-    contract?: string;
-    verdict: "satisfied" | "unsatisfied";
-    summary?: string;
-    summaryFromStdin?: true;
-}>;
-export type ParsedArc = Output & Actor & Readonly<{
-    command: "arc";
-    contract?: string;
-}>;
-export type ParsedAbandon = Output & Actor & Readonly<{
-    command: "abandon";
-    contract?: string;
-    note?: string;
-}>;
-export type ParsedStatus = Output & (Readonly<{
-    command: "status";
-    contract?: string;
-    selectors?: readonly string[];
-    akuma?: never;
-}> | Readonly<{
-    command: "status";
+import type { CliCoordinates } from "../coordinates.js";
+import type { CliRuntime } from "../runtime.js";
+import type { ParsedContractCommand } from "./contract-grammar.js";
+/**
+ * The one bind-document admission that runs before coordinate resolution, so a malformed document
+ * refuses as a draft-bearing refusal instead of a later Repo/Git failure. Reads the memoized stdin.
+ */
+export declare function admitBindMarkdown(input: Readonly<{
+    markdown: string;
+    processCwd?: string;
+    cwd?: string;
+}>): Promise<void>;
+type ParsedContractHistory = Readonly<{
+    command: "history";
     contract: string;
-    akuma: true;
-}>);
-export type ParsedLs = Output & Readonly<{
-    command: "ls";
-    query: CatalogQuery;
-}>;
-export type ParsedAudit = Output & Readonly<{
-    command: "audit";
-    contract?: string;
-    includeDirty: boolean;
-    showDiff: boolean;
-}>;
-export type ParsedReconcile = Output & Readonly<{
-    command: "reconcile";
-    contract?: string;
-    retryHooks: boolean;
-}>;
-export type ParsedNuke = Output & Readonly<{
-    command: "nuke";
-    confirm?: string;
-}>;
-export type ParsedSettings = Output & Readonly<{
-    command: "settings";
-}>;
-export type ParsedRegion = Output & Readonly<{
-    command: "region";
-    contract?: string;
-    paths?: readonly [string, ...string[]];
-}>;
-export type ParsedShow = Output & Readonly<{
-    command: "show";
-    contract?: string;
-}>;
-export type ParsedContractParts = Readonly<{
-    command: ContractCommand;
-    flags: Readonly<Record<string, string | true | readonly string[]>>;
-    positionals: readonly string[];
-    stdin: boolean;
+    full: boolean;
     output: "text" | "json";
-    actor?: string;
 }>;
-export type ParsedContractCommand = ParsedBind | ParsedAmend | ParsedDeliver | ParsedReview | ParsedArc | ParsedAbandon | ParsedStatus | ParsedShow | ParsedLs | ParsedAudit | ParsedReconcile | ParsedNuke | ParsedSettings | ParsedRegion;
-export declare function parseContractCommand(parts: ParsedContractParts): ParsedContractCommand;
+export declare function runContractHistoryCommand(command: ParsedContractHistory, coordinates: CliCoordinates): Promise<number>;
+export declare function runContractCommand(command: ParsedContractCommand, coordinates: CliCoordinates, runtime: CliRuntime): Promise<number>;
+export {};