第五章 后定前驱链

音乐如何发生：从发声到结构提交的”后定前驱链”

从合成生物学的逆向负载、博弈论的遗憾匹配与乐观并发控制出发

摘要

“音乐是如何发生的”常被写成从材料到形式、从张力到解决、从期待到兑现的单向过程。但这些解释大多默认：一个声音一旦出现，它在过程中的身份也同步确定。本文从三个并不属于音乐学常用理论接口的机制出发重写这一点。合成生物学的逆向负载表明，下游连接能够反过来改变上游模块的输入—输出行为；博弈论的遗憾匹配表明，没有被选择的策略仍能通过反事实遗憾改变下一轮选择概率；数据库的乐观并发控制则把”已经执行”与”已经提交”严格拆开，事务可以先运行，随后才经冲突校验进入共享状态。三者共同逼出一个音乐过程里经常被省略的阶段：声音已经发出，却尚未获得不可再改写的操作身份。本文把从发声到这一身份被后续事件确定的区间称为”结构提交窗”，把”后续事件重定前一事件角色，并使该新角色反过来组织再下一步”的循环称为”后定前驱链”。它既不同于期待，也不同于回顾性再解释：前者只要求未来改变，后者只要求过去被改读；本文的关键格要求二者同时成立。本文同时用公开 Bach 众赞歌 Humdrum 数据预注册检验一个更强说法。结果显示，仅加入一个后续事件几乎不提高 fermata 边界的跨作品判别 AUC（0.9529→0.9547，Δ=0.0017），强预测失败。因此本文撤回”音乐结构角色普遍迟交”的说法，把适用范围压缩到局部可成立、但会被后续证据重定且该重定会改变继续方式的事件。

关键词：音乐发生；结构提交窗；后定前驱；逆向负载；遗憾匹配；乐观并发控制

How Music Happens: A Retro-Commit Feedforward Chain from Sounding to Structural Commitment

Abstract. Accounts of musical becoming often assume that once a sound occurs, its processual role is already settled. This essay separates occurrence from commitment. Synthetic-biology research on retroactivity shows that downstream loading can alter upstream module behavior; regret matching in game theory allows unrealized alternatives to change future strategy; optimistic concurrency control separates speculative execution from validation and commit. Taken together, these mechanisms reveal a missing musical object: a structural commitment window, the interval in which an already sounded event has occurred physically but its operational role remains revisable. A “retro-commit feedforward chain” occurs only when later evidence reclassifies an earlier event and that revised role then changes subsequent continuation. This criterion distinguishes the proposal from expectation, retrospective reinterpretation, and statistical smoothing. A preregistered test on nine public Bach chorales found that adding one future event barely improved out-of-fold classification of fermata boundaries (AUC 0.9529 to 0.9547), rejecting the stronger claim that musical roles are generally delayed. The theory is therefore narrowed to cases in which locally adequate roles are later re-specified and the revision becomes causally operative for what follows.

Keywords: musical becoming; structural commitment window; retroactivity; regret matching; optimistic concurrency control; retrospective reinterpretation

三门来源的资格处理

研究入口说明：为什么”游戏研究”必须换源

这次三个候选学科不能原样照收。合成生物学可以保留，但不取”遗传算法作曲”“生命隐喻”这些早已在艺术与计算音乐中出现的接口，而取 Del Vecchio、Ninfa 与 Sontag 所讨论的 retroactivity：模块接到下游之后，上游自身的行为可能被负载改变。博弈论也可以保留，但不取 Nash 均衡、零和博弈或”音乐家像玩家”这类已经被音乐创作与即兴研究使用过的通用说法，而取 Hart 与 Mas-Colell 的 regret-matching：下一轮离开当前策略的概率，与过去”如果当时换用别的策略会更好多少”的反事实遗憾成比例。

真正不合格的是”游戏研究”这一门。今天的音乐研究已经有成熟的 ludomusicology；Summers 的《Understanding Video Game Music》明确把音乐学、游戏研究和媒体理论合并为游戏音乐分析框架，后续《The Cambridge Companion to Video Game Music》更把互动、游戏性、心理、身份与分析方法系统化。更直接的是，音乐游戏研究已经把 Hunicke、LeBlanc 与 Zubek 的 MDA 框架用到 sequencer、音乐游戏和交互音乐上。也就是说，如果今天再以”mechanics—dynamics—aesthetics”解释音乐如何发生，不能满足”理论接口尚未被音乐学吸收”这一约束。

第三门因此换成数据库并发控制，具体取 Kung 与 Robinson 1981 年提出的 optimistic concurrency control（OCC）。这个选择不是为了科技感，而是因为它占住一个前两家都没有的终点：事务可以已经执行、已经产生暂时写入，却要到 validation 以后才算 commit 到共享状态。于是三条路径分别把终点锁在”显现结果”“策略更新路径”“共享状态”，不会变成三家在同一根轴上争谁更正确。

一、先把”发生”与”发声”拆开

问”音乐是如何发生的”，最容易得到的答案是：声音被组织起来，于是音乐发生；或者：听者产生期待，期待被延宕和解决，于是音乐发生；再或者：演奏者依据规则、身体和情境不断选择，于是音乐发生。这些答案都抓到真问题的一部分，却共享一个不易被察觉的前提——物理事件与结构身份几乎同时到达。一个音响一出现，我们马上就把它叫作经过音、和弦音、句尾、切分、回答、伴奏、动机、色彩音、重音或噪声；后来发生的东西最多帮助我们”更理解”它，却不改变它在过程里已经完成的作用。

实际聆听并不总如此。一个和弦最初可以听作主和弦，几拍后才显成下属功能；一个节奏重音最初像新的拍点，后来的重复可能把它降格为切分；一次即兴中的插话起初像打断，下一位演奏者若把它拿来发展，它才成为新的组织中心；一个音色突变起初可以像偶然，若随后有另一声部按它重新配置音高与密度，它才成为段落转换的”发起处”。这里发生了一件比”预期被违反”更特殊的事：过去事件的操作身份在后来被改写，而改写后的身份又立刻成为组织未来的依据。

因此本文把”发生”分成两个时间：第一时间是声学发生，事件进入可感世界；第二时间是结构提交，事件获得一个对后续行动具有约束力、在普通继续中不再轻易更改的角色。二者重合时，音乐当然也可以发生；二者分离时，才出现本文要找的机制。若把这两个时刻始终当作一个时刻，音乐的许多”后来才知道前面发生了什么”的经验就只能被归入模糊、歧义或分析者事后聪明，而看不到它们怎样实际参与下一步生成。

二、合成生物学：连接不是中性的，下游会反过来改变上游

工程中的模块化有一个强直觉：先把部件分别设计好，再把它们连起来，部件原来的输入—输出关系应尽量不变。Del Vecchio、Ninfa 与 Sontag 在 2008 年讨论生物遗传回路时，正是从这个标准出发。他们指出，理想模块化意味着部件在互联后仍保持原来的输入—输出行为；但生物回路常常做不到，因为下游会占用转录因子、结合位点或有限资源，形成 retroactivity。连接不是把既成结果往后送，而是从连接处向前”加载”，使上游本身的动力学发生变化。

这条理论对音乐最有价值的不是”音乐像基因网络”，而是一条更冷的结构事实：一个局部单元的身份不能只在它的左边被决定。假设第 t 个和声在没有下文时被编码为某种功能，t+1 的到来若只是让它”更明确”，那仍是普通信息增量；但如果 t+1 使我们必须重写 t 的功能，且重写以后 t 对 t+2 的预期、演奏或分析约束随之改变，这就与逆向负载具有同形结构。重要的是后续并非评论过去，而是改变过去作为一个模块”能做什么”。

合成生物学也反过来限制本文。现代研究的一个大方向正是通过绝缘、正交化和控制器设计减弱 context dependence；这意味着不是每一次连接都必然有强逆向负载。音乐中也一样：许多声音一出现就已经足够稳定，后文只是确认，不会重定它。若本文把所有”后文有帮助”的情况都算进来，就会把普通确认误写成新机制。真正要计入的，只能是下游到来后，上游事件的操作编码发生改变的情况。

三、博弈论：没有发生的选择，也能进入下一轮的因果链

Hart 与 Mas-Colell 的 regret-matching 把另一种通常被音乐叙述排除的东西请进来：没有被选中的策略。一个玩家在第 t 轮采取 A，并不意味着 B、C、D 在这一轮就从因果世界里消失。算法会计算”如果过去那些时刻改用 B，我会不会得到更高收益”，由此形成对未用策略的遗憾；下一轮离开当前策略的概率与这些正遗憾相联系。于是，实际历史只发生了一条路径，但未发生路径以反事实差额的形式继续改变以后。

