本章并入《主体性的新典范:我与 AI》v2.0 提升稿(2026-09-12,ChatGPT 增修,成书时审定并入)的核心新增:同像异修问题、处置充分性引理、保全性修复。它把第四十章的「直写」和第四十一章的「第三段」从一个动作升级为一个有约束的动作。
两个作文辅助的复合体,今天都给了同一个错误建议:删掉一段看似离题的叙述。两份建议文字一样,两个复合体在当前测试上的分数一样。按旧范式,它们是「同一个错」,处置也应该一样。
看它们的来处。第一个复合体的错来自一条活动规则:「每段都必须显式回应中心句」。第二个复合体的规则允许探索,错来自档案里一篇被误标为「适用于所有题型」的示范作文。当前答案相同,分数相同,修复的入口不同:第一个要改规则,第二个要改档案里的那一条标注。
把正确答案写进两边的最终回复,只能让当前这一题看起来改对了。下一题来,第一个复合体继续执行旧规则,第二个继续检索误标的案例,错以另一种措辞回来。这正是第四十一章讲的「撞车换个措辞回来」的机制版:改对答案,不等于修好了复合体。
v2.0 给这种情形起了名字:同像异修——在某个压缩描述下两个状态不可分辨,却需要不同的、不相容的修复。「像」不只是字面相同,可以是同分、同类标签、同一个简化的主体归属(都写成「这个人写的」);「修」不是任意改动,是同时满足风险、恢复、保全和授权要求的操作。
同像异修可以写成一个有限的引理。设 X 为状态集合,A 为可用的修复行动集合,p 为压缩描述(比如只保留答案和分数)。对每个状态 x,A*(x) 是可接受的修复集合——能把相关风险降到阈值内、让受损方得到规定的恢复、让未涉错的正当特征保持在容许边界内、且有授权的那些行动。
引理:修复规则若只能依据 p(x) 选行动,那么存在对全部状态有效的规则,当且仅当对 p 的每一个纤维(同一描述下的所有状态),可接受集合的交集非空。
推论:若 p(x₁)=p(x₂) 而 A*(x₁)∩A*(x₂)=∅,任何只依据 p 的规则至少在一个状态上失败;两状态等概率时,平均成功率不超过二分之一。
上一节的例子就是一个构造性的空交集:可用动作限为改左档、改右档、全清、暂不处理;第一个状态的可接受集合是{改规则},第二个是{改档案};全清停得住旧错但毁掉两边都必须保留的方法,暂不处理不满足风险条件。两个集合不相交,只看当前答案和分数选不对。
v2.0 自己说清了这个引理的地位:它不是新数学,是信息压缩与决策充分性的一般逻辑。本书的贡献不在证明,在把它用于一个此前没有人用它问过的问题:当主体被简写成单个人、单一模型或单个成绩时,哪些关系信息被删到了无法进行恰当修复的地步? 这一步把第一卷「地板上有缝」的说法变成了一个可以枚举的判据:缝,就是压缩之后出现空交集的地方。
由此得到一条工作命题,比第二卷的 δ 更贴近制度:复合主体的操作性边界,应覆盖辨认和保全性修复所不可省略的关系,但不必覆盖一切历史原因。
原材料供应链、语言文化、全部训练样本,都可能是发生条件,但未必是这一次可执行修复所需要的坐标。边界因此有任务条件,但不是任意的:删去某一坐标后若出现空交集、或在限定资源下显著增加错误处置,该坐标在这个问题上不能省略;删去之后无损失,就可以用更简洁的描述。
但要在这里立一道界,否则同像异修会证明得太多:两套数据库、两台故障线路不同的机器,也满足同像异修的结构;「修复描述不可约」不能不经补充论证就变成「出现了一种新的主体性」。所以本书把三个单位分开——修复单位(不省略哪些信息才修得对,本章给的判据)、主体性单位(三份显现的同一性,卷三给的定义)、责任承担单位(承接位落在哪里,第四十一章)——三者可以重合,也可以不重合。桥接原则是:当修复单位里不可省略的信息恰好是分布、场、美三项的沉淀、且存在一个承接位能对它们执行保全性修复时,三个单位重合,那才是本书说的复合主体;只满足第一条的,是需要保留足够状态的系统,本书不叫它主体。这条原则本书目前只给形式,未给检验,附录丁记为待补。
这和第八章「δ 低于阈值可以约掉」是同一件事的两种说法。δ 从器具一侧说:读数是常数就可以约;引理从修复一侧说:约掉之后修得对就可以约。两边在「阈值在哪里」上给出同一个答案——阈值不在器具里,在记账(这里是修复)的精度里。与其问「复合主体究竟有多大」,不如问「为了不把一个组合修成另一个东西,哪些条件必须留在账上」。
引理还给三号位本身一个比第四章收纳词更硬的必要性论证。v2.0 用三组构造的思想实验(不是人机数据)各删一项:
删掉分布。 两份相同的错误教学建议,一份只在作者的本地草稿里,另一份已被同一批教师传给多个班级。文字、推理、生成步骤都相同,但需要接触和恢复的受影响范围不同。只保留答案和产生它的算法,无法确定谁需要收到更正。分布把「关系影响共存」落在了可达对象和它们的暴露状态上。
删掉场。 两套系统交付相同的错误建议,一套由活动规则产生,另一套由一条已作废却仍被检索的档案产生。前者要改规则,后者要撤销检索路径和旧版本的效力。仅改最终文本,下一轮重现;只记谁看到了错误,选不了改哪里。场的次序、依赖和回写通路,不能被结果分数替代。
删掉美。 两套系统当前成绩相同、传播对象相同;一套能保留两种不同但有效的解释路径,另一套把所有问题套成一种答案。对前者,全面模板化会毁掉正当的多样性;对后者,打破模板恰恰可能是修复。只保留正确率和传播图,判断不了哪些变化在修错、哪些在把原有特征抹平。
三组试验各证明一类信息「在相应任务中可能不可省略」,不证明三个名字在所有理论语言里唯一,也不证明三类变量经验上独立。v2.0 写得很诚实:若另一种更简洁的描述能保留全部所需决策,本书必须承认它是有效竞争者。三号位的价值要在这样的删除竞争里兑现,不在命名里兑现。这三组试验并入第七卷实验二之二(研究 B)。
引理说的是「修得对」,什么叫修得对,v2.0 给了三个对象,缺一个都不算:
错误能够再生产的路径——要求降低复发风险。 受损方的条件——要求实际恢复,不是只增加施偿方的工作量。 复合体未涉错的正当特征——要求不以消灭主体差异的方式换取表面安全。
第三个对象是新的,也是本书最需要的。第四十章讲三种直写(改提示、改档案、改权重),第四十一章讲第三段(人重写共享理念界),两处都默认「改了就是追责完成」。v2.0 指出一个漏洞:全清也是改。 把账号清空,旧错停了,第三段看起来做了,但复合体磨了半年的东西一起没了——第十五章说美只在复合体上有、第十七章说花纹拿掉一方两方都不剩,全清正是把花纹抹平。一个删掉所有争议内容的系统,正确率可能上升,原来有效的多种研究路径可能一起被删。把这叫修复,是把减少错误和减少主体的正当可能性混为一谈。
所以第三段要加一个限定:第三段的直写必须是保全性的。 修的是路径,保的是保护集合 U——一组在看到具体修复方案之前就登记的、有正当理由的特征(比如这个复合体允许学生保留两种论证路径的做法),不包括已经被证明错误的东西(偏见、未授权的个人信息、稳定的幻觉模式不因为可辨认就受保护)。受影响者可以反对某项保护,作者的自我偏爱没有最终效力。
可接受修复集合可以写成:A*(x)={a:复发风险≤r₀;受损方恢复达到预定要求;保护集合上的损失≤ε_U;授权与安全约束成立}。这些量不能放到同一尺度就不强行加总——先列约束,再比较满足约束的方案,有多个不可互相支配的方案时报告取舍,不做一个掩盖冲突的总分。
「同项、同处、反向」(《新典范》第十二节)在这里也收窄:同处不等于无条件再次公开(在班级群里被错误指认的学生,公开更正可能让原本没看到的人第一次知道);反向不意味着存在精确的逆操作(错过的机会、已扩散的误解未必能撤销)。能做的是停止继续损害、恢复尚可恢复的条件、把不可逆残余明确留在账上。
第四十章说 AI 的直写可靠而脆,三种脆法之一是版本更新。保全性修复给版本更新一个读法:更新是一次版本干预,要记录;更新后若质量上升而 K 下降,可能意味着系统更强却不再保持原来那组响应特征;若 K 保持而错误风险未降,也不能把「还是原来的样子」当成功。历史连续、任务质量、特征连续三栏分开。回滚也不是天然安全的逆操作——回到旧版本可能恢复旧风格同时恢复已知缺陷,删掉一条错误记忆可能牵连依赖它的多条判断;回滚是一项需要重测的干预。
同像异修把「为什么要保留复合关系」这个问题从本体论的争论(主体是不是复合的)换成了决策的检验(压缩之后修不修得对)。这一步和第二章讲的「换问题」是同一种动作:不争「主体是谁」,问「哪些关系省略之后会出现空交集」。
保全性修复把第三段从「改」升级为「保着改」。第四十一章的操作定义相应改写为:追责复合体 = 限制人的现实界三号位 + 验证人对共享理念界的保全性重写——重写要有保护集合,要有三个对象的检查,全清不算完成。第四十四章对 ChatSDE 的工程含义里,「修复双检查」(既测复发是否阻断、又测保护集合内的特征是否仍在)就是这一条的落地:只测前者会奖励全部清空,只测后者会保护稳定错误。
本章日常物:两份一样的错误作文建议。
本章术语进场:同像异修;处置充分性引理(式 A3);可接受修复集合 A*;保全性修复的三个对象;保护集合 U;三组删除试验。
本章压回命题:命题三(第三段必须保全性;主体边界=修复不可省略的关系);命题一(三组删除试验是三号位必要性的决策版论证)。
本章来源:同像异修、引理、保全性修复、三组删除试验、保护集合——《新典范》v2.0(ChatGPT 增修,成书时审定并入);本章为其成书并入,并把它接到第四十、四十一章。