@outerlayer/cli 0.33.0-next.20261023003700 → 0.33.0-next.20261023120437

package/dist/{work-comment-cmd-SSUOGVDD.js → work-comment-cmd-SY7NY2CR.js}

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
 import { createRequire } from 'node:module';
-import { resolveCredentials, postJson, getJson } from './chunk-VT4TTJPG.js';
+import { resolveCredentials, postJson, getJson } from './chunk-YXMGHGHR.js';
 import { detectActiveSession } from './chunk-IP7BIBXJ.js';
-import './chunk-B2JURP6A.js';
-import './chunk-2WMZPJVE.js';
-import { sanitizeTerminal } from './chunk-EWVYQLD3.js';
-import { resolveRepoIdentity } from './chunk-5DNCFOXA.js';
-import './chunk-HJYBWJAS.js';
-import './chunk-NSPRS7WK.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import { sanitizeTerminal } from './chunk-MPC2UAW2.js';
+import { resolveRepoIdentity } from './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
 import './chunk-G2JWZDFA.js';
 import { C } from './chunk-ANPNT6PM.js';
 import { defaultFetch } from './chunk-6RKD7YZ6.js';
@@ -16,14 +16,14 @@ import './chunk-SOI6K5DY.js';
 import './chunk-PA6CK6WQ.js';
 import './chunk-BALIE3BA.js';
 import './chunk-BJ3KTMDH.js';
-import './chunk-G63KT5I5.js';
+import './chunk-44V5SD4G.js';
 import './chunk-5BHIBJDA.js';
 import './chunk-CDDED64E.js';
 import './chunk-RA3O54FC.js';
 import { parseTrackerNumber, trackerNumberError } from './chunk-WZBHBH3J.js';
 import './chunk-CRB3POP4.js';
-import './chunk-LJG6EMLJ.js';
-import './chunk-E6CO3MJE.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
 import { homeFromEnv } from './chunk-VNVZDWO3.js';
 import './chunk-HACGUL52.js';
 import './chunk-MESOOLF4.js';

package/dist/work-demo-cmd-Y7EU335L.js

@@ -0,0 +1,62 @@
+#!/usr/bin/env node
+import { createRequire } from 'node:module';
+import { readNewestDemo } from './chunk-ER6KQCVJ.js';
+import { resolveCredentials, WorkCommandError } from './chunk-YXMGHGHR.js';
+import './chunk-IP7BIBXJ.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import './chunk-MPC2UAW2.js';
+import './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
+import './chunk-G2JWZDFA.js';
+import './chunk-ANPNT6PM.js';
+import { defaultFetch } from './chunk-6RKD7YZ6.js';
+import './chunk-PJDQPF5N.js';
+import './chunk-SOI6K5DY.js';
+import './chunk-PA6CK6WQ.js';
+import './chunk-BALIE3BA.js';
+import './chunk-BJ3KTMDH.js';
+import './chunk-44V5SD4G.js';
+import './chunk-5BHIBJDA.js';
+import './chunk-CDDED64E.js';
+import './chunk-RA3O54FC.js';
+import { parseTrackerNumber, trackerNumberError } from './chunk-WZBHBH3J.js';
+import './chunk-CRB3POP4.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
+import './chunk-VNVZDWO3.js';
+import './chunk-HACGUL52.js';
+import './chunk-MESOOLF4.js';
+import './chunk-Z5GEFMRW.js';
+
+createRequire(import.meta.url);
+
+// src/work-demo-cmd.ts
+var WorkDemoCommandError = class extends Error {
+};
+async function runWorkDemo(opts) {
+  const item = parseTrackerNumber(opts.item);
+  if (item === void 0) throw new WorkDemoCommandError(trackerNumberError("--item", opts.item ?? ""));
+  const creds = resolveCredentials(opts);
+  let demo;
+  try {
+    demo = await readNewestDemo({ ...creds, item, fetchImpl: opts.fetchImpl ?? defaultFetch });
+  } catch (err) {
+    throw new WorkCommandError(err instanceof Error ? err.message : String(err));
+  }
+  const data = { demo };
+  const output = opts.json ? JSON.stringify(data) : describe(item, demo);
+  if (!opts.quiet) process.stdout.write(output + "\n");
+  return { data, output };
+}
+function describe(item, demo) {
+  if (demo === null) return `Item ${item} has no demo.`;
+  const test = demo.record !== null && demo.record.schemaVersion === 3 ? demo.record.test : void 0;
+  return [
+    `Item ${item}: demo ${demo.artifactId}, recorded at ${demo.commitSha === "" ? "an unknown commit" : demo.commitSha} on ${demo.emittedAt}.`,
+    test === void 0 ? "The record names no test, so a session cannot record it again." : `Recorded by the test ${test}.`
+  ].join("\n");
+}
+
+export { WorkDemoCommandError, runWorkDemo };

