Exact rank certificates and the repaired affine family

For (eq:system), this proves exactly the declared cancellation and consistency equations. Functional interpretation additionally requires descent and coverage. Coefficient uniqueness is presentation-relative, not physical or cohomological uniqueness.