X72-13:臨界商空間規範協變

承接Round12遺留的問題(投影熵梯度PJ_{3/2}是否為某純量泛函之梯度),本輪先證明答案為是——但真正的臨界對偶其實是商空間L^{3/2}/G_{3/2},其極小代表元v*滿足非線性規範div(|v*|^{-1/2}v*)=0,Round12的顯式Leray缺陷因此消失。然而更深層缺陷隨即出現:逐分量輸運不保持梯度規範,改用保規範協變的一階形式Lie輸運雖能修復梯度商,卻引入應變伸展項,形成輸運-規範協變取捨;仿射情形的局部修正no-go進一步證明只有純剛性旋轉才能同時滿足規範協變與熵中性。本輪止於STOP-C17(臨界商規範協變/伸展缺口),並指出NS對梯度取商後本身即為Lie輸運方程,交棒下一輪測試原始的臨界一形式/環量商。