| ID | Title | Status | Statement | Proof route |
|---|
AXZ-SIEVE-004 | Lane-normalized singular-series obstruction certificate | CANDIDATE | Prime-geometry lane claims should be ranked by local obstruction products rather than raw finite densities. | Compute ν_L(p) and singular-series truncation with tail/error labels. |
AXZ-MSQ-014.2 | 24-quotient diamond obstruction | CANDIDATE | Normalize D(z^2) by the forced 24·4^{v2(z)} divisor and study near-miss defects in the quotient graph Q(z). | Replace raw d by normalized d/(24·4^v2(z)); classify full diamonds and near misses. |
AXZ-RH-FINITE-CERT | Finite-height RH certificate scaffold | CANDIDATE / STANDARD-ADJACENT | Finite-height zeta zero claims require Turing-count equality plus critical-line isolation, not resonance language. | Turing method, zero isolation, interval arithmetic receipts. |
AXZ-RECEIPT-NONESCALATION | Finite receipt non-escalation principle | PROVED-LOGICAL / REPO-POLICY | A finite hash receipt certifies finite data integrity only; infinite theorem claims require a bridge theorem. | Formalize as a proof-audit policy rule. |