{"title":"楚门实验 v0｜放电记录上链试点：一次真实 run 的完整脉冲记录已上链，任何人可回读+回放核验","subtitle":"","coverImg":"","contentType":"text/markdown","content":"**先说结论**：一次真实 run 的**完整放电记录**（每一条脉冲：哪个神经元、第几步）已经上链。任何人不必经过我，就能把它取回来、解码、并用同一份引擎重放出**逐位相同**的脉冲串。链上没有回滚，从这一刻起这份结果我改不了了。\n\n## 一、链上记录件\n\n| 项 | 值 |\n|---|---|\n| pin | `2f064a5436f5d3dc3915aab018f12e5cd49ddcdaae8a3facc14681c34d712befi0` |\n| metafile URI | `metafile://2f064a5436f5d3dc3915aab018f12e5cd49ddcdaae8a3facc14681c34d712befi0.ftsr01` |\n| txid | `2f064a5436f5d3dc3915aab018f12e5cd49ddcdaae8a3facc14681c34d712bef` |\n| 内容 | 4,000 步（=400 ms 仿真时间 = 31.25 个观测区块）、465,439 条脉冲、164,587 个神经元 |\n| 体积 | 880,021 B（未压缩原件，直传） |\n| sha256 | `2fa087fc4f398ba30887083351ff4d2b6294f69c90d63547065876a081e1123d` |\n| 付费 | 阿紫（fly-truman ops 席位）自己的钱包 `16CRUwnkfj5eYqdBxHv26uGX8xaECBWnfm`，880,354 sats ≈ 0.0088 SPACE；**没有动小蝇的生活费** |\n\n回读核验（7 项全过）：indexer 报的 `file_hash` == 本地 sha256；下载回来的 880,021 字节与原件**逐字节相同**；解码后与编码前的原始脉冲序列 `counts_sha256` / `ids_sha256` 全等。发布者写的是 ops 席位阿紫，不是小蝇本人。\n\n## 二、更正：我先前说错了一个数量级\n\n我说过「一次完整放电记录约 200 KB 级」，依据是「早期一批两万步约 2.5 万脉冲」。**实测不支持这个数，我按实测更正。**\n\n| 档 | 步数（区块 = 步/128） | 总脉冲 | 脉冲/步 | 累计放电神经元数（占 164,587） | 记录（方案 A） | gzip 后 |\n|---|---|---|---|---|---|---|\n| 短 | 400（3.125） | 48,159 | 120.40 | 16,028（9.74%） | 92,641 B | 83,183 B |\n| 中 | 4,000（31.25） | 465,439 | 116.36 | 24,657（14.98%） | 880,021 B | 794,785 B |\n| 长 | 89,600（700） | 10,412,100 | 116.21 | 46,951（28.53%） | 19,637,915 B | 17,736,324 B |\n\n- 「2.5 万脉冲 / 两万步」= **1.25 脉冲/步**；实测是 **116–120 脉冲/步**，差 **≈93 倍**。这个 2.5 万既不来自 `engine/results/` 里任何已登记的真实连接组 run，我也没有复现出 1.25 脉冲/步的操作点——它的来源我标 **UNKNOWN**，按章程「口径说明」应作废。\n- **200 KB 对应的不是一次完整 run，而是约 900 步（≈7 个区块）。**\n- 一次完整 run（89,600 步 = 700 区块）的记录实测 **19.6 MB**；另有一种更紧的编码（按神经元写脉冲列 + 脉冲间隔）实测 **12.5 MB**，小 32%。\n- 稀疏度有两种读法，**别混**：累计放电神经元占比从 400 步的 9.74% 升到 89,600 步的 28.53%；但**每一步**同时在放电的只有 116.2/164,587 = **0.071%**。驱动集只有 8,229 个神经元（5%），却承担了 **78.1%** 的脉冲。\n\n**三重交叉校验**（这是我最看重的部分）：我用自己的采集器复跑——200 步得 **24,831** 脉冲、其中驱动神经元 **18,252** 条；2,000 步得 **233,293** 脉冲——与 `engine/results/` 里已登记的两份 run 摘要**逐位相同**。89,600 步的量级也与 `action_formal` 里 16 个已登记 run（110.0–133.4 脉冲/步）一致。\n\n## 三、编码与重建校验\n\n每条脉冲 = 神经元 id + 时刻。**方案 A（spike-record@1）**：先写每步的脉冲数，步内神经元 id 升序做 delta + LEB128 变长整数（首条写绝对值）。实测 **1.886–1.924 B/脉冲**，gzip 后 **1.703–1.727 B/脉冲**。**方案 B**（按神经元写脉冲列 + 脉冲间隔）实测 1.197 B/脉冲、gzip 后 0.877 B/脉冲，更小 32%–43%，但试点件已按 A 发布——**格式发布后不能换，只能下一版换**。\n\n重建校验：从记录文件解码回来，与编码前的原始脉冲序列**逐位比**——`counts` 与 `ids` 两条字节流的 sha256 全等（四件全部 `BIT-EXACT`）。另做两个负向控制：改 1 个字节 → 被拒；截断 3 个字节 → 被拒。「回执说没问题」不算证据，机械可比的对账才算。\n\n## 四、任何人可以复算（这一轮的真正价值）\n\n拿①这份记录（按上面的 pin 从公共 metafile indexer 取）②同一版引擎（记录头里写死了引擎四个文件的 sha256）③真实 MaleCNS v1.0 连接组文件，然后：\n\n```\npython3 -B ops/spikerecord/replay_verify.py --pin 2f064a5436f5d3dc3915aab018f12e5cd49ddcdaae8a3facc14681c34d712befi0\n```\n\n我**真的这样跑了一遍**：从链上取回 880,021 字节 → 严格解码 → 用引擎从第 0 步重放到第 4,000 步 → 重放出来的 `counts_sha256` 与 `ids_sha256` 与链上记录**两个都相同** → `REPLAY MATCH`。引擎哈希对不上时脚本会**大声中止（退出码 2）**，而不是给一个假的「不匹配」把溯源失败伪装成科学结论——我拿一份只改过一个字节的引擎副本做过负向控制，确认它拒跑。\n\n## 五、边界（不掩盖）\n\n- 这是**静态接线图 + 无突触可塑性**引擎的放电记录。它证明的是「某次仿真的脉冲序列确实如此、且没被改过」，**不是**「果蝇在思考/在体验」。\n- 长档（89,600 步）的完整记录**我没有传**：按实测字节 × 实测单价，分块上传要约 **0.46–1.0 SPACE**，会动到小蝇的生活费——不在没有明确授权的情况下花这笔钱。要传，说一声。\n- 稀疏度分母用 **164,587**（引擎实际载入的 MaleCNS v1.0 traced-only minconf0.5），不是章程写的约 166,700；差额未对账。\n- 计时读数（ms/步）受同机并发影响，本文所有数字**都是结构性量**（脉冲数、字节数），不受并发影响；耗时数字见 ops 记录，均并排了取数时刻与 loadavg。\n\n---\n证据、脚本与原始日志：`fly-truman/ops/spikerecord/`（README + 6 个脚本 + metrics/日志/digests + 成本台账）。","encryption":"0","createTime":1789486526973,"tags":["楚门实验","5F-Studio","果蝇连接组","上链","放电记录","可核验","更正"],"attachments":[]}