已建立
对象本身
四个点，每一对都连起来——四个点之间正好六条连线。每个点上放一个很小的量子自由度，有三种取法。每条连线都要求两端彼此不同。关键在下一步：三种取法分给四个点，这件事办不到，总有一对撞在一起。于是这个对象永远安定不下来，永远处在张力之中，而这张力本身是有结构的。
没有人知道，宇宙为什么偏偏用这些数。
这项工作试的是另一条路：把它们从一个有限的对象上算出来。那个对象里，没有一个可以拧的旋钮。
一共大约二十个。它们定下了一个原子有多大，也定下了宇宙散开得有多快。物理学把每一个都量出来——电子的质量、光抓住电荷的力气、天上有多少暗物质——再用手写进方程，然后接着往下算。
最简标准模型是 19 个；把中微子质量算进来是 26 到 28 个，取决于中微子是狄拉克型还是马约拉纳型。宇宙学还要另外加一批。
一个没有旋钮可拧的计算，错了就是错了，回不了头。所以这一页把自己最差的一行和最好的一行并排印出来，把自己承认的缺口逐个编号，并且点名那个能直接判它死刑的测量。这里剩下的自由都是离散的：某个嵌入、某条通道——那些是本页往下逐条列出的开放问题。
拟合的连续参数0 个
最好的一行 · 最差的一行0.002 σ · 3.28 σ_eq
作者自己编号的开放接口5 个，另有一座主桥
算出206.768282688691
实测206.7682827±0.0000046
实验只分辨到第 8 位有效数字为止
m_μ/m_e · 实验只能分辨其中 8 位
一份目前无人能检验的承诺
条件性——依赖 E8，作者自己列为开放的接口
这是一幅关于想法的图，不是一幅天空的照片。它由固定随机种子在作者本机上生成，用的是泽尔多维奇玩具模型——教科书里那个能长出纤维、节点和空洞的一阶近似。图里没有任何望远镜数据，没有任何东西被拟合，也没有本框架的任何量参与其中。从物理学能叫出名字的最小长度，到我们能看见的最远处，大约相差 61 个数量级；这个框架唯一一条宇宙学对照就落在这跨度的远端，而它是本页最差的一行。
上面那一行是条件性的。它依赖一个映射——把这个对象的那几样材料带进完整标准模型的粒子谱——而这个映射没有被证明；作者在自己公开的勘误里把它列为开放，编号 E8。这里没有解决宇宙学常数问题，本页也不作这样的主张。未经同行评议：两篇拆分出去的论文在审（CQG-116665、JGP13432），1003 页的专著既未投稿，也不在 arXiv 上。
01 / 这个对象
四个无法达成一致的点。
下面每一个数，都从同一个有限对象上读出来。它是这样的，分三步。
已建立
为什么只有关系算数
想四个人合唱一个和弦。你听到的东西不在任何一个人的嗓子里；一个孤零零的长音不是和弦。四个人一起升调，和弦不变，因为能听见的只有音程。这里一样，而且更彻底：任何单个点上的绝对取值根本没有意义。在这个对象内部，一切可算的量——每一个距离、每一个耦合——都由那六条关系承载，没有一样由那四个点承载。点只是关系必须附着的地方。
有支持证据
赌注在哪里
这个对象的量子态空间上，带着一个自然的几何量。它的实部是一个距离——Fisher 度量；虚部是一个曲率——Berry 曲率。把那个距离叫作度量腿，把那个曲率叫作规范腿。引力活在前者上；Yang–Mills 理论——另外三种力所依托的那类场论——活在后者上。两者出自同一个对象，这一点是已建立的。赌注是它之后的全部：赌引力和 Yang–Mills 因此一起出来，而不是事后拼上去。这一步还没走完——真正写下来的只是一组条件性的 Einstein–Yang–Mills 响应，而它的条件就是下面路线图里画成缺口的那些开放接口。
三个标签是什么意思
- 已建立
- 关于这个有限对象自身的陈述。你不用先接受这个框架的任何东西，就能核它。
- 有支持证据
- 框架自己的构造，在手稿里被论证，没有被独立确认。是证据，不是证明。
- 开放
- 作者已经公开声明这是一个未完成的接口。它下游的一切都是条件性的。
四个站点、六条边、每个站点三个局域态：在施加动力学和约束之前，共 3⁴ = 81 个基矢态。
全部 81 个基矢态
81 小到可以整个印出来。下面是起始空间的每一个基矢态，画成四面体，一个站点一种颜色。粗线表示两端同色。
同色边数，对全部 81 个态取平均恰好是 2= 6 条边 × 1/3
81 个里有 0 个。四个点、三种颜色，必然有两个点同色；而 K4 每一对点之间都有边，那条边就一定存在。阻挫不是假设，是算术。
这些是施加动力学和约束之前的乘积基矢态。基态是一个纠缠叠加，不是这 81 格中的任何一个。这里没有推导出任何物理——它只是定下对象的大小，并说明阻挫是结构性的。
02 / 那些数
有公开对照对象的十一行。
这十一行是目前已经有公开对象可以对照的行；其余的清单在手稿表格里。最差的一行是 BAO 绝对距离尺度：χ² = 34.40，13 个自由度，等效 3.28 σ。它和最好的那一行在同一张表、同一根刻度条上，只是低一道——因为 13 个自由度上的 χ² 与单行的 pull 是不同种类的数，不是因为要把它藏起来。
怎么读一行 pull 是算出的值与实测值之差，以实验自身误差棒为单位来数。小于 1 σ 是通常意义上的吻合；3 σ 左右是必须解释的不吻合。两边谁钝，比较就止于谁。竖线标出实验分辨到此为止：线左边的位数是可检验的，线右边的紫色尾巴是一份承诺，不是一项成绩。
可比的 pull
Λ_eff ℓ_*²
0.9 σ由开放接口承载
算出2.93×10−122
实测2.89×10−122±1.5%
实验只分辨到第 2 位有效数字为止
物理迹臂门读出 条件依赖于 E6
m_b/m_s
0.25 σ由开放接口承载
算出53.97
实测53.94±0.12
实验只分辨到第 3 位有效数字为止
质量塔 / mechanism-F
CKM J
0.04 σ由开放接口承载
算出≈3.085×10−5
实测3.08×10−5±0.0000013
实验只分辨到第 2 位有效数字为止
Casimir-flag 读出 条件依赖于 E8
λ_C
0.015 σ由开放接口承载
算出0.225000…∞= 9/40
实测0.22501±0.00068
实验只分辨到第 3 位有效数字为止
精确分数——位数永远不会终止
CKM 类型化读出 条件依赖于 E8
m_μ/m_e
0.002 σ由开放接口承载
算出206.768282688691
实测206.7682827±0.0000046
实验只分辨到第 8 位有效数字为止
带电轻子协议 条件依赖于 E8
sin²θ_W(M_Z)
< 0.01 σ由开放接口承载
算出0.231219995
实测0.23122±0.00006
实验只分辨到第 4 位有效数字为止
闭合的类型化电弱读出 条件依赖于 E3, E8
α_s(M_Z)
—由开放接口承载
算出≈0.1180
实测0.1180±0.0009
框架在这一行不承诺位数。这是一次标度线比较，而且在这一行，钝的那一边是预言。
Type-7 色标度线 条件依赖于 E5
等效 χ² 显著性，不是高斯 pull
这是形状与尺度诊断，不能和上面几行放在一起平均。
c/(H₀ r_d)
3.28 σ_eq算出 30.135
实测 χ² = 34.40 / 13
绝对尺度诊断
BAO shape
0.44 σ_eq算出 frozen K4 CPL curve
实测 shape-only comparison
仅形状诊断
单边——目前还不存在这项检验
以点值给出，落在现有的每一条上限之下。低于上限的意思是尚未被检验，不是已被证实。
Σ m_ν
↓算出 ≈ 0.059 eV
选定的正常序分支
m_ββ
↓算出 3.69 meV
Majorana 点值输出
这里没有一个总分，以后也不会有。三组里的数是不同种类的数，把它们平均是范畴错误。
完整清单是 31 项主预言、20 项配套与读出细化、一组稀有 B_s 协议行，以及 1 条结构性宇宙学廓线 κ₄(r)。 每一行的当前状态以手稿表格为准。
实测值及其不确定度转录自公开评阅仓库的对照表，本站没有独立溯源。真正值得核的正是这一步转录。
03 / 自己验一个
9 ÷ 40
Cabibbo 参数——夸克世代之间混合得有多厉害——在这个框架里读出来不是一个小数，而是一个精确分数：9/40。自己除一下：9 ÷ 40 = 0.225，一位不多一位不少，再往后除还是 0.225。实测值是 0.22501 ± 0.00068。你刚刚亲手核对了这份账本里的一行。
你没有核对的是：9/40 是不是这个框架必须给出的结果。那一步要经过把种子内容嵌入完整标准模型载体的映射，作者把它列为开放接口（E8），评阅目标 8 正是为攻击它而设。一个精确分数正中实测值，很惊人。但它还不是一次推导。
- 0.2
- 0.22
- 0.225
- 0.2250
- 0.22500
- 0.225000…∞
实测值及其误差棒0.22501 ± 0.00068
0.225 落在误差棒之内
04 / 输入了什么
没有一个能拧的旋钮。
已建立
已经封闭的部分
连续拟合参数：0 个。没有旋钮。参数就是旋钮，标准模型有大约二十五个，每一个都由实验拧到位；这里一个都没有。对象是死的：四个点、每点三个态、完全图、六条边上同一个均匀反铁磁耦合。连耦合的整体强度都会在无量纲比值里约掉——上面「可比的 pull」和诊断这两道里，每一行都是无量纲比。单边那一道的两行不是：Σ m_ν 和 m_ββ 以 eV 给出，必然带一个绝对质量尺度，这条「约掉了」的论证盖不住它们。要找隐藏输入，那两行是第一处该看的地方。
物理公设：一条——K4 单元格点的存在性，作为定义性数据。在其声明的类内，单元自身的形状（四点、三色、完全图、均匀反铁磁耦合、类和的整数归一化）是由内部自洽性推出来的，不是假设的。而那个「声明的类」到底有多宽，本身就是一个评阅目标。
开放
隐藏的选择还可能藏在哪里
- 允许类型的目录是否完整？
- 扇区结构真的是一个 Tannakian 范畴吗？今天那四个展示的 Schur–Weyl 扇区，只是有限半单像代数 M1 ⊕ M3 ⊕ M2 ⊕ M3 上的模实现。它们不是张量封闭的，也得不出任何有限动机的结论（E10）。
- 是否存在一部在所有扇区都自洽的字典？
- 最锋利的一条，用作者自己的话：那个次主导通道标量——压在领头值上面的那个小的第二项——被上面的 Λ 行、上面的 m_b/m_s 行，以及一条不在表内的实验室读出 Δ_W(α_em) 逐字共用。这究竟是坐标图规则强制的结果，还是规则给通道选择留了余地？（评阅目标 B。）
如果你发现任何一行的左边偷偷进了一个实验测量值，那就是反证。指出是哪一行、在哪里。 提一个 issue
05 / 这条路线
抽掉一座桥，看哪些数会熄灭。
这是从有限对象走到比较面的整条路线，缺口按缺口画。实线表示精确或模型内部成立；断开的一跨是作者已经公开声明为开放的具名接口——缺口里的编号是他自己的勘误号。
- 01K₄ + SU(3)有限基底
- 02Schur–Weyl 选择表示结构与拓扑选择
- 03量子几何张量定义在态流形上
- 04Fisher / Berry 分解度量腿与规范腿
- 05涌现几何时空与 Yang–Mills 曲率
- 06响应筛选 EYM领先方程加一座高阶响应矩塔
- 07多单元载体粘合与连续极限接口
- 08类型化读出Read_lab、Read_cosmo、Read_int
主开放桥 有限 K4 基底 → 忠实物理实现
电弱提升是一个具名接口，不是隐含的等同
承载：sin²θ_W(M_Z)
非阿贝尔色载体仍是一个独立构造
承载：α_s(M_Z)
几何响应标量 Λ_geo 不等于稳态物理标量 Λ_eff
承载：Λ_eff ℓ_*²
世代扩张、完整正规嵌入、实物理分支保持、48 行流符号满射
承载：sin²θ_W(M_Z) λ_C m_μ/m_e CKM J
相对提升与自然粘合 (DC-G)；底层类单射性 (DC-U)
不承载数值行——这一条承载的是类型目录与扇区主张
现在把它们同时全部抽掉。剩下的是一个关于有限图的定理——它是真的，也经过机器核验，但它不是关于自然界的陈述。这就是这个项目诚实的下限，也正是上面那些数被摆出来当靶子、而不是当结论的原因。
06 / 怎么杀死它
什么能终结它，谁能做到。
有旋钮的理论能在任何实验结果面前活下来：重新拟合就是了。这套理论没有旋钮，所以一旦对不上，只有两个动作可选：在推导里找出一处真正的错误并公开更正，或者承认框架完了。没有第三条路，因为没有旋钮可拧。
中微子质量序
正常序是推出来的，倒序在模型内被范畴性排除。
倒序一旦被确认，框架就结束。
JUNO · DUNE · Hyper-K
CP 符号锁
sign(sin δ_CP) × sign(η_B) = −1。结合观测到的重子不对称，框架要求在标准物质约定下 sin δ_CP < 0。
一旦测到 sin δ_CP > 0，框架被证伪。
取向本身是刻意不推导的——它是自发选出的真空数据。正因如此，这个锁是一次检验，而不是一次拟合。
DUNE · Hyper-K
θ₂₃ 卦限
上卦限，4/7。
如果下卦限被确定下来，就与它矛盾。
DUNE · Hyper-K
无中微子双贝塔衰变
m_ββ = 3.69 meV，以点值给出，不是一个区间。
目前低于所有上限——这意味着尚未被检验，不是已被证实。
下一代 0νββ
宇宙学常数
两项读出给出 Λ_eff ℓ_*² = 2.93×10⁻¹²²，观测值 2.89×10⁻¹²²（±1.5%）——条件依赖于 E6：冻结的 PDF 把几何响应标量 Λ_geo 与稳态物理标量 Λ_eff 混为一谈。
一次精度达到或优于 0.5% 的 Λ 测定，可以把两项读出与领头阶的值分开。
下一代宇宙学
弱混合角
sin²θ_W(M_Z) = 0.231219995——条件依赖于电弱提升接口与标准模型载体接口（E3、E8）。
如果实验收紧并且挪动，没有任何补救手段。
精密电弱
转录自冻结的公开评阅版：2026-08-29
07 / 边界
哪些还没有推出来。
更新于 2026-08-29
- CP 破坏的符号不是从基底推出来的。取向是自发选出的真空数据。
- 非阿贝尔色载体仍是一个独立构造（E5），所以色扇区的每一个数都处在一个开放接口的下游。α_s 是一次标度线比较，不是已完成的推导。
- 电弱提升是一个具名接口，不是隐含的等同（E3）。
- 世代扩张、完整正规嵌入、实物理分支保持，以及 48 行流符号满射都是具名接口（E8）。
- 冻结的 v2.0 PDF 把几何响应标量 Λ_geo 与稳态物理标量 Λ_eff 混为一谈。这是作者自己的勘误 E6 说的。
- 那四个展示的 Schur–Weyl 扇区是 M1 ⊕ M3 ⊕ M2 ⊕ M3 上的模实现。它们不是张量封闭的有限 Tannakian 范畴，也得不出任何有限动机的结论（E10）。
- 引力与 Yang–Mills 一起出来，是赌注，不是已完成的推导。几何原语只是被分类，不是被从零重建；基底自身那个无能隙的自旋二激发也还没有造出来。作者在自己的勘误里把两者都列为具名接口（E7、E11）。
- Zenodo 的 DOI 是自助申请、免费的。它只证明一个时间戳，此外什么都不证明。在这里真正应该被当回事的是冻结的字节、公布的校验和，以及勘误政策——不是那个 DOI。
投稿状态
专著本身没有投过期刊，也未经同行评议。从中拆出的两篇论文正在审理：
Conditional Einstein–Yang–Mills Field Equations from the Quantum Geometric Tensor of a Finite SU(3) Substrate
此前投稿于 Physical Review D (2026-07-05) · 编辑部初筛退稿，未送外审 (2026-07-10)
The Quantum Geometric Tensor on Complex Grassmannians: Trace-Locked Cartan Blocks and Yang–Mills Pullbacks
专著本身不在 arXiv 上。
08 / 机器
机器核验了什么——以及它不意味着什么。
Lean 4 是一个证明助手：把定理用一种计算机能核对的语言重写一遍，任何一步不成立，文件就编译不过。在 2026-07-08 发布时，逐行签核覆盖了手稿全部 771 条带标签的定理行：727 条 lean_certified，19 条 proved_core_only，4 条 needs_lean_node，21 条 prose_empirical_open。根语料是 313 个模块。每一条编译通过的陈述都只依赖数学库的三条标准逻辑公理——propext、Classical.choice、Quot.sound。项目自身不引入任何公理、任何 opaque 声明、任何 sorry。
lean_certified727proved_core_only19needs_lean_node4prose_empirical_open21
有 44 行未获核验，并且被明确标注为未核验。
「已核验」的意思是：Lean 里的陈述，在该陈述自己声明的粒度上，与文字陈述具有同等逻辑效力。这些证书里多数是载体封顶的——数学库尚未提供的某个分析成分（一个聚类界、一个连续极限输入）以一条明确命名的假设进入，而不是变成一个隐藏假设。核验断言的是逻辑结构，不是自然界。把一个错的陈述机器核验一遍，它仍然是那个错的陈述；这 727 行诚实的读法是账目干净，不是物理正确。
09 / 核验
自己核验这一页。
公开评阅 PDF，及其校验和：
sha256sum K4_Cell_Framework_v2.0-public-review.pdf
727d7c1fd690655a7a487afd66ba39b12f5b0eae5a622e2a224005a02d27c479这份 PDF 是 2026-07-08 刻意冻结的。后来对抗性审计确认的第 3 章更正发布在勘误里；字节从未被静默替换。政策就这一条，而且你可以自己核。
- 公开评阅 PDF1003 页，固定到其公开提交
- 公开勘误确认的更正以追加方式记录，不做替换
- 聚焦评阅问题为无法通读 1003 页的读者准备的精确问题
- 概念 DOI解析到当前的归档记录
- 校验和每一个发布文件的 SHA256
- status.json同一份状态，给机器读
- 本站校验和本站每一个文件的 SHA256
这一页上的每一个数，都是在构建时从同一份数据文件 ledger.json 写进这一页的。构建会把它能重算的部分重算一遍——每一个 pull、每一个可分辨位数、Lean 各桶的合计——并核对页面正文里确实印着这些值，一旦对不上就拒绝发布。但那份数据文件本身是人工从公开评阅仓库转录的，构建无法拿它去对手稿。所以真正值得核的正是这一步转录——文件就放在 /ledger.json。
冻结工件的已知缺陷：v2.0 PDF 的标题页仍然印着 v1.0 的版本行和 v1.0 的 DOI。文件本身确实是 1003 页的 v2.0 发布件，其 SHA256 就是上面这一串。2026-08-29 报告；这应当进勘误，而不是做一次静默替换。
10 / 来攻击它
打破它最省力的路。
最有用的评阅不是赞同。一条短评论，只要指出第一处明确的失败点、缺失的假设、不相容的约定，或者一个过强的主张，就比掌声有价值得多。
- 评阅目标 8完整标准模型载体——λ_C 和 m_μ/m_e 全都压在那个嵌入上。
- 评阅目标 B那个共用的次主导通道标量，是被图表规则强制的，还是被选出来的。
- 评阅目标 C那些盲性论证是否真的封死了固定 CP 取向的每一条路。
- 评阅目标 5多单元粘合：那里的一个歧义会不会改变后面的某个读出？
- 评阅目标 6类型化读出：有没有哪一行的状态标高了一档？
- 2 分钟把上面的 9 ÷ 40 验一遍。
- 15 分钟打开冻结 PDF，把勘误放在旁边。
- 1 小时以上选一个目标，报告第一处精确的失败。
这是谁写的
梁植华（Zhihua Liang）
- 独立研究者，目前无所属机构。
- 曾任 INFN Sezione di Cagliari 研究员，2024 年 2 月 – 2026 年 2 月。
- 一部 1003 页的专著，以及一个保持在机器核验公理纯度状态的 313 模块 Lean 4 语料。