Files
digital-drosophila/docs/progress/phase4ad-interpretation.md
2026-09-30 07:23:09 +08:00

4.2 KiB
Raw Permalink Blame History

独立模型分支首轮结果:实现正确,不等于学习修复

用户明确授权独立新模型分支测试动力学假设。分支为 codex/lif-author-semantics-lab, 模型目录 models/male-cns-lif/author-semantics-lab-v1/,实验目录 experiments/phase4ad-author-semantics/。 Phase 1–4AC 保持原样;没有替换已有候选、训练、调学习率、扩大mask或连接游戏。

已验证的结果

正式状态 COMPLETE-ORACLE-VALIDATED-LAB-ONLY,58/58审计项通过。 实际运行固定作者代码的 create_model,并与独立解析积分实现对照,而非仅比较两份自写程序。 8项算子/边界fixture各测试float64与float32;5个固定真实motif各测试两种精度,分别重复。 各精度内的spike事件、计数和不应期逐步一致,重复运行逐数组精确一致。 五个motif的float32与float64事件也一致,但不能外推到全脑高入度累加。 float64最大V/g差约3.84e-13 mV;float32独立实现相对Brian2最大差约2.12e-4 mV。

真实回路 旧冻结模型1秒总spike 完整作者语义总spike 作者语义后500ms spike
两个ALLN 473 213 106
三个ALLN 1,064 448 224
三ALLN + VA6 PN + KC 1,483 610 306
前向真实边对照 3 3 0
无刺激 0 0 0

持续循环没有因恢复作者语义而消失。 放电减少不是学习成功,也没有据此挑选获胜参数。 单独限制不应期内g更新甚至提高了这些回路的放电;不能把单一算子改动当作通用修复。 小回路省略了大部分全脑输入和graded APL,不能证明全脑问题完全由这些连接引起。 此前全脑背景复核显示,三个ALLN的晚期正到达权重约91%以上来自所选五节点之外;这也不是因果责任百分比。

作者参考及边界

  • 官方代码:philshiu/Drosophila_brain_model,commit 91bdd1e7dcf193f3e7ca5a8933497fcef63b7960,MIT。
  • 原作者论文;固定代码版本。
  • Brian2 2.5.1,独立Linux环境;作者记录为Windows/Python3.10.11,此处Linux/Python3.10.12,不能称为二进制相同。
  • 原始g单位为volt,是加性输入状态,不是电导;reset中的局部w=0不会清零真实Synapses权重。
  • 原poi接口另做了零时长编译审计:向v加入68.75mV、150Hz、N=1,并将目标不应期置零。它不是本轮共同初始seed,也不是已验证的新嗅觉接口。
  • 安装只发生在新实验.venv,保存下载URL与归档SHA-256;MarkupSafe1.1.1使用源归档,其他核心包使用wheel。未改旧科学环境或ComfyUI。

下一关

  1. 独立GPU实现须补足高入度、正负抵消、逐边加法顺序、非零初始g、阈值临界值与延迟队列边界测试;禁止用g+sum(w)擅自代替作者逐边写入。
  2. 在短时全图上对照事件及状态,再开展固定DoOR嗅觉CAL。保持既有输入请求,不顺手切换为作者的rfc=0输入接口;分别统计请求、因不应期拒绝与实际放电。
  3. CAL通过后才能使用独立seed及新odor验证。不能靠低活跃度或held-out调参授予成功。
  4. 真正conditioning须重新执行D(t)=0、frozen与随机奖励路径,并真正推进retention等待时间;旧脚本中复用基线/新建状态的检查不能替代这些端到端验证。
  5. 全部学习结论仍以MBON/downstream的刺激特异性、acquisition/reversal/retention/delayed reward为准,至少5个training seeds与独立evaluation seeds。

完整性和保存

原快照230,239项及4AA、4AB、4AC、背景复核产物前后SHA-256无变化。 旧deterministic-v2五个全脑冻结trial重新执行,事件、计数、最终V/g逐数组相同。 4090回归峰值已分配显存285,994,496字节;这不是新动力学全脑性能benchmark。 新模型11个payload、新实验565个payload已独立封存,环境目录不纳入payload。 Git同步代码、小报告和校验清单;大数据及完整状态轨迹仍在服务器,不能称为完整异机备份。

详见完整结果、封存核验。