一组论文背后的证明与证据。
论文用文字讲故事，这里把每一句写成定理的话交给机器，从头再核一遍。读者不必相信作者，你可以亲手检验。
首发论文
状态不是历史，源才是
过程同一性、责任承接与最小修订
The State Is Not the History, the Source Is: Identity, Responsibility, and Minimal Revision in Processes
- 26条主张
- 127个 Lean 模块
- ✓ 内核检查全部通过
这浩瀚宇宙里，我们没找到魔法
Spin×SU(7) 理论的同源生成与经典—量子对应
We Found No Magic in This Mighty Universe: Common-Source Generation and Classical–Quantum Correspondence in a Spin×SU(7) Theory
- 34条主张
- 146个 Lean 模块
- ✓ 内核检查全部通过