Files
RingBRP/tools
slaguru666andClaude Opus 5 e9f7d458f0 check-figures: a cell inherits its column's header
R-300 was right, and it was right with a live defect rather than an argument:
a bare **24** in a table whose own header row says "Median rounds", reported
OK by this guard, against a baseline holding 25. The scan read one line at a
time, so measurement status living two lines above was invisible.

Fixed by reading the header. A cell now inherits the measurement status of its
column — which is a claim the DOCUMENT makes, rather than one this file's
vocabulary has to anticipate. That is the narrow repair, and it is deliberately
a different mechanism from the shapes: the shapes guess at phrasing, the header
does not have to.

The general point in R-300 still stands and the file now says so where the
shapes are defined: a vocabulary learned from the marked figures cannot contain
the phrasing of the figure nobody marked. check-unmarked attacks that from the
other end, treating bold as the corpus's own mark of a published figure.

Two bugs found while testing, both mine, both caught before commit:

- A citation marker is full of digits and none of them are figures. "packs
  line.hollow6.hurt" holds a 6; "fight-tail cut.over15" holds a 15. Scanning
  raw cell text reported roughly 130 correctly-cited rows as unheld — the
  best-marked tables in the corpus. Comments are now blanked rather than
  removed, so every offset still points at the right character.
- "3.48 of 6" — the 6 is the party size the mean is out of, not a measurement.

Coverage goes from 25 figures, 7 marked, to 120 figures, 102 marked.

Proved again by breaking it, five ways, every restore byte-identical: the
historical bare **24** fails at its own line, a stripped prose marker fails, a
planted "median 24 rounds" fails, a new bare figure in an uncited document
trips the ratchet, and neither a threshold column header nor any of the 102
cited cells fires.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-13 20:04:45 +01:00
..
2026-08-30 21:34:37 +01:00