Canonical-lane closure package for Anabelian Hyperbolicity: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.
reproducibility arithmetic-geometry local-to-global mathematical-proof anabelian-geometry manifold-constrained canonical-lane section-conjecture hyperbolicity
-
Updated
Jul 3, 2026 - Python