IV.R77 — Lean verification

Lean verification: positivity of the YM sector coupling at depths 3-5 verified via native_decide (gap_pos_3, gap_grows_3_4, ym_gap_is_tau_gap_3) in TauLib.BookIII.Physics.GapTheorem, confirming the tau-gap is positive and non-decreasing.