Digital Drosophila Archive
88 lines
5.3 KiB
Markdown
88 lines
5.3 KiB
Markdown
# Phase 4AR：独立分支普通嗅觉条件化
|
||
|
||
## 当前状态
|
||
|
||
2026-09-30：新分支代码已提交并同步远程仓库；服务器整套 CPU 测试
|
||
73/73 通过，0 失败、0 跳过。旧封存完整性检查通过，实验预注册已锁定。
|
||
4,080 份固定 CS 输入已生成并由真实进程退出记录及账本确认。
|
||
独立后台执行器已启动；尚未据此宣称训练完成或学习成功。
|
||
|
||
启动后观察到 4 个训练 epoch 已完成原更新及独立 CPU 校验、6 次独立
|
||
probe 已提交；后续仍在运行。这是有时间边界的启动快照，不是当前实时
|
||
累计数，也不是科学 gate 结果。首轮实际 CPU 校验确认使用封存 spike events
|
||
重算原 U 更新，父进程记录退出码为 0。
|
||
|
||
- 模型：`/data/digital-drosophila/models/male-cns-lif/normal-conditioning-v1/`
|
||
- 实验：`/data/digital-drosophila/experiments/phase4ar-normal-conditioning/`
|
||
- 管理日志：`/data/digital-drosophila/logs/phase4ar-normal-conditioning/`
|
||
- 源码提交：`80aeb2093db655329774eff7b32fb6e417b8b40b`
|
||
- 预注册 SHA-256：`b63e6281b6505ca3b60acb467dd0b3fae274cf513dcbfd653649ba52e9ba9740`
|
||
- 仓库分支：`codex/lif-author-semantics-lab`
|
||
|
||
## 固定实验与边界
|
||
|
||
这是用户授权的独立动力学假设分支，不是替换 reference/runtime，
|
||
也不是重新解释旧阶段失败。Phase 1–4AQ 封存产物、base graph、原始权重、
|
||
transmitter sign、14,232-edge mask、eligibility-v2 与 APL 参数保持只读。
|
||
|
||
按既有固定计划执行 physiological / matched-energy、PAM15 / PPL103、
|
||
A+/B− 与 B+/A−、5 个训练重复，共 40 个 block。A 为 4-ethylphenol，
|
||
B 为 3-hexanone。PAM15/PPL103 功能预测是明确的 compartment-specific
|
||
模型假设，不能推广成“所有 PAM 为正、所有 PPL 为负”。
|
||
|
||
7 组实际执行的实验臂为 paired、D=0、frozen、random reward、unpaired、
|
||
CS-only、DAN-only，共 30,000 训练/对照 epoch、3,920 次独立 A/B probe。
|
||
每 epoch 120 ms，CS 为前 100 ms，人工 US 为 90 ms；每轮重置神经状态，
|
||
仅携带经独立 CPU 验证的 plastic delta。Probe 无 US、无学习更新、无反馈。
|
||
|
||
终点固定，不允许根据中间结果改参数、改种子或挑最好条件。普通 acquisition
|
||
通过也不等于已经获得可用学习模型；不会自动启动 reversal、retention、
|
||
delayed reward 或任何游戏、动作解码器、RL、视觉、Web/3D。
|
||
|
||
## 可审计执行
|
||
|
||
当前登记包含 16 份源码、63 项输入身份、33 份准备产物。登记之后不得
|
||
修改这些文件来修复运行中的实验；失败必须保留证据，不能原地改后续试跑。
|
||
|
||
每个子进程先写独占开始记录，再保存真实退出状态、输入/输出 SHA-256、
|
||
不可变顺序账本。部分失败保留，不自动重试。训练依次运行原 brain、
|
||
原 E/U 更新和独立 CPU 重算；不能用父进程中自报成功代替真实退出。
|
||
|
||
仅使用已登记的 RTX 4090，逐次检查 ComfyUI 队列，不停止其他服务。
|
||
新输出上限 256 GiB、磁盘保留至少 100 GiB、单子进程上限 1,800 秒，
|
||
登记期限 21 天。约 9 天仅为少量 AQ 计时的线性规划估算，并非全条件实测。
|
||
|
||
完整性核验与 CPU 测试是工程证据，不是新数值回归，更不是学习证据。
|
||
最终必须另行进行全产物审计、固定学习 gate 分析及旧阶段完整性复核。
|
||
仓库同步源码/文档/小型证据，不等于大体量实验数据已经异机备份。
|
||
|
||
## 后续只读检查
|
||
|
||
已安排本线程每小时检查，仅在实质进展、异常、完成或需人工操作时提醒。
|
||
不自动重试、修补已注册源码、进入后续 assay 或声明学习成功。
|
||
|
||
独立只读工具位于 `tools/normal-conditioning-audit/progress_normal.py`，
|
||
8 项临时数据测试在服务器通过。它读取实际提交账本与最新退出记录，
|
||
不读取大体量脑输出；其进度结果不是完整性报告或科学结论。
|
||
正在执行的 child 在没有真实退出记录时明确保持 UNKNOWN，不能由 PID
|
||
或一个提前写出的 results 文件推定成功。完整 run 完成后仍需最终独立审计。
|
||
|
||
## 终审工具准备进展（不改变正在运行的实验）
|
||
|
||
独立终审工具已完成服务器联合测试：42/42 通过，0 失败、0 跳过。
|
||
其中学习结果判定测试通过冻结的原指标代码生成六神经元合成报告，
|
||
包含正常通过、终点未达 3/5、单一 H 对照来源失败、严格等号不通过等情形。
|
||
这些不是本次真实学习结果，也没有读取中途学习指标。
|
||
|
||
`tools/normal-conditioning-audit/normal_finalize.py check` 已在服务器实测：
|
||
发现注册进程仍在运行后按设计拒绝终审，未创建终审输出目录。
|
||
真正的完整审计和固定 gate 分析只能在全部任务结束、实际退出为 0 后进行。
|
||
终审产物将位于独立的 `phase4ar-normal-conditioning-final-audit/`，
|
||
不会向已完成的原实验目录追加或替换文件。
|
||
|
||
终审保留原账本的全部字段，不改 PASS/FAIL 标志；完成记录在账本检查后
|
||
才生成这一文件边界由单独的真实文件清单核对。任何额外文件、变更、
|
||
未完成进程或来源矛盾均不得被当成完整的学习阳性/阴性结论。
|
||
即便普通 acquisition 通过，delayed/reversal/retention 仍未运行，不能
|
||
生成候选模型、宣称学习已经可用或自动启动后续实验。
|