这对音乐发生的冲击在于：不能只记录”响了什么”来描述生成。即兴者没有吹出的那个音、作曲者删掉的那个转向、听者没有采纳的那个拍型，只要它们以可比较的替代方案进入下一轮选择，就仍是过程的一部分。这里与一般”期待”不同。期待可以只是概率分布；遗憾匹配要求替代项和已经采取的行动发生可比较的结果差，而且这个差值实际改变下一轮策略。换言之，一个未实现可能只有在它能改变接下来怎样做时，才取得因果资格。

这也给本文第二条约束。音乐中并非所有”本来可以这样”都算数。事后随意想出的无限可能不会自动构成未选项。只有在当时的实践或听觉系统里可用、可比较、能对下一步产生不同后果的替代项，才能进入反事实权重。否则”未选的音也影响音乐”会膨胀成不可证伪的形而上句子。

四、数据库并发控制：已经执行，不等于已经提交

Kung 与 Robinson 提出的乐观并发控制给出第三个关键切口。传统悲观控制倾向于先加锁，避免互相冲突的事务同时修改共享数据；OCC 则允许事务先读取、先计算、先形成暂时写入，在最后提交之前再校验是否与其他并发事务发生冲突。若校验通过，结果 commit；若失败，则 rollback 或重启。它最重要的观念不是”乐观”，而是对状态的分层：一个动作可以已经完整执行，却仍未成为共享世界里具有正式效力的状态。

音乐里恰好缺少这一层。声学事件一旦发出当然不可撤回，但”不可撤回的声学事实”与”已经提交的结构角色”不是一回事。听者后来可以把先前和弦的功能改读，合奏者可以把一次装饰音重新接成动机，指挥可以通过下一拍的处理把前一拍从准备变成启动。没有任何声音被物理回滚，回滚的是先前分配给它的操作角色。

这条路径也给出第三条约束：乐观执行只有在冲突并不高到让系统不断回滚时才划算。若一段音乐让每个事件长期悬而不决、每来一个新事件都推翻前面全部角色，它不会因此”更音乐”，而会失去可继续的共享状态。于是本文不能把提交延迟当作越长越好；有价值的是有限的、可局部兑现的提交窗。音乐需要某些东西暂不提交，也需要足够多的东西及时提交。

五、三条路径真正冲突的地方：一次发生到底什么时候算完

把三家放到同一个对象上，冲突就变得具体。合成生物学说：不要太相信上游模块已经”设计完”，因为下游连接会反过来改它；遗憾匹配说：不要太相信已经采取的动作独占历史，因为未采取策略仍会通过反事实差额改下一轮；OCC 说：不要太相信已经执行的动作已经进入共享现实，因为它要到校验之后才提交。三家分别把不稳定性放在连接、替代和提交上。

它们表面上都在讲”反馈”，但若只收敛到反馈，创新就已经失败。反馈太宽，几乎可以覆盖一切时间过程。真正共同却未说出的前提是：一次过程可以在某个预先给定的终点被结算。合成生物学把”输出”当终点，博弈论把”下一轮策略”当终点，并发控制把”提交状态”当终点；它们争的是终点前该考虑哪种影响，却都默认终点是能被单独确定的。

恰恰是合成生物学自己的材料把这个前提推翻。retroactivity 说明，一旦下游连接，上游原来被当作”完成的模块”会变；换句话说，终点反过来重写了通向它的部件。把这一事实转到音乐，不应得到”音乐有反馈”，而应得到更尖锐的结论：一个事件的结构完成时点可能晚于它的声学发生时点，而且这个后来完成的身份会回到生成链里成为新的前提。终点与手段因此发生交换——后来的东西先把前面的东西定形，定形后的前面又去组织更后面的东西。

如果把”终点”再拆开，就能看见三家并不是在给同一条路补三个环节，而是在争夺”完成”的定义。第一条路可以写成：先有一个局部状态，再经组织关系产生一个可见输出，最后由下游连接决定这个输出是否还能保持原来的作用。第二条路可以写成：先有一个已经实现的结果，再把它和未实现替代项放回比较空间，由差额改变下一轮的策略组织。第三条路则是：先允许一次行动暂行发生，再在共享环境里检查它是否与别的行动冲突，最后才决定它能不能成为公共状态。三条路的终点分别是”结果显现”“路径更新”“共享状态”，因此不存在一个单一终点可以把另外两条都降格为手段。

反过来，每个终点又可以被另两家倒过来当作起点。已经显现的结果可以成为下一轮遗憾计算的输入；已经更新的策略可以造成新的负载，重写它先前依赖的模块；已经提交的共享状态又会成为之后事务的读写环境。于是”从哪里开始—经过什么—到哪里结束”不是线性流水线，而是一组终点不断换成起点的完整次序。本文真正要从三家拿走的不是三个名词，而是这个交换条件：一次发生只有在某个局部角色取得继续组织权时才暂时结算；一旦新的关系使这份组织权失效，过去就必须重新进入过程。

这也解释为什么”结构提交”不能与”最终解释”混为一谈。最终解释只在作品结束后给出一个最完整标签，而提交是实时、局部、可被继续检验的权限分配。一个事件可以在第十拍已经被提交为”足以继续”的角色，到第二十拍又因新的关系被撤回；撤回并不证明第十拍的提交是假的，只说明那是当时在可用信息下获得的暂时效力。数据库事务的 commit 通常追求不可逆，而音乐中的提交更像分层承诺：低层拍点可能很早稳定，高层形式功能仍可推迟；一个声部的入口已经提交，整段的句法归属还没有。这样，“音乐发生”就不是等到所有层级同时确定，而是不同层级不断取得、失去、再取得组织权。

六、核心构念：后定前驱链

本文把这一循环称为”后定前驱链”。它由两个连续动作构成。

第一步叫”后定”。事件 e_t 已经发声，在只看 e_1…e_t 时拥有一个局部可接受的角色 A；当 e_{t+1} 或更后的证据出现后，同一事件被重新编码为 B。A 不是明显错误，不是因为当时漏看了一个已经存在的记号才纠正；它必须是当时材料足以支持的合理编码。B 也不是分析者任性换名，而是后来信息使 A 无法继续维持。

第二步叫”前驱”。如果把 e_t 从 A 改成 B，只改变我们关于过去的叙述，却不改变 e_{t+2} 以后任何可执行预测、演奏选择、听觉分组或分析约束，那么这里只发生了回顾性再解释，还没有形成本文的机制。只有当 B 进入下一步并使”接下来什么算一致、什么算偏离、谁应当接手、哪个重音成立、哪个和声方向可继续”发生可观察差异，后定才转化为前驱。

因此，音乐发生不是”过去被未来解释”的一句哲学话，而是一条可查链：先发声——暂时编码——后续证据到来——过去角色改写——改写后的角色成为后续组织条件。这里的”后”与”前”不是时间倒流。声学因果仍向前；倒转的是结构权限：后来发生的事件取得给先前事件定性的权力，而这份定性又重新获得向前约束的权力。

七、结构提交窗：给”已经响了但还没定下来”一个账本位置

为了避免”后定”只是一句描述，还需要给它一个可以清点的对象。本文把事件从声学发生到结构角色第一次稳定提交之间的区间称为”结构提交窗”。窗开始于事件被听见或执行，结束于这样一个时点：在预先约定的普通继续范围内，再加入后续事件不再改变该事件用于组织下一步的操作编码。

这个定义有三个限制。第一，提交窗不是心理犹豫时间。听者可以主观觉得很确定，但后来仍被迫改读；也可以主观不确定，却从头到尾没有任何结构重定。第二，它不是”分析需要多少时间”。一位专家事后想三天不等于窗长三天；窗只按音乐事件本身的后续单位计。第三，它不是所有歧义的集合。若两个分析并存到最后，始终没有一个取得操作优势，那么它是持续多义，不是提交。

这个对象为什么值得单列？因为传统记谱、和声标注和大多数自动分析数据集都倾向于给每个时点一个最终标签。最终标签会抹去”这个标签在什么时候才可成立”的信息。两段音乐可以有完全相同的最终和声标注，却有完全不同的提交过程：一段每个标签几乎即时成立，另一段大量标签都在后文到来后才翻转。终态分析相同，并不意味着发生方式相同。结构提交窗记录的正是终态账本通常没有的那一列。

