Check measured data geometry independently of its painter: row bounds,label clearance and fit, overlaps, connector attachment and crossings,text size and the contrast of every label on its background, includinghighlighted rows. The check is bounded by work_limit.
The visible text of a value. Text and number lexemes are exact. Booleansand null have a mark, so they do not look like text with the same letters.A row of a nested container shows {…} or […], or {} or [] when thecontainer is empty.
Measured data geometry. Each container is a box with ordered rows;arrays show the position of each row. A nested container is a separatebox in the next column, joined by a connector from its row. Inlinescalars stay in their row, with no connector. Empty containers and ascalar root are visible boxes. Layout is iterative and every bound isexplicit; exhaustion gives a diagnostic and no geometry.