Digital Drosophila Archive
4.7 KiB
Phase 4AN — 有限轻记录与连续状态工程验证
日期：2026-09-30。正式状态：PASS-EXACT-LIGHT-CONTINUATION-ENGINEERING-NOT-LEARNING。
这是独立 D18 分支上的有限运行器验证，不是学习、记忆保持或生理模型通过。全部注册的 32 次 GPU 调用已执行，74 项比较通过；最终重新计算分析结果完全相同，AM 双封存与 28 套旧完整性记录运行后通过。AN 没有重新执行五组旧 reference，而是保留 AM 本轮已重新运行并通过的封存证据。
固定范围
166,700 neurons、25,582,938 edges，原图和 mask 不变。只使用 AM 原计划第一条 primary 的 100 ms 输入及其精确切片，分别保持 zero、static25 固定 overlay；没有新抽气味/seed、训练或试验内权重更新。
每个 overlay 包括完整 reference、两次完整 light、三个 reference 前缀，以及 reference/light 各一条段长 [5,13,1,481,500] 的连续链。共 11,074 ticks、1.1074 累计生物秒。完整执行流程墙时 433.968245 秒，包括首次编译、校验、进程启动、保存与续跑封存，不包括之后的分析和最终封存。
一致性与非空覆盖
两种 overlay 的完整新 reference 与各自 AM 输出精确一致。完整 light、技术重复和分段链的事件、计数、最终 V/g/ref、APL 末态、规范化 spike ring 和 APL pending 均符合注册比较。reference 另比较完整逐步状态哈希、APL history 和队列，并用原 CSR 独立重建队列顺序、接受掩码、局部时钟哈希和不应期状态。
两种 overlay 均有真实跨切点且非零权重、被接受的突触到达。例如 canonical edge 783780：source neuron_idx 522 在 tick 7 发放，target neuron_idx 82 在 tick 25 接收到达，跨过 tick 18 切点；原 SI effective weight 为 0.006875 V。该记录仅证明测试覆盖真实 carry，不证明唯一因果或生物学必要性。另核实同一预定切点存在 spike carry 与非零 APL pending。
light 不记录完整逐步 V/g/ref/APL/队列 history，未将缺失观测补为零或假称逐步浮点全量独立验证。该结论只适用于本次固定输入、固定 overlay 和预定切点，不是所有气味、任意长度或任意 parent 状态的普遍等价证明。
实测成本
| 100 ms 完整试验 | reference | light |
|---|---|---|
| 核心模拟墙时 | 5.456–5.509 s | 2.153–2.192 s |
| 每条封存输出 | 35.688–35.697 MB | 2.597–2.606 MB |
| 分配显存峰值 | 518,003,712 bytes | 518,003,712 bytes |
light 的运行加即时检查点封存约 5.827–5.854 s；这个数不含随后进程外核验。首次 reference 编译约 59.231 s，后续 build/cache 约 0.46 s。以上是小规模顺序试验，未测 GPU/CPU utilization，不能写成零。一次只读 CPU 比较与早期 light 运行有时间重叠，因此这不是隔离式或普适性能 benchmark，也未达到实时运行。
state.npz 与 terminal queue 的 ZIP entry 均实际检查为无损压缩。封存前输出预算计数为 221,057,911 bytes，低于注册的 8 GiB 上限；该数字不包含随后生成的最终 manifest/checksum 控制文件。
继续学习前的边界
仅本工程实验被封存；lab 整个目录未封存，实际使用的 21 份源码/测试/协议已按 SHA 锁定并保存快照。后续不得改写它们后沿用此结论。scientific conditioning 草案尚未登记、没有训练、没有 learned candidate。
当前草案已有 68,000 epochs：30,000×120 ms、30,000×180 ms 和 8,000×120 ms，总计 9,960 生物秒；另有 80 条 10 s 连续 idle，总计 10,760 生物秒。evaluation/probe inventory 尚未完整，所以这仍不是全量预算。仅按本次 100 ms 样本线性算术外推，核心模拟约 64.35–65.52 小时，运行及即时封存约 174.16–174.97 小时；气味活动、长度、缓存和 I/O 不同可能改变成本，不能当作可靠工期承诺。
下一步须先补齐 evaluation/reversal/retention 集成与有限预算，再登记小规模机制验证。小规模验证不能代替五个训练 seeds、独立 evaluation seeds、全部控制及完整科学门。不得调整参数挽救 PASS；没有自动解锁游戏、RL、decoder 或视觉。
锚点
- 注册：
7317441126f191ccc6e6d28438870b3921537ebe282a6acb163716a690057945 - 分析：
d5ad47a85e4c22e8a482b26330957a821e394022658531a914c9080187454d03 - 正式状态：
16630d0d666a2467c56b647d021cbdb627a553795f6afcd7f7eb496a2737d815 - 实验 manifest：
e8952a48cd3ea6a93c811a1183a1f7b79e19646299924e7688e5f393737a9aa2 - checksums：
7c22aee142affae52dd5792d655e5839db14380ae84993f99a50bdce53a4135c
服务器目录：experiments/phase4an-engineering-validation/。原始大数组和轨迹仍保存在服务器；小证据/Git 交付不等于全量异机备份。