AI 辅助化学遗传随机模型提出模板外信息继承的有限资源概率界，核心结论进入 Lean/Palomar

Michael Mislan 于 10 月 21 日公开化学遗传模型研究：在四个隔室、三类竞争燃料的催化剂系统中，研究有限供给与停止播种后的分裂继承过程，给出失败概率不超过约 0.004518 的定量证明，并研究 4000 分子规模下连续 100 次模板外复制恢复的成功概率至少 0.999。作者与 AI 系统共同开发证明、数值证书和形式化；主有限库存定理与当日 Palomar 登记 PALOMAR-2026-10-21-000010 关联，但第二个协同恢复结果仅有传统数学证明，**不是所有化学/进化断言均经过 Lean**；本文并未证明现实生命起源或开放式演化。