This branch tracks where MHD correction/closure structure fits the OCP framework and where it does not. The useful split is between exact projection-style cleaning and asymptotic suppression-style cleaning.
The divergence-cleaning lane provides an exact continuous anchor on compatible families. GLM-style cleaning is treated as an asymptotic architecture, not as one-step exact correction. Closure and obstruction notes document what survives as theorem-level structure and what remains model-conditional.
Canonical references are docs/mhd/divergence-cleaning-in-ocp.md, glm-and-asymptotic-correction.md, closure-and-observation-links.md, and papers/mhd_paper_upgraded.md.
Claims in this branch remain scoped to declared family assumptions.