review round 2: precision fixes, and a checkpoint table that cannot go stale

Three corrections.

"NO OCCURRENCE WAS EVER OBSERVED" OVERSTATED WHAT THE AUDIT CAN SAY.
Someone may well have seen one of these fail and simply not recorded it;
what is established is the absence of a RECORD. The framing now says
"linked or captured" and states the distinction explicitly, because an
audit that claims to know what nobody saw is making the same kind of
unfounded assertion this lane exists to remove — one level up.

A missing closing quotation mark in acceptance 3.

THE LANE CHECKPOINTED THE REVIEWED HEAD, WHICH GOES STALE ON THE NEXT
PUSH — the exact mechanism by which #171 became invisible while it
drifted 153 commits. Recording one head is a snapshot; what a resume
ledger needs is the sequence. It is now a table of head -> CI run ->
result, newest last, with the rule stated: the branch tip is
authoritative over any row, verified by `git rev-parse`, because the
table is written by hand and the tip is not.

Verified: fmt, diff-check.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

docs/active-work.md

@@ -172,9 +172,19 @@ entry — the same defect, caught in review.
   `bfb97c6`. Framing `docs/macos-ci-signal-integrity-framing.md`
   **revision 3**.
 - **PR: <https://github.com/levineuwirth/pmacs/pull/215>** — Stage 1,
-  docs only. Reviewed at head `d33bf4d` with all 14 checks green
+  docs only. **Checkpoints, newest last** — a lane that records only the
-  ([run 30950108477](https://github.com/levineuwirth/pmacs/actions/runs/30950108477));
+  *reviewed* head goes stale the moment a review round is pushed, which
-  one review round since.
+  is how #171 became invisible:
+
+  | head | CI run | result |
+  |---|---|---|
+  | `d33bf4d` | [30950108477](https://github.com/levineuwirth/pmacs/actions/runs/30950108477) | 14/14 green — the reviewed head |
+  | `f76897c` | [30990816890](https://github.com/levineuwirth/pmacs/actions/runs/30990816890) | review round 1 |
+  | *(tip)* | — | review round 2: framing wording, the missing quote, this table |
+
+  **The branch tip is authoritative over any row here.** Verify with
+  `git rev-parse githubsucks/macos-ci-signal-integrity` rather than
+  trusting the newest line.
 - **What Stage 1 ships:** `docs/ci-red-signatures.md`, the single
   authority for judging a red CI run. Rows key on **signature** —
   selector + job/flavor + every required fragment, normalized — so **a

docs/macos-ci-signal-integrity-framing.md

@@ -17,7 +17,10 @@ overstated what the audit found. The a33 audit proves an assertion
 string and a historical claim exist; the m6_8 audit proves a test is
 timing-based.
 **Neither establishes a failure mechanism** — no occurrence was ever
-observed, so nothing is known about how either fails. They become
+**linked or captured**, so nothing is known about how either fails.
+(Not "never observed": someone may well have seen one and not recorded
+it. What is established is the absence of a *record*, which is the only
+thing this audit can speak to.) They become
 **audit notes A1/A2**, not registry rows, and `R`-numbers are reserved
 for signatures with linked evidence.
 
@@ -291,7 +294,7 @@ everything else.
    **No entry survives on reputation, and an audit note is not a weaker
    row — it is a different kind of statement.** A row says "this was
    seen, here is the evidence"; a note says "someone recorded a belief
-   and no occurrence backs it.
+   and no occurrence backs it."
 4. **The rerun rule is replaced**, not softened:
    - a **green rerun after a red** establishes intermittence only; it
      does not establish environmental cause, harmlessness, or retirement;