Independent claim inspector / Research instrument 06
Bring the claim.
Check the math.
Verify a Conjecture Lab record on this device. The inspector separately replays the prescribed rational search up to its first counterexample and validates a v3/v4 fixed-basis counterexample or a general algebraic certificate. It never loads the claim constructor.
01 / Recheck the evidence
Inspect an exported claim
Download the conditional-claim JSON from the claim builder. Choose it here or paste the complete text. Nothing is uploaded.
Or paste claim JSON
Ready to inspect a claim.
The record is limited to 1 MB. Rejected or edited records show no mathematical result. A fingerprint identifies exact bytes, not who made the record or whether its inputs are genuine.
02 / Checked under stated assumptions
General implication: Pinned Lean theorem source ↗ · Formal proof CI ↗. The inspector checks this record separately.
SHA-256 of exact checked JSON bytesSaved records remain in this browser profile and are independently rechecked by the Local Research Archive each time it opens. Export the original JSON for a portable backup.
Verification checks mathematical consistency within the stated odd-sample model. It does not validate source data, target truth, real-world performance, or authorship. A finite grid without a counterexample is not a general proof.