研究者对RefSeq中1.41亿密码子开展零随机数代数审计

三篇论文组成的基因组信息论与双链密码子环面研究计划的官方开放科学验证仓库（内含 568 MB 预缓存 NCBI RefSeq/GenBank 档案、零 RNG 证明，以及覆盖 54 个细胞基因组、141,272,088 个有义密码子的预计算审计包）。

三部曲阶段

主要数学与实证贡献

自主引擎

审计规模

论文一（v14.8）从形式到程序

在 10 层零假设层级（H0–H7）上操作化静态形式与动态程序之分；确立 L = 30 密码子（29 次转换 / 89 nt）不变量、双尺度系统发育迁移（132/132 哺乳动物配对 + 灵长类–啮齿类不对称性）、14/14 人类 RefSeqGene 内含子–外显子剪接限制（TP53、KRAS、BRCA1）、Venter JCVI-syn1.0/3.0 取证、病毒“基因木马”（HPV-16 E7、腺病毒 E3 RID-α）以及 Max-CAI 崩溃。

super_codon_proof_v14_8.py

54 个 RefSeq 细胞分类群 + 13 个前沿基因组 + 14 个人类 RefSeqGene 位点

论文二（v3.5）双链密码子环面

证明 ρ(c) = −Rc + 3·1 (mod 4) 是 𝕋₄³ = (ℤ/4ℤ)³ 上的无不动点等距，将 ℝ⁶⁴ = V₊ ⊕ V₋（32 ⊕ 32）分裂；证明双链纤维化 α_dup(c) = (α(c), α(ρ(c)))（64 → 56，将同义维度 43 → 8 坍缩）；证明反义通道优势（占 S_syn 的 74.1%–88.5%）；发现 Pfizer BNT162b2 中 1,101 密码子的反义 ORF 以及 Moderna mRNA-1273 中 820 密码子的 +2 走廊；构建推论 4.4 双链安全 Viterbi 编译器。

codon_torus_real_audit_v3_bnt162b2.py

9 个参考 RefSeq 基因组（9,834,024 个留出转换）+ 17q22 位点 + 8 个 Spike-2P 构建体

论文三（v2.4）密码子记忆谱

用精确的多项式时间零 RNG 期望（10⁻¹⁵–10⁻²⁰ 精度）取代整个 Monte-Carlo 零假设堆栈（H4–H7 + 4 个层洗牌塔）；证明 Klein 四元群 V₄ 象限分裂（1056 ⊕ 1024 ⊕ 1024 ⊕ 992 = 4096）和表 12 换位子检测（白色念珠菌）；证明秩 ≤ 16 的双侧 16 × 16 二核苷酸筛选（93.75% 的有义 df 对 H3b 不可见）；证明两个有限样本偏差引理，解决 d₃b_phase(k=30) < 0 的问题，同时在 54/54 个分类群中确立 Δx₁(k=30) > 0；证明 σ-代数桥（b₁ = 25 拓扑不变量，自对偶 3 × 3 矩阵 M(B_anti) = M(B_sense)ᵀ）。

codon_memory_spectrum_v2.py

replot_memory_v24.py

所有 54 个细胞 RefSeq 基因组，滞后 k = 1, ..., 60（281,207 个基因，141,272,088 个有义密码子，423,816,264 nt）

完整仓库架构（100% 自包含且离线可用）

与标准生物信息学仓库需要数小时外部 FTP 下载才能运行单个测试不同，本仓库包含完整的 568 MB 本地 NCBI 缓存（cds_cache/，103 个经 SHA-256 验证的基因组文件）以及所有预计算的验证输出（results_verified/ 和 results_memory_v24_full/）：

数十年来，合成生物学和工业 mRNA 设计一直依赖一个零阶假设：如果你将每个有义密码子替换为其单一的“最高频”人类同义密码子（Max-CAI / Max-GC3 标准），纸面上的氨基酸序列保持 100% 相同，因此翻译应该只会改善。

我们在离散密码子环面 𝕋₄³ = (ℤ/4ℤ)³ 上的数学定理与 Nature 上独立的实验湿实验室发现已经汇聚，证明了这一假设为何失败：

在发表于 Nature 的一项里程碑式实验研究中（Mulroney et al., Nature 625, 189–194, 2024; DOI: 10.1038/s41586-023-06800-3），来自剑桥大学和牛津大学的研究人员在体外、HeLa 细胞中、小鼠体内以及人类血液样本中测试了核糖体如何翻译人工修饰的、密码子优化的 mRNA（BNT162b2）：

在 Mulroney et al.（2024）的正文中，作者指出没有不良临床结果与这些移码多肽相关。然而在同一篇 Nature 论文的第 194 页，在“利益冲突”部分，细则写道：

“T.E.M. 和 A.E.W. 是一项与 mRNA 技术相关的待审专利申请（2305297.0）的发明人。”

如果单密码子 Max-CAI / Max-GC3 优化没有结构缺陷，就没有必要提交英国专利申请第 2305297.0 号，以算法方式重新编码 mRNA 序列来对抗核糖体移码。如果不解决核糖体停滞和移码通读翻译问题，下一代 mRNA 疗法（尤其是高剂量、重复给药的肿瘤学和酶替代疗法）将触及根本性的生物学屏障。

湿实验室质谱观察到的是下游症状（局部停滞和 +1 移码），而我们在 54 个 RefSeq 物种和 141,272,088 个有义密码子上的精确代数与信息论审计揭示了由两部分组成的数学根因：

静态“形式”与动态序列“程序”的严格分离：

零阶核苷酸频率、GC3 等位区、边际密码子使用（CAI）以及单链 Chargaff/Perez 32 镜像对平衡描述的是序列的静态组成形式（32 维镜像偶子空间 V₊ ⊂ ℝ⁶⁴ 和时间对称 Klein 子空间 W₊₊ ⊕ W₊₋ ⊂ ℝ⁴⁰⁹⁶）。本计划测量的是动态序列程序——生活于 V₋ 上的一阶和中程（L = 30 密码子）条件转换结构 P(C_i | C_{i-1})、有向 Klein 子空间 W₋₊ ⊕ W₋₋，以及在所有组成、氨基酸和链奇偶边际被吸收后的同义纤维丛。

100% 零 RNG 解析证明（codon_torus_real_audit_v3_bnt162b2.py 与 codon_memory_spectrum_v2.py）：

论文二和论文三中的每个定理都在精确代数和信息论中以演绎方式证明，并通过闭式置换期望、留出 Dirichlet/回退对数似然以及具有精确自由度（df = 3969, 3600, 2709, 2460, 2040, 2025, 1849, 1681, 860, 779, 675, 420, 400, 361, 225）的列联表似然比（G²）统计量进行解析审计。任何证明路径中均不使用随机数生成器（zero_random_generators_used = True）。

每个整数均可推导（反数字命理学政策）：

（原文较长，此处译出前 6000 字，完整内容请点「打开原文」。）