The rowwise exactness theorem in the concrete manuscript shape: canonical lifts for L and D, an integer lift for the quotient, a no-wrap bound, and a satisfied modular row equality imply exact integer ...