Beyond Finite Kleene Convergence: Integral Cores and a Collatz Barrier for Cone-Monotone Integer Relations This paper studies exact weakest nontermination for homogeneous nondeterministic integer relations of the form Bλ = Aλ′ under a cone-monotonicity condition. A companion paper characterized exactly when the descending predecessor sequence stabilizes after finitely many steps. Paper XI goes…