H0mework

一组论文背后的证明与证据。

论文用文字讲故事，这里把每一句写成定理的话交给机器，从头再核一遍。读者不必相信作者，你可以亲手检验。

论文4

  1. 第 2 版 · 2026-10-11

    状态不是历史，源才是

    过程同一性、责任承接与最小修订

    The State Is Not the History, the Source Is: Identity, Responsibility, and Minimal Revision in Processes

    • 37条主张
    • 213个 Lean 模块
    • ✓ 内核检查全部通过

  2. 第 2 版 · 2026-10-11

    这浩瀚宇宙里，我们没找到魔法

    Spin×SU(7) 理论的同源生成与经典—量子对应

    We Found No Magic in This Mighty Universe: Common-Source Generation and Classical–Quantum Correspondence in a Spin×SU(7) Theory

    • 38条主张
    • 335个 Lean 模块
    • ✓ 内核检查全部通过

  3. 低能系列 1 · 2026-10-11

    电流出庭

    从耦合传播到实际电子、Coulomb 返回与 Born 修饰

    The Current Takes the Stand: From Coupled Propagation to Actual Electrons, Coulomb Response, and Born Dressing

    • 28条主张
    • 60个 Lean 模块
    • ✓ 内核检查全部通过

  4. 低能系列 2 · 2026-10-11

    两负一正，裸迹宣誓

    有序闭迹与整球响应曲率

    Two Minuses, One Plus, and a Bare Trace Under Oath: Ordered Closed Traces and Whole-Ball Response Curvature

    • 6条主张
    • 46个 Lean 模块
    • ✓ 内核检查全部通过

亲手检验

入口检查只需要 Git、make 和 Python 3。在仓库根目录运行：

# 首发
make check-first-release-entry

# 第 2 版
python3 tools/edition_release.py --edition second verify-map

# 低能系列
python3 tools/edition_release.py --edition low-energy verify-map

每篇论文页列出它自己的检查与复现指南。