Finite-time harmonic coordinates and descent

The proof is off shell as a formal coordinate statement. Restricting it to ${\mathcal{J}}_{R,b}$ gives the named on-shell descent. It does not establish that the orbit set is a global conical reduced phase space, or that the observable has renormalized quantum products.