为避免这个概念只是一条新刻度，本文进一步把”窗”内部的对象单列为”未提交结构态”。它不是”我不知道答案”的心理状态，而是一种过程位置：声学事件已经进入历史，局部系统已经允许至少一个可执行编码继续工作，但这个编码尚未获得对后续关系的稳定排他权。这个状态有三个可观察属性。第一，它必须有当前可用的行动后果，否则只是无知；第二，它必须允许后续证据使当前编码失效，否则已经提交；第三，编码一旦被替换，新编码必须对随后组织产生不同后果，否则只是改名。

把”未提交结构态”放进账本，会改变我们采集数据的方式。常见标注只保存事件 t 的最终和声、拍位或形式功能，因而把”最初 A、后来 B、在 t+k 才稳定”为一个静态 B。新的账本至少需要四列：最初可执行角色、首次改变角色的证据、取得稳定角色的时点、角色改变后哪一项后续行为随之改变。若这四列长期为空，说明该风格或该层级并不需要本文机制；若它们在某类事件上反复出现，才说明存在一种传统终态标注看不见的过程状态。

这一对象还可以与”不确定性”作反事实分离。设两个事件的最终标签熵都很高。事件甲从一开始就在 A/B 之间摇摆，后文也一直没有让任何一个获得操作优势；它是持续多义。事件乙在局部时点被绝大多数参与者稳定编码为 A，后来一个特定事件使编码突然改为 B，且 B 使下一步选择分布改变；它是不确定度可能先低后升再低的后定前驱。若只测熵，两者可能被混在一起；若测提交状态，它们的时间形状相反。由此可见，结构提交窗不是把”歧义程度”换一个名字，而是记录角色效力何时被授予、撤回与重新授予。

八、一张二维辨别格：把期待、回顾再解释与本文分开

若只说”后来会改变前面的理解”，Schmalfeldt 的 retrospective reinterpretation、音乐 garden-path 实验、metric reanalysis 以及 HMM smoothing 都已经在附近。真正的分界需要第二根轴。

第一轴：过去事件的操作角色是否因后续证据而发生重编码。第二轴：这种重编码是否改变之后的行动、预测或组织路径。两轴交叉得到四格。左下是”稳定已提交”：过去不重编码，未来也不因过去改读而变化。右下是”纯后定”：过去被重读，但这种重读没有进入后续控制，典型的是某些事后形式分析。左上是”纯前驱”：过去角色不变，但新的信息直接改变未来，例如普通期待更新。右上才是本文的关键格：过去角色被后定，而且新角色实际驱动后续。

这张格子的价值在于它允许同一材料给相反判决。一个听者在第 8 小节回头把第 4 小节从”主题结束”改成”过渡开始”，若后面的继续方式无论如何都一样，Schmalfeldt 的框架可以说发生了回顾重释，本文判为非关键格。反过来，一次爵士即兴中第 1 位乐手没有改变对前一句的分类，只因新和弦到来而换策略，期待或条件反应成立，本文仍判非关键格。只有”过去改读”和”以后改走”同时出现，才算后定前驱。

九、二维辨别表的四格如何在实际音乐中出现

四格不是四种风格，而是四种过程状态。稳定已提交可以出现在强终止、固定节拍、持续低音或高度熟练的合奏惯例里；它不是”简单音乐”，而是事件角色几乎同步提交。纯前驱常见于明确节拍上的意外音：意外立即改变接下来的期待，却不迫使听者重写前面几拍。纯后定可以出现在作品分析中：后来材料使某一段被重新命名为”过渡”“展开”或”插部”，但这种命名只在分析回顾中发生，不改变实时继续。

关键格更苛刻。比如一个不稳定重音最初被当作装饰，下一拍另一声部模仿它以后，前一重音被重定为新的节奏发起点；演奏者随即按这个发起点重新组织强弱和句法。这里前一事件先被改读，再向前获得控制力。又如即兴中一次似乎”错位”的和弦，若贝司下一拍把它解释为新循环的起点，鼓手据此改变 backbeat，那个先前和弦的身份不是被评论，而是被重新提交成了一个以后都要服从的新坐标。

因此关键格有三个签名：局部时点上原编码能通过常规检查；后续到来时没有物理撤销，却出现角色切换；角色切换以后至少一个后续决策可被不同地预测。缺任何一个，都不能用本文的新名。

十、清点手册：回定前驱率只能有一个口径

为了让概念可被推翻，本文给出一个最低限度读数”回定前驱率”ρ。分析单位是预注册粒度上的事件 e_t。先由只看到 t 及以前材料的编码者给出局部操作角色 A；再开放最多四个后续事件，若角色改为 B，记录一次”后定”。然后要求 A 与 B 对至少一个随后事件产生不同的可执行预测，例如不同的拍点、和声去向、接手声部、重音位置或允许音集合；若实际后续符合 B 所导出的预测而不符合 A，记录一次”前驱”。ρ 等于同时满足后定与前驱的事件数除以具有明确局部角色的可编码事件数。

粒度写死如下：持续音不因每个时间采样重复计数；同一攻击内的和弦音作为一个和声事件还是多个声部事件，必须在统计前选定，不得看结果后切换；装饰音是否独立成事件也必须预注册。若 A 与 B 只是文字标签不同，却导出相同下一步预测，不计后定。若未来四事件内没有任何角色稳定，则标为 NA，而不是强迫算零。若资料本身缺少可比较替代行动，也标 NA。

表头固定为：作品/场景、事件编号、局部角色 A、触发后定的后续证据、提交后角色 B、A 对下一步预测、B 对下一步预测、实际下一步、是否后定、是否前驱、是否进入分母。正文、证伪和日期赌注都使用同一口径，不另造阈值。

十一、五类场景：同一判据必须读出不同答案

第一类是和声。贝多芬第一交响曲开头常被用来说明先听成 F 大调主和弦、后来重读为 C 大调下属功能的 garden-path 效应。若重读只发生在听者脑中而不改变后续和声预测，它落在纯后定；若演奏者或分析模型在重读后调整对下一和弦、句法重心或张力位置的预测，才进入关键格。

第二类是节拍。一个重音可同时支撑两种 meter。Sullivan 所扩展的 PMAP 允许多个合格分析并行，后续 phenomenal accent 可使另一个 meter 取代表层分析。本文在这里再加一刀：替换之后若不改变后续重音期待，只是把过去标成另一个拍号，不算后定前驱；只有新的 meter 变成下一步的操作坐标才算。

第三类是即兴合奏。萨克斯手的一个长音起初被伙伴当作延迟收尾，贝司随后以该音为根重新入句，长音被改提交为新段落起点；鼓手下一轮随之重排重音。这是典型关键格，因为角色切换直接改变其他人的行为。

第四类是音色。一个噪声成分若只在后来被发现是设备故障，通常没有音乐前驱；若后来第二件乐器复制并组织这个噪声，使先前”故障”成为可复用音色规则，且接下来的织体按此改变，它才进入链。

第五类是作曲修改。草稿中的某个音后来被作曲家解释为动机种子，并据此改写后文，这也是后定前驱；但若只是事后在分析文章中把它称为”伏笔”，而作品没有任何由此生出的后续组织证据，就只是解释性命名。

第六类是旋律分组。一个长音在局部可被听成前句延长，随后新动机从它的尾部复制轮廓，先前长音被重定成后句的起始核。如果听者随后在分段任务中把边界前移，且记忆或续写也从新边界组织，关键格成立。若分段标签改变而续写仍沿原边界，则只是纯后定。

第七类是舞台与空间中的音乐行动。某一声响起初像观众区噪声，后来的演奏者把它按固定时距回应，先前噪声就可能取得”呼叫”的角色。判据不问它是否由作曲家计划，而问新角色是否改变以后谁回应、何时回应以及哪些声音被当成同一链。如果没有后续行为改变，把偶发声事后浪漫化为”作品的一部分”不能进入关键格。

第八类是录音制作。一次抢拍在原始 take 中可被制作人当作错误；若后续编辑把它复制到其他小节，并据此调整网格与其他声部，它从错误重定为结构模板。这里后定可以发生在制作过程中而非听觉瞬间。反之，如果母带完成后评论者把一个抢拍解释成”人性化微时差”，但制作历史没有任何后续操作由它产生，就不是前驱。

