@astrosheep/keiyaku 4.0.6 → 4.1.1

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

@@ -2,11 +2,11 @@ import { access, mkdir, readFile, readdir, rm } from "node:fs/promises";
 import { join } from "node:path";
 import { abortableDelay } from "./abort.js";
 import { HeldAkumaLeash, admitRequest, readNonterminalRequests, readRequest, readSoul, refuseRequest, reserveRequest, serveRequest, serveUpstreamRequest, voidRequest, } from "./heart/index.js";
-import { pathsForAkuId, worldRootForAkumaPaths, } from "./identity.js";
+import { pathsForAkuId, worldRootForAkumaPaths } from "./identity.js";
 import { BIRTH_TIMEOUT_MS, publishAkuma } from "./publication.js";
 import { atomicJson, canonicalAkuId, decodeClaim, decodeRecipe, receiptPath, } from "./request-wire.js";
 import { isTaskMutationAction } from "../task/mutation.js";
-const POLL_MS = 25;
+const POLL_MS = 100;
 function diagnostic(error) {
     return error instanceof Error ? error.message : String(error);
 }
@@ -123,14 +123,10 @@ async function serveCall(input) {
                     seed: {
                         id: allocated.id,
                         archetype: allocated.archetype,
-                        ...(request.recipe.description === undefined
-                            ? {}
-                            : { description: request.recipe.description }),
+                        ...(request.recipe.description === undefined ? {} : { description: request.recipe.description }),
                         provider: request.recipe.provider,
                         options: request.recipe.options,
-                        ...(request.recipe.readonly === undefined
-                            ? {}
-                            : { readonly: request.recipe.readonly }),
+                        ...(request.recipe.readonly === undefined ? {} : { readonly: request.recipe.readonly }),
                         allowed: request.recipe.allowed,
                         cwd: request.cwd ?? input.parent.cwd,
                         origin: {
@@ -149,9 +145,10 @@ async function serveCall(input) {
         const current = await readRequest(input.paths, request.id);
         if (current === null)
             throw error;
-        fact = current.state === "admitted" || current.state === "reserved"
-            ? await voidRequest(input.paths, request.id, diagnostic(error))
-            : current;
+        fact =
+            current.state === "admitted" || current.state === "reserved"
+                ? await voidRequest(input.paths, request.id, diagnostic(error))
+                : current;
     }
     await projectReceipt(input.directory, fact);
 }
@@ -228,14 +225,16 @@ async function executeDeliver(input, request) {
     });
     return {
         result: served.result,
-        ...(served.deliveryFactId === undefined ? {} : {
-            service: {
-                action: request.action,
-                repoRoot: request.repoRoot,
-                contractId: request.contractId,
-                deliveryFactId: served.deliveryFactId,
-            },
-        }),
+        ...(served.deliveryFactId === undefined
+            ? {}
+            : {
+                service: {
+                    action: request.action,
+                    repoRoot: request.repoRoot,
+                    contractId: request.contractId,
+                    deliveryFactId: served.deliveryFactId,
+                },
+            }),
     };
 }
 async function executeReview(input, request) {
@@ -251,14 +250,16 @@ async function executeReview(input, request) {
     });
     return {
         result: served.result,
-        ...(served.reviewFactId === undefined ? {} : {
-            service: {
-                action: request.action,
-                repoRoot: request.repoRoot,
-                contractId: request.contractId,
-                reviewFactId: served.reviewFactId,
-            },
-        }),
+        ...(served.reviewFactId === undefined
+            ? {}
+            : {
+                service: {
+                    action: request.action,
+                    repoRoot: request.repoRoot,
+                    contractId: request.contractId,
+                    reviewFactId: served.reviewFactId,
+                },
+            }),
     };
 }
 function pendingService(request) {
@@ -313,9 +314,10 @@ async function serveUpstream(input) {
         await projectReceipt(input.directory, fact);
         return;
     }
-    fact = service === undefined
-        ? await voidRequest(input.paths, request.id, "body completed without a durable Contract fact reference")
-        : await serveUpstreamRequest(input.paths, request.id, service);
+    fact =
+        service === undefined
+            ? await voidRequest(input.paths, request.id, "body completed without a durable Contract fact reference")
+            : await serveUpstreamRequest(input.paths, request.id, service);
     await projectReceipt(input.directory, fact, outcome);
 }
 async function serve(input) {
@@ -325,9 +327,7 @@ async function serve(input) {
 }
 async function requestFiles(directory) {
     try {
-        return (await readdir(directory))
-            .filter((name) => name.endsWith(".request.json"))
-            .sort();
+        return (await readdir(directory)).filter((name) => name.endsWith(".request.json")).sort();
     }
     catch (error) {
         if (error.code === "ENOENT")
@@ -421,9 +421,7 @@ export async function clearBodyRequestTransport(paths) {
     await rm(join(paths.directory, "requests"), { recursive: true, force: true });
 }
 function matchingRequestOrigin(soul, parent, id) {
-    return soul.origin.kind === "request"
-        && soul.origin.parent === parent
-        && soul.origin.requestId === id;
+    return soul.origin.kind === "request" && soul.origin.parent === parent && soul.origin.requestId === id;
 }
 async function settleReservedSoul(paths, parent, request, soul) {
     await (matchingRequestOrigin(soul, parent.id, request.id)
@@ -435,7 +433,7 @@ async function settleReserved(paths, parent, request, now, signal) {
     const deadline = performance.now() + BIRTH_TIMEOUT_MS;
     for (;;) {
         signal?.throwIfAborted();
-        if (!await access(childPaths.directory).then(() => true, () => false)) {
+        if (!(await access(childPaths.directory).then(() => true, () => false))) {
             await voidRequest(paths, request.id, "reserved child directory is absent");
             return true;
         }
@@ -466,7 +464,7 @@ async function settleReserved(paths, parent, request, now, signal) {
         }
         if (performance.now() >= deadline)
             return false;
-        await abortableDelay(POLL_MS, signal);
+        await abortableDelay(Math.min(POLL_MS, Math.max(0, deadline - performance.now())), signal);
     }
 }
 export async function settleBodyRequests(paths, parent, now, signal) {
@@ -476,8 +474,7 @@ export async function settleBodyRequests(paths, parent, now, signal) {
         if (request.state === "admitted") {
             await voidRequest(paths, request.id, "body died before serving the request");
         }
-        else if (request.state === "reserved"
-            && !await settleReserved(paths, parent, request, now, signal))
+        else if (request.state === "reserved" && !(await settleReserved(paths, parent, request, now, signal)))
             pending = true;
     }
     return pending ? "pending" : "settled";

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

@@ -60,9 +60,9 @@ export type TaskRequestClaim = Readonly<{
     request: TaskMutationRequest;
 }>;
 export type RequestClaim = CallRequestClaim | WaitRequestClaim | TellRequestClaim | KillRequestClaim | DeliverRequestClaim | ReviewRequestClaim | TaskRequestClaim;
-export type StructuralRequestClaim = Omit<CallRequestClaim, "recipe"> & Readonly<{
+export type StructuralRequestClaim = (Omit<CallRequestClaim, "recipe"> & Readonly<{
     recipe: unknown;
-}> | Exclude<RequestClaim, CallRequestClaim>;
+}>) | Exclude<RequestClaim, CallRequestClaim>;
 export type UpstreamRequestFailure = Readonly<{
     kind: "akuma-not-born";
     id: AkuId;

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 };
@@ -151,15 +153,6 @@ function applyRemove(body, operation, document) {
     body.extensionIndexes.delete(normalizeTitle(operation.target));
 }
 function applyUpdate(body, operation, document) {
-    if (operation.target.startsWith("Criterion ")) {
-        const title = operation.target.slice("Criterion ".length);
-        const index = criterionIndex(body, title);
-        if (index < 0)
-            refusal(`unknown criterion '${title}'`);
-        const criterion = body.criteria[index];
-        body.criteria[index] = { ...criterion, body: prose(document, operation.section, "criterion") };
-        return;
-    }
     const index = extensionIndex(body, operation.target);
     if (index < 0)
         refusal(`unknown extension '${operation.target}'`);
@@ -210,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);
@@ -285,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[];