Notation discipline
\Hodge reserved for Hodge star; \star reserved for associator printed star R\star R; E-layer uses δ rather than d; Hodge codifferential is δ_Hdg.
Hodge/star separation audit
\Hodge reserved for Hodge star; \star reserved for associator printed star R\star R; E-layer uses δ rather than d; Hodge codifferential is δ_Hdg.