第六章　三方程与运行之真

一、一个正确答案为什么还不是全部

假定两套工作方式给出了同一个正确结果。第一套保留了条件、推导和检查，第二套只是偶然猜中。若任务只要求在此刻选择一个选项，二者的结果可能没有差别；若任务要求持续研究、传递知识和处理变化，它们就具有不同的可用性。判断运行之真，不应把最后答案的正确性删除，却还需要说明正确结果怎样得到支撑、怎样在相关条件下继续成立。

这不是把“有好的发生过程”当作正确性的替代。一个研究过程非常认真，仍然可能得出错误结论；一个偶然发现也可能后来获得严格证明。发生史与成立依据需要联系，但不能互相冒充。我们检查发生，不是为了以努力程度评价真，而是为了定位哪些关系支撑当前显露，哪些地方尚有缺口，以及发现问题后应该从哪里改变。

在本书采用的方法论对应中，三方程指向SDE运行之真。这里的真不是一个可以脱离具体领域自动评分的总词。数学研究需要相应推理依据，技术运行需要与实际条件相匹配的检验，文本论述需要概念与材料之间的支撑。三方程组织对这些依据的追查，不取代各个领域已经明确的证据义务。

因此，本章要避免两种捷径。一种只看结果，不问形成与承接；另一种写出S、D、E便宣布解释充分。我们要做的，是让三个维度之间的关系能够被具体说明，并使这份说明接受反例、独立材料和改变后的结果检验。运行之真不是语言体系内部彼此赞同，而是相关主张能够在其所指向的任务中承担后果。

二、第一方程：显露怎样由路径与纠缠共同生成

第一方程写为S=F(D,E)。它要求我们不把当前显露当作突然出现的成品，而追踪差异序列与特征纠缠怎样使其形成。本书中的S始终指当前显露出来的状态，不在“结论”“目标”“当前状态”之间换义。以一份研究报告为例，它当前显露的状态可以包括几项组成：所呈现的结论、结论的置信状态、划定的问题边界，以及明确表达的目标。这些是同一显露的不同组成部分，不是S的几种定义。每次分析都应先写明本次S取哪几项，例如“本次S＝结论＋置信状态”，并在同一次分析中保持不变；若中途需要把目标也纳入，就作为一次新的分析重新登记。材料比较、候选推演、失败与修订组成需要检查的D；定义、工具、已有知识和任务要求之间的具体联系，则进入对E的分析。

这个划分并不是给三个字母分别找一堆名词。F必须说明怎样的作用形成了当前结果。某个结论为什么被保留，是因为证据支持，还是因为评价只奖励完整表达？某个限制为什么消失，是因为已经证明可以删除，还是因为摘要压缩时被遗漏？前者和后者都可能产生同样流畅的文本，但它们对结果的支撑完全不同。方程要求把这种差别展开。

《SDE三方程导论》明确将F、G、H定位为需要在领域中具体化的生成算子，而不是已经给定的通用计算式。[R4] 因此，本书在案例里使用三方程时，只把它们作为组织解释的框架；若要声称某个特定机制成立，还需要相应材料或论证。写出“结果由路径和纠缠共同决定”，并没有自动指出哪一条路径、哪一种纠缠以及它们如何作用。

可以用一个简单检查迫使解释变得具体：保持其他相关条件，改变某项被认为关键的过程，预计S会怎样不同？若解释认为省略条件检查导致错误接受，那么补回适当检查后，应当在相关任务上改变接受状态。若没有改变，就需要考虑检查实现不足、问题归因有误或另有条件。这样的候选预测使第一方程不只用于事后说明，也能够指导进一步检验。

在非实验情境中，我们未必能够实际控制所有条件，但仍可比较版本、追踪依赖、核对推理。证据形式可以不同，解释义务不应消失。若只知道结果而不知道过程，就应把发生机制标为未知；不能为了满足框架的完整外观，凭空补出一条看起来合理的生成史。承认不知道，也属于对运行之真的维护。

三、第二方程：路径不是旧步骤的机械延长

第二方程D=G(S,E)把路径重新放回当前显露与特征纠缠之中。一份证明在某处停住，接下来未必只有继续生成更多步骤。已经显露的缺口、现在能够调用的工具和相应条件，共同影响下一步应当补局部、查定义、找反例还是暂时停止。路径不是从过去动作中自动长出来的一条唯一轨道。

在第二方程中，S仍然是当前显露出来的状态。若本次分析把明确表达的目标登记为S的组成部分，它指的是已经显露的目标表述、限制和评价要求，不意味着未来已经完成的结果从时间尽头向现在施力。若研究者将“证明原命题”改成“寻找原命题成立所需的条件”，显露出来的目标随之改变，后续任务也随之改变。这个改变必须作为当前发生的一部分被记录，而不能混在最后结果中假装从未发生；若此前的分析没有把目标登记进S，此时应当明确补登，而不是让S的范围悄悄扩大。

