H0mework

The proofs and evidencebehind a set of papers.

The papers tell the story in words; here every sentence written as a theorem goes to a machine and is checked from scratch. You don't have to trust the author: you can check it yourself.

First-release papers

The State Is Not the History, the Source Is

Identity, Responsibility, and Minimal Revision in Processes

状态不是历史，源才是：过程同一性、责任承接与最小修订

  • 26claims
  • 127Lean modules
  • ✓ all kernel checks passed

We Found No Magic in This Mighty Universe

Common-Source Generation and Classical–Quantum Correspondence in a Spin×SU(7) Theory

这浩瀚宇宙里，我们没找到魔法：Spin×SU(7) 理论的同源生成与经典—量子对应

  • 34claims
  • 146Lean modules
  • ✓ all kernel checks passed

Check it yourself

The entry check needs only Git, make and Python 3. From the repository root:

make check-first-release-entry

Building the Lean proofs and the full acceptance run: Reproduction guide