Cap first exit in Lean v1.4: D1 component III's global step kernel-checked from the ridge outputs — (C1)–(C3) from L7/L11/L12/L18, d_f(M) = s, elder death level s, S a cut point, transport to the torus (53 declarations, standard axioms only; scientific effect NONE) - #246