Life Mathematics: The Cycle as Primitive A Minimum Mathematical Extension for the Formalisation of Living Systems

Paper 7 documented three precise gaps in existing mathematics that prevent full formalisation of the Bonding Relationships framework: no topological object for potential future structure (the state of play gap), no three-parameter signed Laplacian incorporating intensity modulation (the spectral graph gap), and the cycle absent as a primitive from all existing frameworks (the common underlying cause). This paper proposes Life Mathematics as the minimum mathematical extension necessary to close these gaps. Life Mathematics has one new primitive: the cycle C, an irreducible unit of becoming with three internal phases (condensation, dispersion, recoherence) and a direction of unfolding. From this primitive, three new objects are constructed: the cycle category CYC with morphisms preserving phase structure; the potential bond space B_potential(t) as a topological space whose points are potential bonds and whose topology is generated by the formation condition; and the three-parameter signed Laplacian L±ᶠ with spectral properties derived within the cycle framework. Key theorems are proposed: the Cycle Representation Theorem (every homeostatic system admits a cycle functor F: CYC → TOP), the Basin Coherence Spectral Theorem (C(Ω) > C_threshold iff the frustration eigenvalue of L±ᶠ satisfies λ_min(L±ᶠ) < ε_c), and the Potential Topology Theorem (the formation topology on B_potential is the coarsest topology making the formation probability map continuous). The recoherence term R[ρ, ρ_history] from Paper 6 is identified as the quantum-scale instantiation of the cycle functor. The shade function CLF connection from Paper 7 is identified as the engineering instantiation of the second-order bond. Life Mathematics is proposed as a minimum extension: it adds one primitive, derives three objects, and proposes three theorems. It does not replace existing mathematics. It provides the foundation within which the framework's objects are fully formalised.