V.R141 — Convective overshooting

Convective overshooting (penetration of convective motions into the radiative zone) is a controlled boundary event in defect-tuple space -- a bounded violation of the convective-radiative inequality mu_conv > mu_rad at the interface, governed by the macro regularity theorem.