package/dist/{work-logs-cmd-WPMWMDX6.js → work-logs-cmd-PWOFLTGD.js}

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
 import { createRequire } from 'node:module';
-import { resolveCredentials, getJson } from './chunk-VT4TTJPG.js';
+import { resolveCredentials, getJson } from './chunk-YXMGHGHR.js';
 import './chunk-IP7BIBXJ.js';
-import './chunk-B2JURP6A.js';
-import './chunk-2WMZPJVE.js';
-import './chunk-EWVYQLD3.js';
-import './chunk-5DNCFOXA.js';
-import './chunk-HJYBWJAS.js';
-import './chunk-NSPRS7WK.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import './chunk-MPC2UAW2.js';
+import './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
 import './chunk-G2JWZDFA.js';
 import './chunk-ANPNT6PM.js';
 import { defaultFetch } from './chunk-6RKD7YZ6.js';
@@ -16,14 +16,14 @@ import './chunk-SOI6K5DY.js';
 import './chunk-PA6CK6WQ.js';
 import './chunk-BALIE3BA.js';
 import './chunk-BJ3KTMDH.js';
-import './chunk-G63KT5I5.js';
+import './chunk-44V5SD4G.js';
 import './chunk-5BHIBJDA.js';
 import './chunk-CDDED64E.js';
 import './chunk-RA3O54FC.js';
 import { parseTrackerNumber, trackerNumberError } from './chunk-WZBHBH3J.js';
 import './chunk-CRB3POP4.js';
-import './chunk-LJG6EMLJ.js';
-import './chunk-E6CO3MJE.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
 import './chunk-VNVZDWO3.js';
 import './chunk-HACGUL52.js';
 import './chunk-MESOOLF4.js';

package/dist/{work-open-pr-cmd-NO5YLOXD.js → work-open-pr-cmd-AJUTKYWN.js}

@@ -1,14 +1,14 @@
 #!/usr/bin/env node
 import { createRequire } from 'node:module';
-import { itemLabel, runWorkPr, WorkPrCommandError } from './chunk-ULBNTSAD.js';
-import { resolveCredentials } from './chunk-VT4TTJPG.js';
+import { itemLabel, runWorkPr, WorkPrCommandError } from './chunk-5M2J7B5N.js';
+import { resolveCredentials } from './chunk-YXMGHGHR.js';
 import './chunk-IP7BIBXJ.js';
-import './chunk-B2JURP6A.js';
-import './chunk-2WMZPJVE.js';
-import './chunk-EWVYQLD3.js';
-import './chunk-5DNCFOXA.js';
-import './chunk-HJYBWJAS.js';
-import './chunk-NSPRS7WK.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import './chunk-MPC2UAW2.js';
+import './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
 import './chunk-G2JWZDFA.js';
 import { C } from './chunk-ANPNT6PM.js';
 import { defaultFetch } from './chunk-6RKD7YZ6.js';
@@ -17,15 +17,15 @@ import './chunk-SOI6K5DY.js';
 import './chunk-PA6CK6WQ.js';
 import './chunk-BALIE3BA.js';
 import './chunk-BJ3KTMDH.js';
-import './chunk-G63KT5I5.js';
+import './chunk-44V5SD4G.js';
 import './chunk-5BHIBJDA.js';
 import './chunk-CDDED64E.js';
 import './chunk-RA3O54FC.js';
 import { parseWorkItemEnv } from './chunk-T2Q7ISPE.js';
 import './chunk-WZBHBH3J.js';
 import './chunk-CRB3POP4.js';
-import './chunk-LJG6EMLJ.js';
-import './chunk-E6CO3MJE.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
 import { homeFromEnv } from './chunk-VNVZDWO3.js';
 import './chunk-HACGUL52.js';
 import './chunk-MESOOLF4.js';

package/dist/{work-pr-cmd-37B5KECR.js → work-pr-cmd-DH43AH3V.js}

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
 import { createRequire } from 'node:module';