第九类是儿童学习。儿童第一次听一个新节奏时可能把重音组织在 A 拍位，教师或同伴的下一轮动作使其重定为 B；若随后模仿、走步或敲击同步到 B，构成完整链。这个场景提醒我们，后定前驱不必依赖专家理论标签；“角色”可以用身体动作、选择位置或可执行续写来定义。

第十类是算法系统。一个实时伴奏系统可以先按局部和声估计选择伴奏，后续听到一个转调证据后回改此前和声状态。只有当回改后的状态被写回生成器，造成新的伴奏分布，才算模拟本文机制。许多离线双向标注器虽会用未来改善过去标签，却从未把改过的过去重新送入生成过程；它们应当被判为纯后定而非后定前驱。这十类场景的答案并不相同，正说明判据不是一句可以从命题直接演绎的口号。

十二、最危险的经典既有说法之一：Meyer 的期待理论

Leonard B. Meyer 1956 年的《Emotion and Meaning in Music》是任何”音乐通过时间中未完成关系发生”的理论都绕不过去的经典。其核心不是简单的”期待”，而是反应倾向受到阻滞、延宕与解决时产生意义和情感。若本文只是把”还没定下来”换成”期待未解决”，就没有新东西。

分离线在时间指向。Meyer 主要问一个既有模式怎样引起对未来的倾向，以及未来怎样满足或阻滞这种倾向；本文问的是未来到来以后，是否把已经发生的过去事件换了一个操作角色，并让这个新角色继续向前工作。若一个意外和弦只造成更高不确定性、随后被解决，但过去和弦的角色从未切换，Meyer 可以解释而本文判零。若后续材料迫使过去角色从 A 变 B，且 B 改变之后的预测，即使主观紧张并不增强，本文可以判正而 Meyer 的张力—解决并非必要。

因此判决性对照是：控制期待强度后，若”过去角色是否切换并前驱”仍能预测下一步行为变化，本文获得独立空间；若所有所谓后定前驱都可被期待强度与惊奇度完全吸收，则新构念应撤销。

第二位经典既有说法是 Narmour 后来发展的 implication-realization 路线以及更广泛的旋律期待研究。它们都提醒我们：一个事件的”下一步倾向”本来就是音乐认知研究的正当对象。因此本文不能靠”未来会被过去组织”取得独立性。分离线仍然落在过去角色是否发生可执行的重编码。若两个模型对未来给出不同概率，但都同意 e_t 从头到尾就是同一角色，这是期待差异；若 e_t 的角色在 e_{t+1} 后由 A 变 B，而只有 B 才能解释 e_{t+2} 的行为变化，才进入本文。

第三位经典既有说法是 1970 年代以前控制论与序列估计中”根据误差信号更新内部状态”的一般形式。它们足以覆盖”后来的误差让系统改正以前估计”。所以本文额外要求：被改的不是一个外在真值的估计误差，而是关系形成以后才具有的操作功能。举例说，同一音高是否属于”倚音”并不完全像估计一个隐藏的真实温度，因为它的功能部分由后续解决关系构成。若实验最终证明所有所谓角色都可以在事件发生时被视为固定潜状态，只是听者后来才识别出来，那么本文必须承认它没有创造新对象，而只是把状态估计换了音乐词。

最不利检索到这里必须采取最不利读法：Meyer 已经占住未来期待，Schmalfeldt 占住形式的回顾重释，Karpinski 占住音乐歧义，Cecchetti 等人占住 garden-path 修订，Sullivan 占住并行 meter 分析，Rauch–Tung–Striebel 占住用未来观测回估过去，Baum–Petrie 占住序列隐藏状态推断，HMM/双向序列模型占住离线全上下文标注。本文若不能在这八个方向之外留下一个同一案例会被判成不同类别的观察，就不应再发明术语。当前留下的唯一位置是”角色被后来重定，而且重定本身进入后续行动控制”。

十三、最危险的内部正主：回顾性再解释、歧义与 musical garden path

Schmalfeldt 的”form as process of becoming”与 retrospective reinterpretation 是离本文最近的音乐理论正主。其价值恰在于承认形式功能不是从一开始就静态给定，一个材料可以在后来”成为”另一个功能。Cecchetti 等人的 musical garden-path 实验又给出知觉证据：调性歧义旋律会诱发类似语言 garden path 的句法修订。Sullivan 的 PMAP 更明确允许后来的重音让一个此前未表层化的 meter 取代原分析。

如果本文只说”音乐可以事后重分析”，这些文献已经足够，应该停止命名。后定前驱的分离线只有一个：回顾重读必须取得对后续过程的操作权。一个段落在曲终后被分析家从”主部尾声”改名为”过渡开端”，如果没有任何后续事件因这次改名而被不同地组织，它不属于本文。相反，一次实时 meter 重分析若立即改变下一拍的演奏落点、同步方式或注意分配，就进入本文关键格。

这条线故意把本文适用范围压得更窄。它意味着大量精彩的 Schmalfeldt 式分析并不是本文实例；也意味着实验中只测”听者后来是否改判”仍不足够。真正的实验必须再测一次：改判之后，参与者下一步做了什么不同的事。

Karpinski 对音乐歧义的讨论进一步提醒：歧义并不等于错误。某些材料同时许可两个读法，分析者在不同层级选择不同解释并不意味着系统曾经”提交 A 后又撤回 A”。因此实验编码必须区分三种时序：A/B 从一开始并存；A 在局部占据明显操作优势、后来改成 B；局部根本没有可执行角色，直到后来才首次出现 B。只有第二种是后定；第三种是”延迟首次提交”，与撤回再提交不同。两者可以共享窗长，却不是同一机制。

Cecchetti 等人的 musical garden-path 是更危险的正面占位，因为它正好提供”A 先成立、后来 B 迫使修订”的心理证据。如果本文只增加一个”然后继续”的句子，仍可能只是把 garden path 拉长了一步。因此最小判决实验必须把后续行为设计成两个分析会给相反答案的选择。例如 A 预测下一重音在位置 x，B 预测在位置 y；或 A 允许下一个和弦集合 P，B 允许集合 Q，且 P 与 Q 至少有一个互斥元素。只有重分析者的行为分布随 B 系统迁移，后定才取得新的因果地位。

Schmalfeldt 的”becoming”则构成概念层的压力。她已经反对把形式功能当作一开始就给定的静态标签，所以本文不能声称”首次发现音乐角色会后来形成”。本文的差异只剩”形成时点是否能被当作一个操作事件记录，以及形成后的新角色是否进入下一步控制”。若无法记录这个时点和行为后果，本文应回到 Schmalfeldt，不再坚持独立名称。

十四、最危险的方法学既有说法：统计”平滑”早在 1960 年代就会用未来改估过去

若把命题剥掉所有音乐名词，只剩”根据未来观测修正过去状态”，那么最危险的既有说法甚至不是音乐理论，而是状态估计。Rauch、Tung 与 Striebel 在 1965 年的线性动态系统 smoothing，以及 Baum 与 Petrie 1966 年的有限状态 Markov 推断，都已经把一个核心区别写得很清楚：filtering 只用到当前及过去观测估计当前状态，smoothing 则利用后来的观测回头改善过去状态估计。今天的 HMM、序列标注和离线音乐分析大量继承这种思想。

这是一条致命边界。若”结构提交窗”只是说离线分析用更多上下文会提高标签准确率，那它就是 smoothing 的音乐化改名。本文因此增加一个存在论限制：平滑假定过去隐藏状态在当时就已经存在，只是观察者不知道；后定前驱允许的是操作角色本身要到后续关系形成后才成立。更重要的是，它要求重定后的角色成为下一步实际生成条件，而不是只提高对一个固定 latent state 的估计。

判决方式也很直接。建立两个模型：模型 A 假定过去角色固定，仅让未来信息提高状态估计；模型 B 允许后续事件改变过去角色，并让改写角色进入后续动作模型。若 A 在预测下一步行为上与 B 一样好，本文就被 smoothing 吸收。只有 B 提供可重复的额外预测时，“后定”才不是统计学旧概念的换名。

再往上游剥一层，还会碰到数据库的多版本并发控制、编译器的 speculative execution、语言加工中的 garden-path reanalysis，以及状态空间模型中的 fixed-lag smoothing。它们共享一个模板：先允许暂行解释或暂行执行，后来证据到来时再验证、修正或回滚。这个模板本身不是本文创新；甚至”先做后改”可以追溯到非常早的工程实践。本文不能以模板新颖性自居。

