@graphty/visual-review 0.2.1 → 0.2.2

package/trusted/lib/accept.mjs

@@ -13,13 +13,20 @@
  * never raw PNGs, and the LFS objects must reach GitHub before the commit does; with hooks
  * switched off nothing else uploads them, so this module checks git-lfs is set up, checks every
  * committed PNG is a pointer, and runs `git lfs push` before `git push`.
+ *
+ * Once a passkey is known, the record is version 2 and approved: `prepareRecord` builds it before
+ * any worktree exists, the owner's device signs its hash, and Finish commits only a record that
+ * hashes to exactly what was signed, after checking the approval once more with the gate's own
+ * code (approval.mjs). `proposeKey` opens the pull request that registers a passkey.
  */
 
+import { execFile } from "node:child_process";
 import { createHash } from "node:crypto";
 import { existsSync } from "node:fs";
 import { mkdir, readFile, rm, writeFile } from "node:fs/promises";
 import { dirname, join } from "node:path";
 
+import { PASSKEYS_FILE, parsePasskeys, recordHash, verifyApproval } from "./approval.mjs";
 import { commentOnPullRequest, createIssue, createPullRequest, exec, postStatus } from "./github.mjs";
 import { isLfsPointer } from "./compare.mjs";
 
@@ -193,10 +200,16 @@ function check(projects, decisions) {
  * @param {Date} [input.now] the review time
  * @param {(step: string) => void} [input.progress] told each step as it starts, for the page
  * @param {ReturnType<typeof import("./config.mjs").normalizeConfig>} input.config the settings
+ * @param {{ record: object, pendingKeys?: object[], origin: string } | null} [input.approval] the
+ *     record prepareRecord built, with the owner's `approval`, the keys registered but not yet on
+ *     the default branch, and the page's origin; without it the record is version 1 (no key known)
  * @returns {Promise<{ commit: string | null, branch: string | null, pullRequest: string | null,
- *     issue: string | null, rejects: number, status: string | null, statusError: string | null }>}
- *     what was pushed and posted (`issue`: master's rejects; `status`: the commit status's
- *     description, or `statusError` when posting it failed)
+ *     issue: string | null, rejects: number, acceptNotes: number, state: string, status: string | null,
+ *     statusError: string | null, commentError: string | null }>} what was pushed and posted
+ *     (`issue`: master's rejects; `acceptNotes`: the accept notes published, in the comment or the
+ *     seed pull request's description; `state` and `status`: the commit status's state and
+ *     description, or `statusError` when posting it failed; `commentError` when a comment holding
+ *     only accept notes failed after the accepts were pushed)
  */
 export async function finish({
     repo,
@@ -209,6 +222,7 @@ export async function finish({
     now = new Date(),
     progress = () => {},
     config,
+    approval = null,
 }) {
     progress("checking");
     const { accepts, rejects } = check(projects, decisions);
@@ -217,13 +231,26 @@ export async function finish({
         throw new AcceptError("nothing decided");
     }
     const isMaster = target.pr === null;
+    const notes = accepts.filter((a) => a.decision === "accept" && a.reason !== null);
 
     let commit = null;
+    let commentError = null;
+    let record = null;
     let branch = target.branch;
     let pullRequest = null;
     let issue = null;
     if (accepts.length > 0) {
-        ({ commit, branch } = await commitAccepts({ repo, target, accepts, first, now, progress, config }));
+        ({ commit, branch, record } = await commitAccepts({
+            repo,
+            target,
+            accepts,
+            rejects,
+            first,
+            now,
+            progress,
+            config,
+            approval,
+        }));
         if (isMaster) {
             progress("opening the pull request");
             try {
@@ -231,7 +258,7 @@ export async function finish({
                     title: `${config.commitPrefix}: seed visual baselines`,
                     head: branch,
                     base: config.defaultBranch,
-                    body: seedBody(first, accepts, rejects, config.defaultBranch),
+                    body: seedBody(first, accepts, rejects, notes, config.defaultBranch),
                 });
             } catch (err) {
                 const e = new AcceptError(
@@ -244,12 +271,24 @@ export async function finish({
             }
         }
     }
-    if (rejects.length > 0) {
+    // On a pull request, one comment holds the rejects and the accept notes; on master the accept
+    // notes are in the seed pull request's description, and only rejects open the issue.
+    const comment = isMaster ? rejects.length > 0 : rejects.length > 0 || notes.length > 0;
+    if (comment) {
         try {
             // Master has no pull request to comment on: its rejects are stories that do not look
             // right yet, so they become one issue an agent can pick up.
-            progress(isMaster ? "opening the issue for the rejects" : "posting the rejects");
-            const body = rejectComment(target.pr, first, rejects, config.defaultBranch);
+            progress(isMaster ? "opening the issue for the rejects" : "posting the comment");
+            // A committed record is named, not copied: a large one would pass GitHub's 65,536
+            // character limit. A session of rejects alone commits nothing, so its record goes here.
+            const body = rejectComment(
+                target.pr,
+                first,
+                rejects,
+                isMaster ? [] : notes,
+                config.defaultBranch,
+                commit === null ? { record: approval?.record } : { recordFile: record, commit },
+            );
             if (isMaster) {
                 issue = await createIssue(gh, {
                     title: `Visual review: ${rejects.length} ${rejects.length === 1 ? "story" : "stories"} rejected on ${config.defaultBranch}`,
@@ -263,22 +302,41 @@ export async function finish({
             if (commit === null) {
                 throw err;
             }
-            const e = new AcceptError(
-                `the accepts were pushed as ${commit.slice(0, 10)}, but the reject comment failed: ${err.message}. ` +
-                    "Press Finish again to post the rejects.",
-            );
-            e.committed = commit;
-            throw e;
+            // The accepts are pushed and cleared, so their notes are never posted again: name them.
+            // On master the notes are already in the seed pull request's description.
+            const lost =
+                isMaster || notes.length === 0
+                    ? ""
+                    : ` These accept notes were not posted and are not kept: ${noteList(notes)}.`;
+            if (rejects.length === 0) {
+                // Only accept notes: the accepts stand, and the page says the notes were not posted.
+                commentError = `${err.message}.${lost}`;
+            } else {
+                const withNotes =
+                    isMaster || notes.length === 0
+                        ? ""
+                        : ` and ${notes.length === 1 ? "1 accept note" : `${notes.length} accept notes`}`;
+                const opened = isMaster && pullRequest ? ` and opened ${pullRequest}` : "";
+                const e = new AcceptError(
+                    `the accepts were pushed as ${commit.slice(0, 10)}${opened}, but the ` +
+                        `${isMaster ? "issue" : "comment"} with the rejects${withNotes} failed: ${err.message}. ` +
+                        `Press Finish again to post the rejects.${lost}`,
+                );
+                e.committed = commit;
+                throw e;
+            }
         }
     }
     // One commit status per Finish, on the commit it pushed, or the captured one when it pushed
     // none. A failure here does not undo what was pushed and posted; the page shows it.
     const accepted = accepts.filter((a) => a.decision === "accept").length;
-    const excluded = accepts.length - accepted;
-    const state = rejects.length > 0 ? "failure" : undecided > 0 || unloaded.length > 0 ? "pending" : "success";
-    const status =
-        `Reviewed: ${accepted} accepted, ${rejects.length} rejected, ${excluded} excluded, ` +
-        `${undecided} left undecided${unloaded.length > 0 ? `, not loaded: ${unloaded.join(", ")}` : ""}`;
+    const { state, description: status } = commitStatus({
+        accepted,
+        rejected: rejects.length,
+        excluded: accepts.length - accepted,
+        undecided,
+        unloaded,
+    });
     let statusError = null;
     progress("posting the status");
     try {
@@ -286,7 +344,121 @@ export async function finish({
     } catch (err) {
         statusError = err.message;
     }
-    return { commit, branch, pullRequest, issue, rejects: rejects.length, status, statusError };
+    return {
+        commit,
+        branch,
+        pullRequest,
+        issue,
+        rejects: rejects.length,
+        acceptNotes: (comment && commentError === null) || (isMaster && pullRequest) ? notes.length : 0,
+        state,
+        status,
+        statusError,
+        commentError,
+    };
+}
+
+/**
+ * The commit status a Finish sets: failure when anything is rejected, pending while items are
+ * left undecided or a project did not load, success otherwise. The review page shows it before
+ * Finish runs, so this is the one place the rule lives.
+ * @param {{ accepted: number, rejected: number, excluded: number, undecided: number,
+ *     unloaded: string[] }} counts what the Finish applies, and what it leaves
+ * @returns {{ state: "failure" | "pending" | "success", description: string }} the status
+ */
+export function commitStatus({ accepted, rejected, excluded, undecided, unloaded }) {
+    const state = rejected > 0 ? "failure" : undecided > 0 || unloaded.length > 0 ? "pending" : "success";
+    const description =
+        `Reviewed: ${accepted} accepted, ${rejected} rejected, ${excluded} excluded, ` +
+        `${undecided} left undecided${unloaded.length > 0 ? `, not loaded: ${unloaded.join(", ")}` : ""}`;
+    return { state, description };
+}
+
+/**
+ * The version 2 record a Finish of these decisions will commit, without its approval, built before
+ * any worktree exists so the owner's device can sign its hash.
+ * @param {object} input the work
+ * @param {string} input.repo the repository, with the captured head fetched
+ * @param {{ pr: number | null, branch: string | null }} input.target as in finish
+ * @param {Record<string, { dir: string, results: object }>} input.projects as in finish
+ * @param {object[]} input.decisions as in finish
+ * @param {Date} input.now the review time, which becomes the record's `reviewedAt`
+ * @param {{ baselines: string }} input.config the settings
+ * @returns {Promise<{ record: object, accepts: number, excludes: number, rejects: number }>} the
+ *     record and what it holds, counted as Finish's commit status counts them
+ */
+export async function prepareRecord({ repo, target, projects, decisions, now, config }) {
+    const { accepts, rejects } = check(projects, decisions);
+    const first = (accepts[0] ?? rejects[0])?.capture.results;
+    if (!first) {
+        throw new AcceptError("nothing decided");
+    }
+    const base = target.pr === null ? first.commit : first.headSha;
+    if (accepts.length > 0 && !(await gitOk(repo, ["cat-file", "-e", `${base}^{commit}`]))) {
+        throw new AcceptError("the captured commit is not fetched here yet: reload the page and press Finish again");
+    }
+    const { items } = await planWrites(repo, base, accepts, config.baselines);
+    return {
+        record: buildRecord({ version: 2, target, first, items, rejects, now, baselines: config.baselines }),
+        accepts: accepts.filter((a) => a.decision === "accept").length,
+        excludes: accepts.filter((a) => a.decision !== "accept").length,
+        rejects: rejects.length,
+    };
+}
+
+/**
+ * A review record.
+ * @param {object} input what it records
+ * @param {1 | 2} input.version 1 while no passkey is known, 2 for an approved record
+ * @param {{ pr: number | null }} input.target the pull request, or null for master
+ * @param {object} input.first the results.json of the first decided project
+ * @param {object[]} input.items the record items planWrites made
+ * @param {object[]} input.rejects the checked rejects
+ * @param {Date} input.now the review time
+ * @param {string} input.baselines the baselines directory
+ * @returns {object} the record, without `approval`
+ */
+function buildRecord({ version, target, first, items, rejects, now, baselines }) {
+    const byPath = (a, b) => a.path.localeCompare(b.path);
+    return {
+        version,
+        ...(version === 1 && { unproven: true }),
+        pr: target.pr,
+        subject: {
+            builtMerge: first.commit,
+            head: first.headSha,
+            runId: first.runId,
+            runAttempt: first.runAttempt,
+            environment: first.environment,
+            scale: first.scale ?? 1,
+        },
+        items: dedupe(items).sort(byPath),
+        ...(version === 2 && {
+            rejects: rejects
+                .map((r) => ({
+                    path: `${baselines}/${r.project}/${r.item.file}`,
+                    capture: r.item.capture ?? r.item.baseline ?? null,
+                    reason: r.reason,
+                }))
+                .sort(byPath),
+        }),
+        reviewedAt: now.toISOString(),
+    };
+}
+
+/**
+ * The keys passkeys.json holds at a ref; none when the file is absent there.
+ * @param {string} repo the repository
+ * @param {string} ref the ref
+ * @returns {Promise<object[]>} the keys
+ */
+async function keysAt(repo, ref) {
+    const text = await git(repo, ["show", `${ref}:${PASSKEYS_FILE}`]).catch(() => null);
+    try {
+        return text === null ? [] : parsePasskeys(text);
+    } catch (err) {
+        throw new AcceptError(`${PASSKEYS_FILE} on ${ref} is invalid: ${err.message}`);
+    }
 }
 
 /**
@@ -295,13 +467,16 @@ export async function finish({
  * @param {string} input.repo the repository
  * @param {{ pr: number | null, branch: string | null }} input.target as in finish
  * @param {object[]} input.accepts the checked accepts and exclusions
+ * @param {object[]} input.rejects the checked rejects, for a version 2 record
  * @param {object} input.first the results.json of the first decided project
  * @param {Date} input.now the review time
  * @param {(step: string) => void} input.progress as in finish
  * @param {object} input.config as in finish
- * @returns {Promise<{ commit: string, branch: string }>} the pushed commit and branch
+ * @param {{ record: object, pendingKeys?: object[], origin: string } | null} input.approval as in finish
+ * @returns {Promise<{ commit: string, branch: string, record: string | null }>} the pushed commit
+ *     and branch, and the record's path (null for a seed pushed earlier and reused)
  */
-async function commitAccepts({ repo, target, accepts, first, now, progress, config }) {
+async function commitAccepts({ repo, target, accepts, rejects, first, now, progress, config, approval }) {
     const { baselines, defaultBranch } = config;
     // Finish fetches into refs of its own, never the remote-tracking refs a page reload fetches
     // into at the same time (two fetches of one ref fail on its lock).
@@ -348,7 +523,7 @@ async function commitAccepts({ repo, target, accepts, first, now, progress, conf
             await fetch(branch);
             const [subject, parent] = (await git(repo, ["log", "-1", "--format=%s%n%P", own(branch)])).split("\n");
             if (subject === `${config.commitPrefix}: seed visual baselines` && parent === base) {
-                return { commit: await git(repo, ["rev-parse", own(branch)]), branch };
+                return { commit: await git(repo, ["rev-parse", own(branch)]), branch, record: null };
             }
             throw new AcceptError(`${branch} already exists on origin: merge or delete it first`);
         }
@@ -366,6 +541,22 @@ async function commitAccepts({ repo, target, accepts, first, now, progress, conf
         }
     }
 
+    // The items come from the captured commit, as prepareRecord's did: the record built here must
+    // hash to exactly what the owner approved.
+    const plan = await planWrites(repo, base, writes, baselines);
+    const body = buildRecord({
+        version: approval ? 2 : 1,
+        target,
+        first,
+        items: plan.items,
+        rejects,
+        now,
+        baselines,
+    });
+    if (approval && !recordHash(body).equals(recordHash(approval.record))) {
+        throw new AcceptError("the record changed after you approved it; press Finish again");
+    }
+
     const tree = join(repo, config.workDir, "worktrees", `accept-${isMaster ? "master" : target.pr}`);
     await removeWorktree(repo, tree);
     await git(repo, ["worktree", "add", "-q", "--detach", tree, base]);
@@ -378,29 +569,25 @@ async function commitAccepts({ repo, target, accepts, first, now, progress, conf
             await put(join(tree, ".gitattributes"), `${rules}\n`);
             await git(tree, ["add", "--", ".gitattributes"]);
         }
-        const items = [];
-        const counts = { accept: 0, exclude: 0, remove: 0 };
+        const { items, counts } = plan;
         progress(`writing ${writes.length} ${writes.length === 1 ? "file" : "files"}`);
-        for (const w of writes) {
-            items.push(...(await write(tree, w, counts, baselines)));
+        for (const f of plan.files) {
+            await (f.bytes === null ? rm(join(tree, f.path), { force: true }) : put(join(tree, f.path), f.bytes));
         }
         const stamp = now.toISOString().replace(/[-:]/g, "").replace(/\.\d+/, "");
         const record = `${baselines}/reviews/${stamp}-${isMaster ? "master" : `pr${target.pr}`}.json`;
-        const body = {
-            version: 1,
-            unproven: true,
-            pr: target.pr,
-            subject: {
-                builtMerge: first.commit,
-                head: first.headSha,
-                runId: first.runId,
-                runAttempt: first.runAttempt,
-                environment: first.environment,
-                scale: first.scale ?? 1,
-            },
-            items: dedupe(items).sort((a, b) => a.path.localeCompare(b.path)),
-            reviewedAt: now.toISOString(),
-        };
+        if (approval) {
+            // The gate's own check, on the bytes about to be committed, with the default branch's
+            // keys as just fetched and the keys this server registered.
+            const keys = [...(await keysAt(repo, tracking)), ...(approval.pendingKeys ?? [])];
+            const why = verifyApproval({ ...body, approval: approval.record.approval }, keys, {
+                origin: approval.origin,
+            });
+            if (why) {
+                throw new AcceptError(`the approval does not verify (${why}); nothing was committed`);
+            }
+            body.approval = approval.record.approval;
+        }
         await put(join(tree, record), `${JSON.stringify(body, null, 2)}\n`);
         progress("committing");
         await git(tree, ["add", "-A", "--", baselines]);
@@ -442,7 +629,7 @@ async function commitAccepts({ repo, target, accepts, first, now, progress, conf
                   )
                 : err;
         });
-        return { commit: await git(tree, ["rev-parse", "HEAD"]), branch };
+        return { commit: await git(tree, ["rev-parse", "HEAD"]), branch, record };
     } catch (err) {
         throw err instanceof AcceptError ? err : new AcceptError(err.message);
     } finally {
@@ -453,6 +640,70 @@ async function commitAccepts({ repo, target, accepts, first, now, progress, conf
     }
 }
 
+/**
+ * Opens the pull request that registers a passkey: the default branch's passkeys.json (created
+ * when absent) with the entry appended, on a new branch. Merging it is the owner's trust step;
+ * from then on the gate requires approvals.
+ * @param {object} input the work
+ * @param {string} input.repo the repository
+ * @param {Function} input.gh the gh runner
+ * @param {{ id: string, publicKey: string, rpId: string, label: string, registeredAt: string }} input.entry
+ *     the key, as verifyRegistration accepted it
+ * @param {Date} [input.now] when
+ * @param {{ defaultBranch: string, workDir: string, commitPrefix: string }} input.config the settings
+ * @returns {Promise<{ branch: string, pullRequest: string, gated: boolean }>} the pushed branch, its
+ *     pull request, and whether the visual gate fails it (the default branch already holds a key)
+ */
+export async function proposeKey({ repo, gh, entry, now = new Date(), config }) {
+    const { defaultBranch } = config;
+    const tracking = `refs/visual-review/origin/${defaultBranch}`;
+    const branch = `visual/passkey-${now.toISOString().replace(/[-:]/g, "").replace(/\.\d+/, "")}`;
+    const tree = join(repo, config.workDir, "worktrees", "passkey");
+    let keys;
+    try {
+        await git(repo, ["fetch", "-q", "--no-write-fetch-head", "origin", `+refs/heads/${defaultBranch}:${tracking}`]);
+        keys = await keysAt(repo, tracking);
+        if (keys.some((k) => k.id === entry.id)) {
+            throw new AcceptError("this passkey is already registered");
+        }
+        await removeWorktree(repo, tree);
+        await git(repo, ["worktree", "add", "-q", "--detach", tree, tracking]);
+        try {
+            await put(
+                join(tree, PASSKEYS_FILE),
+                `${JSON.stringify({ version: 1, keys: [...keys, entry] }, null, 4)}\n`,
+            );
+            await git(tree, ["add", "--", PASSKEYS_FILE]);
+            const message =
+                `${config.commitPrefix}: register a visual review passkey\n\n` +
+                `Adds the passkey "${entry.label}" for ${entry.rpId} (credential ${entry.id}).\n`;
+            await git(tree, ["commit", "-q", "--no-verify", "-F", "-"], message);
+            await git(tree, ["push", "-q", "--no-verify", "origin", `HEAD:refs/heads/${branch}`]);
+        } finally {
+            await removeWorktree(repo, tree).catch((err) =>
+                console.error(`visual-review: could not remove the passkey worktree ${tree}: ${err.message}`),
+            );
+        }
+    } catch (err) {
+        throw err instanceof AcceptError ? err : new AcceptError(err.message);
+    }
+    const gated = keys.length > 0;
+    const pullRequest = await createPullRequest(gh, {
+        title: `${config.commitPrefix}: register a visual review passkey`,
+        head: branch,
+        base: defaultBranch,
+        body: [
+            `Registers the passkey "${entry.label}" for the review page on \`${entry.rpId}\`, credential id \`${entry.id}\`.`,
+            "",
+            gated
+                ? `${PASSKEYS_FILE} on ${defaultBranch} already holds a key, so the visual gate fails this pull request: a new key is trusted only when an administrator merges it past the gate.`
+                : `Merging this turns approval enforcement on: from then on the visual gate accepts a review record a pull request adds only when this passkey (or another key in \`${PASSKEYS_FILE}\` on ${defaultBranch}) approved it with Face ID or Touch ID.`,
+            "Merge it only if you pressed Register passkey yourself just now and the review page showed this credential id.",
+        ].join("\n"),
+    });
+    return { branch, pullRequest, gated };
+}
+
 /**
  * Whether the default branch holds a commit touching the project's baselines that `head` lacks.
  * @param {string} repo the repository, with the default branch fetched
@@ -474,47 +725,79 @@ export async function behindMaster(
 }
 
 /**
- * Writes one decision into the worktree.
- * @param {string} tree the worktree
- * @param {object} w the decision, its results item, and for an accept the verified bytes
- * @param {{ accept: number, exclude: number, remove: number }} counts tallied here
+ * What the decisions write, computed from the captured commit, never from a worktree: prepareRecord
+ * and the commit both use it, so the record approved and the record committed cannot drift.
+ * @param {string} repo the repository
+ * @param {string} base the captured commit
+ * @param {object[]} writes the accepts and exclusions, with their results items (and, for the
+ *     commit, an accept's verified bytes)
  * @param {string} baselines the baselines directory
- * @returns {Promise<{ path: string, from: string | null, to: string | null, reason: string | null,
- *     movedFrom?: string, movedTo?: string }[]>} its record items: two for a renamed story, whose
- *     baseline moves to its new name
+ * @returns {Promise<{ items: { path: string, from: string | null, to: string | null,
+ *     reason: string | null, movedFrom?: string, movedTo?: string }[],
+ *     files: { path: string, bytes: Buffer | string | null }[],
+ *     counts: { accept: number, exclude: number, remove: number } }>} the record items (two for a
+ *     renamed story, whose baseline moves to its new name), the files to write in order (null
+ *     bytes delete), and the tallies for the commit message
  */
-async function write(tree, w, counts, baselines) {
-    const dir = `${baselines}/${w.project}`;
-    if (w.decision === "exclude") {
-        const path = `${dir}/${w.item.id}.json`;
-        const old = await readFile(join(tree, path)).catch(() => null);
-        const settings = { ...(old ? JSON.parse(old) : {}), disableSnapshot: true, reason: w.reason };
-        const bytes = `${JSON.stringify(settings, null, 2)}\n`;
-        await put(join(tree, path), bytes);
-        counts.exclude++;
-        return [{ path, from: old && sha256(old), to: sha256(bytes), reason: `exclude: ${w.reason}` }];
-    }
-    const path = `${dir}/${w.item.file}`;
-    if (w.item.status === "removed") {
-        await rm(join(tree, path), { force: true });
-        counts.remove++;
-        return [{ path, from: w.item.baseline, to: null, reason: w.reason }];
-    }
-    await put(join(tree, path), w.bytes);
-    counts.accept++;
-    if (!w.item.from) {
-        return [{ path, from: w.item.baseline, to: w.item.capture, reason: w.reason }];
+async function planWrites(repo, base, writes, baselines) {
+    const items = [];
+    const files = [];
+    const counts = { accept: 0, exclude: 0, remove: 0 };
+    // A settings file written earlier in this Finish (two modes of one story) is read as written.
+    const written = new Map();
+    const old = async (path) => (written.has(path) ? written.get(path) : await blobAt(repo, base, path));
+    for (const w of writes) {
+        const dir = `${baselines}/${w.project}`;
+        if (w.decision === "exclude") {
+            const path = `${dir}/${w.item.id}.json`;
+            const before = await old(path);
+            const settings = { ...(before ? JSON.parse(before) : {}), disableSnapshot: true, reason: w.reason };
+            const bytes = `${JSON.stringify(settings, null, 2)}\n`;
+            written.set(path, bytes);
+            files.push({ path, bytes });
+            counts.exclude++;
+            items.push({ path, from: before && sha256(before), to: sha256(bytes), reason: `exclude: ${w.reason}` });
+            continue;
+        }
+        const path = `${dir}/${w.item.file}`;
+        if (w.item.status === "removed") {
+            files.push({ path, bytes: null });
+            counts.remove++;
+            items.push({ path, from: w.item.baseline, to: null, reason: w.reason });
+            continue;
+        }
+        files.push({ path, bytes: w.bytes ?? null });
+        counts.accept++;
+        if (!w.item.from) {
+            items.push({ path, from: w.item.baseline, to: w.item.capture, reason: w.reason });
+            continue;
+        }
+        // A rename: the old id's baseline (of this mode) goes, the new one takes its place. For a
+        // moved item the bytes are the same, so git sees a rename and the LFS pointer is unchanged.
+        const oldPath = `${dir}/${w.item.mode === null ? w.item.from : `${w.item.from}.${w.item.mode}`}.png`;
+        files.push({ path: oldPath, bytes: null });
+        items.push(
+            { path: oldPath, from: w.item.baseline, to: null, reason: w.reason, movedTo: path },
+            { path, from: null, to: w.item.capture, reason: w.reason, movedFrom: oldPath },
+        );
     }
-    // A rename: the old id's baseline (of this mode) goes, the new one takes its place. For a
-    // moved item the bytes are the same, so git sees a rename and the LFS pointer is unchanged.
-    const oldPath = `${dir}/${w.item.mode === null ? w.item.from : `${w.item.from}.${w.item.mode}`}.png`;
-    await rm(join(tree, oldPath), { force: true });
-    return [
-        { path: oldPath, from: w.item.baseline, to: null, reason: w.reason, movedTo: path },
-        { path, from: null, to: w.item.capture, reason: w.reason, movedFrom: oldPath },
-    ];
+    return { items, files, counts };
 }
 
+/**
+ * A file's exact bytes at a commit (git's output, untrimmed), or null when it has none.
+ * @param {string} repo the repository
+ * @param {string} ref the commit
+ * @param {string} path the path
+ * @returns {Promise<Buffer | null>} the bytes
+ */
+const blobAt = (repo, ref, path) =>
+    new Promise((resolve) =>
+        execFile("git", ["show", `${ref}:${path}`], { cwd: repo, encoding: "buffer", maxBuffer: 1 << 26 }, (err, out) =>
+            resolve(err ? null : out),
+        ),
+    );
+
 // Two modes of one story excluded together write one settings file: keep one record item.
 const dedupe = (items) => [...new Map(items.map((i) => [i.path, i])).values()];
 
@@ -535,15 +818,19 @@ async function removeWorktree(repo, tree) {
 const oneLine = (s) => s.replace(/\s+/g, " ").slice(0, 2000);
 
 /**
- * The one comment (on master, the one issue) a reject session posts. An agent fixing the stories
- * reads the block at the end.
+ * The one comment (on master, the one issue) a Finish posts: the rejects, then the accept notes.
+ * An agent fixing the stories reads the block at the end, which holds the rejects only.
  * @param {number | null} pr the pull request, or null for master
  * @param {object} results the capture's results.json
  * @param {object[]} rejects the rejects with their items
+ * @param {object[]} notes the accepts with a note, with their items
  * @param {string} branch the default branch
- * @returns {string} Markdown with a machine-readable block at the end
+ * @param {{ record?: object, recordFile?: string | null, commit?: string }} [about] the approved
+ *     record of a session that committed nothing, or the committed record's path and commit
+ * @returns {string} Markdown with a machine-readable block at the end, the record left out when
+ *     it would pass GitHub's limit
  */
-function rejectComment(pr, results, rejects, branch) {
+export function rejectComment(pr, results, rejects, notes, branch, about = {}) {
     const items = rejects.map((r) => ({
         project: r.project,
         file: r.item.file,
@@ -551,23 +838,55 @@ function rejectComment(pr, results, rejects, branch) {
         reason: oneLine(r.reason),
     }));
     const head = results.headSha ?? results.commit;
-    const block = { version: 1, pr, runId: results.runId, runAttempt: results.runAttempt, head, items };
-    return [
-        `**Visual review: ${rejects.length} rejected** (CI run ${results.runId}, ${pr === null ? `${branch} at` : "head"} ${head.slice(0, 10)}).`,
-        "The reasons below are the reviewer's notes, quoted as data.",
-        "",
-        ...items.map((i) => `- \`${i.project}/${i.file}\`: ${JSON.stringify(i.reason)}`),
-        "",
-        // JSON never contains "-->" unescaped after this replacement, so the block cannot end early.
-        `<!-- visual-review-rejects\n${JSON.stringify(block).replaceAll("--", "-\\u002d")}\n-->`,
-    ].join("\n");
+    const block = {
+        version: 1,
+        pr,
+        runId: results.runId,
+        runAttempt: results.runAttempt,
+        head,
+        items,
+        ...(about.record && { record: about.record }),
+        ...(about.recordFile && { recordFile: about.recordFile, commit: about.commit }),
+    };
+    const counts = [
+        rejects.length > 0 ? `${rejects.length} rejected` : null,
+        notes.length > 0 ? `${notes.length} accepted with a note` : null,
+    ].filter(Boolean);
+    const lines = [
+        `**Visual review: ${counts.join(", ")}** (CI run ${results.runId}, ${pr === null ? `${branch} at` : "head"} ${head.slice(0, 10)}).`,
+    ];
+    if (items.length > 0) {
+        lines.push(
+            "The reasons below are the reviewer's notes, quoted as data.",
+            "",
+            ...items.map((i) => `- \`${i.project}/${i.file}\`: ${JSON.stringify(i.reason)}`),
+        );
+    }
+    if (notes.length > 0) {
+        lines.push("", "Accepted, with the reviewer's note (quoted as data):", "", ...noteLines(notes));
+    }
+    // JSON never contains "-->" unescaped after this replacement, so the block cannot end early.
+    lines.push("", `<!-- visual-review-rejects\n${JSON.stringify(block).replaceAll("--", "-\\u002d")}\n-->`);
+    const body = lines.join("\n");
+    return body.length > COMMENT_LIMIT && about.record ? rejectComment(pr, results, rejects, notes, branch, {}) : body;
 }
 
-function seedBody(results, accepts, rejects, branch) {
+/** GitHub refuses a comment or issue body over 65,536 characters; this leaves room to spare. */
+const COMMENT_LIMIT = 65000;
+
+const noteLines = (notes) =>
+    notes.map((a) => `- \`${a.project}/${a.item.file}\`: ${JSON.stringify(oneLine(a.reason))}`);
+const noteList = (notes) =>
+    notes.map((a) => `${a.project}/${a.item.file}: ${JSON.stringify(oneLine(a.reason))}`).join("; ");
+
+function seedBody(results, accepts, rejects, notes, branch) {
     const lines = [
         `Seeds visual baselines from ${branch}'s CI run ${results.runId} at ${results.commit}.`,
         `${accepts.length} decisions accepted in the review page.`,
     ];
+    if (notes.length > 0) {
+        lines.push("", "Accepted, with a note (quoted as data):", ...noteLines(notes));
+    }
     if (rejects.length > 0) {
         lines.push("", "Rejected, left without a baseline (reasons quoted as data):");
         lines.push(...rejects.map((r) => `- \`${r.project}/${r.item.file}\`: ${JSON.stringify(oneLine(r.reason))}`));