@astrosheep/keiyaku 4.1.0 → 4.1.1

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

@@ -3,7 +3,7 @@ import { rename, rm, writeFile } from "node:fs/promises";
 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 { decodeProviderOptions, decodeReadonlyRestraint } from "./provider-recipe.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;
@@ -37,9 +37,7 @@ function canonicalTargets(value) {
     const ids = [];
     for (const item of value) {
         const id = canonicalAkuId(item);
-        if (id === null
-            || (ids.length > 0
-                && Buffer.compare(Buffer.from(ids.at(-1)), Buffer.from(id)) >= 0))
+        if (id === null || (ids.length > 0 && Buffer.compare(Buffer.from(ids.at(-1)), Buffer.from(id)) >= 0))
             return null;
         ids.push(id);
     }
@@ -56,10 +54,9 @@ export function decodeRecipe(value) {
         ...(recipe.description === undefined ? [] : ["description"]),
         ...(recipe.readonly === undefined ? [] : ["readonly"]),
     ];
-    if (!exactKeys(recipe, expected)
-        || (recipe.description !== undefined
-            && (typeof recipe.description !== "string"
-                || recipe.description.trim().length === 0)))
+    if (!exactKeys(recipe, expected) ||
+        (recipe.description !== undefined &&
+            (typeof recipe.description !== "string" || recipe.description.trim().length === 0)))
         return null;
     try {
         const options = decodeProviderOptions(recipe.options);
@@ -82,17 +79,11 @@ function contractId(value) {
     return typeof value === "string" && /^kei\/[^/\s]+$/u.test(value) ? value : null;
 }
 function decodeCall(id, payload) {
-    const expected = [
-        "archetype",
-        "body",
-        "recipe",
-        "world",
-        ...(payload.cwd === undefined ? [] : ["cwd"]),
-    ];
-    if (!exactKeys(payload, expected)
-        || typeof payload.body !== "string"
-        || !absolute(payload.world)
-        || (payload.cwd !== undefined && !absolute(payload.cwd)))
+    const expected = ["archetype", "body", "recipe", "world", ...(payload.cwd === undefined ? [] : ["cwd"])];
+    if (!exactKeys(payload, expected) ||
+        typeof payload.body !== "string" ||
+        !absolute(payload.world) ||
+        (payload.cwd !== undefined && !absolute(payload.cwd)))
         return null;
     try {
         archetypeName(payload.archetype);
@@ -112,42 +103,29 @@ function decodeCall(id, payload) {
 }
 function decodeWait(id, payload) {
     const targets = canonicalTargets(payload.targets);
-    const expected = [
-        "completion",
-        "targets",
-        ...(payload.timeoutMs === undefined ? [] : ["timeoutMs"]),
-    ];
-    if (!exactKeys(payload, expected)
-        || targets === null
-        || (payload.completion !== "any" && payload.completion !== "all")
-        || (payload.timeoutMs !== undefined
-            && (!Number.isSafeInteger(payload.timeoutMs)
-                || payload.timeoutMs < 0)))
+    const expected = ["completion", "targets", ...(payload.timeoutMs === undefined ? [] : ["timeoutMs"])];
+    if (!exactKeys(payload, expected) ||
+        targets === null ||
+        (payload.completion !== "any" && payload.completion !== "all") ||
+        (payload.timeoutMs !== undefined && (!Number.isSafeInteger(payload.timeoutMs) || payload.timeoutMs < 0)))
         return null;
     return {
         id,
         action: "akuma.wait",
         targets,
         completion: payload.completion,
-        ...(payload.timeoutMs === undefined
-            ? {}
-            : { timeoutMs: payload.timeoutMs }),
+        ...(payload.timeoutMs === undefined ? {} : { timeoutMs: payload.timeoutMs }),
     };
 }
 function decodeTell(id, payload) {
     const target = canonicalAkuId(payload.target);
-    return exactKeys(payload, ["body", "target"])
-        && target !== null
-        && typeof payload.body === "string"
+    return exactKeys(payload, ["body", "target"]) && target !== null && typeof payload.body === "string"
         ? { id, action: "akuma.tell", target, body: payload.body }
         : null;
 }
 function decodeKill(id, payload) {
     const targets = canonicalTargets(payload.targets);
-    return exactKeys(payload, ["targets"])
-        && targets !== null
-        ? { id, action: "akuma.kill", targets }
-        : null;
+    return exactKeys(payload, ["targets"]) && targets !== null ? { id, action: "akuma.kill", targets } : null;
 }
 function decodeDeliver(id, payload) {
     const valid = exactKeys(payload, [
@@ -158,14 +136,12 @@ function decodeDeliver(id, payload) {
         ...(payload.message === undefined ? [] : ["message"]),
     ]);
     const selected = contractId(payload.contractId);
-    return valid
-        && 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))
+    return valid &&
+        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))
         ? {
             id,
             action: "contract.deliver",
@@ -173,9 +149,7 @@ function decodeDeliver(id, payload) {
             contractId: selected,
             includeDirty: payload.includeDirty,
             materializeConflict: payload.materializeConflict,
-            ...(payload.message === undefined
-                ? {}
-                : { message: payload.message }),
+            ...(payload.message === undefined ? {} : { message: payload.message }),
         }
         : null;
 }
@@ -187,29 +161,23 @@ function decodeReview(id, payload) {
         ...(payload.summary === undefined ? [] : ["summary"]),
     ]);
     const selected = contractId(payload.contractId);
-    return valid
-        && selected !== null
-        && absolute(payload.repoRoot)
-        && (payload.verdict === "satisfied" || payload.verdict === "unsatisfied")
-        && (payload.summary === undefined
-            || (typeof payload.summary === "string"
-                && payload.summary.trim().length > 0))
+    return valid &&
+        selected !== null &&
+        absolute(payload.repoRoot) &&
+        (payload.verdict === "satisfied" || payload.verdict === "unsatisfied") &&
+        (payload.summary === undefined || (typeof payload.summary === "string" && payload.summary.trim().length > 0))
         ? {
             id,
             action: "contract.review",
             repoRoot: payload.repoRoot,
             contractId: selected,
             verdict: payload.verdict,
-            ...(payload.summary === undefined
-                ? {}
-                : { summary: payload.summary }),
+            ...(payload.summary === undefined ? {} : { summary: payload.summary }),
         }
         : null;
 }
 function decodeTask(id, action, payload) {
-    if (!isTaskMutationAction(action)
-        || !exactKeys(payload, ["request", "world"])
-        || !absolute(payload.world))
+    if (!isTaskMutationAction(action) || !exactKeys(payload, ["request", "world"]) || !absolute(payload.world))
         return null;
     try {
         return {
@@ -240,11 +208,11 @@ export function decodeClaim(bytes, fileId) {
         return null;
     }
     const value = object(decoded);
-    if (value === null
-        || !exactKeys(value, ["action", "id", "payload"])
-        || value.id !== fileId
-        || typeof value.id !== "string"
-        || !UUID.test(value.id))
+    if (value === null ||
+        !exactKeys(value, ["action", "id", "payload"]) ||
+        value.id !== fileId ||
+        typeof value.id !== "string" ||
+        !UUID.test(value.id))
         return null;
     const payload = object(value.payload);
     if (payload === null || typeof value.action !== "string")
@@ -258,54 +226,59 @@ function outcome(value) {
         return { kind: input.kind, result: input.result };
     }
     const failure = object(input?.failure);
-    if (input?.kind !== "failed"
-        || !exactKeys(input, ["failure", "kind"])
-        || failure === null)
+    if (input?.kind !== "failed" || !exactKeys(input, ["failure", "kind"]) || failure === null)
         return null;
     if (failure.kind === "akuma-not-born" && exactKeys(failure, ["id", "kind"])) {
         const id = canonicalAkuId(failure.id);
-        return id === null
-            ? null
-            : { kind: input.kind, failure: { kind: failure.kind, id } };
+        return id === null ? null : { kind: input.kind, failure: { kind: failure.kind, id } };
     }
-    return failure.kind === "failed" && exactKeys(failure, ["diagnostic", "kind"]) && typeof failure.diagnostic === "string"
-        ? { kind: input.kind, failure: { kind: failure.kind, diagnostic: failure.diagnostic } } : null;
+    return failure.kind === "failed" &&
+        exactKeys(failure, ["diagnostic", "kind"]) &&
+        typeof failure.diagnostic === "string"
+        ? { kind: input.kind, failure: { kind: failure.kind, diagnostic: failure.diagnostic } }
+        : null;
 }
 function envelope(value, id, action) {
-    if (value.state === "refused"
-        && exactKeys(value, ["action", "diagnostic", "id", "state"])
-        && typeof value.diagnostic === "string") {
+    if (value.state === "refused" &&
+        exactKeys(value, ["action", "diagnostic", "id", "state"]) &&
+        typeof value.diagnostic === "string") {
         return { id, action, state: value.state, diagnostic: value.diagnostic };
     }
-    if (value.state === "voided"
-        && exactKeys(value, ["action", "evidence", "id", "state"])
-        && typeof value.evidence === "string") {
+    if (value.state === "voided" &&
+        exactKeys(value, ["action", "evidence", "id", "state"]) &&
+        typeof value.evidence === "string") {
         return { id, action, state: value.state, evidence: value.evidence };
     }
-    if (action !== "akuma.call"
-        && value.state === "served"
-        && exactKeys(value, ["action", "id", "outcome", "state"])) {
+    if (action !== "akuma.call" && value.state === "served" && exactKeys(value, ["action", "id", "outcome", "state"])) {
         const decoded = outcome(value.outcome);
-        return decoded === null
-            ? null
-            : { id, action, state: value.state, outcome: decoded };
+        return decoded === null ? null : { id, action, state: value.state, outcome: decoded };
     }
     return null;
 }
 function reference(value, action) {
     const input = object(value);
     const field = action === "contract.deliver" ? "deliveryFactId" : "reviewFactId";
-    if (input === null
-        || !exactKeys(input, ["contractId", field, "kind", "repoRoot"])
-        || input.kind !== "accepted-reference"
-        || !absolute(input.repoRoot)
-        || contractId(input.contractId) === null
-        || typeof input[field] !== "string"
-        || input[field].trim().length === 0)
+    if (input === null ||
+        !exactKeys(input, ["contractId", field, "kind", "repoRoot"]) ||
+        input.kind !== "accepted-reference" ||
+        !absolute(input.repoRoot) ||
+        contractId(input.contractId) === null ||
+        typeof input[field] !== "string" ||
+        input[field].trim().length === 0)
         return null;
     return action === "contract.deliver"
-        ? { kind: input.kind, repoRoot: input.repoRoot, contractId: input.contractId, deliveryFactId: input.deliveryFactId }
-        : { kind: input.kind, repoRoot: input.repoRoot, contractId: input.contractId, reviewFactId: input.reviewFactId };
+        ? {
+            kind: input.kind,
+            repoRoot: input.repoRoot,
+            contractId: input.contractId,
+            deliveryFactId: input.deliveryFactId,
+        }
+        : {
+            kind: input.kind,
+            repoRoot: input.repoRoot,
+            contractId: input.contractId,
+            reviewFactId: input.reviewFactId,
+        };
 }
 function decodeCallReceipt(value, id) {
     if (value.state !== "served" || !exactKeys(value, ["action", "child", "id", "state"]))
@@ -327,10 +300,10 @@ function decodeTaskReceipt(value, id, action) {
     if (value.state !== "served" || !exactKeys(value, ["action", "id", "reference", "state"]))
         return null;
     const selected = object(value.reference);
-    if (selected === null
-        || !exactKeys(selected, ["action", "kind"])
-        || selected.kind !== "served-reference"
-        || selected.action !== action)
+    if (selected === null ||
+        !exactKeys(selected, ["action", "kind"]) ||
+        selected.kind !== "served-reference" ||
+        selected.action !== action)
         return null;
     return { id, action, state: value.state, reference: { kind: selected.kind, action } };
 }

package/build/src/akuma/requests.js

@@ -4,7 +4,7 @@ import { abortableDelay } from "./abort.js";
 import { AKUMA_REQUESTS_ENV } from "./provider.js";
 import { absolute, atomicJson, decodeReceipt, receiptPath, requestPath, requestPayload, } from "./request-wire.js";
 import { isTaskMutationAction } from "../task/mutation.js";
-const POLL_MS = 25;
+const POLL_MS = 100;
 export class AkumaBodyRequestError extends Error {
     outcome;
     diagnostic;
@@ -47,7 +47,7 @@ async function requestBody(input) {
             if (error.code !== "ENOENT")
                 throw error;
         }
-        if (!await access(input.directory).then(() => true, () => false)) {
+        if (!(await access(input.directory).then(() => true, () => false))) {
             throw new AkumaBodyRequestError("voided", "parent request channel closed before a receipt");
         }
         await abortableDelay(POLL_MS, input.signal);

package/build/src/akuma-body.js

@@ -1,8 +1,8 @@
-import { runAkumaBody } from "./akuma/body.js";
+import { LEASH_HELD_EXIT, runAkumaBody } from "./akuma/body.js";
 import { worldRootForAkumaPaths } from "./akuma/identity.js";
-import { executeKillAkuma, executeTellAkuma, executeWaitAkuma, } from "./library/fleet.js";
-import { requireBranchesToBeUpToDateFrom, worktreeHooksFrom, } from "./library/configuration.js";
-import { executeForwardedDeliver, executeForwardedReview, } from "./library/contract.js";
+import { executeKillAkuma, executeTellAkuma, executeWaitAkuma } from "./library/fleet.js";
+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";
@@ -95,4 +95,5 @@ const configuration = {
     ...(mappedHome === undefined || mappedHome.length === 0 ? {} : { home: mappedHome }),
     ...(mappedGitPath === undefined ? {} : { gitPath: mappedGitPath }),
 };
-await runAkumaBody(launch, upstreamFor(launch, configuration));
+if ((await runAkumaBody(launch, upstreamFor(launch, configuration))) === "held")
+    process.exitCode = LEASH_HELD_EXIT;

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

@@ -1,2 +1,5 @@
 import type { DecodedContractDocument } from "./types.js";
-export declare function applyAmendDocument(source: string, current: DecodedContractDocument): string;
+export declare function applyAmendDocument(source: string, current: DecodedContractDocument): Readonly<{
+    document: string;
+    changedSections: ReadonlySet<string>;
+}>;

package/build/src/body/amend.js

@@ -1,6 +1,6 @@
 import { decodeVerificationDeclarations, VerificationDocumentError } from "./verification.js";
 import { parseToAST } from "../markdown/parse.js";
-import { directChildren, indexDocument, indexedHeadings, normalizeTitle, rawSlice, sectionContent } from "../markdown/query.js";
+import { directChildren, indexDocument, indexedHeadings, normalizeTitle, rawSlice, sectionContent, } from "../markdown/query.js";
 import { decodeRegion, RegionDocumentError } from "./region.js";
 import { contractSectionName, RESERVED_SECTIONS } from "./shape.js";
 import { renderAmendedContractBody } from "./render.js";
@@ -11,8 +11,7 @@ function nonblank(document, node) {
     return rawSlice(document, node.span).trim().length > 0;
 }
 function sections(document) {
-    return indexedHeadings(indexDocument(document), { level: 2 })
-        .filter((node) => node.type === "section");
+    return indexedHeadings(indexDocument(document), { level: 2 }).filter((node) => node.type === "section");
 }
 function operationSections(document) {
     if (document.frontmatter !== undefined)
@@ -59,7 +58,10 @@ function criteria(document, section) {
         if (title.length === 0 || seen.has(key))
             refusal("criteria operation contains duplicate or empty titles");
         seen.add(key);
-        const body = rawSlice(document, { start: heading.span.end, end: headings[index + 1]?.span.start ?? section.span.end });
+        const body = rawSlice(document, {
+            start: heading.span.end,
+            end: headings[index + 1]?.span.start ?? section.span.end,
+        });
         if (body.trim().length === 0)
             refusal(`criterion '${title}' operation body is empty`);
         return { title, body };
@@ -201,7 +203,10 @@ function applyAppend(body, operation, document) {
     if (index < 0)
         refusal(`unknown extension '${operation.target}'`);
     const extension = body.extensions[index];
-    body.extensions[index] = { ...extension, content: appendText(extension.content, prose(document, operation.section, "extension")) };
+    body.extensions[index] = {
+        ...extension,
+        content: appendText(extension.content, prose(document, operation.section, "extension")),
+    };
 }
 function applyReplace(body, operation, document) {
     const target = contractSectionName(operation.target);
@@ -276,5 +281,8 @@ function apply(source, current) {
 }
 export function applyAmendDocument(source, current) {
     const result = apply(source, current);
-    return renderAmendedContractBody(current.document.bytes, result.body, result.changed);
+    return {
+        document: renderAmendedContractBody(current.document.bytes, result.body, result.changed),
+        changedSections: result.changed,
+    };
 }

package/build/src/body/decode.js

@@ -1,6 +1,6 @@
 import { mintDocumentKey, mintDocumentSegmentKey } from "./keys.js";
 import { decodeDocumentEnvelope } from "./envelope.js";
-import { directChildren, normalizeTitle, rawSlice, sectionContent, } from "../markdown/query.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";
@@ -103,9 +103,7 @@ export function decodeContractDocument(source) {
         ...body,
         document: { bytes: source, key: mintDocumentKey(source) },
         segments,
-        verificationSegment: verificationSection === undefined
-            ? null
-            : mintDocumentSegmentKey(document.source, verificationSection.span),
+        verificationSegment: verificationSection === undefined ? null : mintDocumentSegmentKey(document.source, verificationSection.span),
     };
 }
 export function verificationDefinition(document) {

package/build/src/body/envelope.js

@@ -7,15 +7,13 @@ 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");
+    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");
+    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];

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

@@ -2,7 +2,6 @@ import type { DocumentNode, SectionNode } from "../markdown/types.js";
 export declare class RegionDocumentError extends Error {
     constructor(message: string);
 }
-export declare function assertCanonicalRegionPath(path: string): void;
+export declare function assertRegionPattern(pattern: string): string;
 export declare function decodeRegion(document: DocumentNode, section: SectionNode): readonly string[];
 export declare function regionsOverlap(mine: readonly string[], theirs: readonly string[]): readonly [string, string][];
-export declare function regionPatternsMatchPath(patterns: readonly string[], path: string): readonly string[];

package/build/src/body/region.js

@@ -39,68 +39,8 @@ function compileRegionPattern(pattern) {
     const canonical = directory ? [...segments.slice(0, -1), "**"] : segments;
     return { source, segments: canonical.map((segment) => compileSegment(segment, pattern)) };
 }
-export function assertCanonicalRegionPath(path) {
-    if (path.length === 0 || /[\r\n\0]/u.test(path) || path.startsWith("/") || path.endsWith("/")) {
-        refusal(`Region path '${path}' must be a canonical repository-relative path`);
-    }
-    if (path.split("/").some((segment) => segment.length === 0 || segment === "." || segment === "..")) {
-        refusal(`Region path '${path}' must be a canonical repository-relative path`);
-    }
-}
-function segmentMatchesPath(pattern, path) {
-    const queue = [[0, 0]];
-    const visited = new Set();
-    let cursor = 0;
-    while (cursor < queue.length) {
-        const [patternIndex, pathIndex] = queue[cursor++];
-        const key = `${patternIndex}:${pathIndex}`;
-        if (visited.has(key))
-            continue;
-        visited.add(key);
-        if (patternIndex === pattern.length && pathIndex === path.length)
-            return true;
-        const character = pattern[patternIndex];
-        if (character === "*") {
-            queue.push([patternIndex + 1, pathIndex]);
-            if (pathIndex < path.length)
-                queue.push([patternIndex, pathIndex + 1]);
-            continue;
-        }
-        if (character === "?") {
-            if (pathIndex < path.length)
-                queue.push([patternIndex + 1, pathIndex + 1]);
-            continue;
-        }
-        if (character !== undefined && character === path[pathIndex])
-            queue.push([patternIndex + 1, pathIndex + 1]);
-    }
-    return false;
-}
-function patternMatchesPath(pattern, path) {
-    const queue = [[0, 0]];
-    const visited = new Set();
-    let cursor = 0;
-    while (cursor < queue.length) {
-        const [patternIndex, pathIndex] = queue[cursor++];
-        const key = `${patternIndex}:${pathIndex}`;
-        if (visited.has(key))
-            continue;
-        visited.add(key);
-        if (patternIndex === pattern.length && pathIndex === path.length)
-            return true;
-        const segment = pattern[patternIndex];
-        if (segment?.kind === "deep") {
-            queue.push([patternIndex + 1, pathIndex]);
-            if (pathIndex < path.length)
-                queue.push([patternIndex, pathIndex + 1]);
-            continue;
-        }
-        if (segment === undefined || path[pathIndex] === undefined)
-            continue;
-        if (segmentMatchesPath(segment.characters, Array.from(path[pathIndex])))
-            queue.push([patternIndex + 1, pathIndex + 1]);
-    }
-    return false;
+export function assertRegionPattern(pattern) {
+    return compileRegionPattern(pattern).source;
 }
 function segmentTransition(characters, index) {
     const character = characters[index];
@@ -199,11 +139,3 @@ export function regionsOverlap(mine, theirs) {
     }
     return overlaps;
 }
-export function regionPatternsMatchPath(patterns, path) {
-    assertCanonicalRegionPath(path);
-    const pathSegments = path.split("/");
-    return patterns
-        .map((pattern) => compileRegionPattern(pattern))
-        .filter((pattern) => patternMatchesPath(pattern.segments, pathSegments))
-        .map((pattern) => pattern.source);
-}

package/build/src/body/render.js

@@ -38,7 +38,9 @@ function arcSection(arc) {
     ].join("\n\n");
 }
 export function renderContractBody(body, currentArc) {
-    const criteria = body.criteria.map((criterion) => `### ${criterion.title}\n\n${content(criterion.body)}`).join("\n\n");
+    const criteria = body.criteria
+        .map((criterion) => `### ${criterion.title}\n\n${content(criterion.body)}`)
+        .join("\n\n");
     const verification = body.verification.map(verificationFence).join("\n\n");
     return [
         `# ${body.title}`,
@@ -50,25 +52,28 @@ export function renderContractBody(body, currentArc) {
         ...(verification.length === 0 ? [] : [section(CONTRACT_SECTIONS.verification.title, verification)]),
         ...body.extensions.map((extension) => section(extension.title, extension.content)),
         ...(currentArc === undefined ? [] : [arcSection(currentArc)]),
-    ].join("\n\n").concat("\n");
+    ]
+        .join("\n\n")
+        .concat("\n");
 }
 function sections(document) {
-    return indexedHeadings(indexDocument(document), { level: 2 })
-        .filter((node) => node.type === "section");
+    return indexedHeadings(indexDocument(document), { level: 2 }).filter((node) => node.type === "section");
 }
 export function renderAmendedContractBody(currentSource, body, changedSections) {
     const current = parseToAST(currentSource);
     const renderedSource = renderContractBody(body);
     const rendered = parseToAST(renderedSource);
     const currentSections = sections(current);
-    const preserved = new Map(currentSections.map((node) => [
-        normalizeTitle(node.title),
-        rawSlice(current, node.span),
-    ]));
+    const preserved = new Map(currentSections.map((node) => [normalizeTitle(node.title), rawSlice(current, node.span)]));
     const first = currentSections[0];
     const prefix = first === undefined ? currentSource : currentSource.slice(0, first.span.start);
-    return prefix + sections(rendered).map((node) => {
-        const name = normalizeTitle(node.title);
-        return changedSections.has(name) ? rawSlice(rendered, node.span) : preserved.get(name) ?? rawSlice(rendered, node.span);
-    }).join("");
+    return (prefix +
+        sections(rendered)
+            .map((node) => {
+            const name = normalizeTitle(node.title);
+            return changedSections.has(name)
+                ? rawSlice(rendered, node.span)
+                : (preserved.get(name) ?? rawSlice(rendered, node.span));
+        })
+            .join(""));
 }

package/build/src/body/shape.js

@@ -6,13 +6,7 @@ export const CONTRACT_SECTIONS = {
     criteria: { title: "Criteria", required: true },
     verification: { title: "Verification", required: false },
 };
-export const RESERVED_SECTIONS = new Set([
-    "gates",
-    "pipeline",
-    "after",
-    "arc",
-    "fulfillment",
-]);
+export const RESERVED_SECTIONS = new Set(["gates", "pipeline", "after", "arc", "fulfillment"]);
 export function contractSectionName(title) {
     for (const name of Object.keys(CONTRACT_SECTIONS)) {
         if (CONTRACT_SECTIONS[name].title === title)

package/build/src/cli/accepted.d.ts

@@ -6,7 +6,7 @@ type MutationCallOptions = Readonly<{
     projectRefusal?: (refusal: unknown) => unknown;
 }>;
 export declare function acceptedBind(result: BindResult, coordinates: Readonly<{
-    workspace: "worktree" | "here";
+    workspace: "worktree";
     target?: string;
 }>): AcceptedBindResult;
 export declare function acceptedAmend(result: AmendResult, coordinate: ContractId): AcceptedAmendResult;

package/build/src/cli/accepted.js

@@ -27,6 +27,13 @@ function acceptedRegion(result) {
         return { overlapFailure: result.overlapFailure };
     return { overlaps: result.overlaps };
 }
+function acceptedAmendRegion(result) {
+    if (result.overlapFailure !== undefined)
+        return { overlapFailure: result.overlapFailure };
+    if (result.overlaps !== undefined)
+        return { overlaps: result.overlaps };
+    return {};
+}
 export function acceptedBind(result, coordinates) {
     return {
         ...acceptedEnvelope(result, undefined),
@@ -41,7 +48,7 @@ export function acceptedAmend(result, coordinate) {
         ...acceptedEnvelope(result, coordinate),
         verb: "amend",
         diff: result.documentDiff,
-        ...acceptedRegion(result),
+        ...acceptedAmendRegion(result),
     };
 }
 export function acceptedDeliver(result, coordinate) {