For L0=L/2 in [1/4,1/2], M=7r and multiplicities r+1 at ell0,r elsewhere: C_jk=[w^(m_j-1-k)] product(h!=j,(x_j-x_h+w)^(-m_h)); |C_jk|<=2^(21r), |P|<=12^r, P=product(h!=ell0,(x_ell0-x_h)^r). The lower-jet aggregate is bounded by W=7r*r!*12^r*2^(21r).
Method: native-order. Induction: none. Risk: critical.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.