Phase 4AN：条件化接口的生物学证据与解释边界

状态：未注册 DRAFT；不是实验结果、科学 PASS 或学习候选声明。
日期：2026-09-30（Asia/Shanghai）。

本文件记录为后续协议准备的一手文献核对。未修改冻结的脑、符号策略、4J eligibility-v2、mask、eta 或受体假设；未运行远端实验。文献证据不能代替新实验的完整门禁。

1. 本地身份、文献类型和具体个体必须分层

冻结 H 的静态身份依据是 annotation_class、annotation_type、annotation_instance 中精确的 compartment token，以及真实 KC→MBON 和 DAN→MBON 边；不是根据 PAM/PPL1 前缀猜测效价或 compartment。可读源码依据为 ../models/male-cns-lif/phase4h.yaml 的 audit/conditioning 字段、phase4h.py 的 mask/confirmed-DAN 加载，以及 phase4h_reinforcement_provenance.json。

下表本地索引、body ID 和侧别是本轮协调者从冻结 H mask/metadata 的实际静态查询确认的目标集合，不是文献记录的实验个体。对应冻结 H 文件为 /data/digital-drosophila/experiments/phase4h-dopamine-plasticity/plastic-mask/plastic-edge-candidates.parquet，协调者提供的 SHA256 为 e5075ee3e5a0edf3a4d197453847163cc295b254f21c67203159bba204b12a76。本次文献核对没有重新下载该表。正式注册仍须将完整静态映射、来源路径及 SHA 与 mask 一同绑定；不得把本表作为绕过静态核验的硬编码替代。

本地类型与精确 token	固定本地 neuron_idx	已提供的本地 body ID	文献类型对应
MBON01 / `y5B'2a`	`9, 130579`	`9 → 10013`；`130579 → 520151`	MBON-01 = MBON-γ5β′2a
MBON12 / `y2a'1`	`130136, 131044, 3477, 3513`	`130136 → 519368 (R)`；`131044 → 521086 (R)`；`3477 → 13728 (L)`；`3513 → 13768 (L)`	MBON-12 = MBON-γ2α′1

文献编号与名称的对应来自 Aso 等，2014，解剖论文 Table 1。ASCII token 与希腊字母类型名的对应是本项目跨数据集映射层的一部分，不证明每个 MaleCNS body 的生理效应、性别适用性、行为效价或受体组成。文献不能提供这些本地 neuron_idx/body ID 的身份核验。

冻结 mask 仍为 14,232 条边、四个精确 compartment；另外的 MBON07/a1 四个细胞和 MBON02/B2B'2a 两个细胞不会因为是 mask 成员而被自动赋予与下面两组相同的行为功能，也不因本次聚焦而从 mask 删除。

2. MBON01 与 MBON12 的一手功能证据

Stahl 等在同一条件化实验框架中测得，食欲条件化后 MBON-γ5β′2a 的 CS+ 相对 CS− 响应降低；论文将该 compartment 的输出联系到 avoidance-promoting MBON。该结果支持“减少这一类型的条件气味输出可能产生 appetitive-like 偏移”，不证明所有条件下它都是单一行为开关。Stahl 等，2022，Figure 5 及 Figure 5—figure supplement 1

较早的光遗传行为实验包含表达于多个 M4/M6 MBON 类型的驱动系；不能把多类型联合激活结果重述为每个 MBON01 个体的独立因果验证。Aso 等，2014，行为论文 Table 2 与 Figures 2–5

Aso 等明确报告激活 MBON-γ2α′1 可引起趋近。Berry 等在气味与电击配对后观察到该 MBON 对 CS+ 的响应特异性抑制，未配对／气味和 US 分离的控制不产生相同结果；同一 DAN 的后续刺激还可恢复已抑制响应。因此这里有类型特异的趋近相关输出和厌恶记忆证据，但不支持“DAN 的任何刺激只会继续 LTD”。Aso 等，2014，行为论文 pp.26–27；Berry 等，2018，Figures 2–4

Stahl 等还观察到食欲条件化后 MBON-γ2α′1 的相对 CS+ 响应提高，但不能明确全部归因于 CS+ potentiation 或 CS− depression；不能用该结果论证所有相关 plasticity 都是单向 LTD。Stahl 等，2022

3. 两个人工 US 接口只具有预先声明的 like 解释

固定的源类型与 compartment 接口	类型层面的预期	不可升级成的结论
PAM15 → `y5B'2a` / MBON01	若目标气味的相关 KC 输入发生 LTD，可预期 avoidance-related 输出相对减弱，即 appetitive-like 输出偏移	PAM15 全体天然奖励、所有 PAM 为正效价、这些本地细胞已经证明奖赏学习
PPL103 → `y2a'1` / MBON12	若目标气味的相关 KC 输入发生 LTD，可预期 approach-related 输出相对减弱，即 aversive-like 输出偏移	所有 PPL1 为负效价、DAN 任意刺激均是惩罚、这些本地细胞已经证明厌恶学习

PAM15 不是 PAM01 的同义词。 Li 等把 PAM15（γ5β′2a）列为相对既有分类新增的一类；PAM01 对应 γ5，PPL103 对应 γ2α′1。旧文献中 PAM-γ5/PAM01 的全部奖励结果不能不经核对就转记为 PAM15 特异性证据。Li 等，2020，DAN 分类、Figure 6 与 Figures 35–36；同文图表页

