diff --git a/docs/re/METHOD.md b/docs/re/METHOD.md index 057e1e3e..0efad4b3 100644 --- a/docs/re/METHOD.md +++ b/docs/re/METHOD.md @@ -3044,3 +3044,30 @@ exclusion argument, and is usually absent. corpus and I audited the single most load-bearing one. One verified case is not a verified set; the other 271 are unaudited, and most are probably fine, which is exactly why nobody will check them. + +## Nothing checks the prose a tool prints or documents beside its own numbers + +`sylpheed-port` found `verify-capture`'s note saying a capture was *"rendered with +authored initial focus"* — an assumption nothing had established, sitting under +their most-quoted residual. Their point: **an assumption in a harness note is +invisible in a way an assumption in a `why` is not.** `audit-kinds` checks every +authored value for a citation; nothing checks a tool's own prose. + +✅ **Swept my printed output and found no instance**: 38 lines assert a screen or +game fact, and the ones that assert rather than report are computed in the same run +(`"(nothing moves under this input that is quiet at rest)"` prints only when the +index is empty). ⚠️ Weak sweep — keyword-matched, printed strings only, and "does +this assert something the run does not establish" is a judgement, not a test. + +🔴 **But the class is real here and I have a known instance on the larger surface: +tool DOCSTRINGS.** `ring_row.py` documented its calibration as +`capture_y = 49.5 + 1.060 * design_y` — **wrong**, fitted against `menu_focus.py`'s +approximate rows rather than the disc's. It sat in the file that underpins every +focus finding, and it was found by accident while chasing something else, not by +any check. + +📌 **The surface is bigger than harness notes.** These tools carry long docstrings +full of factual claims about the game — calibrations, thresholds, what a screen +does — and **nothing verifies any of it**. A `why` in an authored file at least has +a convention demanding a citation. A docstring has nothing, is read as authoritative +by the next reader, and travels with the code.