祝融说。

五次确认还够不够说明新消息

唐可看着八项历史请求中的五次确认，又看了一眼R17的回复。她说，既然现在已经收到清单，能不能只看过去同样回复过的请求。顾宁没有反对分组，却先问：同样，是同一句话，还是在同一时段明确说收到清单。

如果按最后有没有回复划分，历史请求可能是在周五确认以后才被归入有回复组。R17在周四十一点二十分取得的消息没有那些后续条件。看起来都叫回复，拿来比较的状态却不是同一状态。

第一部分已经说明模型要留下边界。第二部分从边界内的计数开始：总体八项仍然有效，但取得一个新条件后，顾宁需要辨认八项中哪部分满足它，目标结果又在这部分出现了多少次。不是给原来的五次确认随手加一个分。

本章继续虚构澄湾修补站的思想实验。新设定只用于展开历史分组，不代表现实委托的规律。R17仍未取得完整确认；“清单收到，我还要核对接收时间”没有变成范围已经核对或支付条件已经接受。

把分组条件写在结果旁边

顾宁先保留原目标，记作A：从历史请求各自周四十点尚未完整确认的起点，到相应周五十七点，修补站收到对所保存第一版的完整确认。这里的字母只是省去反复写长句，不能省掉版本和窗口。

她另设一个条件B：在各项请求相应周四十点之后、截至十一点二十分，约定渠道已经收到委托方明确表示清单收到的消息。条件不要求其接受全部范围，也不要求其确认接收时段；只按这句话实际能辨认的状态划分。

本章为八项历史增加明确的材料设定：叶澄回查原沟通以后，能够辨认这段时窗是否取得上述消息。八项都可裁决B，没有把查不到回复的对象猜成没有回复。整理出的条件表在周四十二点才交给顾宁，不能回填为十一点二十分已经做完的统计。

这一设定比只写回复过严格。B必须说明回复的对象、内容、取得渠道和截止时点。若有人只说稍后再看，不能代替明确表示清单收到；若在十一点三十分才收到，也不能算作十一点二十分前满足条件。

A仍是整个目标窗口内的完整确认，B是在指定较短时窗取得的有限消息。较短时窗不证明每项请求都是先有B再有A；若要把B用于当时尚待发生的结果预测，还须逐项核对实际收件顺序和消息取得时的确认状态。两个条件可能同时满足，也可能只满足其中一个。把它们分开保存，才不会因为消息听起来接近确认，就把分组条件改写成目标本身。

八项怎样分成四格

为使演算能够核对，本章进一步设定八项的对应关系如下。R01、R02、R03、R04满足B，其中前三项满足A，R04不满足A；R05、R06、R07、R08不满足B，其中R05和R06满足A，后两项不满足A。

R04、R07、R08仍只计原窗口事件未成立。本章不分配它们各自未成立的具体原因，因而没有修改前文三项中两项未取得完整确认、一项提出修改的总说明。它们后来是否合作也不由这张表决定。

五次肯定、三次未成立仍在原来的八项中。表格没有新造八项，也没有把一项的多条消息拆成几项。新增的是同一对象上B与A的对应，不是从另一个来源补来一批不相接的数量。

唐可原先问只看同样回复过的请求，现在能返回四项满足B的对象。她不能只拿其中三项确认当分母，也不能把另一组四项全部称为拒绝消息的请求。不满足B，只表示指定时窗没有收到指定类型消息。

条件概率怎样改变分母

在同一概率模型内，当B的概率大于零时，条件概率的定义是：

$$ P(A\mid B)=\frac{P(A\cap B)}{P(B)} $$

这里的交集表示A与B都满足。竖线右边的条件规定本次判断范围；分子只保留该范围内同时满足目标的部分。定义可见康奈尔大学CS2800条件概率课程讲义。

若把已经核对的八项各赋同等权重，建立一张只描述这八项的经验分布，A与B同时满足占八分之三，B占二分之一。两者相除得到四分之三。也可以直接在四项B对象中数三项A，结果相同。

