第四十一章　共同创造的完整实作：
从问题到可检验成果

41.1 建立无新增框架时的初始解法

本章选择一个已经在本书生产过程中实际处理的问题：怎样记录一项研究任务的完成状态，同时允许已接受的结论因反例而被撤回。它与专著写作直接相关，也能够被缩小为有限结构。我们不把整本书的形成包装成已经完成的教育实验，而是公开其中可以复核的一项共同实作。

研究起点来自作者的要求：按照明确大纲高质量连续完成，设计流程，并尽可能并行调用智能体。这个要求包含速度、质量、连续性与工具能力四个方面。若不区分它们，最容易出现一种表面解法：生成一份流程图，再把写作、审核、排版等角色命名为多个智能体，最后宣布已经并行启动。名称完成，实际行动却可能不存在。

一个不引入本书新增区分的最简方案，是只记录“未完成”和“完成”两个状态。文稿文件存在以后，把任务改为完成。这是本章构造的分析性基线，不是此前进行过的盲测记录。它有明确优点：简单、便于统计、使用者容易理解；它的问题是把正文写成、字数达标、检查通过、独立复核和作者审定压在同一个词中。

若只增加一个总分，问题也未必解决。总分可以因字数、格式和引用数量提高，却仍然无法说明哪个核心命题没有得到证明。另一个常见替代是保存全部聊天与所有文件，但没有标记关键依赖。信息更多，读者仍然无法知道哪一个结论因为哪个反例而改变。两种方案分别暴露压缩过度与组织不足。

本书提出的改写是：把完成拆为具有明确条件的状态，把论断支持关系写成可检查的依赖，把撤回作为合法事件，同时保存不可覆盖的历史。这样，不仅结果可以被记录，导致结果变化的D也能够与当前S联系起来。E中的规范关系不再藏在“已经完成”这个词后面。

这一基线比较的证据地位需要明确。它是对不同记录规则的结构分析，不是对多个团队完成速度的统计比较。没有实测数据就不能说新方案减少了多少错误、节省了多少时间。当前能做的是构造反模型，展示旧方案允许什么混淆，新方案如何排除其中一部分。

共同实作的边界也在起点声明。它研究文稿和论断的过程状态，不研究所有知识的自动真伪判断；它可以使依赖与撤回透明，却不能代替外部事实核查和作者判断。把边界列清楚，后续程序才有可验证对象，而不必承担一个本来没有形式化的万能使命。

这一步对应基础知识革命的一个微观入口：我们没有把“完成”当成现成概念，而是追问它的所指关系如何成立。随后产生的新逻辑和新结构，都从这一区分继续发生。新概念的价值不在名字特别，而在它排除了原来具有实际后果的混同。

41.2 共同生成候选并选择真实突破点

最初可以提出多种候选。一种是增加更多状态标签，一种是建立按顺序执行的清单，一种是把每条论断与支持材料联系起来，另一种是保存完整版本历史。每种候选都回应了部分问题，但若单独使用，也可能留下明显缺口。候选比较需要根据原问题，而不是根据界面看起来是否复杂。

只增加状态标签，却没有定义进入条件，可能让“已核对”“已审核”变成任意按钮；只有清单而没有撤回，会把研究写成不可逆的工序；只有来源连接而没有支持强度说明，可能把一条不相关引用也算作完成；只有历史而没有当前有效状态，后来者又很难知道目前应该使用哪一版。

本书因此选择一个小而可检验的突破点：先研究两个有依赖关系的论断，规定接受需要核对，接受下游论断需要上游成立，撤回上游会使相关接受状态失效。这个选择没有试图立即完成全部知识管理，而是把概念、推进与结构收束到一个可以同时展开的任务。[17]

本书对知识完整性、S的显露地位和数学公理发生的规定，构成这一模型的理论约束；AI辅助形成状态表达、反例与证明文本；程序负责遍历有限状态并检查明确性质。三种贡献可以被区分，但没有一种可以独自冒领整个结果。特别是程序不会自行知道哪个研究命题值得追问。

候选的关键变化是区分历史与当前接受。历史保存已经发生过的事件，当前接受反映现阶段能够承担的结论。撤回以后，历史可以增加，而接受集合减少。这一结构排除了“记录越来越多，所以知识一定越来越多”的推断，也给修订提供了不必掩盖旧错误的空间。

第二个突破点是区分核对与真理。核对标记只说明某项协议动作完成，不能直接证明论断内容正确。若这一点不写入，系统会把程序状态冒充知识状态。新的概念边界因此同时限制了逻辑推进：不能由“核对完成”无条件推出“全部成立”。

第三个突破点是为继续工作保留类型。一个历史片段的终点必须与下一个片段的起点相合，才能合法组合。这样，流程不是任意步骤串，而是有状态约束的路径。数学进入的不是一个总分，而是路径如何接续、组合为何保持性质、撤回如何传播的结构。

选择这些突破点还意味着主动放弃一些功能。这个基础模型暂不处理来源可信度的连续评分，也不声称解决全部多人协作。第三十七章进一步构造了多条替代支持与无外部起点的循环，但它仍是范围明确的有限规则模型，不是全部真实证据关系的自动判定。保留明确范围可以提高检查强度；扩大范围则需要新的构型与证明。高速并不要求一次宣称覆盖所有问题，而要求每一步的实际范围可被确认。

41.3 实物、代码、推演或观察怎样验证