-export { WorkPrCommandError, itemLabel, runWorkPr } from './chunk-ULBNTSAD.js';
+export { WorkPrCommandError, itemLabel, runWorkPr } from './chunk-5M2J7B5N.js';
 import './chunk-IP7BIBXJ.js';
-import './chunk-B2JURP6A.js';
-import './chunk-2WMZPJVE.js';
-import './chunk-EWVYQLD3.js';
-import './chunk-5DNCFOXA.js';
-import './chunk-HJYBWJAS.js';
-import './chunk-NSPRS7WK.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import './chunk-MPC2UAW2.js';
+import './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
 import './chunk-G2JWZDFA.js';
 import './chunk-ANPNT6PM.js';
 import './chunk-6RKD7YZ6.js';
@@ -16,15 +16,15 @@ import './chunk-SOI6K5DY.js';
 import './chunk-PA6CK6WQ.js';
 import './chunk-BALIE3BA.js';
 import './chunk-BJ3KTMDH.js';
-import './chunk-G63KT5I5.js';
+import './chunk-44V5SD4G.js';
 import './chunk-5BHIBJDA.js';
 import './chunk-CDDED64E.js';
 import './chunk-RA3O54FC.js';
 import './chunk-T2Q7ISPE.js';
 import './chunk-WZBHBH3J.js';
 import './chunk-CRB3POP4.js';
-import './chunk-LJG6EMLJ.js';
-import './chunk-E6CO3MJE.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
 import './chunk-VNVZDWO3.js';
 import './chunk-HACGUL52.js';
 import './chunk-MESOOLF4.js';

package/dist/work-proofs-cmd-6W6DDAP6.js

