证据与版本
这一页不是第三个入口。它只记录入口页与技术核心的冻结状态、机检口径、Gate 参考测试，以及仍未闭合的缺口。页面本身不改变两份正文。
一 · 页面结构
| 页面 | 角色 | 关系 |
|---|---|---|
| index.html | 入口重定向 | 只有一个公开入口：研究纲领 |
| 心智有边界研究纲领.html | 唯一入口 | 纲领正文；头部只给技术版链接 |
| 心智有边界核心研究纲领技术版.html | 技术核心 | 二级页；头部返回研究纲领 |
| 证据与版本.html | 本页 | 只从页脚进入；不进入主叙事 |
二 · 冻结源件
| 源件 | 行 / 字节 | SHA-256 |
|---|---|---|
| 边界如何成为系统能够辨识、表征并维护的自身组织条件.md | 114 / 6012 | 114c205de81dca1871a9cb6e51c1cb61f82c7bc0c267dc2561d515a935095a3d |
| 新版核心纲领_三层结构_20261023.md | 422 / 27116 | 随构建读取；未改动原文 |
冻结纪律：纲领源件不改。HTML 只做渲染、分行和版面处理；技术版标题的两行显示由构建脚本插入 <br>，原文 H1 不改。
三 · Lean 证据（按 scope）
| 范围 | 文件 | 定理 / 引理 | 定义 | 说明 |
|---|---|---|---|---|
| 报告同一性核心 | 6 | 45 | 13 | Moore 族、互决定、联合不动点、表示定理、非 Moore 反例；0 sorry |
| 完整验证体 | 56 | 467 | 90 | 统一仓审计体；71 模块构建通过 |
A 模块 BoundaryTheory | 1 | 33 | 7 | 边界势与 C_H = π²/3 证据；不是 45，也不是 467 |
v1.0 的 UpClosed 条件在 Lean 中是退化的：它强制 R = Set.univ，使“相互决定”退化为重言式。v1.1 已改用 Moore 族；旧件只保存在 audit/ 中，不作为结论引用。
四 · 一致性 Gate
| 代码 | 检查 | 失败动作 |
|---|---|---|
| R1 | C 是闭包算子 | REJECT |
| R2 | R 是 Moore 族 | REVIEW |
| R3 | c_R = C | REJECT |
| R4 | report ∈ R | REJECT |
| R5 | version / evidence / certificate 一致 | REVIEW |
| R6 | 候选唯一 | REVIEW |
| R7 | parent 等于当前 head | REJECT |
有限状态参考实现 gate_reference.py 当前通过 14/14 项协议测试。R6 是候选生成器的性质，参考实现用 gate_candidates 包装；单候选的 gate 本身检查 R1–R5、R7。测试覆盖正例、各类拒绝/复核、崩溃注入、动作闸门与三状态玩具机。
这是协议参考实现，不是生产系统，也不是“真实 agent 不可绕过”的证明。
五 · 仍未闭合
- 预层 → 闭包：
A与c的桥尚未形式化。当前A是类型值预层；实际归因值需要全局截面，稳定纤维、路径单调性与点层/集层对齐都还没有写成定理。 - 水平
w：V只定出κ*，定不出w。Gate 必须显式接收w，或接收一条破缺规范的选取原则；这不是本页能闭合的。 - A7：
V的形式被迫是 A7 模型类内的条件定理，不是自由范畴万有性质的直接推论。A7 能否由更强的范畴结构导出，仍是开放问题。 - 生产行为：Gate 在真实任务上的接受/拒绝率未知；有限状态测试不能替代。
英文版见 mind-boundary.html。中文三页（纲领 / 技术版 / 证据与版本）已随本站发布。
六 · 源码发布与链上存证
页面登记的证据已随公开发布包上线，可逐件核对：
| 项 | 值 |
|---|---|
| 仓库 | https://github.com/limisys/boundary-axiom（main，公开） |
| 发布版本 | tag v1.1.0，发布提交 f01cf6f；当前 main f89313e（其后仅有页面与存证元数据） |
| 公开树 | report-core/（报告同一性 6 文件 / 45 定理 / 13 定义）、lean/（完整验证体 56 / 467 / 90）、vendor/CausModel/（15 件）、architecture/、docs/、data/、scripts/、site/ |
| 逐文件清单 | MANIFEST.public.sha256，逐文件一条，条目数随存证文件递增（发布时 186 条），可 sha256sum -c 复核 |
| 旧件溯源 | v0.1 锚点 BoundaryTheory.lean、旧 README.md、README_CN.md、VERSION.md、docs/ML_SCENARIO_MAPPING.md 已移入 legacy/v0.1/，未删除；README 有溯源说明 |
| 发布快照 | boundary-axiom-f01cf6f-v1.1.0.tar.gz，SHA-256 60b1dbdeef5364bbeddbcdcd240aa35acbfe4763e8824c530adfae77ccc1b64b |
| 数字存托 | OpenTimestamps 锚定 Bitcoin，证明与校验和在仓库 ots/；ots verify 可验，Bitcoin 确认完成前为 PendingAttestation |
| 创世摘要 | genesis/GENESIS.json，SHA-256 f6a207eb0eda8fd2c0971f30835afbd5a20436eaf603bb8ad461611d060861ac；该文件绑定发布包哈希、提交 f01cf6f、184 个文件与目录 Merkle 根 161e48a6…39eaba |
| 双重时间戳 | ① RFC 3161 时间戳（freetsa.org）签发于 2026-10-24 03:48:36 GMT，序列号 0x0965B6C4，签名已用随附 CA 证书验证通过；② OpenTimestamps Bitcoin 锚定 |
创世时间戳。 整套发布包由单一摘要固定：genesis/GENESIS.json 以 SHA-256 f6a207eb…0861ac 标识，其内容涵盖发布包哈希、发布提交、文件数与目录 Merkle 根，因此任何一处内容变动都会使该摘要失效。该摘要同时挂两道彼此独立的时间锚：RFC 3161 时间戳由 freetsa.org 在签发时刻即时生效，OpenTimestamps 锚在 Bitcoin 区块确认后转为可独立验证的证明。独立研究的时间优先性以这两道锚中更早可证者为据，不依赖任何单一机构。
验证：sha256sum -c genesis/GENESIS.sha256；openssl ts -verify -data genesis/GENESIS.json -in genesis/GENESIS.json.tsr -CAfile genesis/tsa-cacert.pem 应返回 Verification: OK。
Gate 口径以参考实现实测为准：architecture/gate_reference.py 14/14（含 R6 候选生成包装）。此前页面与部分文档中的 13/13 为未含 R6 的旧口径，已统一为 14/14。