Skip to main content
pPrime Front.

Evidence you can inspect

Verification & source

Start with a statement and its scope. Read the original argument, inspect its dependencies, then replay the finite check. The suite records what was tested; it does not convert an open positivity condition into a proof of the Riemann Hypothesis.

Run the independent suite

Clone the repository, use its documented Python environment and dependencies, then run from the repository root:

python3 verification/run_all.py

The runner preserves original module names and supports the documented --shard K/N option. Consult the repository README for the current environment and the distinction between smoke checks and full research runs.

Repository instructions ↗

Follow the original record

The claim ledger is the source of record for identifiers, status, hypotheses and verifying scripts. Research experiments and formal files remain separately inspectable.

Claim status ledger ↗Research corpus and experiments ↗Lean source and explicit assumptions ↗Source-preservation record ↗Historical shared-graph verification pointers ↓

What each kind of result says

KindEstablishesDoes not establish
Exact finite identityAn equality, classification or conditional algebraic implication under the stated finite assumptions.The corresponding infinite or uniform statement.
Numerical observationA measured result for the declared cases, precision, controls and error model.A universal bound or a theorem outside the sampled region.
Conditional resultThe claimed implication assuming every named hypothesis.That those hypotheses hold for the prime/zeta object.
Excluded routeA counterexample or obstruction within the precisely stated class.An impossibility theorem for all approaches to RH.
Open statementA remaining mathematical requirement with its quantifiers intact.A solved problem, however much finite testing supports it.

Verification source index

326 active module identifiers in the independent registry, including explicitly shared mathematical modules. This is a source inventory; it does not report a fresh full-suite result. Individual modules can require the shared support files and data included in the repository.

326 matching modules