Canonical-lane closure package for Sato-Tate general forms: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.
reproducibility number-theory equidistribution local-to-global mathematical-proof l-functions automorphic-forms sato-tate manifold-constrained canonical-lane
-
Updated
Jul 6, 2026 - Python