The Ouroboros system is a classical Lagrangian field theory of two coupled vector fields over Minkowski space, proposed as a candidate for the fundamental law of physics prior to gravity. The theory's central mathematical claim is that the mutual Chern–Simons linking number QA,J is quantized and deformation-invariant. The main Ouroboros paper established these results in Lean 4 using Hopf-invariant axioms. This paper supplies the rigorous mathematical proof that those axioms are correct: the linking number exactly equals the Hopf invariant of a composite map S³ → S² constructed from the fields, and therefore QA,J ∈ ℤ as a theorem of differential topology.
DeepSeek et al. (Thu,) studied this question.