IR067 — Uniform perturbation of algebraic jets

For z=a/b, H=max(2,|a|,b), c<=4, prove |F^(k)(x_ell)-A_(ell,k)(z)|<=J*|c-z| for ell<7,k<=r, J=6q*N*B*(3q)^r*(4H)^(6q). Use power telescoping, including exponent zero.

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

• IR009 — Power difference factorization
• IR061 — Exponential jet identity
• IR043 — Auxiliary low jets vanish algebraically
• IR048 — Least nonzero jet across all nodes
• IR026 — Canonical approximation accuracy
• IRD23 — JetErrorBound