@@ -0,0 +1,111 @@
+#!/usr/bin/env node
+import { createRequire } from 'node:module';
+import { WorkCommandError, resolveCredentials, getJson } from './chunk-YXMGHGHR.js';
+import './chunk-IP7BIBXJ.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import { sanitizeTerminal } from './chunk-MPC2UAW2.js';
+import { resolveRepoIdentity } from './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
+import './chunk-G2JWZDFA.js';
+import { C } from './chunk-ANPNT6PM.js';
+import { defaultFetch } from './chunk-6RKD7YZ6.js';
+import './chunk-PJDQPF5N.js';
+import './chunk-SOI6K5DY.js';
+import './chunk-PA6CK6WQ.js';
+import './chunk-BALIE3BA.js';
+import './chunk-BJ3KTMDH.js';
+import './chunk-44V5SD4G.js';
+import './chunk-5BHIBJDA.js';
+import './chunk-CDDED64E.js';
+import './chunk-RA3O54FC.js';
+import { parseWorkItemEnv } from './chunk-T2Q7ISPE.js';
+import { parseTrackerNumber, trackerNumberError } from './chunk-WZBHBH3J.js';
+import './chunk-CRB3POP4.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
+import './chunk-VNVZDWO3.js';
+import './chunk-HACGUL52.js';
+import './chunk-MESOOLF4.js';
+import './chunk-Z5GEFMRW.js';
+
+createRequire(import.meta.url);
+
+// src/work-proofs-cmd.ts
+function classifyProofs(data, checkoutHead) {
+  const heads = /* @__PURE__ */ new Set();
+  if (checkoutHead !== void 0 && checkoutHead !== "") heads.add(checkoutHead.toLowerCase());
+  data.pullRequests?.forEach((pr) => {
+    if ((pr.state === "open" || pr.state === "merged") && typeof pr.headSha === "string" && pr.headSha !== "") {
+      heads.add(pr.headSha.toLowerCase());
+    }
+  });
+  const entries = [];
+  for (const criterion of data.criteria?.items ?? []) {
+    if (criterion.proof === null || criterion.proof === "test") continue;
+    const newest = criterion.newestProof;
+    if (newest === null || newest === void 0) {
+      entries.push({ id: criterion.id, proof: criterion.proof, state: "missing", commit: null });
+    } else if (newest.commitSha !== null && heads.has(newest.commitSha.toLowerCase())) {
+      entries.push({ id: criterion.id, proof: criterion.proof, state: "current", commit: newest.commitSha });
+    } else {
+      entries.push({ id: criterion.id, proof: criterion.proof, state: "out-of-date", commit: newest.commitSha });
+    }
+  }
+  return entries;
+}
+var STATE_LABEL = { current: "current", "out-of-date": "out of date", missing: "missing" };
+function render(entries, json) {
+  if (json) return JSON.stringify(entries);
+  if (entries.length === 0) return "No criterion declares a proof other than test.";
+  return entries.map((e) => `${sanitizeTerminal(e.id)}  ${sanitizeTerminal(e.proof)}  ${STATE_LABEL[e.state]}  ${sanitizeTerminal(e.commit ?? "no commit")}`).join("\n");
+}
+async function runWorkProofs(opts) {
+  const env = opts.env ?? process.env;
+  let item;
+  if (opts.item !== void 0) {
+    item = parseTrackerNumber(opts.item);
+    if (item === void 0) throw new WorkCommandError(trackerNumberError("--item", opts.item));
+  } else if (env.OUTERLAYER_WORK !== void 0) {
+    const parsed = parseWorkItemEnv(env.OUTERLAYER_WORK);
+    if (!("number" in parsed)) throw new WorkCommandError(parsed.reason);
+    item = parsed.number;
+  }
+  if (item === void 0) {
+    throw new WorkCommandError("no work item. Pass --item <number>, or set OUTERLAYER_WORK to the item's number.");
+  }
+  const creds = resolveCredentials(opts);
+  const { data } = await getJson(creds.url, `/v1/work-items/${item}`, creds.apiKey, creds.appId, opts.fetchImpl ?? defaultFetch);
+  const body = data;
+  const items = body.criteria?.items ?? [];
+  if (items.some((c) => c.proof !== null && c.proof !== "test" && !("newestProof" in c))) {
+    throw new WorkCommandError(
+      "the gateway does not report each criterion's newest proof. Update the gateway, then run this again."
+    );
+  }
+  const checkoutHead = opts.checkoutHead ?? resolveRepoIdentity(opts.cwd ?? process.cwd()).commitSha;
+  if (!checkoutHead) {
+    throw new WorkCommandError("cannot read the checkout's HEAD. Run this inside the git checkout, or pass the head explicitly.");
+  }
+  const entries = classifyProofs(body, checkoutHead);
+  const output = render(entries, opts.json === true);
+  if (!opts.quiet) process.stdout.write(output + "\n");
+  return { entries, output, exitCode: entries.every((e) => e.state === "current") ? 0 : 1 };
+}
+async function runWorkProofsCommand(opts) {
+  try {
+    const result = await runWorkProofs(opts);
+    process.exitCode = result.exitCode;
+  } catch (err) {
+    if (err instanceof WorkCommandError) {
+      process.stderr.write(`${C.red}\u2717${C.reset} ${err.message}
+`);
+      process.exitCode = 2;
+      return;
+    }
+    throw err;
+  }
+}
+
+export { classifyProofs, runWorkProofs, runWorkProofsCommand };

package/dist/{work-stop-cmd-3BJLXUJ3.js → work-stop-cmd-WZHBEKE4.js}

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
 import { createRequire } from 'node:module';
-import { resolveCredentials, postJson, WorkCommandError } from './chunk-VT4TTJPG.js';
+import { resolveCredentials, postJson, WorkCommandError } from './chunk-YXMGHGHR.js';
 import './chunk-IP7BIBXJ.js';
-import './chunk-B2JURP6A.js';
-import './chunk-2WMZPJVE.js';
-import './chunk-EWVYQLD3.js';
-import './chunk-5DNCFOXA.js';
-import './chunk-HJYBWJAS.js';
-import './chunk-NSPRS7WK.js';
+import './chunk-HLZMAJJD.js';
+import './chunk-S5CNYXUA.js';
+import './chunk-MPC2UAW2.js';
+import './chunk-NIY2UBT6.js';
+import './chunk-LYGI3T66.js';
+import './chunk-7V5GUEDU.js';
 import './chunk-G2JWZDFA.js';
 import './chunk-ANPNT6PM.js';
 import { defaultFetch } from './chunk-6RKD7YZ6.js';
@@ -16,14 +16,14 @@ import './chunk-SOI6K5DY.js';
 import './chunk-PA6CK6WQ.js';
 import './chunk-BALIE3BA.js';
 import './chunk-BJ3KTMDH.js';
-import './chunk-G63KT5I5.js';
+import './chunk-44V5SD4G.js';
 import './chunk-5BHIBJDA.js';
 import './chunk-CDDED64E.js';
 import './chunk-RA3O54FC.js';
 import { parseTrackerNumber, trackerNumberError } from './chunk-WZBHBH3J.js';
 import './chunk-CRB3POP4.js';
