Establish 3/2<c<7/4 from one exact rational CApprox computation and IR026; emit a native certificate for the finite rational inequalities.
Method: native-numeral. Induction: none. Risk: routine.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.