Digital Drosophila Archive
3.6 KiB
Phase 4AJ 后：冻结 D18 的独立验证计划
状态：待新阶段预注册与执行。本文件是计划，不是已通过的结果。
Phase 4AJ 固定 CAL 已通过，下一关应检验外推，不能继续扫描 delay/gain 或直接宣称学习可用。
固定设计
只使用已封存 D18；动力学、100 ms 窗口、输入编码、APL 算术／队列、符号、CSR、mask 与原判据全部固定。
| 验证块 | 固定输入 | 主运行 | 技术重复 |
|---|---|---|---|
| 独立种子 | 原 6 个 CAL 气味 × 5 个新 seeds × 2 模式 | 60 | 12 |
| 校准未用气味 | 静态面板后 6 个气味 × 同 5 个新 seeds × 2 模式 | 60 | 12 |
在任何新脑轨迹之前，锁定两个块的输入、种子、分析、停止规则和 SHA。先完成独立种子块，只有完整通过才解锁第二块；失败就封存，不换 seed／气味重试。第二块固定首气味／首种子的两种模式作新增 Brian 全图对照，不能按结果挑选。
每个“验证块 × 模式”分别通过原六项完整 CAL 门，四项全部通过；不许合并 12 个气味的平均值来挽救失败。逐位技术重复、有限 h 平移／pending、数值完整性和旧冻结回归仍必须通过。重复不是新随机样本；跨气味共享种子用于原配对统计，两块不应描述为独立随机流或生物重复。
静态输入与泄漏边界
允许读取原 phase4l-olfactory-grounding 的以下静态文件并核对已登记 SHA：
odor-encoder/frozen-odor-panel.parquetodor-encoder/mapped-glomerular-vectors.npzodor-encoder/selection.jsonreceptor-mapping/olfactory-mapping.parquet
原行序、split、气味身份、glomeruli 顺序、PN 映射、RNG 列序和零响应规则保持不变。匹配输入基准继续用全 12 气味静态中位数 2.556107997894287，不得对任一六气味子集重算。
禁止提前读取旧 kc-representation、整个 12 气味动态输出、eligible-edges、plasticity-magnitude、conditioning 或混合这些结果的综合报告；不能先打开混合表再过滤。静态 A/B 身份也不能用于挑选有利气味替代完整验证块。
旧 4L 代码曾遍历全 12 气味。因此后六个只叫**“未参与 AG/AJ 校准的气味”**，不能说项目历史从未模拟过。新分支验证是对固定新模型的外推测试，不是完全未被研究过的生物样本。
先通过仅配置／输入清单的审计确定新 seed namespace，连同显式派生规则检查重用。52101–52105 已在 4Q/4R 使用，51301–51305 是旧学习评估种子，512xx 存在 train_seed+pairing 派生范围；不指定未经查证的新值，不无依据承诺全历史绝对独立。
实现约束与结果范围
旧 AG validate_inventory 硬编码原 CAL seeds/IDs，read_trial 记录也硬编码 calibration。新阶段须新增明确 cohort 的适配器，复用来源固定的纯指标与数值校验；不能改旧 globals、伪装成原 CAL 或改封存源码。
计划依据：仓库 models/male-cns-lif/phase4l.py 的静态编码／原指标（约 149、199、204 行），phase4p_revalidate.py 的 PN drive（约 226 行），author-apl-lab-v2/calibration.py 的指标／inventory（约 77、96、243、268 行），以及封存的 AG protocol/encoder-audit.json。行号仅帮助定位，实际以 SHA 登记版本为准。
即使全部通过，下一关仍是 credit specificity、真实 KC→MBON 功能传递、全脑输出与带控制的 conditioning；不产生 learned candidate，不接游戏、RL 或 decoder。1.8 ms 仍是工程假设，不因此成为实测生物学参数。