Any finite or countably generated monodromy action supplied as an algebraic or analytic branch presentation admits an exact lifted realization in the Phase Calculus grammar, with branch history retained in state, logarithmic resolution under balanced refinement, exact quotient descent, and exact return on admissible windows. The generic quintic is the flagship example: the mechanism succeeds precisely where finite scalar radical syntax fails by Abel–Ruffini, because the obstruction is not a missing formula but a state-completeness failure of the scalar carrier.
Justin Lietz (Fri,) studied this question.