第二方程对应的真，首先要求路径说明与当前条件一致。系统声称自己在检验证明，却只进行语言润色，路径名称与实际活动不一致；声称已经比较备选方案，却没有保留任何比较依据，也不能仅凭声明完成相关判断。我们需要识别实际发生的D，而不是把计划中的步骤或报告中的标签当作真实执行。

路径还有可行性问题。即使某种方法在概念上适合，也不表示当前工具、资料和时间能够支撑它。一个系统可以合理报告某条路线暂时无法完成，而不是伪造已经执行的检查。实践中保留这种状态，往往比以不充分的步骤制造完整外观更有价值。运行之真要求区分愿望、计划、已经执行的活动和已经得到支持的结果。

从这一方程可以导出本书的一项操作约束：反馈必须能够改变下一步。若每次发现的缺口都只被写进说明，系统却继续使用同一种导致缺口的路径，判断还没有形成有效回写。另一方面，改变也不等于随意换路。新路线应说明它回应了哪项问题，保留了哪些条件，又引入了什么新义务。转向必须有依据，而不只是寻找更容易获得肯定的表达。

四、第三方程：结果怎样改变下一次的发生条件

第三方程E=H(S,D)要求我们检查，这一轮活动结束以后，下一轮的条件发生了什么改变。一个错误被发现，可能进入案例库、提示规则、工具检查或使用者习惯；一个新引理得到证明，可能成为后来研究的资源；一次未经核验的成功，也可能形成不合适的信任。历史性不只保存进步，也能够沉积偏差。

这里必须把“系统学到了”说得具体。一次对话中的修订，不自动等于基础模型的参数已经更新；一份被保存的记录，也不自动等于下次工具能够访问或正确调用它。回写应当说明载体、入口和实际作用。若错误说明只存在于一个无人查看的文件里，它虽被保存，却未必改变了后续E。把保存当成学习，会高估系统成熟程度。

E的改变还可能由删减而非增加实现。删除一条不可靠的规则，撤回一个已失去支持的结论，停止调用过时版本，都可能使后续发生更可靠。若系统只能积累而不能遗忘和撤回，历史就会把旧错误不断带入新任务。因而，回写不是知识越多越好，而是相关能力和依据以恰当方式继续组织。

本书尤其关注反馈的可达性。新的结果需要进入能够影响后续动作的环节。操作规则改变后，使用者是否收到相应提示？引理条件改变后，依赖它的证明是否重新检查？一项评价被撤销后，先前据此形成的封装是否仍被当作有效？这些问题都属于E如何被重构，而不只是结果文本是否改对。

第三方程还使判断能够反身作用于自身。若先前诊断没有改善问题，应当调整诊断方法，而不是只责怪执行者。发生学若禁止自己的标准被修改，就会把回写只要求于对象，而让自身退出运行之真的检查。后面的实验章节将规定哪些结果足以要求我们限制或放弃某一种具体解释。

五、互相支持，不等于互相担保

三条关系彼此连接，很容易被误用为一种圆圈式辩护：结果正确，因为过程可靠；过程可靠，因为使用了正确结果；条件合适，因为结果看起来成功。这样的论证把需要说明的事情彼此指回，却没有提供新的依据。承认互生关系，不允许我们用循环命名代替证据。

一个简化的代数例子可以显示问题。若写S=D+E、D=S−E、E=S−D，三式彼此相容，却没有给出S、D、E的唯一值；它们只是同一关系的不同表达。若据此宣布已经预测出任何具体结果，就是把一致性误作充分解释。这并不否认联立关系有数学意义，而是提醒我们，识别、约束和外部条件仍需明确。

在实际研究中，相应要求是让至少一些关键支撑来自与待评主张不同的检查路径。例如，对证明的接受不能只依赖生成者自己重述结论；对数据处理的确认应能核对实际输入和变换；对作品结构的评价应能返回具体文本，而不是仅引用评价者的声望。不同检查是否真正独立，也需要根据其共享前提来判断，不能只靠换一个名字。

这一点对多智能体工作尤其重要。若几个智能体读取同一份有误摘要，再相互肯定，就算路径报告数量增加，也没有扩大相关证据。多方一致可以是值得考察的线索，却不是错误已经抵消的保证。我们需要记录共同依赖，寻找能够挑战这些依赖的对象反馈。互生并不取消异议，相反需要异议帮助当前关系接受检验。

因此，三方程的完整使用应当同时具备连接与区分。连接让我们看到结果、路径和条件怎样相互改变；区分让我们知道每一项主张需要什么依据，哪里仍然未知。只连接不区分，容易变成万能解释；只区分不连接，又会让正确诊断无法进入修复。二者一起，才构成本书所要求的运行之真。

