BADT₂ 的 Secant Escape、Roy-Test Variety 與 Sparse-Support Interface

線性方法耗盡之後：BADT 兩個奇異區塊的割線，行列式為 ab·λ²s²(s−1)²；BADT 曲面沒有任何非平凡的 Q̄ 定義線性子空間通過該點（一個顯式的「Roy-test variety」）；指出 Dasgupta–Kakde 未解的蘊涵 (w) ⇒ (m) 與「Log-to-Torus Support Bridge」才是真正的障礙。