Canonical-lane closure package for the Grothendieck-Serre Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.
reproducibility algebraic-geometry arithmetic-geometry local-to-global mathematical-proof manifold-constrained canonical-lane grothendieck-serre-conjecture principal-bundles reductive-groups
-
Updated
Jul 2, 2026 - Python