“所以，你放弃了用一个上帝视角的模型去恢复完整的故障生成机制。选择退一步，只在可辨识的范围内，做最严格的保守分类。”
“对。”江临点头。
“从工程上看，这样会损失掉不少也许包含有用信息的弱相关边。”教授指出了代价。
“代价是值得的。”江临却不准备退让，“因为这样做，可以保证我们永远不会把一条连来源都没弄清楚的幽灵边，包装成不可反驳的物理事实，喂给下游的解码算法。”
教室里再次响起了密集的键盘敲击声。
刚才那位提出动态贝叶斯网络的博士生，已经完全放弃了反驳，正以前所未有的专注度，将江临画出的那张包含四层元数据结构的因果拓扑图，逐个节点地抄进自己的电子笔记里。
但依然有人没有放弃思考。
坐在边缘位置的一名博士生举手抛出了新的变量。
“江临，你刚才提到的校准窗口和复位事件，在真实的物理实验中，并不是像掷骰子一样随机发生的。实验人员往往是在监控到系统状态明显恶化、错误率飙升以后，才会手动触发校准。”
这名博士生的目光很锐利。
“这就意味着，你观察到相关结构在校准前后发生了变化，很可能并不是因为校准动作本身改变了系统，而是因为底层噪声在校准前就已经发生了剧变。你的因果干预里，存在着严重的选择偏差和混杂！”
“这个逻辑完全成立。”
江临看着他，赞赏地点了点头，随后直接在代表外部干预的第四层旁边，补上了一条极为关键的标记条件。
【触发原因】
“如果我们在数据层面拿不到每次校准动作的具体触发原因，那么将校准视为独立干预的解释链条，确实在逻辑上是不完整的。”
“但如果实际实验日志里根本没有这个字段呢？”那名学生一针见血地指出了现实困境。
“所以，在拿到这个字段之前，最终归因的程序，一步都不能启动。”江临似笑非笑。
一旁的教授却忍不住笑了出来，打趣道：“江临，你原本只是来旁听，听了半个小时，又顺手给这类数据分析补出了一项新的入口条件。”
后排几个学生没忍住，轻轻笑出了声。
江临也略显无奈地放下了粉笔。
这真不是他故意刁难外部合作团队。
但在数学的法庭上，逻辑的严密性是不容讲人情的。
如果校准动作总是伴随着某类特定异常才启动，那么它就失去了作为无条件外部干预的资格。
如果忽略这个冷冰冰的事实，后续所有的统计算法，都会把系统自身的恶化趋势，错误地归因给实验员的校准动作。
教授拍了拍手，把全场的注意力重新拉回讲台。
“还有谁能继续找出漏洞的，趁他还在黑板前面，抓紧时间。”
一名坐在侧面，一直没怎么发言的女生举起了手。
“即便实验团队能够把触发原因一字不差地补齐，物理层和读出层之间，在时间演化上依然可能存在极其复杂的反馈循环。比如读出误差导致控制系统执行了错误的校正操作，而这个错误的校正，反过来又在物理上改变了下一轮测量的syndro分布。”
“那就证明，我们不能再单纯地把每一轮的测量数据，看成独立同分布的样本集了。”江临几乎秒答。
“解决办法呢？”女生追问。
“必须把系统的所有控制动作，全部作为实体节点，强制放进时间展开图里。”
“连解码器实时输出的校正指令也要放进去？”
“必须放进去。”
女生愣了一下：“可是如果连控制流都放进去，这早就不是一张单纯的噪声相关图了。”
“它本来就不该只是一张单薄的相关图。”
江临转过身，用粉笔将黑板左上角那两个最初画下的最简单的相关节点，圈了起来。
“外部团队真正面临的困境，根本不是哪两盏灯经常一起亮这种表面现象。”
“他们真正需要知道的，是在当前数据的边界内，到底有哪些因果路径可以被排除。而又有哪一些路径，是现有的观测手段永远无法触及的盲区。”
教授走上前，拿起另一支粉笔，在江临画出的庞大四层结构下方，写下了一行极其有分量的英文总结。
【Identifiability before decoder Update】
（在更新解码器之前，先审查物理上的可辨识性。）
“这句话，可以作为我们今天这堂高阶讨论课的最终结论。”
教授看着全场学生，语重心长地说道。
“过去这几年，整个领域的人都陷入了一个怪圈。大家习惯于先去无脑拟合一个参数越来越复杂的庞大噪声模型，然后再拿到仿真器里去比较解码性能谁更好。”
“但是，参数拟合得更好看，完全不代表模型对底层物理真相的解释更真实。”
教授转过头，看向站在一旁的江临。
“你最近大半年的工作，本质上一直在重复做同一件事。”
“在bb(5)的证明里，你没有只盯着机器继续跑，而是先质问，非停机证书凭什么能被核验器相信。”
“现在到了量子纠错领域，你又开始替所有人质问，一条依靠统计计算出来的相关边，凭什么就能堂而皇之地被解码器当成真实的物理噪声结构？”
前排那名最开始搭话的博士生，对着旁边的同学压低了声音，语气里满是叹服：“我收回我之前的话，他今天真的就是来拆题的。”
旁边的人苦笑着接了一句：“知足吧，人家好歹还安静地坐着听了半节课，已经算是非常客气了。”
教室里爆发出一阵轻松但充满回味的笑声。
墙上的电子钟显示，这节课已经拖堂超过了十分钟。
门外走廊上，下一节课的学生已经开始探头探脑地往里看。
“今天就先讨论到这里。”
教授挥了挥手宣布下课。
“大家注意，黑板先别擦。拍完照以后，值日生把刚才这套不可辨识模型和四层元数据干预结构整理成清晰的文档，发到我们课程的共享目录里。谁如果能在周末想出新的反例，随时往上补充。”
教授合上自己的笔记本电脑，最后看向江临。
“你手里如果正好有符合这类结构的真实数据，在安全边界允许的情况下，能不能帮这门课单独设计一份小型的因果辨识练习集？”
“原始实验数据存在保密要求，只能在隔离盘操作，没办法进入校内公共课程环境。”江临无奈地拒绝道。
“那就用你的算法，自己造一批符合相同因果拓扑的高保真合成数据，怎么样？”教授显然不想轻易放过薅江临羊毛的机会。
“这个可以。”
台下各种型号的电脑开始纷纷合盖。
有人挤到黑板前面，举起手机对着江临留下的板书拍照。
也有几个人站在旁边，依然对着那两套生成模型指指点点，试图寻找破绽。
刚才那个指出校准触发选择偏差的博士生，挤出人群，将自己写满了推导公式的草稿纸递给江临。
“江临，我刚才想了一下，如果我们能把校准动作的触发，看成一个可观测的选择变量，也许在统计上，我们可以先做一层条件不变性检验。”
江临接过那张带着体温的草稿纸，目光迅速扫过上面的几行核心公式。
“逻辑上可行，但前提是，实验人员的触发策略规则，在整个长达几个月的数据采集周期内，没有发生过任何中途的修改。”
“所以，你还得找他们要完整的策略变更版本控制记录？”
“对。”江临把草稿纸还给他。
博士生长长地叹了一口气，语气里充满了对远在中科大的那支实验团队的同情。
上午十点四十七分。
人群终于散尽，教室彻底清空。
江临从信息科学技术楼里走出来，走到楼外一处安静的长椅旁坐下，迎着深秋微凉的风，在平板上第一次打开昨晚进入固定窗口的那份六页元数据摘要。
对方这次补齐的六类信息字段，经过课堂上的那场推演后，在他的脑海中被重新分成了两组截然不同的阵营。
第一组，负责描述这个封闭系统在空间上的静态结构。
【物理邻接拓扑】
【稳定子类型】
【读出电子学分组】
第二组，负责描述这个系统在什么时候发生了校准、复位、重新同步或记录缺失。
【校准时间窗口】
【复位与重新同步指令】
【丢帧与空缺边界】
他伸出手指，在第二组的末尾又新增了两项严苛的索求。
【校准与复位动作的详细触发原因记录】
【底层解码与硬件控制策略的版本变更日志】
随后，他调出终端界面，新建了一份全新的处理草案。
文件命名——
【Syndro_Identifiability_test_v0.1】
（错误症状因果可辨识性审查协议_v0.1）
随后在这个即将决定两百万条数据命运的文件第一页，他写下五个前提条件。
【严格禁止在未审查状态下，跨越不同的校准窗口直接累计相关性统计参数。】
【必须分别在物理邻接图、读出分组图与时间控制演化图上，追踪每一条相关边的生命周期。】
【将所有的校准
“对。”江临点头。
“从工程上看，这样会损失掉不少也许包含有用信息的弱相关边。”教授指出了代价。
“代价是值得的。”江临却不准备退让，“因为这样做，可以保证我们永远不会把一条连来源都没弄清楚的幽灵边，包装成不可反驳的物理事实，喂给下游的解码算法。”
教室里再次响起了密集的键盘敲击声。
刚才那位提出动态贝叶斯网络的博士生，已经完全放弃了反驳，正以前所未有的专注度，将江临画出的那张包含四层元数据结构的因果拓扑图，逐个节点地抄进自己的电子笔记里。
但依然有人没有放弃思考。
坐在边缘位置的一名博士生举手抛出了新的变量。
“江临，你刚才提到的校准窗口和复位事件，在真实的物理实验中，并不是像掷骰子一样随机发生的。实验人员往往是在监控到系统状态明显恶化、错误率飙升以后，才会手动触发校准。”
这名博士生的目光很锐利。
“这就意味着，你观察到相关结构在校准前后发生了变化，很可能并不是因为校准动作本身改变了系统，而是因为底层噪声在校准前就已经发生了剧变。你的因果干预里，存在着严重的选择偏差和混杂！”
“这个逻辑完全成立。”
江临看着他，赞赏地点了点头，随后直接在代表外部干预的第四层旁边，补上了一条极为关键的标记条件。
【触发原因】
“如果我们在数据层面拿不到每次校准动作的具体触发原因，那么将校准视为独立干预的解释链条，确实在逻辑上是不完整的。”
“但如果实际实验日志里根本没有这个字段呢？”那名学生一针见血地指出了现实困境。
“所以，在拿到这个字段之前，最终归因的程序，一步都不能启动。”江临似笑非笑。
一旁的教授却忍不住笑了出来，打趣道：“江临，你原本只是来旁听，听了半个小时，又顺手给这类数据分析补出了一项新的入口条件。”
后排几个学生没忍住，轻轻笑出了声。
江临也略显无奈地放下了粉笔。
这真不是他故意刁难外部合作团队。
但在数学的法庭上，逻辑的严密性是不容讲人情的。
如果校准动作总是伴随着某类特定异常才启动，那么它就失去了作为无条件外部干预的资格。
如果忽略这个冷冰冰的事实，后续所有的统计算法，都会把系统自身的恶化趋势，错误地归因给实验员的校准动作。
教授拍了拍手，把全场的注意力重新拉回讲台。
“还有谁能继续找出漏洞的，趁他还在黑板前面，抓紧时间。”
一名坐在侧面，一直没怎么发言的女生举起了手。
“即便实验团队能够把触发原因一字不差地补齐，物理层和读出层之间，在时间演化上依然可能存在极其复杂的反馈循环。比如读出误差导致控制系统执行了错误的校正操作，而这个错误的校正，反过来又在物理上改变了下一轮测量的syndro分布。”
“那就证明，我们不能再单纯地把每一轮的测量数据，看成独立同分布的样本集了。”江临几乎秒答。
“解决办法呢？”女生追问。
“必须把系统的所有控制动作，全部作为实体节点，强制放进时间展开图里。”
“连解码器实时输出的校正指令也要放进去？”
“必须放进去。”
女生愣了一下：“可是如果连控制流都放进去，这早就不是一张单纯的噪声相关图了。”
“它本来就不该只是一张单薄的相关图。”
江临转过身，用粉笔将黑板左上角那两个最初画下的最简单的相关节点，圈了起来。
“外部团队真正面临的困境，根本不是哪两盏灯经常一起亮这种表面现象。”
“他们真正需要知道的，是在当前数据的边界内，到底有哪些因果路径可以被排除。而又有哪一些路径，是现有的观测手段永远无法触及的盲区。”
教授走上前，拿起另一支粉笔，在江临画出的庞大四层结构下方，写下了一行极其有分量的英文总结。
【Identifiability before decoder Update】
（在更新解码器之前，先审查物理上的可辨识性。）
“这句话，可以作为我们今天这堂高阶讨论课的最终结论。”
教授看着全场学生，语重心长地说道。
“过去这几年，整个领域的人都陷入了一个怪圈。大家习惯于先去无脑拟合一个参数越来越复杂的庞大噪声模型，然后再拿到仿真器里去比较解码性能谁更好。”
“但是，参数拟合得更好看，完全不代表模型对底层物理真相的解释更真实。”
教授转过头，看向站在一旁的江临。
“你最近大半年的工作，本质上一直在重复做同一件事。”
“在bb(5)的证明里，你没有只盯着机器继续跑，而是先质问，非停机证书凭什么能被核验器相信。”
“现在到了量子纠错领域，你又开始替所有人质问，一条依靠统计计算出来的相关边，凭什么就能堂而皇之地被解码器当成真实的物理噪声结构？”
前排那名最开始搭话的博士生，对着旁边的同学压低了声音，语气里满是叹服：“我收回我之前的话，他今天真的就是来拆题的。”
旁边的人苦笑着接了一句：“知足吧，人家好歹还安静地坐着听了半节课，已经算是非常客气了。”
教室里爆发出一阵轻松但充满回味的笑声。
墙上的电子钟显示，这节课已经拖堂超过了十分钟。
门外走廊上，下一节课的学生已经开始探头探脑地往里看。
“今天就先讨论到这里。”
教授挥了挥手宣布下课。
“大家注意，黑板先别擦。拍完照以后，值日生把刚才这套不可辨识模型和四层元数据干预结构整理成清晰的文档，发到我们课程的共享目录里。谁如果能在周末想出新的反例，随时往上补充。”
教授合上自己的笔记本电脑，最后看向江临。
“你手里如果正好有符合这类结构的真实数据，在安全边界允许的情况下，能不能帮这门课单独设计一份小型的因果辨识练习集？”
“原始实验数据存在保密要求，只能在隔离盘操作，没办法进入校内公共课程环境。”江临无奈地拒绝道。
“那就用你的算法，自己造一批符合相同因果拓扑的高保真合成数据，怎么样？”教授显然不想轻易放过薅江临羊毛的机会。
“这个可以。”
台下各种型号的电脑开始纷纷合盖。
有人挤到黑板前面，举起手机对着江临留下的板书拍照。
也有几个人站在旁边，依然对着那两套生成模型指指点点，试图寻找破绽。
刚才那个指出校准触发选择偏差的博士生，挤出人群，将自己写满了推导公式的草稿纸递给江临。
“江临，我刚才想了一下，如果我们能把校准动作的触发，看成一个可观测的选择变量，也许在统计上，我们可以先做一层条件不变性检验。”
江临接过那张带着体温的草稿纸，目光迅速扫过上面的几行核心公式。
“逻辑上可行，但前提是，实验人员的触发策略规则，在整个长达几个月的数据采集周期内，没有发生过任何中途的修改。”
“所以，你还得找他们要完整的策略变更版本控制记录？”
“对。”江临把草稿纸还给他。
博士生长长地叹了一口气，语气里充满了对远在中科大的那支实验团队的同情。
上午十点四十七分。
人群终于散尽，教室彻底清空。
江临从信息科学技术楼里走出来，走到楼外一处安静的长椅旁坐下，迎着深秋微凉的风，在平板上第一次打开昨晚进入固定窗口的那份六页元数据摘要。
对方这次补齐的六类信息字段，经过课堂上的那场推演后，在他的脑海中被重新分成了两组截然不同的阵营。
第一组，负责描述这个封闭系统在空间上的静态结构。
【物理邻接拓扑】
【稳定子类型】
【读出电子学分组】
第二组，负责描述这个系统在什么时候发生了校准、复位、重新同步或记录缺失。
【校准时间窗口】
【复位与重新同步指令】
【丢帧与空缺边界】
他伸出手指，在第二组的末尾又新增了两项严苛的索求。
【校准与复位动作的详细触发原因记录】
【底层解码与硬件控制策略的版本变更日志】
随后，他调出终端界面，新建了一份全新的处理草案。
文件命名——
【Syndro_Identifiability_test_v0.1】
（错误症状因果可辨识性审查协议_v0.1）
随后在这个即将决定两百万条数据命运的文件第一页，他写下五个前提条件。
【严格禁止在未审查状态下，跨越不同的校准窗口直接累计相关性统计参数。】
【必须分别在物理邻接图、读出分组图与时间控制演化图上，追踪每一条相关边的生命周期。】
【将所有的校准