Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Three rule kinds
Typed interfaces and semantic configurations › Three rule kinds · lines 533–539
Changing one particle scalar while freezing incompatible chart data need not preserve constraints. A coupling therefore returns a complete certified update, not merely a new scalar.