先于量子理论的互补性：假设控制、反模型与条件性复闭合

摘要

互补性可以为量子重建组织一个关系性起点，但一个完成关系尚未提供制备、效应、概率、连续变换、复合系统或标量域。我们把这段缺失的路程表述为一个假设控制问题。从带类型的原语 $\mathcal{C}=[a\dashv b]$ 出发，我们分离出关联、可操作化、连续性、标量融贯、跃迁概率、效应、仪器、复合、纯化与过程辨识。每一座否定性的重建桥梁都被系在一个精确的前提包与一个带类型的目标之上；几何的或前操作的见证不会被抬升为一个它并不实例化的更大理论的反模型。在精确的复闭合分辨率上，令 $A_{\mathrm{OPT}}$ 表示某条外部重建定理的有限维因果操作框架，$L$ 表示局域等价，$E$ 表示等价系统纯化。有限经典理论见证了 $A_{\mathrm{OPT}}+L$ 而无 $E$，有限维实量子理论见证了 $A_{\mathrm{OPT}}+E$ 而无 $L$；那条外部定理只闭合 $A_{\mathrm{OPT}}+L+E$。这里两个选择子都不是由原初互补性推导而来。实量子理论的压力测试被两比特实位（rebit）分解 $\mathrm{Sym}(4)=\mathrm{Sym}(2)\otimes \mathrm{Sym}(2)\oplus\mathbb{R}(J\otimes J)$ 进一步锐化：乘积效应看到的是十维载体的一个九维影子。恒等设置连同一个额外的代数横截联合相互作用设置，给出完整的终端乘积态暴露。这种事后可观测性仍然区别于原本的局域层析、普遍过程层析与复域选择。本文的贡献是一套由来源生成的依赖架构、若干精确的有限见证，以及一个明确的选择子起源问题：复闭合在形式上是条件性的，而局域等价与等价系统纯化的物理起源仍然未决。

选择子结构

复闭合结果的压缩逻辑形状：

$L$ 与 $E$ 都不是原初互补性的后继。这正是通往复量子理论之路为条件性的确切含义：定理是有效的，而它的前提从何而来才是那个未决问题。

它在本次发布中的位置

CFQF-Q4 控制着整个量子分支的前提清单。它从 CF-F1 接收原语，并向三项聚焦研究提供重建语境：两比特实位读出、证书相对的客观性，以及关系性时间。

下载论文（Zenodo） —— 51 页。CC-BY-4.0。