Equivalent signed numerator pairs and rational representations yield the same irrationality conclusion; positive rescaling of a,b is supported without identifying raw trace codes.
Method: native-ring. Induction: none. Risk: routine.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.