Canonical ZeroData from Riemann–von Mangoldt

Abstract

Riemann-von Mangoldt count growth supplies an actual exhaustive ZeroData enumeration.

Theorem 1.1 (Canonical nonvacuity source).

Lean statement: D5/S3/Weil/ZeroData/CanonicalZeroDataFromRiemannVonMangoldt.nonempty_zeroData_of_riemannVonMangoldt

Proof. Machine-checked in Lean as D5/S3/Weil/ZeroData/CanonicalZeroDataFromRiemannVonMangoldt.nonempty_zeroData_of_riemannVonMangoldt (✓ std3). ∎

Source. Repository-derived.

Commentary.

Unbounded dyadic zero counts force the canonical set-level zeta-zero carrier to be infinite. The existing exact equivalence between zero-set infinitude and Nonempty ZeroData then supplies the inhabitant.

Enumeration, analytic multiplicity, symmetry permutations, and local finiteness are reused from the established equivalence rather than reconstructed in this module.

References

• Truth anchor: D5/S3/Weil/ZeroData/CanonicalZeroDataFromRiemannVonMangoldt.nonempty_zeroData_of_riemannVonMangoldt
• Dependency: D5/S3/Weil/ZeroData/RiemannVonMangoldtCountGrowth
• Dependency: D5/S3/Weil/ZetaBridge/ZeroDataNonemptyIffInfinite