这不是把一般定义偷换成所有对象都同样可能。历史等权计数是本表的描述办法；若另一个模型给对象不同权重，分子和分母须按同一权重系统计算，不能保留简单项数的答案再换一个解释。

在这张有限历史表中，满足B的一组确认频率是四分之三，不满足B的一组是四分之二。总体是八分之五。三个数回答不同范围的问题，均可计算正确，却不能不说明条件就互相替代。

为什么不能继续除以八

唐可试着写，出现清单收到消息后，八项里有三项确认，所以是八分之三。这个数没有算错除法，却回答了另一件事：在全部八项中，既满足B又满足A的比例是多少。

本次已经限制到满足B的四项，再除以八，就把没有B的四项留在了分母里。顾宁于是把两句完整问题并排写下：全部八项中两者同时发生多少，与满足B的四项中目标发生多少。

同理，不能把全部五项确认都放到B组分子。五项中的两项没有B，放进去便越过了本次范围。条件计数要同时改分子与分母，不是仅删不喜欢的对象，也不是只保留顺利结果。

这种错误不一定来自复杂数学。表上数字离得近，读者容易把同一列总数看成任何问题都能用的分子。先写范围，再指认对象，往往比反复念条件概率更能避免混用。

总体怎样由分组接回来

两组频率分别是四分之三和二分之一，能不能简单取平均，回到八分之五？这次可以，因为两组各有四项，权重相同；相同组大小是本表的具体条件，不是分组频率总能等权平均的理由。

回到全部八项，需要让B组占八项中的四项，不满足B组也占四项。于是总体比例是四分之三乘二分之一，再加二分之一乘二分之一，得到八分之五。分组覆盖全部八项且互不重叠，才没有漏计或双计。

作一个独立的比较：若另有十项，第一组两项都确认，第二组八项中两项确认，两组频率分别为一和四分之一。总体只有四项确认，是五分之二，不是两个组频率的简单平均八分之五。

这个比较没有添加到澄湾登记里。它只说明组大小改变时，平均必须连着各组在总体中的份额。给小组和大组相同话语权，可以用于另一种评价目的，却不再自动等于总体对象的确认比例。

保存分组数量的价值正在这里。只留下两个百分数，后来读者便不知道它们各自压缩了几项，也无法核对总体。数字没有错，离开份额之后仍可能被接成错误判断。

R17能进入哪一组

R17在十一点二十分已经取得明确称清单收到的回复，因此按本章B的内容与时点定义，它满足当前对应条件。这里承认的仅是消息状态，不是清单内容都已核对；顾宁没有改写第五章记录。

但是，历史B组的四分之三不是R17自动取得的概率。它先说明过去四项的组内频率。拿来支持当前判断，还要问历史与当前的版本、起点、消息含义和其余重要条件是否有足够对应。

本表只用了一个粗条件。R17回复还明确说接收时间需要核对；历史B组是否也都有同样待核对状态，本章没有设定。若这项差异重要，仅按清单收到分组仍不足以关闭模型边界。

顾宁可以把B组频率列为候选参考，说明它比未分组起点多处理了一项观察。她不能因此宣称增加条件必然改善预测，也不能为了取得更高数字，故意不看当前明确留下的空白。

一项新条件有了历史对应，使判断得到新支点；支点能承受多大范围，仍需材料。组内计数与新对象迁移是接续的两步，把前一步做对不会替后一步直接通过。

条件的取得不能晚于使用

如果顾宁想在周四十点就使用B组频率预测R17，她会遇到实际困难：当时B的时窗尚未结束，也没有取得十一点二十分的回复。后来的分组不能成为十点已经知道的当前条件。

这不妨碍顾宁在十二点形成一次新的判断准备。旧事件和截止仍可保持，条件材料与历史表取得时点则另记。十点版本和十二点版本分别使用当时可用信息，不因为针对同一结果就被合并成一次原预测。

若历史表的B改成截至周五十七点任何时候收到清单收到消息，它会包括更晚才出现的状态。对那张历史表仍能做描述计数，但拿它说明周四早时点的新对象，需要另查信息是否提前可用。

