Quadratic Log-Defect 的精確漸近、Taylor–Liouville Barrier 與多變量輔助函數的轉向

對 Type P 的二次關係，截斷對數缺陷有精確的非零 Taylor 漸近式 Δ^log_{m,Q} = ((−1)^m/(m+1)) λ^{m+2} s²(s^m − 1)² Q^{−m} + O(Q^{−m−1})（沒有隱藏的消去）；純量的 Liouville 比較在結構上差一個 Q³/log Q 的因子；下一步必須保留多變量輔助函數的幾何。