zetaSpecialValuesCert
plain-language theorem explainer
This definition assembles the certificate structure confirming exactly five canonical special values for the Riemann zeta function. Number theorists or physicists working with zeta identities in quantum field theory would cite the count when anchoring closed forms at negative and even arguments. The construction is a direct field assignment from the upstream cardinality theorem.
Claim. The certificate structure is defined by setting its points field to the value 5, where this is the established cardinality of the finite type of canonical special points for the zeta function.
background
The module derives five canonical special values of the Riemann zeta function, identified with configDim D = 5: ζ(-1) = -1/12, ζ(0) = -1/2, ζ(2) = π²/6, ζ(4) = π⁴/90, and ζ(3). These are the structurally distinguished points with closed forms or distinguished status. The structure ZetaSpecialValuesCert packages the single requirement that the finite type of special points has cardinality five. The upstream theorem zetaSpecialPoint_count proves this cardinality equality by direct decision.
proof idea
The definition is a one-line wrapper that applies the cardinality theorem for the special points to populate the certificate structure.
why it matters
This definition supplies the certified count of special zeta values required for the Recognition Science framework at configDim D = 5. It completes the mathematical depth section listing the five points with closed forms. No downstream uses appear in the graph, leaving open its integration into derivations such as the phi-ladder mass formulas or the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.