R-Calculus, VI: Finite Injury Priority Method - Li, Wei; Sui, Yuefei (Perspectives in Formal Induction, Revision and Evolution, 2025)