2220 — The Gaussian Score Commutes with the Component-Soft Rees Resolution
Two-chart test
At the component-soft center , Entry 2176 resolves the complete route through
On both charts the composed grade-two route is regular:
Introduce the physical multiplicative covariance parameter at fixed . It labels the final erased-edge contraction and therefore acts on the fully deleted route:
The strict family on both charts is
Thus
The chart transition introduces no defect:
Distinction of directions
Although the physical kernel behaves as , varying its multiplicative normalization at fixed momentum is not the same operation as moving along the soft normal . Keeping these directions labelled avoids the false commutator that would result from identifying them.
Evidence
- Entries 2176 and 2219
research/benincasa/checkers/soft_rees_score_commutation.rs