共同实作首先交出实际可运行的代码，而不是仅写一段“可以运行程序”的说明。记录系统的状态、事件、前提和更新规则均有明确表达，程序从初始状态遍历可达状态。得到七个状态、十七条合法转换，以及长度不超过六的二百九十八条合法历史。[17]这些数值来自本次执行，并非预期结果或课堂观察。

其次，程序检查的断言被公开。接受A应当意味着A已经完成规定核对；接受B应当意味着B已经核对且A仍被接受；撤回A以后，B不能继续保持原接受状态。检查覆盖的是这些具体结构要求，不是自然语言论断的真理。程序通过与知识可靠之间的距离因而可以被读者看见。

第三，给出一般保持证明，而不把有限枚举当成无限结论。初始状态满足要求，每一种合法事件都保持要求，因此由通常有限序列归纳，所有合法有限历史都保持不变量。这个证明的前提、规则与结论分别明确。程序可以帮助发现实现错误，证明说明为什么性质超出已枚举长度仍然成立。

第四，故意删除规则以构造反模型。删除依赖前提，便可能在A未接受时接受B；删除撤回传播，便可能在A撤回后保留B。反模型说明新增规范并非装饰，也帮助识别规范之间各自承担的任务。若没有这种比较，系统越复杂，人们越难知道复杂性是否有必要。

第五，检查组合结构。合法历史在端点匹配时连接，空历史承担局部单位，三段合法路径的连接满足结合。这里的结合性来自有限序列连接的构造，而不是由“存在三维关系”直接推出。这个区别与数学编的非结合反例相互呼应，避免本书在实作中重新偷用未经说明的结论。[16][17]

第六，保存可复核材料。代码、执行输出、计数规则、来源定位与版本状态共同构成证据包。读者不必相信一段自述就接受结果，可以检查输入范围、重新运行或修改规则。公开材料不能保证所有问题已经发现，但它使异议能够作用于具体对象，而不是只在立场之间争执。

当前仍缺少真正独立的学术复核。本书当前版本没有另一个写作智能体或外部审稿人对全部论证给出独立意见，也没有教师和学生参加这项模型试验。因此，成果可以标记为已构造、已执行有限检查、已给出条件证明；不能标记为已经通过独立同行评议或教育效果验证。

这样的验证结构并不使成果变弱，而使成果强度可被准确使用。实际运行过的有限检查，比虚构的大样本更可靠；范围清楚的一般证明，比不说明前提的万能解释更有价值。知识发生需要的公共性，正体现在别人能够知道究竟发生了什么，以及什么仍然有待继续发生。

41.4 把失败写回下一轮任务

共同实作已经暴露了几类需要回写的问题。最直接的一类是状态不足：两个布尔标记可能把不同核对动作压在一起，不能说明某项核对为何失效。若实际工作要求区分来源核对、计算检查和作者认可，模型需要更细的类型，而不是继续在一个“已核对”字段里追加解释。

第二类是依赖过于简单。B可能不只依赖A，也可能在A失效时仍由另一条独立证据支持。当前模型采取严格撤回，以换取明确的安全边界；第三十七章的扩展已经加入替代支持，并区分共同需要与择一足够；进一步用于真实任务时，仍必须说明什么叫独立、什么时候支持充分、撤回应当传播到哪里。更多连接并不自动带来更高可靠性。

第三类是历史与理解之间的距离。系统保存了关键事件，不等于读者已经理解这些事件的意义。仍需要可读的发生说明，把记录与概念改变联系起来。若证据包庞大却无法进入，它可能成为另一种信息堆积。因此，技术可追溯与教育可理解需要共同设计。

第四类是分工实际性。在专著生产中提出并行智能体协作要求时，系统必须检查是否确有可调用接口，不能把多个角色名称当作真实调用。在本书形成过程的现有条件下，可以实际并行的是有限模型和文档规则检查，主文仍由同一写作过程完成。这个能力边界已经回写到任务包与状态记录中，防止计划被误读为执行。

第五类是质量判断不能完全程序化。重复检测可以找到相同段落，却未必识别不同措辞下的同一论证空转；引用编码可以检查合法，却不能单独确认来源支持强度；标题齐全也不能证明每一章完成了独立任务。下一轮审稿必须针对这些缺口，而不是重复已经可靠封装的机械检查。

失败回写还需要确定哪些内容保持。有限记录协议中的某些不变量已经有明确证明，没有必要每次从零开始；同时，证明所依赖的规则一旦改变，相关部分必须重开。这样，复合体既能积累，又能修正。知识的开放性不是永远没有稳定成果，而是稳定成果具有可识别的成立条件。

这项实作最终交出的不是一张速度排行榜，而是一种可复制的研究组织方式：从概念混淆进入，比较候选结构，执行明确检查，区分证据强度，再把发现的缺口交给下一轮。它没有证明SDE发生学已经解决全部创造问题，却展示了一个实际任务怎样因根知识的介入而获得更清楚的结构。

下一章将进一步追问评价。一个共同成果能够运行、可以阅读，并不意味着学习者已经获得同等能力；一个人能准确讲述发生，也不等于作品有实际价值。我们需要建立多维、分层、可迁移的评价，而不能再用单一成品、单一分数或一个漂亮标签替代全部判断。

章末来源与论证身份

[4]作者的专著总纲与理论修正。[16][17]实际执行的有限数学与知识记录模型。最简二状态方案是分析性基线，不冒充事前盲测。已完成程序核查与正文条件证明，尚无独立同行审稿或课堂试验；后者是明确保留的后续验证任务。