Proof inspector / exact arithmetic
Bring the claim.
Check the math.
A Target Lens receipt is a portable claim about five readings and a range of possible targets. This page recomputes its bounds and checks any tie witness in your browser.
Every allowed configuration.
Five reading intervals, one target interval, exact integer arithmetic.
Three claims / three different conclusions
Open a worked proof
01 / Inspect a receipt
Verify a JSON proof receipt
Download a receipt from Target Lens, then choose it here or paste its JSON. The file stays on this device; verification does not upload it.
Or paste receipt JSON
Ready to inspect.
02 / Independently checked ·
Selected hypothetical target: . This selection is context; the claim covers every target in the interval above.
What verification means. The inspector checks the claimed exact extrema, strict winner or attainable tie, tie-target band, and any tie witness against the stated bounds. It does not authenticate where the five numbers came from, validate the target, or establish performance on real populations. Inspect the verifier source or run it offline with Node or Python. Read the receipt format and proof.