IRL-2: Provably Convergent Iterative Reasoning in Sparse Transformers | Manifund