Classical relational descent remains a separate result

Cheung's III and VI use declared classical equation spaces, gauge groups, and relational constructions CheungIII,CheungVI. VI's supplied second-order descent follows from the coordinate composition identity

on its stated formal domain. That mechanism is not a derivation from the current $D_{\mu }$.

The gravitational equations included in those models are not derived from the flat trace improvement. The supplied quantum finite-renormalization status of VI remains RG-open CheungVI. No assertion here changes it.