FINITE VERIFICATION ATLAS
GLOBAL CLAIMS BLOCKED UNLESS BRIDGED

Blocked Claims

Shawn Calvin Snelling / Axezent AI — proof-audit ledgers, deterministic receipts, and truth-labeled candidate lemmas.

Blocked claims

IDClaimStatusReason
AXZ-ROOT-001Omniverse Sieve / universal convergenceBLOCKEDFinite receipts do not imply infinite or universal laws.
AXZ-RH-GLOBALGlobal Riemann Hypothesis solvedBLOCKEDRH remains globally unproved; finite certificate lanes are local only.
AXZ-MAGIC-FINAL3×3 magic square of squares globally solvedBLOCKEDCurrent status is finite obstruction and search infrastructure; no global existence/nonexistence proof.
AXZ-CRYP-ABSOLUTEUnbreakable cryptography from prime geometryBLOCKEDNo cryptographic security theorem or threat model.
AXZ-AUTOMATA-1.18Universal glider constantBLOCKEDSimulation claims require formal initial conditions, code, statistics, and independent reproduction.
AXZ-DOD-20.20Permanent dodecagonal 20.20% prime plateauBLOCKEDA later finite validation under f(r)≤1e9 did not support the 20.20% claim.
AXZ-QUBIT-FLUIDQuantum/fluid/physical universal constantsBLOCKEDNo physical model, theorem, or validated experiment supplied.