BADT Linear Support Visibility 的 All-Rank 證明

全秩解析定理：每個以 span_Q{1, v, v², v⁴} 為元素的矩陣，若正規秩 r < mn/(m+n)，就有一個有理零區塊且 m'/m + n'/n > 1（兩個典範子集加一個長寬比引理），從而關閉「有理線性 Waldschmidt–Masser 放大器」這條策略；R11–R15 成為「計算佐證」。原文明言 BADT₂ 假設本身仍未被排除。

BADT 線性支撐可見性對所有正規秩成立；這關閉的是一條證明策略，不是 BADT₂ 本身，更不是四指數猜想。這是系列中最強的無條件定理；「線性 GCDA 策略完全關閉／一次關閉」的範圍僅限於一個四維支撐上的有理線性 Waldschmidt–Masser 放大器（第 25 節：「BADT₂ hypothesis 本身仍未被排除」）。解析證明未經審稿；隨包的健全性腳本只驗到秩 15，並聲明「證明不需要它」。本篇是唯一的 v1.0，章節順序不尋常（Round-17 入口排在 Round-16 判定之前）。