Results Ledger
Every claim with its honesty tag. Click through for the full statement, proof, dependencies, and adversarial review.
| ID | Claim | Tag | Track | Date |
|---|---|---|---|---|
| R-001 | Li coefficients n<=2000 arithmetic side (BL Thm 2), all checks pass | NUMERICAL-VALIDATED | C | 08-18-2026 |
| R-002 | xi-prime strength mechanism (perfect-square node in D1) + Remark 7.1 reproduction; not portable to xi | NUMERICAL-VALIDATED | A | 08-18-2026 |
| R-003 | Exact factorization W = F(R0+Rtau); Cor 1.6 as explicit Wiener-Hopf remainder | PROVED-modulo-tempered-FT + NUMERICAL-VALIDATED | B | 08-18-2026 |
| R-004 | Explicit finite-height Li theorem: lambda_n > 0 for n <= (T0-1)^2 = 9.0e24 | PROVED-CONDITIONAL | C | 08-19-2026 |