统计中的给定条件不在定义上保证早于目标；在预测应用中，能否在判断时点取得条件却不能省略。一个可以事后划分的组，未必可以事前识别，这正是两种用途的差别。

没有看见条件不等于条件不成立

本章能够将八项分成两组，是因为增加了八项都能裁决B的设定。现实整理若只有六项能确认消息状态，另两项缺这段原材料，就不能把两项自动放入不满足B组。

仍作比较，假如四项明确满足、两项明确不满足、两项未知，顾宁可以分别报告已知组计数与未知数量。若只分析已知六项，应说范围已缩到这六项，不继续称它是原八项的完整分组。

未知对象将来可能进入任一组，也可能因资料始终无法取得而保持未知。随意各分一个，只能构成一个补值假设；不能因为两组看起来更对称，就把它称为原材料的结果。

R13至R16此前缺失，仍不因本章的八项条件表被补齐。条件表没有跨出已经核对的比较类。R09至R12阶段或窗口不同，也没有被借来扩大不满足B的数量，使表格显得稳定。

条件分析会产生新的资料需求。原来足够裁决A的材料，可能不够裁决某个更早时窗的B；不是以前已经检查过结果，就证明以后任何分组字段都有依据。

条件组为空时不能写零

若提出更细的条件C，例如同时收到清单收到消息并明确说明某个接收限制，而八项没有任何对象满足C，分母便是零。本章采用的比值定义不能从这个空组算出条件概率。

零次目标出现在零项对象中，不能说目标概率为零。没有可计数对象，与有四项对象但零项满足目标不同。后者至少有该组观察，前者连组内比例都没有得到。

顾宁仍可以依据其他材料建立另一个假设模型，或者退回较宽比较类，明确细条件没有直接历史支持。不能在空格里填一个漂亮数字，再称它来自刚才的条件计数。

这也说明不断细分不是没有代价。条件越来越贴近当前对象，原本八项可能被拆成很小的组甚至空组。相似性得到一方面加强，材料数量却受到另一面限制，需要同时解释。

加入条件为什么不必使概率升高

唐可注意到B组比总体高，容易把有新条件理解成判断更乐观。本表中的升高来自三次确认与四项对象的实际对应，而非来自条件这个词带有肯定语气。

另一个条件若在同一八项中对应较少确认的组，组内频率便可能低于总体。条件也可能没有改变所算比例。它做的是重新限定范围；方向由对应材料决定，不由顾宁希望得到什么决定。

数值升高还不等于判断质量升高。一个更贴当前却只有少量对象的组，可能提供有用线索，也可能只是当前记录中的偶合。质量要看条件依据、可迁移范围与后续检验，不能拿较大概率作准确性的奖章。

若顾宁试遍许多说法后，只展示确认率最高的那个组，读者会以为这项条件一开始就有明确用途。实际上它也可能是看结果后挑出的划分。候选可以保存，但挑选过程不能从说明里消失。

第六章已经要求模型允许反面材料进入。此处落实为，不只保存让原判断上升的分组，也保存使它下降、没有差异或暂无法计数的条件。有限查证仍可停止，停止理由却不是只剩自己喜欢的数字。

多个条件需要交叉对应

如果以后取得一个接收时段条件C，顾宁不能先用B组四分之三，再将C组某个比例加上去。两个组可能包含相同对象，也可能交叠方式不同；两张边际表不足以给出同时满足B与C的一组结果。

需要回到同一请求上，辨认哪些同时满足两者，再按交叉组计数。若满足B的四项中只有一项能裁决C，不能把C组另三项从别处搬进来假装同一组材料齐全。

形式上可以写在B和C共同给定时判断A，但符号并不保证已有对应记录。多写一个条件，增加的是需要核对的范围，不是自动多取得一种证据。

两个条件有时几乎表示同一件事。把清单收到与收到清单回执当作两个独立加分项，可能重复使用同一条消息。此处先辨认组的交叉，后文再处理来源与证据依赖，不能仅凭条件名称不同便相乘。

这张表不证明回复造成确认

B组的确认频率较高，只说明本表里消息状态与原目标窗口结果这样对应。它没有比较如果同一个委托方被要求发或不发该消息，确认结果会怎样，也没有排除两者共同依赖别的条件。

