IR043 — Auxiliary low jets vanish algebraically

For B=2*N*(3q)^n*(2H)^(6q), construct beta not all zero, |beta|<=B, and AuxJet(a,b,q,beta,ell,k)=0 for every ell<7,k<n.

Method: native-search. Induction: none. Risk: high.

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

Planned prerequisites and notation

• IR036 — Auxiliary parameter arithmetic
• IR039 — Auxiliary matrix height
• IR042 — Small nonzero integer kernel vector
• IR038 — Uniform denominator clearing
• IRD16 — AuxJet
• IRD18 — AuxKernelVector