双扭量对通道短文(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)同一成熟度记录。
