Paper #25 v2(体–边界定域化,DOI:10.5281/zenodo.20102027)与 Paper #26(连通边界残数,DOI:10.5281/zenodo.20102577)的 F4 闭合尝试的闭合短文。判定:F4(分扇区 W = log Z 处方的作用量级 BV–BFV 推导)负面但干净地闭合。识别两项障碍。代数(定理 1):在 A_∂^hc(r) = C[b_1,…,b_{r-1}]/(b_i^2, b_i b_{i+1}) 中,任何非零匹配单项式 b_S = b_{i_1}⋯b_{i_k} 满足 b_S^2 = 0(因 b_{i_j}^2 = 0);故任何非空匹配单项式皆非幂等,且匹配基不提供匹配扇区的中心正交投影子。该代数是无平方关联/残数环,而非半单直和。结构性:FM/AS 型带角边界理论自然编码层间的关联关系;自然默认 Q_∂: H_M → ⊕_{M'} H_{M'} 而非分块对角。一个一致的分扇区模型可以用手宣告(定理 2:蕴含分扇区 W_∂ = ⊕_M W_M 与 W_M = log Z_M,重现 Paper #26 的 ⟨B_e⟩ = 1 - 1/(2π)),但该宣告就是超选择输入,正是必须证立的内容。残余假设 P_BFV^sec 捆绑扇区正交、BRST/BFV 保持、单位增广 ε(b_{i_1}⋯b_{i_k})=1、$\mathrm{Match}(P_4)$ 上的均匀测度与归一化哈尔测度 dφ/(2π)。假设性负担核算:P_BFV^sec **不弱于** P_e^conn;澄清而不削减。文献缺口:FM/AS 型紧化上带分扇区转移的带角扩展对数 BV–BFV,当前未由 Cattaneo–Mnev–Reshetikhin 2014 + Costello–Gwilliam 2017–2021 + FM/AS / 美妙紧化 + Stanley–Reisner 机制综合提供。五项失败模式 E1–E5。活跃 TCG/FPA 假设清单**不变**:P_0–P_4, P_{5'}, P_6, P_7, P_{H'}, P_{SO(10)}。P_BFV^sec 是现有 P_e^conn 子假设的结构性内容,**而非**新的框架公理。统一图弧 (3)(作用量级推导)从开放转换为带显式障碍与命名残余假设的条件性闭合。