因此最危险的 1:1 替换测试是把”结构提交窗”直接换成”fixed-lag smoothing window”。如果整段论证仍然成立，本文被方法学概念吸收。要使替换失败，必须存在这样的案例：并没有一个在 t 时刻已经固定存在的状态等待更准估计，而是后续关系本身使过去事件取得一个此前不存在的功能。比如单个重音在没有回应时并不是”一个隐藏的呼叫，只是我们没识别”，而是在另一声部以特定时距回应后才成为呼叫；回应关系构成了角色，而不是揭示了角色。若改变回应，先前事件可以成为噪声、装饰或句尾。这里后件参与了前件角色的生成。

这也是本文试图跨过”新读数”天花板的地方：真正要提出的不是一种更好估计旧标签的算法，而是”未提交结构态”这一过程状态。它的存在条件不是高后验熵，而是角色效力仍可被关系生成所改写。若把所有未来信息删掉，这个状态并不会变成”难以测量的已存在标签”，而是某些关系角色根本尚未成立。未来研究若证明这一区别不可观测，本文的本体论主张就应下降为一种分析操作。

十五、与另外两个同题模型的硬分界

同一条研究线上已经有两个”音乐如何发生”的模型，它们必须被当作最相近理论，而不能因为是自己产出的就跳过。

第一篇”续域迁移”问的是：当前事件之后，哪些未来仍属于可接续集合，以及集合成员怎样被上一刻重画。它的对象在未来。若某一拍之后可用音集合从 {C,D,E} 换成 {D,F,G}，但前一拍的结构角色从头到尾没变，续域迁移判正，本文判零。反过来，前一和弦被后来重读成新功能并改变下一步处理，但可用候选集合数量与成员都不变，本文判正，续域迁移可以判零。

第二篇”余项交接”问的是：一个局部任务已经闭合后，哪些旧约束清零、哪些改变载体继续进入下一任务。它的对象在闭合边界。若句尾保留一个共同音作为下一句材料，但前一句任何事件都没有被重编码，余项交接判正，本文判零。若段内一个事件被后来重定并马上改写继续，却没有发生局部闭合和跨任务继承，本文判正，余项交接判零。

三者可以同时发生，却不是同一个读数：续域记录未来集合，余项交接记录跨边界存留，后定前驱记录过去角色的提交与其对未来的再驱动。任何案例如果只能靠”视角不同”来区分，说明划界失败；上述三个反事实案例必须能让三篇给出不同的 0/1 判决。

还可以用一个三联反例进一步压实。反例甲：一个持续低音保持不变，但当前旋律使下一拍允许的音级集合整体迁移。过去低音角色未被重读，局部也没有闭合交接；只有续域迁移为正。反例乙：一个句尾共同音跨过终止进入下一句并继续承担声部连接，过去角色从头到尾稳定；只有余项交接为正。反例丙：一个段内和弦最初被听成经过功能，下一和弦迫使它改读成新调的属功能，且演奏者据此改变再下一拍的重音与延留处理，但候选音集合和跨句存留都不变；只有后定前驱为正。

三者叠加时也有不同预测。若续域迁移与后定前驱同时高，说明系统不仅改了过去角色，也重画了未来候选集合；若余项交接与后定前驱同时高，说明被重定的过去角色恰好跨过局部闭合继续生效；若三者全高，则是”过去重定—未来集合迁移—跨边界继承”的复合事件。复合不等于同义，恰恰因为可以分别为零，才能研究它们之间是否有先后或耦合。

这条同批分界也约束命名。本文不再使用”余路”“后路”“交接”“残余”等已经由前两篇占据的字根作为核心指标，避免读者把三个对象混成同一张表。结构提交窗的表头只问角色 A、后续证据、角色 B、B 是否改变下一步；未来集合大小与跨闭合存留只作为可选协变量，不进入定义。

十六、公开数据预注册检验：先把最强、最好看的版本送去失败

在成文前，本文把一个比核心构念更强的经验句写死：如果”已经发声但结构角色尚未提交”是音乐的一般现象，那么一个明确的短语边界角色仅凭当前与过去应当不够确定；加入一个后续事件后，跨作品识别应该有明显提升。