例如在明确标注的解释比较中，事务准备充分可能同时使人更早回复、更容易及时确认；也可能是沟通过程本身与确认推进相接。八项表没有辨认这些解释哪项得到支持。

因此，要求所有人先发一条清单收到消息，不由这张表直接保证确认频率上升。描述条件与改变条件是不同问题，因果比较将在第三部分展开；这里不凭计数提前替行动设计效果。

保留这种限制并不使表格失去用处。即使某种状态只提供可观察线索，它仍可能帮助预测；但帮助预测的范围和改变现实的能力不能被同一个较高数值包办。

截止点改动也会改组

唐可提出，十一点二十分这个截止会不会太细，改为中午以前是否更方便。顾宁可以另做一张表，但不能只把表头的时间改掉。十一点二十分以后、中午以前取得消息的历史请求，在新表里可能从不满足变成满足；原四项与四项的划分不保证继续成立。

需要重新读那段材料，再数新的分子和分母。没有核对以前，本章不能给出改为中午的结果。方便整理是选择时间尺度的一个理由，却不提供未查验的消息。读者也应知道新表用了更宽的取得窗口，不能与原表并排比较时省略这项变化。

若R17是在十一点三十分才收到消息，它按中午截止的条件可以满足，按原条件则不满足。这里是比较，不修改主线十一点二十分已取得回复的事实。两个定义没有谁必然正确，关键是各自对应哪一个判断时点与材料范围。

连续时间被截成区间，总会有边缘对象。可以保存原时间，让后来能够重新分组；不能因为时间接近，就在未说明规则时将对象算入两边。粗一些的条件降低整理成本，细一些的条件保留差别，它们都需要公开自己的取舍。

一项记录改动怎样影响比例

四项中三次确认意味着组内每一项都占相当份额。作一个计数比较，若其中一个原肯定被原材料纠正为未成立，保持B组四项不变，频率便从四分之三变成二分之一。这不是对真实误差的估计，只展示小组比例对一项裁决有多敏感。

另一种修订则是发现某项消息超过B截止，它必须移组。此时改变的不仅是B组分子，还可能是分母与另一组数量。不能把所有修订都当作在原百分数上扣一格，更不能让同一对象在旧组删掉以后没有进入新状态记录。

顾宁因而保存计数而不只保存四分之三。后来核对能辨认变化发生在结果裁决、条件裁决还是材料取得范围，再决定重算哪一张表。只有新的对象对应通过检查，更新后的比例才有清楚来路。

这种敏感性提示谨慎，却不能直接转成一个上下浮动范围。若要说明估计的不确定区间，还需另立统计模型和假设；本章没有从一项可改动的比较推导区间覆盖保证。把具体修订演示与估计方法分开，既保留少量材料的限制，也避免用含糊的误差话语替代计算。

条件表怎样成为可交接的产物

周四十二点，顾宁将这张历史表与原八项清单一起保存。表头说明B的有限消息含义及较早时窗，A保留第一版完整确认和周五截止，格内数量都能返回请求编号。

她同时留下计算用途：三除以四用于B组历史频率，三除以八用于八项中的共同出现比例，五除以八用于未分组总体。另两项组内确认不能搬进B组分子，未知或不同窗口对象也不补进分母。

如果唐可交给另一位成员，接手者首先核对分组条件是否一样，再看数量。若要研究已经核对清单的对象，就应新立条件，而不是修改旧表标题保留原四项，让收到在交接中变成核对。

这是一种有限降维：复杂沟通被整理为少数可计数格子，但格子保留回原材料的路径。过程性完备在这里体现为新条件能进入、旧对应能复核；不意味着有限历史已经穷尽委托方的可能过程。

本章兑现的判断是，给定条件后必须在同一范围内重新识别分子和分母，再说明频率对应什么。R17满足当前B的消息定义，但尚未采用这张小组频率作为最终预测。下一章将把同一四格表换一个提问方向，检查为什么“确认者常有这种消息”不能直接回答“有这种消息者是否确认”。