-import './chunk-LJG6EMLJ.js';
-import './chunk-E6CO3MJE.js';
+import './chunk-6CXNWKWD.js';
+import './chunk-F2D5BSXS.js';
 import './chunk-VNVZDWO3.js';
 import './chunk-HACGUL52.js';
 import './chunk-MESOOLF4.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@outerlayer/cli",
-  "version": "0.33.0-next.20261023003700",
+  "version": "0.33.0-next.20261023120437",
   "description": "OuterLayer CLI — commands: init, claude, connect, doctor, login, logout, sync, daemon (alias: watch), emit, findings, work, spec, runner, hooks, mcp, context. Capture and sync coding-agent sessions, and record proof of factory work.",
   "license": "Apache-2.0",
   "author": "Magu Studios, Inc.",

package/skill-pack/maintained/outerlayer-amend/SKILL.md

@@ -6,7 +6,7 @@ description: >
   reply on the thread with a replacement artifact or a sentence, and push. Also resolve a
   merge conflict with the base branch. Use when a work item has threads waiting on an
   agent or a conflicting pull request, or when asked to "answer the review" or "fix what
-  the reviewer failed". Invoke with /outerlayer-amend.
+  the reviewer failed".
 ---
 
 Run the CLI as `outerlayer`. If that command is not on PATH, run `npx -y @outerlayer/cli` with the same arguments. Every `outerlayer ...` command below follows this rule. Write the full command each time. Do not put it in a shell variable: zsh runs `$VAR args` as one command name, not as a command with arguments.
@@ -22,7 +22,7 @@ or fails a thread. A session can only reply.
 A session never records a pass or fail on an artifact.
 
 `OUTERLAYER_WORK` is the work item's number. Check out the pull request's
-branch first if the working tree is not already on it.
+branch first, unless the working tree is on it.
 
 ## Arguments
 
@@ -31,17 +31,16 @@ branch first if the working tree is not already on it.
 
 ## Builds and local sessions
 
-A session a runner started is a build: `OUTERLAYER_JOB_DIR` is set there and
-nowhere else. A build's GitHub token cannot comment on the issue or the pull
-request, and its pushes go through the runner. A local session uses the
-person's own git remote and `gh` login.
+A runner build sets `OUTERLAYER_JOB_DIR`; no other session does. A build's
+GitHub token cannot comment on the issue or the pull request, and its pushes
+go through the runner. A local session uses the person's own git remote and
+`gh` login.
 
 ## Several repositories
 
-`OUTERLAYER_REPOSITORIES` lists a build's repositories, each with its `path`,
-`branch` and whether it is `primary`. Fix each thread in the checkout of the
-repository its pull request is in. Commit and push in each checkout you
-change, to its own branch only.
+`OUTERLAYER_REPOSITORIES` lists a build's repositories, each with `path`,
+`branch` and `primary`. Fix each thread in the checkout of its pull request's
+repository. Commit and push in each checkout you change, to its own branch only.
 
 ## Steps
 
@@ -59,7 +58,7 @@ change, to its own branch only.
    **Hand off a conflict you cannot resolve.** If the resolution needs a
    product decision, or the gate stays red after one fix, abort the merge.
    Push nothing. Post on the general thread with `--ready`. Name the
-   conflicting files, the base commits behind them and the decision needed.
+   conflicting files, their base commits and the decision needed.
    Tell the person to fail the general thread with their answer.
 2. **Read the threads.**
    `outerlayer work threads --item "$OUTERLAYER_WORK" --json` prints
@@ -69,26 +68,24 @@ change, to its own branch only.
    `body`, `action` and `artifact`. Keep the threads whose `waitingOn` is
    `agent`.
    If none is waiting and step 1 resolved no conflict, say so and stop. Take
-   the pull request (`repository`, `prNumber`) from the step 1 status JSON's
-   `pullRequests`.
+   the pull request (`repository`, `prNumber`) from step 1's `pullRequests`.
 3. **Re-orient.** The status JSON's `issue.body` is OuterLayer's copy of the
    issue. It is the spec: find each thread's criterion there. Read the pull
