Bug Let a Verifier Confirm '13 of 13' Completeness Using Just One Cell

A developer discovered that their claim-verification system could incorrectly resolve completeness claims like '13/13' by finding a single cell containing the number 13, using it as evidence for both sides of the pair. Because the checker matched each side of a fraction independently, equal numerator-denominator pairs required only one matching value instead of two distinct cells. A one-line code fix enforced that the right-hand side must resolve to a different cell than the left, which immediately caused three previously passing claims to show as unresolved. The developer also identified a separate, subtler issue: a carried-over table was visible in the document but never read by the counter, meaning its pairs produced no findings at all — neither passing nor failing. The key takeaway is that a verifier made stricter should always cause some failures to surface; if it does not, the fix either missed its target or no reachable claims were affected.