Extension of HAL toward the full SM. Three approaches: (1) Phenomenological: SM gauge terms as external inputs with HAL corrections. New prediction: all collider masses carry +alphaₑm/2 = +0. 36% correction. mHHAL = 125. 706 GeV (+456 MeV, detectable with HL-LHC). (2) Honest boundary: HAL derives gravity+alphaₑm+BMS+cosmology; SU (2) xSU (3) requires new sector. (3) Non-abelian extension n->n*dim (G): does not close. SU (2) xSU (3) remains the primary open problem.
Mordecai Gavila Alvarez (Fri,) studied this question.