推导计划性短文,攻击该框架最难的开放结构性问题 — 扇区分配假设 P_2/P_3:为什么体腔承载规范耦合,而边界匹配承载轻子质量。定理级:dim A_bulk(r) = r!(腔幂等代数),且 dim A_∂^hc(r) = F_{r+1}(硬核相邻残数代数;路径匹配复形的无平方/外面 Stanley–Reisner 型商)。猜想级:对数 BV–BFV 体–边界扇区定域化猜想,把边缘耦合等同于内部 BV 类,把改变手征性的相关质量/汤川形变等同于硬核边界 BFV 残数类。v2 版本(16 页,原 10 页)纳入对 F1 与 F5 失败模式的明确研究:F1 从 FM/AS/美妙边界几何推导代数关系 b_i^2 = 0 与 b_i b_{i+1} = 0,硬核选择作为残余子假设 P_∂^hc 由二元相关残数原理物理地推动;F5 从复化法向增强推导极坐标 S^1 相位,φ = 0 是 Poincaré 对偶实切片方向(子假设 P_∂^{C-norm})。单边 b_e^2 = 0 ⇒ e^{-b_e δ_0(φ_e)} = 1 − b_e δ_0(φ_e) 推导单边线性形式;多边需连接投影子假设 P_e^{conn},在 TCG 公式清单内由现有 0.09% 的 y_e 匹配支持(完整指数为 0.51%)。原始 P_4 由此分解为四个子假设,三个具物理/几何动机,一个由经验支持。活跃 TCG/FPA 假设清单**不变**:P_0–P_4, P_{5'}, P_6, P_7, P_{H'}, P_{SO(10)}。该猜想专门针对 P_2/P_3;本身不推导其他假设。猜想性口号:*质量是碰撞的对数残数*。