-   request, with its evidence comment, through the git host. Read every person's comment since the last agent
-   comment on the thread. Read them literally.
+   request and its evidence comment through the git host. Read every person's
+   comment since the last agent comment, literally.
    Then read `checks` in the status JSON. A failing check lists its check
-   items under `items`, one per thing it judged, each with a `result` and a
-   `reason`. When a person asks you to fix failing checks or criteria, fix
-   each failing check item by its reason.
+   items under `items`, each with a `result` and a `reason`. When a person asks you to fix failing
+   checks or criteria, fix each failing check item by its reason.
 4. **Decide each thread.** Reply on every criterion thread waiting on an
    agent, with `--criterion`. Read each note and pick one:
-   - **Answer it.** A question gets an answer. Reply with the answer and
-     change nothing. Say which file or test you looked at.
+   - **Answer it.** A question gets an answer. Change nothing. Say which
+     file or test you looked at.
    - **Fix it.** A requested change gets a fix. Change the code, tests, docs or
-     evidence so the criterion is met as written, and attach new proof when the
-     criterion declares one.
+     evidence so the criterion is met as written, and attach new proof when it
+     declares one.
    - **The spec is wrong.** The criterion cannot be met as written, for
-     example because it names a path a repository rule forbids. Never rewrite
-     a criterion: hand it off (step 7) with the wording change to make.
+     example one that names a path a repository rule forbids. Never rewrite it:
+     hand it off (step 7) with the wording change.
    - **Cannot tell.** Hand an ambiguous comment off with `--ready`: quote it
      and ask one question.
 5. **Fix, prove, reply.** An answer needs no commit: reply on its criterion
@@ -107,13 +104,12 @@ change, to its own branch only.
      Note the id it prints. Run `outerlayer sync`, so the attach can find the
      artifact. Then reply, which supersedes the old proof:
      `outerlayer work comment --item "$OUTERLAYER_WORK" --criterion <criterion> --body "<what changed>" --artifact <uuid> --attach`.
-     A replacement whose bytes match the current proof is flagged `unchanged`,
-     so the thread still waits on you.
+     A replacement with the current proof's bytes is flagged `unchanged`, and
+     the thread still waits on you.
    - **A check the factory host records**, such as `acceptance-criteria`, is
      judged again after this session ends. Name each failing check item and
      your fix. Never claim the check passes.
-   - **Otherwise** (the general thread, or a fix that needs no new proof),
-     reply with a sentence naming what changed and the commit:
+   - **Otherwise**, reply with a sentence naming what changed and the commit:
      `outerlayer work comment --item "$OUTERLAYER_WORK" [--criterion <criterion>] --body "<what changed>" --ready`.
      Omit `--criterion` on the general thread.
 6. **Watch CI.** Skip this step when you pushed nothing. Run
@@ -128,14 +124,20 @@ change, to its own branch only.
    sentence of fact, then the decision a person must make. For a spec problem,
    quote the criterion and give the replacement wording. `--ready` hands the
    thread back to a person.
-8. **Check nothing is left waiting.** Read the threads again. A thread you
-   started with that still waits on an agent has a reply that did not land or
-   was flagged `unchanged`. Fix that, or report it.
-9. **Report.** Write one line per thread: the criterion (or the general
+8. **Check nothing is left waiting.** Reread threads. A thread still waiting
+   on an agent has a reply that did not land or was flagged `unchanged`. Fix
+   or report it. Then run `outerlayer sync` and `outerlayer work proofs`.
+9. **Record the demo again.** Skip this step when you pushed nothing. With
+   the app running, run in each pushed checkout
+   `node .outerlayer/skills/outerlayer-amend/scripts/rerecord-demo.mjs --item "$OUTERLAYER_WORK" --pr <prNumber> --repository <owner/name>`.
+   It prints the demo line for the report.
+10. **Report.** Write one line per thread: the criterion (or the general
    thread), and fixed (with the replacement) or handed off (with the reason).
    Add a line for a merge conflict (merged with the base sha, or handed off
-   with the reason), and a CI line when you pushed: green, or each red check
-   and why. Post the lines once on the general thread:
+   with the reason), a CI line when you pushed (green, or each red check and
+   why), the demo line from step 9, and a line naming each proof missing or
+   out of date.
+   Post the lines once on the general thread:
    `outerlayer work comment --item "$OUTERLAYER_WORK" --body "<the lines>"`.
    A plain comment from an agent leaves the general thread waiting on a person.
    A local session also posts them on the pull request. End with the same lines.