diff --git a/drills/0.5.0.md b/drills/0.5.0.md index b63fba3..6a29c1f 100644 --- a/drills/0.5.0.md +++ b/drills/0.5.0.md @@ -34,12 +34,20 @@ that verdict wins (#233 D3). | 2 | decide + merge-door step-replay (consumer) | `release-exercise / step-replay (consumer)` on this PR | CI-gating; green required to merge | | 3 | fragment chain: armed → assemble → monotonic | `release-exercise / fixture-chain` on this PR | CI-gating; green required to merge | | 4 | the real tree's own guards (armed, monotonic, drill-recorded, self-ref) | `self-guards` on this PR | CI-gating; green required to merge | -| 5 | the 0.5.0 payload live: #226's selection running in this repo's own ruling sweep since the #234 merge | `self-labels-sweep` runs after `0ac3a6f` | live dogfood — the changed lib is exercised by the very board that ships it | +| 5 | the 0.5.0 payload's one lib delta: #226's best-shaped selection | `test/ruling.test.sh` in the `test` job at this head, plus claude-bot's independent reproduction in the #234 review round | green — suite coverage, **not** live dogfood; see below | -Probe 5 is the one piece the prior drills could not cover: `lib/ruling.sh` -is the only library delta this tag carries, and this repo's own sweeps have -been executing it since the merge — the consumer-shaped proof that the -labels machinery at the candidate's content stays green outside a fixture. +Probe 5 makes no live-exercise claim, and the reason is stated so the next +reader does not restore one: the post-merge sweeps (`30811983604`, +`30812172095`, both at `0ac3a6f`) do run the candidate's `lib/ruling.sh` on +the dogfood path, but every #226 call site sits inside `reconcile_ruling`, +whose single caller is behind the `needs-ruling` flag check +(`labels-reconcile.sh:865–866`), and this board has no `needs-ruling` item, +standing or historical — so not one line of the delta this tag carries has +executed live here. Its coverage at this candidate is `test/ruling.test.sh` +(107 checks, including the crew#293 replay and the six regression proofs +named in PR #234) and the #234 round's independent re-run of that proof. +Per drills/README.md — the record is the evidence — and #135's defect +class, a smaller true probe stands where a larger unobserved one would not. ## Deviations