X72-12:臨界對偶消去取捨

承接Round11(對偶生成泛函與倒向對偶方程在L²下的精確收縮),本輪測試臨界對偶空間L^{3/2}與H^{-1/2}是否同樣具有精確收縮。證明L²收縮同時仰賴投影相容性與輸運反對稱性兩種結構;L^{3/2}保留輸運鏈式法則消去卻失去Leray投影相容性,H^{-1/2}保留投影相容性卻失去輸運交換性,且在局部等向積分度量與徑向Hilbert乘子度量兩個受限類中證明L²是唯一同時保有兩者的度量——但L²並非尺度臨界。本輪因此確立「臨界性-消去取捨」並止於STOP-C16(臨界性/雙重消去缺口),明言此為受限no-go(未排除非局部或關係型泛函),交棒下一輪追問投影後的熵梯度能否重新積回純量泛函。