这里的 D 仍是冻结规则中的人工标量命令，不是测得的 dopamine 浓度，也不是由实际 DAN spike/接受刺激自动推定的生物学门控。命令、刺激是否被接受、实际 DAN events、选定 compartment 与权重更新必须分别记录。两个接口共用既定 polarity = −1；不因为接口名字不同而翻转 D、eta、base sign 或下游权重。

4. 顺序和时间窗证据不等于冻结参数的数值标定

Hige 等在 γ1pedc 测得正向配对后的抑制；气味改为在最后一束 DAN 激活光后 0.5 秒开始的 backward protocol 未产生同样变化。这是特定 compartment 和刺激协议的结果，不是所有类型的通用截止时间。Hige 等，2015，Figure 1
Aso–Rubin 显示，单一 DAN 类型可因相对气味的刺激时序不同而写入、削弱或改变记忆效价；不同 compartment 的学习和更新规则并不相同。Aso–Rubin，2016
Handler 等在其协议中测得 forward pairing 对应 depression、backward pairing 对应 potentiation，并观察到 PAM/PPL 群均可随时序改变行为偏移方向。这阻止我们把 PAM/PPL 名称当作固定效价开关；本项目不据此加入新受体、LTP 或重设参数。Handler 等，2019

出版年复核：该文正式题名为 Distinct Dopamine Receptor Pathways Underlie the Temporal Sensitivity of Associative Learning，刊于 Cell，2019-06-27，178(1):60–75.e19，online publication 为 2019-06-20，DOI 为 10.1016/j.cell.2019.05.040。PubMed 原文书目记录 PMID 31230716 明确同时关联 PMC9012144。因此本草稿保留 2019；旧材料中的 2022 不是本论文正式出版年，本次不修改旧冻结材料，也不猜测该旧标注的来源。

冻结 4J eligibility-v2 的 τ = 100 ms、trace cap = 1、eta = 0.00275 mV、polarity = −1、最多 25% depression 仍是既定 causal-LTD 工程假说，不是上述论文为当前全脑提供的定量标定。负时序零更新和 +1000 ms/零延迟比例门只验证冻结规则的一致性；不能据此声称复现了生物学 relief learning、受体机制、bidirectional plasticity 或遗忘。4J 中另列的 bidirectional branch 也不是本接口可偷偷启用的替代规则。

5. 固定 B/S：新的离线分析约定，不是 decoder

首要输出应保留每个目标细胞的原始 spike/count/rate、训练前后变化，以及两个类型各自的结果。可供正式协议审议的固定类型对比为：

R12(o) = mean of the fixed four MBON12 cells' rates for odor o
R01(o) = mean of the fixed two MBON01 cells' rates for odor o
B(o)   = R12(o) - R01(o)
DeltaB(o) = B_post(o) - B_pre(o)
S = DeltaB(CS+) - DeltaB(CS-)

所有项使用预先锁定的同一评估窗，分别按类型取均值，避免四个 versus 两个细胞的数量差异直接决定符号。CS+/CS− 的角色须事先指定并 counterbalance，不能根据结果挑选气味方向、细胞或 seed。

这是新的、需要预注册的离线分析约定；不是文献给出的定量行为公式，不进入动力学、不拟合权重或阈值、不构建选择策略、classifier 或 decoder，也不替换旧封存指标。它不要求未训练 B = 0，不把 spike rate 等同于真实选择概率。

两个接口永远使用同一个 B 方向：PAM15 分支的假说是 S > 0，PPL103 分支的假说是 S < 0。不得按接口乘效价符号把所有结果改成“正值即成功”，不得取绝对值掩盖方向错误。若反馈使方向相反，应报告为该假说的反证，不改读出或重命名接口。还须与实际运行的预注册控制比较；单独 S 的方向、MBON separation 增大或权重改变都不构成完整 learning PASS。

6. 正式协议不可省略的解释门

文献类型功能、本地精确身份、人工 US 命令、实际 DAN 激活和实际 KC→MBON 更新须为不同证据字段；任何一层未知都不得用另一层填补。
冻结脑与 v2 不变；不得新设 receptor sign、改变 eta、扩 mask、选择最有利 compartment、挑训练 checkpoint 或把 direct/static25 诊断作为条件化本身。
paired、unpaired、zero-D、frozen、CS-only、DAN-only 应为真实执行控制，不是 summary 中的标签；独立评估 seeds 和预先锁定的 cue 角色不能在看到结果后改变。
必须区分 weight update、实际 MBON 响应变化、类型对比方向和下游功能传递。纯 separation 可能在错误方向上增大；“appetitive-like/aversive-like”不能在没有对应证据时升级为行为学习结论。
本文件不新增 success threshold；完整通过条件应由尚待注册的协议明示，并保留失败、无效应和反向结果。没有训练结果就不生成 learned candidate。

浏览核对仅采用上列原始研究的期刊、官方 PDF 或 PMC 全文。没有把综述、搜索摘要的二次推断、Google FlyBody 或其他身体运动项目作为本阶段学习机制证据。

10 KiB Raw Permalink Blame History Unescape Escape