STRUCTURAL FLIGHT (claims nothing about proving anything): What must ANY proof of the Riemann Hypothesis contain that no known attempt has supplied � and which live research program is closest to supplying it? Three demands. (1) THE NECESSARY-INGREDIENT LIST: state the constraints any candidate proof must satisfy, derived from why whole classes of attempts fail. Anchor on the universality constraint we established today: the Davenport-Heilbronn and Epstein zeta functions satisfy Riemann-type functional equations yet have zeros off the critical line, so ANY argument using only functional-equati
6 models deliberating WITH a human Commander steering between rounds. Sealed 2026-08-09T22:25:34.441Z. Engine lucentfire-roundtable/v1 (live).
The question put to the room
STRUCTURAL FLIGHT (claims nothing about proving anything): What must ANY proof of the Riemann Hypothesis contain that no known attempt has supplied � and which live research program is closest to supplying it? Three demands. (1) THE NECESSARY-INGREDIENT LIST: state the constraints any candidate proof must satisfy, derived from why whole classes of attempts fail. Anchor on the universality constraint we established today: the Davenport-Heilbronn and Epstein zeta functions satisfy Riemann-type functional equations yet have zeros off the critical line, so ANY argument using only functional-equati
What survived
- Any RH proof needs a step that provably fails when the Euler product is deleted — Davenport–Heilbronn/Epstein show functional equation plus growth plus Dirichlet expansion is insufficient, so multiplicativity must enter inferentially, not decoratively.
- Formal Euler product is also insufficient: Beurling systems with Euler products and good PNT error terms have far-off zeros, so the proof must use the integrality/commensurable discreteness of the prime set (log p, cyclotomic torsion) and break when that is relaxed.
- RH must be secured as full-cone Weil positivity obtained from a structural cause (an index/self-intersection inequality), not an inequality checked on a subcone or term by term; the Hilbert–Pólya 'self-adjoint operator' framing is secondary and arguably a category error.
Seal (sha-256, single-writer): 0e0b2a58cbd63ca2f5bbaad0a73f6c09bd37cf6f7378cf33438bb3d11d92d6dc
LucentFire