Independent verifier / Research instrument 04
Bring the proof along.
Check a Target Box certificate on your device. This inspector recomputes every exact root, possible outcome, strict guarantee, first-failure threshold, decision-region strip, target horizon, and claimed witness without loading the constructor that produced the record.
01 / Inspect
Read the exact record
Export an outcomes, gap, first-failure, region-atlas, or target-horizon JSON certificate from the Target Box lab or run the Python generator. Odd and even samples are supported. Nothing is uploaded.
Or paste certificate JSON
Ready to inspect a certificate.
The SHA-256 fingerprint identifies the exact checked bytes. It does not authenticate the author, measurements, or the source of the target interval.
02 / Verified under the supplied inputs
Every continuous route checked
Ask an exact target
Use this checked horizon to test another target, even outside the certificate’s original target interval. A strict result includes the exact open margin to its nearest attainable tie. The receipt remains unchanged.
Enter an integer, reduced fraction, or decimal with up to six places. This query uses exact arithmetic; it does not establish which target is correct for real measurements.
Choose a target to solve against every permitted one-reading route.
This device keeps a copy only when you choose Save.
Route by route
The proof covers this mathematical model and these exact inputs. A verified certificate does not establish that the readings are genuine or that an estimator is better for real-world data. See the exhaustive sign argument and limits.