六、一次文稿修改的三方程检查

以一个可分析的编辑任务为例：要求在不改变中心命题的条件下，使某段论证更清楚。系统给出更流畅的新版本，但其中一个限定词被删除。第一方程要求追查这个显露怎样发生。若删词只是润色策略的结果，而非论证支持，便有理由认定修改改变了原命题的范围。问题不是新句子不好看，而是它没有保持原任务约定。

第二方程要求调整下一步。继续要求“更自然一点”可能再次强化原问题；更合适的路线是先对照新旧命题的条件，再决定哪些表达能够改变、哪些内容必须保持。这不是规定所有编辑都先做逻辑审查，而是根据当前显露的范围变化选择路径。当前问题在概念边界，反馈就应进入相应判断，而不是只增加语言层面的加工。

第三方程则追问，这次修订以后相同错误怎样减少。可以在工作记录中保留命题边界，要求后来版本明确列出实质改变；也可以设置只针对限定条件的对照检查。是否有效，需要在后续文本中继续检验。若仅把这一句改回去，却完全不改变促成删除的流程，修复就仍局限于一个结果，没有形成相应封装。

这个案例还揭示评估目标的层次差异。更流畅是真实的改善，命题范围失守也是真实的问题，不能因为其中一项成立就抹去另一项。三方程帮助说明这些显露怎样共同产生，却不会自动给出一个总分。下一章对路径之善的讨论，将继续追问在保留重要条件的前提下，怎样组织更合适的改写过程。

如果后续检查发现限定词并非原命题所必需，情况又不同。我们可以证明或说明较强表述也成立，再正式改变中心命题，而不是永久守住最初版本。保持原条件不是反对创新，而是反对不说明依据的偷换。运行之真既要求保存当前承诺，也允许有根据地改变承诺。

七、评估必须给出可以行动的差异

一份有用的三方程评估，不应只留下“关系不充分”“纠缠复杂”等概括。它应当指出当前显露哪里缺少支撑，哪些路径没有实际完成，哪些结果尚未改变后续条件。使用者由此能够知道该补材料、改流程、限制结论还是重新界定任务。抽象词汇若不能导向不同操作，就没有充分承担判断功能。

同时，评估不必追求无边界的细化。若当前任务只需要核对一个确定的引用，直接找到原文并比较可能已经足够，不需要为此构造庞大的动力模型。三方程应当提醒我们不要漏掉关键关系，而非要求每一项小事都写成三篇报告。方法的成本也要进入后续价值评估，形式完整不能替代实际适当。

我们可以为这一轮工作保留一份简短但可展开的结论：已被支持的主张是什么，尚未支持的主张是什么，当前建议改变哪里，再次检查需要什么。每一项都应连接到实际材料或明确推理。它不是通用评分表，而是一种防止状态混同的表达方式。不同领域可以采用不同形式，只要支撑、缺口与行动不被混在一起。

最后，需要允许“不足以判断”成为真实结果。若材料无法区分两个解释，评估就应说明还缺什么。保留未知不是逃避判断，而是对当前证据范围的判断。真正的逃避，是用漂亮的理论语言遮住无法确认的部分，让后续使用者误以为必要检查已经完成。三方程作为运行之真的方法，必须包括拒绝这种虚假完整的能力。

八、真的维护为路径的选择提供条件

本章没有把真化约为过程自洽，也没有把它留在孤立命题的最后一个标签上。它要求检查当前显露的支撑、实际路径的发生，以及结果怎样进入后续条件。三条关系在具体任务中相互照明，同时保留各自的证据义务。这样，错误可以被定位，正确也能够获得超出偶然猜中的可调用形式。

但一种运行即使在这些方面获得支撑，仍然需要判断应该怎样推进。几条路线都可能满足成立条件，却在任务适配、资源使用、学习机会和后续可能上有所不同。选择哪一条、何时换路、是否需要另一种入口，就不能只由最终答案是否正确来包办。六路径将在这里展开运行之善的评估。

因此，真与善不是先做完一个再永远进入另一个的阶段。路径选择会改变什么能够得到证据，新的证据又会改变路径；本章只是为了论证而暂时聚焦一组关系。完整判断需要让不同价值维度相互校正，而不是彼此取代。一个有依据的结果，应该能够成为更好运行的条件；更好的运行，也应当使依据更加清楚。

三方程使“结果看起来正确”不再成为追问的终点：结果如何获得支撑，下一步如何形成，当前经历如何改变后续条件，都应当能够在适当粒度上检查。由此得到的真，也不是一块与路径无关的证明牌。什么先进入、什么受到校正、哪里应当转向，仍会改变证据能否形成以及反馈能否起作用；这将把判断带入六路径的价值问题。