Canonical-lane closure package for the Section Conjecture: 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 etale-fundamental-group galois-sections section-conjecture
-
Updated
Jul 2, 2026 - Python