数据采用公开的 Bach 370 四声部众赞歌 Humdrum/**kern 版本，只固定 chor001—chor009，不根据结果增删。每个有效 **kern 数据行作为一个时间单位；持续音向前填充，fermata 分号作为一种显式边界代理。基线模型只使用当前与上一事件可见的信息：女高音和低音音高类、二者音程类、四声部音高集合大小、新起音比例、记谱时值、小节内事件序号、与前一事件的音高集合重叠、女高音和低音相对前一事件的运动。增强模型只额外加入下一有效事件的运动、集合重叠、是否进入新小节与新起音比例。明确不把 fermata 符号本身放进特征。

评估在作品层做 leave-one-chorale-out 九折逻辑回归。预注册强阈值是：加入一个后续事件后，pooled out-of-fold ROC-AUC 至少提高 0.05，而且至少 6/9 个留出作品的 AUC 不下降。若达不到，就撤回”后续事件普遍决定已发生事件结构角色”的强说法，只允许更窄的可重分析事件进入理论。

这条检验故意选择一个”可能让本文难看”的代理。fermata 不是后定前驱本身，它只是一个明确、公开、可复算的边界标签。若连这种显式边界都必须依赖未来才能高精度识别，强版本会得到初步支持；若当前与过去已经足够，强版本就应当退。选择负控制式代理的好处是它不会因为研究者手工挑选最暧昧的音乐片段而先天偏向新理论。

九折按整首作品留出，而不是随机打散事件，是为了防止同一众赞歌内的局部模式泄漏到训练与测试两边。每一折的标准化只在训练作品上拟合，再应用到留出作品。主读数选择 pooled out-of-fold AUC，是因为阳性比例低而且每首曲阳性数量不同；同时保留 log loss，观察未来信息是否只改善概率校准而不改善排序。预注册还要求至少 6/9 留出作品不下降，防止 pooled 指标被少数作品拉高。

代理变量的限制在统计前就写死。fermata 只代表一种显式短语/停顿边界，不代表所有和声、节拍、动机或交互角色；“一个未来事件”只代表极短窗口，不等于人类真实听觉所需上下文；逻辑回归也不等于最佳模型。因此失败只能推翻”普遍、短窗、一般边界都需要未来”的强句，不能反证后定前驱在任何地方不存在。相反，如果研究者看到失败后把未来窗从一拍改成十六拍、把数据换成另一批、再不断改标签直到显著，就等于毁掉真跑的意义。

十七、结果：强预测失败，而且失败的位置很有信息

九首众赞歌共得到 771 个有效时间行，其中 59 行含 fermata，比例约 7.65%。只看当前与过去的模型，跨作品 pooled OOF AUC 已达到 0.9529；加入一个后续事件后 AUC 为 0.9547，仅增加 0.0017，远低于预注册的 0.05。九个留出作品中只有五个 AUC 不下降，也未达到 6/9 的阈值。log loss 从 0.2711 改善到 0.2286，说明未来信息能改善概率校准，但没有提供足够大的排序增益来支持强命题。

这一结果必须进入理论本身。它说明至少对 Bach 众赞歌中的显式 fermata 边界，结构角色通常已经可以从当前和过去的局部信息相当准确地识别。后文不是普遍必需的”提交许可”。因此”所有音乐角色都迟交”“音乐本质上必须由未来决定过去”两句话都撤回。

更有价值的是负结果把关键格照亮了：fermatas 很可能属于左下”稳定已提交”或至多是普通确认，不是本文要找的对象。后定前驱如果存在，应集中在另一类事件——局部分析本身合理、没有明显错误信号，但后续关系形成后角色被迫切换，而且切换会改变再下一步。这使未来实验从”任意音乐边界”转向”可诱导重分析且重分析能进入行动”的材料，范围更小，却更可证伪。

逐作品结果也不支持”只是总体平均掩盖了普遍增益”。chor001、002、005、007、009 的 AUC 有不同程度上升，而 chor003、004、006、008 下降；最大的正变化约 +0.0411，仍未达到单独证明强效应的程度，最大的负变化约 -0.0357。换言之，未来一个事件的帮助具有作品差异，不能被写成稳定方向。与此同时 log loss 在总体上改善，提示未来上下文可能让模型对边界概率更校准，却不一定改变”哪些事件应排在更像边界的位置”这一排序。

这个差异对理论很重要。如果未来只改善置信度，而不迫使局部角色从 A 换成 B，它更像”确认”而非”后定”。于是 AUC 几乎不变、log loss 改善的组合恰好提供一个负控制签名：未来可以有信息价值，却没有结构重定价值。后续研究应同时报告”标签是否翻转”和”概率是否变得更确定”，不能把两种改进混为一谈。

更严格地说，本次数据并没有直接测到本文定义的回定前驱率，因为没有在线的人类局部角色 A，也没有随后行为指标。它只检验了一个更粗、更强的第三层经验主张。因此正文不能拿 0.0017 的 AUC 增益去证明新构念，也不能拿其失败去宣布构念不存在。它真正完成的是一次范围清理：显式 fermata 边界应当优先被当作”稳定提交”样本，而不是拿来展示新机制。

十八、三门外部学科反过来削弱了本文哪三句更强的话

如果没有合成生物学的反向约束，本文很容易写成”任何连接都会重写前件”。但 synthetic biology 的大量工作正努力通过 insulation、orthogonal components 和 controller design 降低 retroactivity，说明强负载是条件性的。本文因此删掉”后来事件天然重写过去”，改成”只有造成操作角色变化的后来关系才计入”。

如果没有遗憾匹配的约束，本文会说”所有未发生可能都在音乐里起作用”。Hart—Mas-Colell 的机制要求替代策略有可比较收益，且正遗憾进入下一轮概率。本文因此把无穷想象排除：没有进入当时可用决策集、没有可比较后果、没有改变后续权重的”本来可以”都不算。

如果没有 OCC 的约束，本文还会容易把”结构提交窗越长越好”写成价值判断。但 OCC 在高冲突环境会因频繁 rollback 变得昂贵，说明无限延迟提交不是优点。音乐也必须在可重分析与可继续之间保持有限窗口。大量事件需要及时稳定，否则合奏无法同步、听觉无法分组、作曲规则无法积累。于是本文的价值排序从”开放越多越音乐”改成”局部可暂行、整体能及时提交”。

十九、十个跨领域兑现：这不是十个”像”，而是十个可出错的预测

一，和声：若一个和弦被后来重定为新功能，且新功能影响再下一和弦预测，则回定前驱率上升；只提高后验识别准确率不算。

二，节拍：meter reanalysis 若只改过去标签不改随后敲击同步，属于纯后定；若随后 tapping 相位发生系统改变，进入关键格。

三，爵士即兴：一个被伙伴重新接纳为动机核心的”错音”应在被重定后提高其音级或轮廓在随后若干轮中的再用率；若再用率不变，只是评论者说它”被合理化”，不算。

四，合唱排练：指挥对一个先前入口重新界定为”提早的起拍”后，若下一次合唱团的呼吸与入声位置系统改变，构成前驱；只在排练笔记改名不算。

五，鼓组 groove：一个切分被后来重复后改读成稳定 backbeat 偏移，后续身体同步点应随之迁移。

六，配器：一个起初像偶然的音色若被后来声部复制并成为后续配器约束，前驱成立；若只是听者后来发现它”很重要”，不成立。

七，现场电子：一次 buffer glitch 被系统随后捕获为控制参数后，后续音响生成规则发生改变，属于关键格；仅录音后期把 glitch 剪进作品不一定属于实时发生机制。

八，作曲草稿：前段材料若在后写过程中被重定为 motive，并据此改写后文，草稿版本历史应显示”角色重定”早于相关后文改写。

九，音乐教学：学生对一句旋律的功能重判若真的形成前驱，随后续写任务中的选择分布应改变；只答对分析题而续写不变，说明知识没有进入过程。

十，机器生成：双向模型如果只改善离线标签而不改变生成器下一步分布，属于 smoothing；只有将重定后的过去状态回写进生成器并造成可测分布变化，才模拟本文机制。

这些预测还可以形成三种反向约束。第一，如果在和声、节拍、即兴、配器、制作、教学和算法生成中，回定前驱总是与”高惊奇”完全重合，那么本文应当被预测误差框架吸收。第二，如果它只在要求显式分析标签的任务里出现，而在身体同步、即时续写、合奏接手中消失，那么它可能只是语言化分析的副产物。第三，如果不同文化训练者对同一材料的 A→B 时点差异很大，但各自的行为转移都跟随自己的 B，那么提交状态是学习历史依赖的；反之若时点高度一致，则可能存在更强的声学或生理约束。

还可以从三门外部理论各引出一个新的可错预测。合成生物学提示”负载越大，模块越容易偏离孤立行为”：音乐里若某事件同时被更多后续声部、节拍和和声关系调用，它被重定的概率应高于只被单一路径使用的事件；若完全无关，逆向负载只是修辞。遗憾匹配提示”未选替代项只有产生正差额才增加未来权重”：即兴者在重定一个过去事件后，如果某个未用方案被认为会更好，该方案在下一轮出现率应增加，而非所有替代项平均增加。OCC 提示”冲突率太高时乐观策略失效”：若音乐材料让几乎每个局部角色都被后文推翻，参与者应出现更慢同步、更高错误或转向更早锁定策略；如果持续高回滚没有任何成本，OCC 提供的约束没有兑现。

真正的跨域兑现不是说”音乐也像系统”“音乐也会反馈”。它必须允许外部机制逼出一个此前没有准备好的观测，并且观测失败时能够削弱本文。上述三条都满足这一要求：后续调用数量、正遗憾替代项的再用率、高回滚条件下的行为成本，都可以独立测量。

二十、六条机制证伪：看到什么，本文就应该退

第一条，最强竞争解释是”这不就是期待更新”。控制事件惊奇度、局部熵与期待强度后，若过去角色是否切换不能额外预测下一步行为，本文机制被期待理论吸收。

第二条，竞争解释是”这不就是回顾性再解释”。在诱发稳定重分析的材料中，若参与者对过去角色改判，却在随后续写、敲击、注意或选择任务上与未改判者无差别，后定没有转成前驱，核心链条失败。

第三条，竞争解释是”这不就是 HMM smoothing”。若固定 latent state 的双向平滑模型与允许 past-role rewrite 的动态模型，在留出数据上对后续行动预测同样好，结构提交窗没有独立机制价值。

第四条，竞争解释是”只是新奇引发策略变化”。控制声学新奇度后，若角色重定时点不早于后续策略改变，或者策略改变先发生再被分析者补一个重定故事，因果方向失败。

第五条，跨场景检验。若可重复的后定前驱只出现在共同实践调性和明确 meter 的音乐，而在即兴、非调性、节奏主导材料里找不到，那么本文必须缩成一种特定句法现象，不能再回答一般”音乐如何发生”。

第六条，负控制。对像本次 fermata 这样局部信息已经高度足够的事件，未来增强不应被强行解释为机制存在；若研究者不断改粒度、改窗长，直到任何边界都能得到正结果，则本文因口径漂移作废。

为了避免六条证伪被同一个万能句覆盖，每条还要指定不同的失败后果。第一条失败，本文归入期待理论；第二条失败，归入回顾性再解释；第三条失败，归入统计 smoothing；第四条失败，说明方向可能由行为先变、分析后补写，必须撤销”后定驱动前驱”的因果箭头；第五条失败，缩小到特定调性/节拍句法；第六条失败，则不是理论被数据推翻，而是研究程序因口径漂移失去裁决力。

再增加两个低成本条件作为防守。第七，时间顺序必须成立：在线角色 A 的记录早于 disambiguating event，A→B 的改判早于随后行为变化。若只能在行为之后追问”你刚才是不是改读了”，就无法排除事后合理化。第八，重定特异性必须成立：同样声学新奇度的 continuation 中，只有那些真正造成 A→B 的试次才应产生 B 导向的行为迁移；若所有新奇 continuation 都一样改变行为，则机制应归给新奇/注意，而不是结构提交。

这八条并不要求一篇实验全部完成。最低成本的第一轮只需做到在线 A、预先设计的 A/B 相反后续预测、disambiguation、随后选择四步，就能击中第二、第七和第八条。较大的跨文化或多风格样本才用来检验第五条。理论越早接受便宜的失败条件，越不需要靠复杂模型保护自己。

二十一、最低成本实验：把”改读”与”改走”放进同一个试次

下一步最便宜、最有判决力的实验不需要脑成像。制作若干可诱发两种局部分析的短旋律或和声序列，在关键事件 e_t 后先停一次，让参与者完成一个即时分类或节拍敲击，记录局部角色 A。随后播放一个 disambiguating continuation，使一部分材料迫使 A→B，另一部分只是确认 A。紧接着不要询问”你现在觉得前面是什么”，而让参与者完成下一步行为：续写一个音、选择下一和弦、继续敲击、或在两个可接续片段中选一个。

核心比较不是”B 组是否更惊讶”，而是同一个参与者在确实发生 A→B 的试次中，下一步分布是否更接近 B 导出的预测，并且这种变化超过由声学新奇、节拍重音、和声距离与熟悉度解释的部分。这样一次实验同时测到后定和前驱，而不是把它们分散在两篇研究里。

若只看到改判，不看到行为变化，本文退回 Schmalfeldt/Cecchetti 的覆盖范围。若看到行为变化但没有过去角色改判，退回期待或条件反应。只有二者相乘才是新机制。

实验材料必须在正式采集前通过三个预试门。第一，局部片段结束在 e_t 时，至少 70% 参与者选择 A，保证 A 是可执行的暂行角色而不是随机猜测；第二，加入 disambiguating continuation 后，至少 70% 转为 B，保证真的发生重定；第三，A 与 B 对下一步任务给出预先写死的相反答案，例如下一拍位置 x/y、下一和弦集合 P/Q、下一句分组起点 m/n。没有第三门，只能测”改读”，不能测”前驱”。

主实验采用同一参与者内设计，材料随机分到确认 A、迫使 A→B、声学新奇但不改角色、以及从一开始就模糊无 A 的四种条件。这样可以把重定效应与新奇、持续歧义和普通确认分开。主要读数不是反应时单值，而是”B 导向行为比例”：在 A→B 条件下，下一步选择是否系统迁向 B 预测。预注册阈值可以设为相对确认条件至少提高 15 个百分点，并以参与者和材料作为交叉随机效应。

如果担心显式分类改变听觉过程，可以把 A 的记录改成无语言动作，例如敲击落点、滑块选择下一和弦、或二选一续写；另设一组不要求局部报告的参与者检验测量反应性。这样即使”问你前面是什么”本身会干扰音乐发生，也能被独立发现。伦理上不需要欺骗或高风险干预，普通成年参与者即可完成。

二十二、不适用边界：四种情况不要硬套

第一，纯稳定角色。强拍上的明确主和弦、明确句末 fermata、固定 ostinato 中不被后续重定的事件，都不需要结构提交窗解释。

第二，永久多义。某些作品故意让两种 meter、调性或音色解释长期并存，直到结束也不提交一个操作优先级。这是多义维持，不是后定。

第三，纯事后评论。乐评家多年后发现一个动机”预示”后文，但没有证据表明这种重新命名曾参与作品生成、表演或聆听中的继续组织，不属于前驱。

第四，物理回声与普通反馈。空间反射改变下一声的声学条件当然重要，但若没有角色重编码，不属于本文；设备自动增益、压缩器或延迟线的反馈也不能因为”后项影响前项”就自动进入。

这些边界的意义在于保护命题免于膨胀。一个理论若能解释所有时间过程，通常等于没有辨别力。

第五种不适用是”外部说明先验决定”。如果乐谱、字幕、排练口令或实验提示在事件发生前已经明确规定角色，后续只是在执行既定标签，那么哪怕听者主观后来才理解，也不能把理解延迟算作结构提交窗。本文研究的是关系在过程中生成角色，不是信息传递速度。

第六种是不具备后续行动接口的档案对象。对于一段已经封存的历史录音，今天的研究者当然可以重新分析过去，但除非这种新分析进入新的演奏、编辑、教学或模型生成过程，否则”前驱”无法成立。纯史学重释可以重要，却不应被本文强行改名。

第七种是安全关键同步。某些音乐实践要求角色尽早固定，例如大型合唱入口、复杂舞台机械与 click track 的同步。这里延迟提交可能直接增加失败风险。本文不能把可重分析性当成普遍美德；在这些系统中，低回定前驱率可能正是成熟设计的结果。

二十三、伦理与教学边界：不要把”提交快慢”变成新的学生评分表

“结构提交窗”很容易被教育和演奏训练误用成一个看似客观的 KPI：提交越快代表听得越准，或者提交越慢代表更有创造力。两种用法都不成立。本文的读数指向事件位置与过程条件，不指向人的能力等级。同一个优秀演奏者在强终止上可以即时提交，在复杂重分析段落里又可以长期保留暂行态；快慢没有单一价值排序。

因此若把回定前驱率用于教学，必须满足三条：第一，公开事件粒度与编码规则，不以隐藏算法给学生打分；第二，不通过故意制造混乱、延迟提示或破坏合奏安全来”提高回定率”；第三，任何影响学生评价的结果都必须允许复核原始材料并指出哪些事件进入分母、哪些因 NA 被排除。

本理论一旦制度化，最省事的达标方式恰好是人为设计大量歧义，再在后文强行翻转，这会摧毁它想保护的自然发生机制。这个反噬没有简单出口，因此本文明确不把高 ρ 当成”好音乐”的标准。

二十四、自反：这篇文章自己有没有先发声、后提交

如果本文的判断适用于它自己，那么最初提出”结构提交窗”时，它只处于暂行态。三门外部理论让一个概念先被写出来，但它是否获得结构身份，要看相近理论和真实数据是否迫使它改写。

事实确实如此。最初版本想说”音乐事件普遍在未来到来后才提交”。Bach fermata 的预注册检验让这句话失败：过去和当前已经足以把显式边界识别到很高 AUC，加入一个未来事件几乎没有排序增益。这个不利结果把概念从”普遍迟交”重定为”局部可成立但后来被迫改读，而且改读进入下一步”。随后 Schmalfeldt、PMAP 与统计 smoothing 又迫使本文增加”前驱”条件，否则它只是旧概念重命名。

也就是说，本文自己的承重命题经过了两次后定：一次由数据，一次由相近理论。若以后实验发现改读并不会改变后续行为，它还应再次被重定，甚至退出。这个后果比泛泛写一句”本文有局限”更具体：发表不能被视为提交，只有后续检验能决定哪一层主张进入共享知识。

二十五、写死日期的经验赌注

本文把一条可失败的赌注写到 2029 年 12 月 31 日：至少一个公开、可复算的人类行为数据集会同时记录”关键事件的在线局部角色判断”和”后续 disambiguation 之后的下一步选择/敲击/续写”，并出现这样一组结果——控制局部惊奇度与声学新奇后，发生明确 A→B 重定的试次，其随后行为对 B 的一致性至少比未重定试次高 15 个百分点；而仅有高惊奇但无 A→B 的试次不达到这一差值。

什么不算命中：只做问卷说”我重新理解了前面”；只做离线和声标注；只显示双向模型标签更准；只在同一份数据上事后挑窗长；只报告一个作品的分析故事；只报告相关而没有控制惊奇度。若到期没有公开数据满足这组条件，本文第一层构念应降级为”描述性分析工具”，不能继续声称它是音乐发生的独立机制。

结论：音乐发生在”已经响过”与”已经生效”不完全重合的地方

这篇文章最终保留的判断比开头弱，也比开头更锋利。音乐不是因为每个声音都等待未来才获得意义；真实数据已经反对这种普遍化。音乐也不是因为所有未选择可能都在场，或因为所有过程都有反馈。更窄的发生机制是：有些事件在发声时已经足以暂时行动，却尚未取得最终操作身份；后来事件到来，把过去角色从 A 重定为 B；只有当 B 随后成为组织下一步的真实约束时，一次”后定”才完成为”前驱”。

因此，音乐的时间不只是未来向我们走来，也不是过去被我们回想。它包含一种有限的结构错时：声学事实先发生，结构提交后到达；提交一旦到达，又重新获得向前的因果权限。连续的音乐过程由许多重叠的这种小窗构成，其中一些即时关闭，一些被后文改写，一些保持多义，一些真正把改写后的过去送回生成链。

如果未来研究证明固定隐藏状态加统计 smoothing 足以解释全部现象，或者证明实时重分析从不改变下一步行为，那么本文应被吸收或撤回。反之，若”改读过去”与”改走未来”在同一试次中稳定耦合，音乐如何发生就多了一条此前没有单独记账的路径：不是声音走向结构，而是声音先暂行，后来使过去提交，已提交的过去再把未来推向另一条路。

从这个角度再回答”音乐是如何发生的”，答案不是一条从音响到意义的单向箭头，而是一条具有暂行、校验、重定和再驱动的路径。第一步，事件先进入声学历史；第二步，系统依据当前上下文给它一个足以继续的暂行角色；第三步，后续关系到来，对这个角色形成确认或冲突；第四步，若冲突足以使 A→B，过去角色被重新提交；第五步，只有当 B 进入下一步并改变实际继续，后定才完成为前驱。然后下一事件又可能进入新的暂行态，链条继续。

这个路径允许三种正常结局而不是只把关键格当成功：有的事件即时提交，从不重定；有的长期多义，不取得排他角色；有的发生后定却没有前驱，只改变事后理解；只有少数事件完成后定前驱。音乐发生不需要每一拍都经过关键格，正如并发系统不需要每个事务都回滚、生物模块不需要每次连接都产生巨大 retroactivity。机制的价值在于指出一种此前常被最终标签抹平的局部事件类型。

因此，未来最重要的数据字段不是再加一个更精细的最终和声标签，而是记录”这个标签在什么时候开始具有行动效力、后来是否被撤回、撤回之后什么行为随之改变”。一旦这三列进入实验、排练记录、交互系统日志和生成模型，我们才能判断后定前驱究竟是音乐发生的一条独立路径，还是最终会被期待、重分析或 smoothing 完全吸收。本文把裁决权留给那组数据。

可裁决问句与分层引用

零情态词判据：把第 t 个事件只用 t 及以前资料编码，再加入 t+1 至 t+4 后，它的操作角色是否改变；改变后的编码是否使下一事件的可执行预测发生变化？

第一层主张：存在”后定前驱”这一机制，最强、最容易被实验推翻。第二层主张：过去角色重编码×后续路径改变的二维表可以作为分析工具，即使第一层失败仍可使用。第三层主张：显式 fermata 边界在本次 Bach 小样本中主要由当前与过去信息即可高精度识别，未来一事件对 AUC 的增益极小；这是最稳、也最容易复算的一层。

参考文献

Del Vecchio, D., Ninfa, A. J., & Sontag, E. D. (2008). Modular cell biology: Retroactivity and insulation. Molecular Systems Biology, 4, 161. https://doi.org/10.1038/msb4100204

Zong, Y., Zhang, H. M., Lyu, C., et al. (2017). Insulated transcriptional elements enable precise design of genetic circuits. Nature Communications, 8, 52. https://doi.org/10.1038/s41467-017-00063-z

Jones, R. D., Qian, Y., Siciliano, V., et al. (2020). An endoribonuclease-based feedforward controller for decoupling resource-limited genetic modules in mammalian cells. Nature Communications, 11, 5690. https://doi.org/10.1038/s41467-020-19126-9

Hart, S., & Mas-Colell, A. (2000). A simple adaptive procedure leading to correlated equilibrium. Econometrica, 68(5), 1127–1150. https://doi.org/10.1111/1468-0262.00153

Farina, G., Grand-Clément, J., Kroer, C., Lee, C.-W., & Luo, H. (2023). Regret Matching+: (In)Stability and fast convergence in games. Advances in Neural Information Processing Systems, 36.

Kung, H. T., & Robinson, J. T. (1981). On optimistic methods for concurrency control. ACM Transactions on Database Systems, 6(2), 213–226. https://doi.org/10.1145/319566.319567

Yu, X., Pavlo, A., Sánchez, D., & Devadas, S. (2016). TicToc: Time traveling optimistic concurrency control. Proceedings of the 2016 ACM SIGMOD International Conference on Management of Data, 1629–1642. https://doi.org/10.1145/2882903.2882935

Summers, T. (2016). Understanding Video Game Music. Cambridge University Press. https://doi.org/10.1017/CBO9781316337851

Fritsch, M., & Summers, T. (Eds.). (2021). The Cambridge Companion to Video Game Music. Cambridge University Press.

Austin, M. (Ed.). (2016). Music Video Games: Performance, Politics, and Play. Bloomsbury Academic.

Hunicke, R., LeBlanc, M., & Zubek, R. (2004). MDA: A formal approach to game design and game research. AAAI Workshop on Challenges in Game AI.

Meyer, L. B. (1956). Emotion and Meaning in Music. University of Chicago Press.

Schmalfeldt, J. (2011). In the Process of Becoming: Analytic and Philosophical Perspectives on Form in Early Nineteenth-Century Music. Oxford University Press.

Karpinski, G. S. (2012). Ambiguity: Another listen. Music Theory Online, 18(3).

Cecchetti, G., Fischinger, T., & Rohrmeier, M. (2022). Musical garden paths: Evidence for syntactic revision beyond the linguistic domain. Cognitive Science, 46, e13165. https://doi.org/10.1111/cogs.13165

Sullivan, J. (2023). Extending the parallel multiple-analysis processor. Music Theory Online, 29(1).

Rauch, H. E., Tung, F., & Striebel, C. T. (1965). Maximum likelihood estimates of linear dynamic systems. AIAA Journal, 3(8), 1445–1450. https://doi.org/10.2514/3.3166

Baum, L. E., & Petrie, T. (1966). Statistical inference for probabilistic functions of finite state Markov chains. The Annals of Mathematical Statistics, 37(6), 1554–1563. https://doi.org/10.1214/aoms/1177699147

Sapp, C. S. bach-370-chorales: 370 Four-part Chorales by J. S. Bach in the Humdrum file format. https://github.com/craigsapp/bach-370-chorales

Rohrmeier, M. (2013). Musical expectancy: Bridging music theory, cognitive and computational approaches. Zeitschrift der Gesellschaft für Musiktheorie.

本文同题文 A：《音乐如何发生：续域迁移与未选未来的重写》.

本文同题文 B：《音乐如何发生：局部闭合之后的余项交接》.

附录：本次真实数据检验的预注册摘要

预注册：结构提交窗的最低成本检验
日期：2026-08-16
数据：公开 Bach 370 Chorales Humdrum/Kern 数据中的 chor001–chor009，使用当前容器中的原始 .krn 文件，不在看结果后增删曲目。
单位：每首众赞歌的每一个有效 **kern 数据行（排除解释行、注释、分节标记与小节线）；四声部持续音以最近一次非”.”音高向前填充。标签为该数据行任一声部是否带有 fermata 分号”;“。
问题：一个已经发声的局部事件，其”是否承担可识别的结构边界角色”能否仅凭当前与过去确定，还是加入一个后续事件后，跨作品分类会有稳定改进？

基线模型（Past-only）：只用当前行与上一有效数据行可得的变量：
1. 当前 soprano/bass 音高类；
2. 当前 soprano-bass 音程类；
3. 当前四声部音高类集合大小；
4. 当前各声部是否新起音；
5. 当前可读取的记谱时值；
6. 当前在小节内的事件序号；
7. 与上一行的四声部音高类重叠率；
8. soprano/bass 相对上一行的有向音程变化。
明确不使用 fermata 符号本身。

未来增强模型（Past+1 Future）：在完全相同基线变量上，只增加下一有效数据行的：
9. 下一行 soprano/bass 相对当前行的有向音程变化；
10. 当前与下一行的四声部音高类重叠率；
11. 下一行是否进入新小节；
12. 下一行各声部新起音比例。

评估：按作品 leave-one-chorale-out（9 折）逻辑回归，训练折内标准化；主读数为 pooled out-of-fold ROC-AUC 与 log loss。为避免只看总体，另报告 9 折中 AUC 改善的折数。

强预测（写死）：Past+1 Future 相比 Past-only 的 pooled OOF AUC 至少提高 0.05，并且至少 6/9 个留出作品的 AUC 不下降。
若不满足：撤回”后续事件普遍决定已发生事件结构角色”的强说法；最多保留”某些可重分析角色存在结构提交延迟”，并在正文明确本检验不能把延迟扩张到一般短语边界。
若满足：只视为第三层经验支持，不当作新构念本身的证明。
代理变量声明：fermata 只代理一种显式短语/停顿边界，不等于所有结构功能；一个后续数据行只代理极短未来窗，不等于真正听觉时间窗。

版本、证据与人机分工声明

版本：2026-08-16。正文中的三门外部机制均以可核文献为依据；关于音乐学是否已经吸收某接口的判断，按当前公开检索结果作”已发现/未发现常用框架”的保守表述，不把检索未命中当作不存在证明。

真实数据部分由程序按预注册规则对公开 Humdrum/**kern 文件 chor001—chor009 计算；统计前先写死数据、变量、模型与阈值。结果不利，已进入正文并实质性收窄命题。

人工与模型分工：研究问题、三学科约束与成文目标由提问者给定；文献检索、跨学科结构推演、预注册、统计实现与初稿由模型完成。本文不对自身给出自我认证分，需交独立盲评者评价。

---