IR049 — Selected jet height and separation

For selected r, bound the cleared jet and its conjugate; prove |A_(ell0,r)|>=1/K with K=N*B*(3q)^r*(2H²)^(6q). Audit all b-denominator factors explicitly.

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

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

Planned prerequisites and notation

• IR035 — Cleared rational quadratic lower bound
• IR033 — Quadratic powers and coefficient height
• IR038 — Uniform denominator clearing
• IR048 — Least nonzero jet across all nodes
• IR039 — Auxiliary matrix height
• IRD16 — AuxJet
• IRD13 — QuadNorm