Coverage-bit milestones along the meter. quickBits is a visual "sanity
peek" mark (still PENDING); goodBits is the threshold at which the verdict
turns NO-DIFFERENCE; totalBits is the meter's denominator (100% = all).
value-size class that shaped the plan.
The full ordered sequence of checks — a spot-check is a continuous climb through it; the user stops anywhere (Done) or runs to the end.
a transparent planted difference is present (§14.7) — Complete on a large value only; spot-check never (its unpredictable order is the safeguard).