Digital Drosophila Archive
121 lines
14 KiB
Markdown
121 lines
14 KiB
Markdown
# Phase 4AK：冻结 D18 的验证与解释边界
|
||
|
||
状态：**已完成并封存，`PASS-FROZEN-D18-INDEPENDENT-VALIDATION`。** 两块共 120 个主运行、24 次精确重复及全部预声明门禁通过。本文依据本地已下载、哈希校验的新 AK 最终证据解释结果；这是冻结 D18 分支的表征验证 PASS，不是学习成功或 learned candidate。
|
||
|
||
## 本阶段检验什么
|
||
|
||
检验已经固定的 AJ D18 分支，能否在预声明的新种子和未参与 AG/AJ 校准的六个气味上，继续满足完整原 4L 表征判据。本阶段没有再次选择 delay 或调整 gain，也没有训练、更新塑性权重或产生 learned candidate。
|
||
|
||
两块输入、稀疏请求、源码 SHA、分析规则与停止规则已在任何新脑轨迹前锁定：
|
||
|
||
| 验证块 | 固定输入 | 主运行 | 技术重复 |
|
||
|---|---|---:|---:|
|
||
| `seed_validation` | 原六个 CAL 气味 × 五个预声明种子 × 两种输入模式 | 60 | 12 |
|
||
| `novel_to_aj` | 原静态面板后六个气味 × 同五个种子 × 两种模式 | 60 | 12 |
|
||
|
||
每次仍为 100 ms；模式为 `physiological` 与 `matched_energy`。每气味、每模式重复首种子，重复用于逐位完整性检查，不是额外随机样本。只有种子块的数值、重复及全部原表征门同时通过，才允许启动第二块。未解锁、未执行的条件不记为 PASS；失败不换种子或气味重试。
|
||
|
||
冻结的动力学包括：float64 LIF、float32 legacy graded APL、`dt=0.1 ms`、普通突触延迟 18 步、不应期 22 步、原图与符号/权重/阈值，以及 APL `tau=20 ms`、`gain=0.01`、`normalization=1`。整条生成的 graded-APL `h` 延后 18 步应用，包含其依赖的 PN/KC 实际放电反馈；不是只延后某一种来源。
|
||
|
||
APL 仍在步末、reset 之后无条件写入 KC 的 `g`，不新增不应期守卫；仍先把 `h32` 提升为 float64，再乘 SI 换算系数，最后单独相减。保存起始正零填充及窗口末尾尚未应用的队列槽，不推进额外脑时间来清空尾部。这里的 1.8 ms 是被冻结的工程假设，不是经本阶段测量的生物学参数。
|
||
|
||
## 原六项门禁，不以汇总平均值补救失败
|
||
|
||
每个“验证块 × 模式”分别保留以下六项条件：
|
||
|
||
1. 平均 KC 活跃比例处于闭区间 `[3%, 9%]`。
|
||
2. 所有主运行的 KC 活跃比例最小值严格大于 0。
|
||
3. 所有主运行的最大值严格小于 50%。
|
||
4. 同气味 Jaccard 均值大于异气味 Jaccard 均值。
|
||
5. 异气味欧氏距离均值大于同气味欧氏距离均值。
|
||
6. 至少 3/15 对气味通过各自的分离判据。
|
||
|
||
第六项不是用全体气味的共同基线：每对气味的五个同种子跨气味距离，对照这两个气味各十个种子间距离，合计二十个 within 距离。每个模式共 60 个 within 比较、75 个 between 比较；这些成对统计不是 60/75 个独立生物样本。
|
||
|
||
四个分组须分别通过，不合并十二气味均值来挽救某一分组。原数值完整性、逐位技术重复、generated/applied/pending 时序检查、固定对照、oracle/component 检查、旧冻结完整性及五个参考回归仍是必要条件。科学判据失败与执行不完整分别报告，不调阈值、不换观察窗口、不扫描参数。
|
||
|
||
## 种子与气味的“新”，各有明确范围
|
||
|
||
五个种子为 `1073741825–1073741829`，即 `2^30` 后的首五个正整数。选择依据是预声明静态 namespace 审计与固定算术规则，不依据活动量、可分性或运行成败。
|
||
|
||
静态审计列出了 **217 个本地文件快照**及其哈希；其中 **43 项**有明确的远端路径和 SHA 映射。封存 `prepare.py` 在写入预注册文件前，遍历 `seed-audit.json.inspected_files` 中非空的 `remote_path`，逐项断言远端文件哈希等于该行 `sha256`，再将其合入 `preregistered.json.inputs`。本次本地交叉复核确认：43 项全部出现在预注册的 51 项输入清单中，`path/sha256` **43/43 匹配、0 项不符**；预注册同时记录 `before_new_requests_and_brain_trajectories=true`。没有臆造独立的“43 项 PASS”字段或远端复查日志。
|
||
|
||
对应的 SHA-256 为：`model/seed-audit.json` → `e14c0deb94432787aa1cac7618254aeb3db0bcd5b1d8328e20428496d38b220a`；`model/prepare.py` → `d8b8315f8800b3efdc7548620f0fae85da21a12b753b9985dd623bd529e2c50f`；`protocol/preregistered.json` → `c9cda32a74b45df192824405e65b98571b6febcddd5f63d78e5edefac619b300`。43 项不是完整远端历史，217 项也不是所有历史执行的输入注册表。
|
||
|
||
审计考虑了列出的配置与已解释派生规则，但不覆盖未列出的 server-only 文件、CLI 覆写、终端历史、其他分支/版本、外部调用者或其他用户运行。因此准确说法是“在声明的静态审计范围内未发现重用”，不是“全历史绝对独立”。新整数也不证明 PRNG 流在统计上独立。跨气味、模式及两块继续共享同一组种子，是配对设计，不是彼此独立的生物重复。
|
||
|
||
旧 4L 代码曾遍历完整十二气味面板。因此后六气味只称 **“未参与 AG/AJ 校准的气味”**，不能称“项目历史从未模拟的气味”。本阶段可读取固定面板、外部响应向量、静态 selection 与 PN 映射；不能提前解析旧 heldout 动态结果或混合结果表来挑选输入。完整性哈希读取不透明文件字节，也不授权解析那些旧结果。
|
||
|
||
## matched energy 匹配的是预期输入
|
||
|
||
输入编码、PN 目标及 RNG 列顺序沿用原规则。`matched_energy` 仍使用完整原十二气味面板的固定中位数 `2.556107997894287`，不对任一六气味子集重算，也不按脑活动重新缩放。
|
||
|
||
此模式匹配的是编码器定义下的**预期请求输入量**，不是每次实际生成的请求数、实际接受的请求数或闭环全脑总活动。随机抽样会造成实现值变化；不应期状态也影响请求接受。不能把“matched”解释为各次实际事件、有效输入或抑制积分严格相同，更不能事后补发请求以强制相同。
|
||
|
||
## 数值验证能证明到哪里
|
||
|
||
新阶段直接调用 SHA 固定的封存 AJ 数值实现，不修改旧模块 globals 或动力学。本阶段完成了两个原 D18 全图输入的逐位身份对照，以及每个验证块首气味、首种子、两种模式的四个 Brian 全图 probes，均通过；六份对应的 component 审计全部通过。probe 的 GPU 运行计入对应六十个主运行，不能重复算为独立样本。
|
||
|
||
Brian 一侧独立推进 LIF、实际放电和 FIFO，但 graded APL 算术有意共享冻结的 legacy 组件，并另做原始操作的 component/AST 审计。有限 probes 不能被表述为所有输入、所有硬件或全组件独立 CPU/GPU 等价证明。旧八夹具属于源代码固定的继承证据，不声称本阶段重新运行了八夹具。
|
||
|
||
旧 fast-APL 屏蔽仍覆盖 5,845 条出边，graded 替代只作用于 KC；其中 **1,212 条非 KC 出边没有 graded 替代**。本阶段没有修复这一作用范围缺口。即使验证通过，也不证明 upstream AL 环路已得到生物学确认，不证明单一来源具有因果必要性。
|
||
|
||
## 最终结果
|
||
|
||
以下四模式表来自封存的 `validation/<cohort>/summary.json` 及模式摘要。显示值作舍入，门禁按未舍入数据计算。四个分组均通过原六项条件；3–9% 约束是各分组的**均值**范围，不要求每个运行都至少 3%。
|
||
|
||
| 验证块 | 模式 | KC 比例均值 / 最小 / 最大 | 同 / 异气味 Jaccard | within / between 欧氏距离 | 通过气味对 | 完整六门 |
|
||
|---|---|---|---|---|---|---|
|
||
| `seed_validation` | physiological | 3.4670% / 2.4360% / 4.4291% | .543794 / .487243 | 9.106586 / 9.867235 | 12/15 | PASS |
|
||
| `seed_validation` | matched_energy | 3.4564% / 2.5098% / 4.2815% | .523960 / .498134 | 9.350120 / 9.710761 | 11/15 | PASS |
|
||
| `novel_to_aj` | physiological | 3.2767% / 2.4114% / 4.2077% | .511063 / .444272 | 9.307078 / 10.158885 | 14/15 | PASS |
|
||
| `novel_to_aj` | matched_energy | 3.2579% / 2.4114% / 4.2077% | .523955 / .449042 | 9.102812 / 10.059135 | 14/15 | PASS |
|
||
|
||
- 最终状态为 `PASS-FROZEN-D18-INDEPENDENT-VALIDATION`；`numerical_gate_pass`、`seed_validation_pass`、`novel_to_aj_pass` 均为 true。
|
||
- 计划、实际完成及有效聚合的主运行均为 **120**；精确重复 **24/24**。两块各完成 60+12，没有以技术重复增加种子样本数。
|
||
- `novel_dynamics_executed=true`、`novel_unlock_policy_violation=false`，`stopped=[]`：种子块通过后解锁第二块，没有已记录的违规解锁或停止事件。
|
||
- D18 身份对照 **2/2**、Brian probes **4/4**、component 审计 **6/6**、独立重算的重复检查 **24/24** 通过。此处数量仍受前述有限 probes、共享 APL 算术的证明范围约束。
|
||
- `regression/old-integrity-after.json` 对原清单 **230,239** 个文件及后续 **AA–AJ** 纳入链条的模型、实验和相关 registry 全部给出 `pass=true`、空 `mismatches`。按原完整性契约排除缓存、venv 等项目；不能把它改述为整台服务器所有文件均被检查。
|
||
- `regression/frozen-five.json` 的 `pass_all=true`；五个旧 deterministic-v2 参考为 auditory-10hz、auditory-100hz、olfactory-50hz、mechanosensory-50hz、gustatory-50hz。每项的 `step/neuron_idx/counts/v/g` 均 `exact=true`，记录的 dtype/shape 一致。这验证旧参考未漂移，不把旧 float32 参考误说成 D18 新动力学的额外 oracle。
|
||
|
||
### 测试及保留的警告
|
||
|
||
封存的服务器 `regression/unit-tests.log` 明确记录 **48 tests / OK**，配套 JSON 为 `exit_code=0`、`pass_all=true`；日志 SHA 为 `5206333f1a31fc62671ebe6bdba02f3b2b2f0303f6009e905d7ca94bdc2a666f`。
|
||
|
||
本轮执行会话另外记录：本地模型测试 **48/48**，本地与服务器发布/下载工具测试各 **51/51**（本地 28.230 s、服务器 1.642 s）。这些本地及工具测试结果只有会话控制台记录，**未纳入科学 seal，也没有对应的独立仓库日志文件**；不得虚构证据路径。这些是操作与合成测试，不替代科学门禁。
|
||
|
||
同一轮 `verify_frozen.py` 控制台仍出现旧 `phase4c.py:308` 的 `torch.as_tensor` 读取只读 NumPy 数组警告；原源码未因本阶段而修改，警告保留，不写成“无警告”。同一进程的五个参考检查均逐位通过。警告的原始记录在本轮执行会话中，未纳入独立封存日志；逐位参考结果则保存在上述封存 JSON。
|
||
|
||
本轮 Git 格式检查也有非数值提醒：默认规则返回 2，报告 16,237 项，其中 16,236 项是封存 `requests.csv` 的 CRLF 换行被识别为尾空白。以一次性 `core.whitespace=blank-at-eol,blank-at-eof,space-before-tab,cr-at-eol` 识别 CRLF 后，仅剩已登记 `models/male-cns-lif/apl-timing-validation-v1/seed-audit.json:9314` 的末尾空行。没有修改仓库配置或任何封存字节来消除提醒；不能写成“格式检查零提醒”。其余新模型、工具及文档无空白格式异常。实际暂存的 1,305 个模型/registry Git blobs 已按外部回执锚与封存清单逐一校验通过，格式提醒不改变科学 PASS。
|
||
|
||
### 封存、发布与本地证据
|
||
|
||
发布器记录对模型与实验完整 payload 在复制前后重新验证：模型 **17 个文件、526,864 B**；实验 **2,899 个文件、6,154,144,988 B**。这是 manifest payload 数量和字节数，按封存契约不含自引用 seal 控制文件。
|
||
|
||
发布回执 `copied_evidence_files=1283`、`copied_evidence_bytes=4895616`，即复制了 **1,283 个小证据/控制文件、4,895,616 B**。随后本地下载校验覆盖 **1,302 个文件，另加发布回执**；`selected_bytes=6591818`，该字节数包含回执。两份 manifest 自校验和每个实际下载文件的 SHA 均通过。发布/下载的这些计数口径不同，不能相加当作科学样本数。
|
||
|
||
| 证据 | SHA-256 |
|
||
|---|---|
|
||
| 最终 `audit/final-status.json` | `c49181086ecbd19511b9f1e783afea8f66d0f74348a7b70d7f6c5fa99b4337fc` |
|
||
| 模型 `model/manifest.json` | `3206a8666718b4a99e09b8384c87dd25895b5d7038d23fad7b93e40379183ccb` |
|
||
| 实验 `manifest.json` | `25eb7e467eb17c3fa83ffee2e4e82b754f161fd8891e515bed23eeb500c5656d` |
|
||
| 发布回执 `registry/publication-receipt.json`，亦为下载器必填的外部锚 | `37e85d7f264b844d481aa290918a10c56dfbecdfc7786862166f91d361bf4e62` |
|
||
|
||
这些哈希已在本地重新计算并与回执/下载校验记录交叉核对。五参考报告 SHA 为 `020fc362e70c4c0670e200783a8d1682f167f862e59840e8b8d80a4688e22433`；旧完整性报告 SHA 为 `273d4581cb15fb5da851ce19ee005abc15b265fbad4bd0a5bd8738e307fec2d0`。
|
||
|
||
发布成功与小证据下载校验不是科学 PASS；小文件证据包不是完整轨迹备份。本地没有下载并重新哈希全部大型轨迹，完整远端 payload 的前后验证由发布回执记录。正式科学 PASS 来自新阶段原始证据重算和最终门禁，而不是复制成功。
|
||
|
||
本阶段所有预声明验证块已执行并通过；没有用合并均值挽救失败模式，也没有因结果替换气味、种子或参数。结果支持冻结 D18 在这组新种子及校准未用气味上的表征外推，不支持更宽的全输入、全部硬件、真实生理机制或学习能力声明。
|
||
|
||
## 即使全部通过，也不等于学习完成
|
||
|
||
本阶段未更新 eligibility-v2，未改变 14,232 条塑性边 mask，未执行 conditioning，未生成 learned candidate，也未连接游戏、decoder、RL 或 reward 接口。最终记录中 `learning_achieved=false`、`candidate_generated=false`、`full_scientific_goal_achieved=false`。
|
||
|
||
**下一关 credit specificity 与真实 KC→MBON 功能传递尚未执行。** 后续还须独立验证全脑刺激特异输出，以及带控制的 conditioning；这些是后续门禁，不是本阶段已经取得的结果，不因本轮 PASS 而自动解锁为学习成功。
|
||
|
||
## 稳定依据与填表来源
|
||
|
||
稳定设计依据为模型目录 `models/male-cns-lif/apl-timing-validation-v1/` 下的 `PROTOCOL.md`、`config.json`、`SEED-AUDIT.md`、`seed-audit.json` 与 `validation.py`。原指标定义来自固定 SHA 的 AG `calibration.py` 与旧 4L `representation`；时序及重复检查来自固定 SHA 的 AJ 实现。
|
||
|
||
表格与封存结论仅使用新实验 `experiments/phase4ak-apl-timing-validation/` 下的 `validation/<cohort>/summary.json`、各模式摘要、相关 audit/regression 证据及最终 seal。发布凭据在 `registry/phase4ak-apl-timing-validation/`，已校验的本地小证据位于 `23-ai-gpu/reports/phase4ak-apl-timing-validation/`；工具测试和旧 NumPy 警告的会话来源另行明确标注。以封存哈希和外部回执锚确认版本，不以文件名、阶段名称或本文替代证据。
|