雙扭量對通道短文(DOI:10.5281/zenodo.20111389)與 Pati-Salam 表示體積/Lenz 短文(DOI:10.5281/zenodo.20102322)的直接後續。這兩篇短文建立了強子 Lenz 等式 6π^5 = 6! · Vol_FS(P(∧^2 4)),其中 P(∧^2 4) ≅ CP^5,且在 TCG/FPA Fubini-Study 歸一化下 Vol_FS(CP^5) = π^5/5!。6! 槽乘子被標記為殘餘子缺口 G3。**本短文在定理級證明 6! 不可從典範 SU(4) 等變資料推導**,透過三個獨立的阻斷加一個輔助命題。**定理 1(Weyl 對稱,§3)**:|W(SU(4))| = |S_4| = 24。S_4 在 ∧^2 4 的六個對通道座標標籤 {12,13,14,23,24,34} 上誘導的作用是忠實但真子嵌入 S_4 ↪ S_6,像階 24 < 720。從誘導對作用轉到任意槽置換會遺忘從四個基本標籤繼承的關聯結構 — 這種遺忘是額外的槽框選擇,而非 Weyl 對稱。**定理 2(射影幾何,§4)**:從標準 Fubini-Study 形式與陳-外爾資料(c(T CP^5) = (1+H)^6)構造的任何自然 SU(4) 等變射影不變量都不能在無附加歸一化或槽框選擇的情況下選出 6!。**定理 4(Berezin/作用量級跡,§5)**:典範 Gaussian 給出 det K 或 (det K)^(-1) — 對 K=I,僅為 1,不是 6!。Berezin 積分配合 η = Σ_i bar-θ_i θ_i 僅透過非歸一化頂單項式才產生 ∫ η^6 = 6!;歸一化的 η^6/6! 與指數 e^η 都給出 1。階乘的留存只能透過保留典範歸一化,即一個外部的槽框選擇,等價於槽標輸入。**命題 5(輔助,§6)**:dim H^0(CP^5, O(k)) = C(k+5, 5) 在 k=6(462)與 k=7(792)之間跳過 720。P_7 壁給出 Pati-Salam 分裂 4 = C ⊕ ℓ,因此 ∧^2 4 = ∧^2 C ⊕ (ℓ ∧ C),一個 3+3 分解;自然對角 S_3 殘餘,或在容許塊互換下至多 |S_3 ≀ S_2| = 72 — 永遠達不到所需的完整 S_6。**推論 6(G3 阻斷,相對形式,§7)**:在典範 TCG/FPA 結構下,6! 不可推導;仍為活躍清單之外的殘餘 G3。**相對阻斷**(非絕對不可能)— 未來的推導必須識別額外的六槽框、邊界跡、態求和、缺陷扇區或非標準測度歸一化,並作為新輸入記錄,而非隱藏於 P_H' 之中。**判定:定理級阻斷。**殘餘分類:G3 仍為 P_H' 的殘餘子缺口,重新分類為活躍清單之外的跡/測度選擇輸入。P_H' 作為 Lenz 觀察的單錨現象學結構性讀法保持活躍;只有階乘槽乘子是殘餘的。活躍 TCG/FPA 假設清單不變:P_0-P_4、P_{5'}、P_6、P_7、P_H'、P_{SO(10)}。**完成三弧對稱成熟度。**所有三個結構性弧(電子 P_4、規範包絡、強子 P_H')現在都具備促動幾何 + 定理級作用量級阻斷 + 活躍清單之外的命名殘餘。跨弧模式:三個剩餘缺口(P_BFV^sec、X_wall-pol、G3)分類為跡/測度選擇問題,而非表示論問題 — 框架的典範等變幾何產生軌道與射影體積,但不產生槽標框、取向選擇或單位跡歸一化。與邊界超選擇阻斷短文(DOI:10.5281/zenodo.20110780)及純旋量凝聚阻斷短文(DOI:10.5281/zenodo.20141601)同一成熟度記錄。
