v0.1.2：Zenodo 归档版本

本版本用于 Zenodo 归档。内容与 v0.1.1 基本一致，包含 Lean4 形式化证明代码、中文论文 PDF、LaTeX 源文件、许可证与项目 README。