IR066 — Rational competitors outside the unit interval

For z=a/b outside [1,2], IR028 gives a positive explicit separation from c. Construct a precision certificate using IR006 and IR026; signed/negative/zero a are included.

Method: native-order. Induction: none. Risk: routine.

This is a human-readable planning contract, not a parsed kernel formula or accepted proof.

Planned prerequisites and notation

• IR028 — A strict coarse enclosure
• IR026 — Canonical approximation accuracy
• IR006 — Dyadic domination
• IR003 — Rational order and decision
• IRD10 — IrrCert