With S=1+7r*r!*12^r*2^(21r), derive 1/K<=U+S*J*|c-z| in rational-sequence form. Compile the finite polynomial substitution errors and Taylor errors to total <=1/(4K); include selected-jet error and all 7r unselected jets.
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
- IR048 — Least nonzero jet across all nodes
- IR060 — Approximate-zero interpolation estimate
- IR067 — Uniform perturbation of algebraic jets
- IR058 — Polynomial-to-exponential tail transfer
- IR049 — Selected jet height and separation
- IR012 — Approximation operations without real sorts
- IR075 — Quadratic polynomial remainder certificate
- IR076 — Finite multivariate substitution error
- IR078 — Denominator-cleared confluent identity
- IRD23 — JetErrorBound
- IRD24 — SeparationSchedule