存在即可区分性：从有限分级等价推导量子力学

我们从单一本体原则——存在由可区分性构成——出发，推导出有限维量子力学，另外还有两个结构承诺：有限容量 $N$（参数化输入）和自指一致性（SRC，一套具有两个等价形式的闭合模式：操作形式和信息论形式）。SRC 分解为八个派生结构条件；结构歧义（S5）完成该层次，唯一选择 Born 规律作为几何/概率闭合。graded distinguishability kernel $K(x,y) \in [0,1]$ 同时实现上述公理，状态由其对所有其他对象的 $K$ -profile 构成。对于每个 $N \geq 3$，唯一的可区分空间是 $(\mathbb{C} P^{N-1}, K)$，其中 $K(\psi,\phi) = 1 - |\langle\psi|\phi\rangle|^2$，从而推导出复系数、Born 规律 $p_k = |c_k|^2$、单位动力学以及张量积组成。通过容量溢出强制实现不确定性；对替代方案（如 Bohmian 力学）进行分类而非否定。标准量子力学是 $N \to \infty$ 的极限；有限 $N$ 是唯一的自由参数。代数脊柱在 Lean 4 中进行机器检查，经过五个导入的经典定理和 Stone 定理的存在方向；附录阐述了验证范围。