The rule was hedged in `docs/guard-inventory.md` when review found two inline rows citing a pytest
despite it. The record's `rule:` frontmatter, the record body, and the checker's module docstring
kept the universal wording — the same fix-one-site-leave-the-paraphrase pattern this branch has
now hit four times, which is why the sweep was by the RETRACTED words rather than the new ones.
All three now say the same thing: an inline row carries `Proof: NONE` unless a pytest genuinely
covers part of it, which `ci-image-pin` and `set-verdict-status` do, and each names which part —
because a reference covering a fraction must not read as covering the whole.
Refs #786
timothy
f45b0593ca