IV.R248 — Lean verification

The strict ordering kappa_D > kappa_A > kappa_B > kappa_C > kappa_omega is verified in Lean 4 module TauLib.BookIV.Sectors.CouplingFormulas (theorem self_coupling_order) using only rational bounds on iota_tau, with no floating-point arithmetic.