diff --git a/docs/active-work.md b/docs/active-work.md index 969532e..1ba0422 100644 --- a/docs/active-work.md +++ b/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: ** — Stage 1, - docs only. Reviewed at head `d33bf4d` with all 14 checks green - ([run 30950108477](https://github.com/levineuwirth/pmacs/actions/runs/30950108477)); - one review round since. + docs only. **Checkpoints, newest last** — a lane that records only the + *reviewed* head goes stale the moment a review round is pushed, which + 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 diff --git a/docs/macos-ci-signal-integrity-framing.md b/docs/macos-ci-signal-integrity-framing.md index b7d1a40..56da71a 100644 --- a/docs/macos-ci-signal-integrity-framing.md +++ b/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;