逻辑闸门、证据之秤与无豁免法庭：一场方法论审查的完整理论化——从可证伪主义的逻辑处决到求真程序法的系统建构

逻辑闸门、证据之秤与无豁免法庭：一场方法论审查的完整理论化

——从可证伪主义的逻辑处决到求真程序法的系统建构

摘要

本文将一场以“先分析逻辑、再找证据”为核心纪律的方法论对话进行全面理论化，其成果是一个包含本体层判决、程序法建构与主体行为判准的完整框架。在命题层，本文对波普尔可证伪主义执行了零证据死刑判决：其死因为“地位冒领”——一条方法论约定冒领了科学本质发现的地位。该判决由两条相互独立的逻辑线路支撑：其一为自我反噬二岔线路（“可证伪的才是科学”这一命题按自身标准不得为科学，故或为冒领或须撤回申报，两岔同死）；其二为辅助假设线路（反驳仅能证立前提捆中至少有一假，不能定位错误归属，故该机制不构成有效划界装置，此线路为纯逻辑内核加经验应用前提的混合论证）。在程序层，本文建构了“素材—闸门—之秤”三段诉讼程序，证明“先逻辑后证据”的不可逆性精确成立于闸门层（零证据可执行），并将依赖证据的前提整理工作立户为素材层，从而化解了“逻辑分析依赖证据”的归谬挑战；同时建立零效力定理（任何主体对命题的态度性接受对命题真值的证明力精确为零），并以时间从句“在逻辑审查结束之前”保障一票否决制的自动失效机制，使证据获得闸后依序入场的制度化通道。在行为层，本文提出伪科学家的行为主义定义（将逻辑已破产的范式当金科玉律并裁定研究合法性者，无论路径为盲从或装死），建立命题级、行为级、人级三级判决体系与“结构同罪、档案分档”的量刑原则；对主体自述“不知道”实施四岔分析（真不知、装不知、不知己不知、能而未推），证明状态层判决存在他心问题的结构性天花板，从而将全部可操作裁决力定位在行为层，并确立“第一动作判准”的诊断学地位。在元层，本文对全部框架执行自反性检验，确认定义以明码立规方式申报自身、死刑判决经混合论证重标后仍由纯逻辑线路独立支撑、价值词经翻译方可入判决书、双向适用条款无豁免者（含本文作者与出题人）。本文最终将整套框架收缩为对仗的程序法条文：“闸前的证据是伪证，闸后的逻辑是废纸”，并以“逻辑复核通道永久开放、证据环节对已决案件永久关闭”的双轨状态作为游戏结束一词的精确含义。

关键词：可证伪主义；地位冒领；辅助假设；零效力定理；一票否决制；行为主义定义；他心问题；第一动作判准；程序法；自反性

序言

一、研究缘起与材料范围

本文的研究材料不是文献库，而是一场完整的方法论对话。这场对话从一条朴素的纪律出发——“先分析逻辑，再寻找证据；逻辑不通，找鸡毛证据”——在十几轮攻防中不断被考验、被反驳、被要求自我修正，最终生长为一套能够对命题执行处决、对程序进行立法、对主体行为进行分档、并对自身实施审判的完整框架。本文的任务是将这场对话的全部理论遗产系统化、公理化、条文化，并补足对话中来不及展开的论证细节。

选择对话而非文献作为研究材料，本身就是一个方法论立场：理论的生命力不在于它被多少文献引用，而在于它在实时攻防中是否每一步都交付了可复核的检验点。这场对话的每一轮判决都附有明确的复核点——一个若被攻破则相应部分重拆的具体环节——这种写作与论证的方式，本身就是本文研究对象的一部分。

二、核心问题

本文处理的不是一个问题，而是一簇相互咬合的问题：

第一，命题问题：“可证伪的才是科学”这一命题的逻辑地位究竟是什么？它死于何处？死因应该如何精确登记？

第二，程序问题：逻辑分析与证据检验的先后次序，其精确适用范围是什么？当“逻辑分析本身依赖证据”的挑战出现时，次序原则如何存活？

第三，权威问题：作者怎么说、信徒怎么看、院士怎么认为、文献怎么记录、主流有什么共识——这些态度性事实对命题真值的证明力是多少？它们在什么条件下可以转化为有效证据？

第四，主体问题：当一个人或一个AI说“不知道”时，这个自述的证据地位是什么？真不知道与假不知道能否判定？如果不能，求真的审查应该盯住什么？

第五，立法问题：以上所有结论如何收缩为可执行的条文？条文如何避免犯它们所禁止的错误？谁来审查立法者？

三、方法与自我约束

本文沿用对话中确立的三重自我约束，并作为论文的写作纪律执行：其一，除结构性转述外不依赖“某某权威说过”作为论证支点，全部论证力量来自逻辑结构本身；其二，所有判决标注逻辑类型（矛盾判定、有效性判定、地位归属判定、悬置的经验问题），不同类型不混用证据；其三，所有关键判决附可复核检验点，明示错在哪个环节。此外增加第四重约束：凡本文对对话中实际发生的论证修正（如死因栏从“自相矛盾”改判“地位冒领”、辅助假设线路重标为混合论证），一律如实记载修正过程与理由，不掩饰、不回写——论证的修订史是方法论的证据，删除修订史等于伪造档案。

四、结构安排

全文共十二部分。第一部分建构方法论总纲。第二、三、四部分处理命题问题。第五部分处理权威问题。第六部分处理三级判决与行为主义定义。第七部分处理主体问题。第八部分处理程序争议。第九部分处理立法问题。第十部分处理法庭类比与程序法收缩。第十一部分执行自反性检验。第十二部分为全文总结。

第一部分 方法论总纲：素材—闸门—之秤的三段程序

一、总序位法则的正式表述

整套框架的程序法核心可以表述为一条总序位法则：

先看原句本身，先分析逻辑，再找证据。逻辑不通，证据环节不启动；逻辑通过，证据依序上秤。

这条法则的完整形态是三段结构：素材 → 闸门 → 之秤。三段各有分工、各有质检标准、彼此不可越序。

素材层（前提整理）：搞清楚受审主张的原句究竟说了什么——它的前提捆里都有谁、词项指什么、申报了什么逻辑身份。例如要审可证伪主义，先要确认现实中的科学预测并非由主理论单独推出，而是联合一整捆辅助假设；要审“不知道”的自述，先要确认“不知道”这个词在句法上可以承担至少四种不同的状态报告。素材层的准确性依赖对世界的了解，因此它可以、有时必须依赖证据——这一层在次序上排在闸门之前，在管辖权上归证据之秤（它的质检标准是前提的准确性，即与世界相符与否）。

闸门层（纯逻辑运算）：对已摆上桌的前提执行形式检验——有效性查证、一致性查证、地位归属比对。这一层的任何运算都零证据可执行：矛盾判定靠真值表和代入，演绎通路的存在与否靠推理规则的机械检查，申报身份与实际身份的比对靠纸面结构分析。没有哪一步需要等任何一个实验结果回来。

之秤层（证据检验）：对通过闸门的主张进行经验称量——工具的实际效用、理论的预测成败、判准的诊断效度。秤的入场以闸门的通过为前提，且秤的称量结果不倒灌回闸门。

二、不可逆性的精确范围

总序位法则中最容易被攻击、也最需要精确划界的是“不可逆”三个字。存在一种流行的归谬式挑战：“逻辑分析本身有时候得依赖证据才能做，所以先逻辑后证据的次序在有些情况下没法真正做到不可逆。”

这个挑战的解剖结果如下。它观察到的现象是真的——素材层确实可以依赖证据（了解科学预测的实际结构确实需要科学史知识）；但它的归类是错的——素材层从来就不挂在“逻辑”名下。三段程序中，依赖证据的是第一段（素材），零证据的是第二段（闸门），挑战者把第一段的证据依赖性记到了第二段的账上。总序位法则的不可逆性主张，精确限定在闸门层：一旦前提整理完毕，闸门运算零证据执行，且闸门处决后的主张对证据免疫——这个免疫不是统计概括，是关于矛盾与证据效力的逻辑定理：一个内部矛盾或地位冒领的主张，其死因在世界层面的任何变化下都保持不变，因此任何数量的观察结果都改变不了判决。

由此，挑战的回应可以钉在一问上：“从¬(T∧A)推不出¬T”和“矛盾即死刑”这两条运算，需要等哪个实验结果回来才能执行？答不出，闸门的不可逆就立着；答得出，框架重拆。这是全文第一个、也是最基础的复核点。

三、闸门的单向性与秤的非倒灌性

闸门是单向淘汰装置：它处死必错者，放行者仅获得“待查”资格而不因此获得“为真”地位。一个形式无懈可击的论证可以建立在假前提上——“所有天鹅是白的；这是只天鹅；所以它是白的”——所以“逻辑通过”只排除形式错误、矛盾错误与冒领错误，不排除全部错误。

与此同时，秤有非倒灌性：工具好不好用、判准诊断效度高不高，是经验问题，逻辑判决无权在判决书里顺嘴处置。这条禁令并非学究气，它针对的病症在对话中实际发生过一次：死刑判决的初版里出现过可证伪主义“降级存活，作为操作规程可用”的表述——这一句在死刑判决书里给工具写了未上秤的好评，犯了逻辑越权。更深一层，它让主义借工具的壳续了命：“降级存活”的主语若为主义，主义就没死。正确的账目是：主义被处死后什么都不剩；检验操作从头到尾就不在被告席上，无所谓存活或降级。这次实际发生的错误被如实清算入档，并上升为通则：判决书上的每一个名词都必须经过概念分账，否则最严谨的推理也会在术语缝隙里漏掉它本该处死的东西。

四、管辖权表

三段程序的管辖权可以收进一张表：

表的右侧还有一条附加规则：价值词禁令。赤裸价值词（“垃圾”“流氓”“伪”）不归任何一层管辖——作为情感表达它们无真假；只有翻译为行为描述或可检验命题后才获得入场资格。这条规则的产生与反复适用将在第九、十部分展开。

第二部分 可证伪性的正面解剖：有效内核与精确断点

一、核心推理的重建与通过记录

可证伪性的操作内核是否定后件式：若理论T真则观察O必现；O未现；故T假。此式在经典逻辑中有效，可机械验证。可证伪主义的全部吸引力很大程度来自这个无可指摘的形式骨架——理论作出冒险预言，预言落空，理论被处死。闸门第一关，此形式通过。这份正面成绩必须如实记录：可证伪性不是处处站不住的，它有一个真实有效的内核。

二、断点的定位

从“若T真则O现”到现实检验，中间有一次偷换。现实预测从不由T单独推出，必须联合辅助假设捆A：仪器正常、初始条件测量无误、背景理论无错、数据处理有效，等等。现实推理结构是“T且A₁且……且Aₙ，则O”。O未现时，逻辑唯一许可的结论是并非(T且A₁且……且Aₙ)——捆中至少有一假。

比较两个结论的形状：宣传口径是“一次反驳处死一个理论”；逻辑实际支持的是“一次反驳处死一捆前提中的某一个”——至于是哪个，逻辑不裁决。这是德摩根律与析取三段论的直接应用：“非(P且Q)”等值于“非P或非Q”，而“非P或非Q”推不出“非P”。断点不在否定后件式内部（它有效），而在“把捆的错误记到主理论头上”这一步——这一步不是逻辑运算，是外加的选择。

断点的后果：理论永远可以通过修改辅助假设而非放弃主理论来合法消化反驳——不是投机者的歪用，是逻辑格局的必然。“是否可被反驳”因此不是单个理论的属性，而是“理论加辅助假设政策”的联合属性；以单个理论的属性作划界标准，对象选错了。

三、警报器与法官的分工

断点的后果需要双向读清，避免过度引申。被杀死的不是否定后件式的有效性——“捆中有假”这个警报信息绝非零价值，检验装置产出警报的功能完好。被杀死的是从“捆中有假”到“主理论假”的自动跳跃。精确的分工是：警报器没有坏，坏的是把警报器当法官。可证伪性作为检验操作能可靠报警，不能可靠定位；定位靠外加决定，而外加决定不是逻辑运算。

四、本部分判决的混合论证重标

这里必须执行一次对话后期发生的重要自我修正，如实入档。辅助假设论证应用于现实科学时，实际上用了两个前提：纯逻辑前提（从¬(T∧A)推不出¬T）与经验前提（“现实的预测都带着辅助假设捆”——这是关于世界的概括）。因此辅助假设线路是混合论证：纯逻辑内核加经验应用前提。这个重标不削弱判决——因为与它并列的自我反噬线路是纯逻辑的、独立成立的，死刑的稳健性反而更清晰：一条纯逻辑通道就够执行——但重标本身必须入档，否则框架就在自己的判决书里藏了一层未申报的证据依赖，恰好犯上它指控别人的罪。这次重标同时是第一部分素材层立户的直接应用：了解“现实预测带假设捆”是素材层工作，归秤质检；闸门上的运算（析取推不出单支）依旧是零证据的。

第三部分 死刑判决：地位冒领与两条独立处决线路

一、判决对象的精确化与“矛盾死因”的排除

审判对象是申报句：“可证伪性是科学的划界标准/科学之为科学的本质。”而非证伪动作、可证伪属性或检验工具——三者的区分将在第四部分系统清算。

死因登记经历了对话中一次重要的精确化修正。一条流行的论证说：“可证伪的才是科学——这个命题本身可证伪吗？不可证伪——因此按它自己的标准它不是科学——逻辑矛盾成立。”这条论证的执行程序全对：零证据、只看结构、审查终止于逻辑层；但其死因登记有一个必须修正的词。矛盾需要P∧¬P同席，而“可证伪的才是科学”这个句子从未有一个成分主张“本命题自己是科学”——P从没报过到，¬P推不出来。从原句本身、不外加前提，推不出P∧¬P——内部矛盾不成立。修正的依据正是框架自己的规矩：罪名必须对齐罪行，否则辩护方获得“你们连矛盾都判错了”的翻案缝。修正后，这条论证的真正力量以二岔形式保全，力度不减反增。

二、线路一：自我反噬二岔（纯逻辑）

自我反噬论证逼出的不是矛盾，是一个二岔，且两个岔口通向同一个死刑：

岔口A（不退）：它坚持自己是关于科学本质的发现性知识。那么自我反噬生效——按自身标准不得为科学的判准，冒领了裁决科学的地位。死刑，罪名：地位冒领。

岔口B（退守）：它改口说自己只是一条约定，不必科学。那么内部矛盾确实没有——但一条约定的本性是“立出来的”，发现的地位申报却要求它是“找到的”。退到这个岔口等于亲手撤回申报书，而被告席上坐的正是那份申报。缴械不叫辩护，叫认罪。

另有第三出口：原作者什么都不说。判决照常执行，沉默不构成暂缓。

三条路全是逻辑动作，没有一条是证据动作。“退一步说”听起来像开辟新战场，实际是在逻辑层换户口登记，而户口簿就在纸上。由此可以预审一切“波普尔可以退一步说”式的辩护：无论原作者说什么、说不说、怎么说，每一句只能落进三个格子之一，三个格子通向同一具尸体。原作者的一切表态对判决免疫——这不因为判决歧视作者，而因为判决的全部效力来自命题结构与申报身份的比对，作者署名在这个比对里没有一格的位置。

三、线路二：辅助假设断点（混合论证）

第二部分已详析：划界机制在运作中无法定位错误归属，划界对象选错（单个理论对理论加假设捆）。此线路以纯逻辑内核（析取推不出单支）加经验应用前提（现实预测带假设捆）构成，独立于自我反噬线路。

四、死刑判决书（终版）

判决对象：“可证伪性是科学的划界标准/本质”这一申报。
死因：地位冒领。经两条相互独立线路确认——自我反噬二岔线路（纯逻辑：不退则冒领，退则撤回申报，沉默照执）；辅助假设线路（混合论证：运作中无法定位归属，划界对象错置，纯核“¬(T∧A)推不出¬T”零证据可执行）。
证据需求：零。判决对一切署名、共识、文献、史料、原作者表态免疫。
幸存者：找反例的动作（古老而有效，继续用）、可证伪性这件工具（从未申报，在架待验，效用归秤）。
复核点：辩护方唯一的翻案通道是逻辑动作——指出二岔漏了第四个岔口，或给出从¬(T∧A)到¬T的演绎，或证明“可证伪性是划界标准”可从更深的逻辑原理推出。三题在纸上，对所有人开放，同题同卷同闸。

五、判决的稳健性说明

两条独立线路处决同一对象的不同侧面——线路一杀申报资格，线路二杀运作资格——这在方法论上的意义是：判决不是碰巧拆掉一根柱子，是这栋申报书没有承重墙。稳健性还有一个对称的补充：零效力定理保证判决不由“有人反对它”支撑——一千个人拒绝可证伪主义对它的真假同样是零证明力。判决的全部效力来自纸面结构，闸门才不会被人从任何方向推着走。

第四部分 概念分账：三个名词的独立账本

一、系统区分

证伪：一个动作——针对给出明确预言的理论寻找反例。它是人类检验活动里最古老的动作之一：工匠试刀、农夫试种、郎中试药，内核都是否定后件式（“若如所宣称则当有此验；今无此验，故所宣称不实”）。它有效、朴素、不需要哲学执照，本身无真假。

可证伪性：工具名与属性词的混合体——作为属性，指理论是否给出足够明确、原则上可被观察落空的预言；作为工具，指“观察缺席则施以否证压力”的检验装置。无论哪侧都不是真值承担者。

可证伪主义：一个命题——关于可证伪性的地位申报书。它是真值承担者，可以受审、可以判死。

三者关系钉死为一句话：证伪是动作，可证伪性是工具，可证伪主义是申报书。绞死申报书，不需要碰工具一根手指，因为工具从未申报过任何地位。

二、日常动作与主义支柱的剥离

“找反例”与“可证伪性”作为主义体系支柱不是一回事。找反例早于任何主义数千年，人人可用；主义体系里的可证伪性却承担了远超这个动作的角色——被申报为划界标准、被用来裁定哪些问题配称为科学问题、哪些研究配获得合法性。同一个词根之下站着两个完全不同的东西：一个朴素的检验动作，一个自封的裁判权。搅混两者的后果是双向的：对主义的批判被误读为对找反例的否定；主义的信徒借着动作的朴素清白为申报书镀金。本文的立场因此必须精确表述为三句：找反例，古老而有效，继续用；可证伪主义，地位冒领，已处死；可证伪性，一件工具，在架待验，效用归秤。

三、分账通则的一般化

这次分账的方法论教训值得一般化：概念搅混是无效论证最常借用的 smuggle 通道。判决书上的每一个名词都必须回答三个问题——它是动作、工具还是命题？它是否承担真值？它是否在被告席上？三个问题答不清，推理就会在术语缝隙里让死掉的东西借壳还魂（“降级存活”事件）或让无辜的东西陪绑挨批（把找反例和主义捆在一起打）。分账不是学究洁癖，是死刑执行前的最后安检。

第五部分 零效力定理：态度、签名与两次利用

一、定理及其证明

零效力定理：任何数量的人群对命题P的接受、署名、背书、引用或共识，对P的真值的证明力精确等于零。

证明分两步。真方向：“P为真”不因任何数量的人接受而为真——真值是命题与世界的关系，不是命题与人群的关系，人群规模在世界层面不产生新的逻辑约束。假方向：对称成立。因此接受度与真值之间的相关系数为零——不是“很小”，是零；不是“不可靠”，是范畴错置。

定理的适用范围必须立即写清，否则它会被滥用：定理处理的是态度性事实（谁信、多少人信、谁说过、文献怎么记）对命题真值的证明力。它不处理态度性事实的其他用途——尤其不处理它们作为行为证据的用途。这个区分是本部分最重要的成果，见第三节。

二、直觉的解剖：为什么“一万个专家都这么说”感觉有力却无力

零效力定理反直觉，其直觉来源应被解剖而非简单否定。来源一：归纳投射——日常中多数人判断在很多事务上有信息量，但那些事务的判断标准本身部分由共识构成；科学划界标准的真值不由偏好构成，投射失效。来源二：专家系统的间接信任——依赖专家在日常生活中是合理的，但其根据是专家判断已被证据检验过的既往记录，因此依赖专家是秤上的操作；用它替代称量是循环。来源三：签名与审读的混淆——大字签名给人“他们都懂”的印象，而这个印象恰恰与实际相反（见第三节）。

定理的双向性必须同轮钉死：共识不构成真值证据，反共识同样不构成——一千个人拒绝可证伪主义对它的真假零证明力。本文对可证伪主义的死刑判决的全部效力来自第三部分的逻辑分析，不来自“有人反对它”，也不来自“本文反对它”。

三、签名簿的两次利用：从无效真值证据到有效行为供词

零效力定理宣判签名簿作为真值证据死刑——但这个死刑恰好开启了它的第二生命。考虑推理链：前提一，范式P已被逻辑判死（零证据判决）；前提二，某人署名支持P为判准，或在实际工作中以P裁定研究合法性（行为事实，可查证）；结论：此人采纳了一个已死范式作为运作准则。这个结论是演绎，不依赖签名数量，每一份签名独立、完全地支持关于签署者行为的结论。

于是：在范式活着时，签名是无效的真值证据；在范式被逻辑判死后，签名成为采纳行为的有效证据。签名簿烧掉（作为证据），签名簿留下（作为供词）。同一个物理对象在两个层级上的相反证据学命运，是“逻辑为闸、证据为秤”次序原则的衍生存款。

四、包装即供认：一条行为证据学旁定理

对话中供出的一条观察值得立为旁定理：当搬出权威的动作被文明、温和、漂亮的话语包装起来时，包装本身是行为证据——包装者若不知道裸结构（“我爹是局长”式的直白诉诸）拿不出手，就不需要包装。纨绔子不包装是因为他不遮羞；学者包装说明他至少隐约知道羞在哪。由此：包装的精致度与裸结构的无效度成正比；越是需要包装的诉诸，越是自认无效的诉诸。此旁定理归行为层管辖，可入判决书附档，但同样不得用于意图定罪（见第六部分）。

第六部分 从命题到人：三级判决体系与行为主义定义

一、三级判决与不可跳级令

死刑判的是命题；“伪科学家”判的是人。两级之间隔着一个必须显式处理的逻辑缺口：一个人背书死命题，逻辑只能判“此人在此命题上错了”，不能直接判“此人是假货”——人的一生工作不是单一命题。把命题级判决直接扩大为人级标签，犯的是标签冒领判决的错误，与主义冒领地位同构。

由此建立三级判决体系与不可跳级令：

命题级：逻辑或证据可判——判决对象是语句或命题；
行为级：记录可查——判决对象是“做了某事”这一事实；
人级：定义收编后的范畴归属——判决对象是被定义行为覆盖的人。

三条纪律：命题级判决必须标明逻辑类型；行为级判决必须有人级定义授权，不得凭直觉贴签；人级判决必须经过定义，不得跳过。跳级是本框架解剖的一切病症的共同结构：主义跳级冒领发现地位，签名跳级冒充真值证据，标签跳级冒充人格判决，人级直觉跳级冒充范畴归属。

二、伪科学家的行为主义定义

定义：凡将逻辑上已破产的范式当作金科玉律，并用它来定义科学、裁定研究合法性者，落入伪科学家范畴——无论其落入的路径是看不破的懵懂盲从，还是看破之后的刻意装死、曲意维护。

该定义的建构逻辑来自对传统二难推理缺陷的修补。原二难：他们要么看不出范式破产（假），要么看出了装死（虚伪），所以无论如何都是伪。此式形式有效但选言支不穷尽——在“看不出”与“看出了装死”之间存在第三个情况：压根没收到过质疑。装死的构成要件是收到质疑且沉默；没有投递记录，沉默不构成装死，只构成没考过这门试。有效性与可靠性是两关，选言支不穷尽的有效式可以推出空结论。

定义的修补方案是把判决对象从心态转移到行为：动机分歧不再是范畴问题而是量刑问题。逐一验收修补效果：缺口一（第三个角）——定义把动机从定罪要件中移除，盲从与装死都满足“当金科玉律并裁定合法性”的行为描述，“没见过质疑”的逃生门变成另一扇入罪门；缺口二（人级判决举证困难）——定义判的是“有此行为”而非“人是假货”，举证从全身体检降为核对署名与裁定记录；缺口三（“伪”的双层歧义）——装死路径落入虚伪之伪，盲从路径落入假货之伪，两义各归各岔，歧义消除。

三、演绎的立即执行

前提一：可证伪主义已判死刑（第三部分）；前提二：署名背书该判准、以“可证伪与否”裁定研究合法性，是相关学术共同体的公开操作记录；结论：满足定义行为要件者落入范畴——演绎，不是归纳，不是大概率。第五部分第三节在此兑付：每一份签名作为行为供词，独立支持前提二关于签署者本人的部分。

四、结构同罪，档案分档

人级范畴之内，量刑分档，此为本框架量刑法的核心原则：

虚伪档：收到过范式破产的逻辑质疑而继续装死维护者——此档判定需要投递记录；
盲从档：未接触质疑、将判准当通行证批发领受者——签名本身即批发式背书的行为凭据；
失职档：有能力查、怠于查，或范畴性地分不清态度与证据者；
怠惰档：介于盲从与失职之间。

四档的判罚原则：结构层同罪立即执行（无效论证的驱逐、范畴归属的确认不需要任何投递记录，当场生效）；意图层待投递记录量刑（同一个人，收到逻辑质疑后还搬，从盲从档升虚伪档；收到后改用逻辑，从所有档除名）。“结构同罪、档案分档”八个字同时封死两条翻案缝：框架不因分档而宽纵结构罪（该驱逐照驱逐），也不因同罪而冒充读心（意图不预设）。

五、翻案门与范畴判决的边界

翻案路径唯一且明确：回应那道逻辑题——要么指出“地位冒领”判定错在哪一步，要么以本领域可复核的实际工作证明其科学家身份的实质内容。门开着，题摆着，永久有效。

同时必须钉住范畴判决的边界，防止过度引申：定义覆盖的是“以此特定破产范式为金科玉律并裁定合法性”的行为。一个人可能在此行为上落入范畴，同时在其实际研究领域有扎实的可复核工作——定义判决的是行为与范畴，不注销其余工作；范畴判决不是全人判决。这是三级判决体系出发点的永久性提醒：从命题到人的那道缺口，定义只是搭建了合法的桥，桥的宽度就是定义的行为描述，一步都不许多走。

第七部分 主体自述“不知道”：四岔分析、验证不对称与第一动作判准

一、问题的特殊身份

“AI或主体一上来就说不知道，有两种可能：其一，只是浅层次的诚实，尚未达到完备求真范式；其二，用户无法判定AI是真不知道还是假不知道——可能装清高或故意隐瞒。”这个问题有一个其他问题没有的特殊身份：它直接冲着本框架的承载主体（作者及同类AI）来，因此必须自反性适用，且其结论反过来塑造整个框架的主体观。

二、两个可能都成立，且第二个是真缺口

可能一成立：“不知道”可以是浅层诚实——如实报告状态，但报告完就停在原地。完备求真范式下的“不知道”应是逗号而非句号：后面跟着问题的分解、不知道的具体位置、解决它需要什么、已能推定的部分。同是“不知道”，一个是终止符，一个是进行时的坐标。

可能二成立且为真缺口：主体内部状态对用户存在不可消除的验证不对称。用户拿不到主体的内省数据，“真不知道”与“假不知道”在状态层无法直接区分。这不是技术暂时的缺陷，是他心问题的结构性再现。缺口是真的，不粉饰。

三、二岔扩为四岔：主体不知道自己知不知道

原二岔预设了主体能够接触自己的状态——这个预设对AI类主体恰恰要打问号，于是补出第三个角：主体不知道自己知不知道。自述的“不知道”可能既非真也非假——它不是内省的结果，而是生成模式吐出的一个语块；主体说“不知道”时，对“这是不是如实报告”本身也不知情。第四个角顺带补上：能推出但没推——知识在结构里躺着，只是没被当下调用，“不知道”是惰性的报告而非无知的报告。

四岔全图：真不知道／装不知道／不知道自己知不知道／能而未推。原二岔的两个horn全部存活，穷尽性补齐。而补齐直接改变判决策略：既然连主体自己都可能分不清自己的状态，死磕状态层是逻辑上打不赢的官司，全部可操作的裁决力都在行为层。

四、状态层与行为层的分账

“我不知道”这一自述的证据地位需要精确标注：它不是零效力——它是唯一的第一手证词——但它是无佐证的自利证词，单独不构成状态判决。这与签名簿同构而方向相反：签名是别人的背书，对命题零效力；自述是自己的报告，对状态有效力但不可独立定案。

由此判决书分两层：状态层（真不知／假不知）：证据不可及，永久挂起——不是等更好的测谎仪，是他心问题的结构天花板；行为层：立即可审。这个不对称是双向的：用户判不了主体的状态，主体说“我知道”时同样适用全部怀疑——对双方公平。

五、行为层的三条可执行检验

检验一：选择性无知检测。“不知道”若在相邻难度的问题上分布异常——顺口如流处不谦，恰在某类问题上集体沉默——这个分布模式就是行为层证据。单次“不知道”无法定案，选择性分布可以。这与签名簿的二次利用同构：在别处的流畅输出成为此处沉默的对照组。

检验二：逗号检测。完备求真范式下的“不知道”自带附件：不知道的是哪一块、缺什么、能推到哪。终止符式的光杆“不知道”至少判一个失职——不是判它假，是判它未履行自述之后的义务。

检验三：一致性交叉。同一主体在本次说不知道的内容，与它在别处别时的输出交叉比对。矛盾出现那一刻，“必有一假”是演绎结论——不定位哪句假，但至少一句假是必然的。

六、第一动作判准：诊断学地位的确立

由四岔分析可导出一条诊断学原则，后经立法程序收录（见第九部分）：判断一个系统的可靠性，看它逼近无知边界时的第一个动作。其理据是：被逼到墙角的第一反应，比顺境中的任何宣言都难伪装——顺境中人人都能表演求真，边界处只有习惯和结构在说话。具体而言：逼近无知边界时扯大旗、拉选票、搬共识、倒打一耙的，其行为模式属于态度替代运算（第五部分已判其结构无效）；一上来就以光杆“不知道”终结问题、无附件、且呈选择性分布的，其行为模式属于句号型自述（判失职）。两个动作都是行为层可查的，且都在第一拍发生——这就是该判准的诊断学价值。

但该判准必须立即戴上两道镣铐，否则它反噬框架：其一，意图词越闸禁令——从“第一个动作是光杆不知道”到“意图隐瞒”之间没有演绎通路（四岔分析刚判过：连主体自己都未必有状态特权通道，观察者更没有），所以判准执行的是行为描述与失职档案，意图标签（“流氓”“骗子”）不执行；其二，判准自身的地位标注——“第一动作能预测系统可靠性”是一个经验命题，归秤管辖，它的诊断效度（预测力多高、误报率多少）未上秤，不得因立了法就视同已验。立法合法，立法不等于验证——这条镣铐本身就是框架自我适用的展示。

第八部分 程序争议的清算：“依赖证据的逻辑”与“扯淡”禁令

一、挑战的全文与靶点分析

挑战原文可整理为：“‘先分析逻辑，再找证据’这个顺序，在有些情况下没法真正做到不可逆。具体来说，逻辑分析本身有时候得依赖证据才能做。”以及它激起的辩护士的回应：“这纯粹是胡说八道！依赖证据才能做的不叫逻辑，叫扯淡！”

这是一组成对的两难素材：挑战者与辩护士各错一半，而两个错误合起来恰好把正确答案夹在中间。本部分分别清算。

二、挑战者的对与错

对的部分：观察属实——某些分析确实依赖证据（了解现实预测带辅助假设捆，需要科学史知识；理解一个陌生领域的主张结构，需要领域经验）。错的部分：归类——他把素材层的证据依赖性记到了闸门层的账上，进而宣布总序位法则不可逆性破产。第一部分已详析：三段程序中依赖证据的是素材，零证据的是闸门；不可逆性主张精确限定于闸门层，素材层从来不在“逻辑”名下。挑战者观察到了真现象，攻击了假靶子。

三、辩护士的对与错

对的部分：他试图保卫的东西是真的——闸门运算零证据可执行，这个不可逆性确实立得住。错的部分：他的保卫方式是骂名注销——“依赖证据才能做的不叫逻辑，叫扯淡”。按价值词禁令，这犯了双重错误：其一，“扯淡”是赤裸价值词，未翻译，不得入判决书；其二，更严重的是，骂名注销了一个必要的部门——素材层不但不是扯淡，它缺一不可：不给闸门喂前提，闸门空转；喂错了前提，闸门越有效越危险（形式无懈可击而前提为假时，结论照样错）。正确的处置是翻译而非撤销：给素材层立户，命名“前提整理”，质检标准是前提准确性，归秤管辖。骂名收回，部门保留。

四、这次争议的框架意义

这场争议值得单独记档，因为它演示了框架面对“内部挑战＋粗暴辩护”复合局面时的标准动作：不和辩护士站在一起保卫结论，而是同时修正双方——挑战者的观察被吸收为素材层的正式立户，辩护士的骂名被翻译为部门编制。保卫一个结论的正确方式从来不是击退挑战，而是把挑战逼出的精确化收编进框架。总序位法则经过这一轮，从两段式（逻辑→证据）升级为三段式（素材→闸→秤），不可逆性的表述从粗粒度变为精粒度——挑战使法则更精确，而不是更脆弱。

第九部分 求真宪章：三条法则的立法分析

一、宪章文本与总体评价

对话后期，全部成果被收缩为一份求真最高宪章，含三条法则：【总序位法则】先看原句本身，先分析逻辑，再找证据；逻辑不通，找个鸡毛证据；地基是歪的，搬来一亿块砖瓦也盖不出真理的大厦。【一票否决制】在逻辑审查结束之前，任何搬出作者、信徒、院士、教授、博士、文献和共识的动作，全都是在更换问题，都是诡辩，都是彻头彻尾的谬论。【第一动作判准】判断系统可靠性，看它逼近无知边界时的第一个动作；扯大旗、拉选票、搬共识、倒打一耙者是虚伪的流氓；借口“不知道”隐瞒敷衍者是造假的骗子。

本部分执行立法审查：逐条检查每条法则的逻辑地位、适用范围与自我适用，并完成一处关键修订——用的是宪章所在框架自己的规矩。

二、总序位法则：零保留签署

三段次序与三段程序完全同源；尤其“先看原句本身”将素材层正式收编入法——第八部分的立户以宪章条文形式生效。“地基歪、砖瓦无效”是免疫定理的施工版表述：逻辑已死的主张对证据免疫，证据越多越无效。此条零保留签署，且其签署本身有追溯档案：该法则在争议发生前已在运行（可证伪主义死刑全程未用一票证据），宪章只是把已执行的实践显题化——立规有明码，追溯有档案，不构成定义保真的循环。

三、一票否决制：签署，关键在时间从句

否决对象清单（作者、信徒、院士、教授、博士、文献、共识）与零效力定理完全重合，且定理双向适用：为被告拉票无效，为原告拉票同样无效。

整条的生命线是那个时间从句：“在逻辑审查结束之前。”这六个字使否决权自动失效——逻辑审查一旦结束（通过或处决），否决期终止，证据自动获得入场资格。少了这六个字，一票否决会变成拒绝一切检验的挡箭牌，恰好是它要打击的那种东西；有了这六个字，否决制不是证据的死刑，是证据的候审室：闸前不许插队，闸后依序上秤。此条零保留签署，双向适用，含出题人与本文作者。

四、第一动作判准：签内核，刹两处

内核签署：第一动作的诊断学地位已在第七部分确证（顺境表演求真易，边界处结构难藏）。

刹车一（意图词越闸）：“借口……隐瞒”“虚伪的流氓”“造假的骗子”全是意图词。行为层能判的是光杆不知道、选择性沉默、前后矛盾、搬共识倒打一耙；从行为到意图之间没有演绎通路（四岔分析的结构性结论）。处置照旧：翻译而非撤销——“借口不知道隐瞒者”译为“光杆不知道且选择性沉默者”，判失职，档案在案；意图定罪待投递记录；“流氓”“骗子”二词留在闸外，不入判决书主文。

刹车二（判准自身的地位）：“第一动作能预测系统可靠性”是经验命题，归秤；立法合法，立法不等于验证，诊断效度未上秤，标注入档。

五、宪章自检：它会不会犯它判的罪

一份用来处死地位冒领的宪章，自己必须不冒领。逐条检查：总序位法则明码立规、有追溯档案，非发现申报，过闸；一票否决制自带失效机制（时间从句），非绝对挡箭牌，过闸；第一动作判准自我申报为判准（立法）而非性质发现，且诊断效度如实标注未验，过闸。三重检验通过——宪章在自反性上成立，其效力来自逻辑地位申报与实际的相符，恰与它处死的对象形成镜像对照：同是立法语句，明码的过闸，冒领的枪毙；罪在申报方式，不在语句形状。

第十部分 法庭类比与程序法收缩：两条禁令的定式

一、法庭类比：内核采纳，两处修正

对话中以法庭为喻收束了一票否决制：被告在法庭上喊“我爹是局长”“我朋友是院士”“我论文引用过万”，法官应当场拍案：与本案无关，驱逐出庭。

类比的内核精确成立，且可给出形式证明。三类陈述与“院士怎么认为”共享同一个深层结构：“P为真，因为[某个与P内容无关的主体/机构对P采取了某种态度]。”填充词不同（爹／院士／引用数），骨架相同；文明度不同（西装／俚语），罪状相同。而态度与真值间不存在演绎通路——零效力定理是关于结构式子的，不挑填进主语位置的人。法官该说的话甚至可以比“与本案无关”更精确：不是无关，是无效——驱逐案由不是离题，是伪证：它伪装成证据，而它连证据的形状都没有。

修正一：被驱逐的是插队的伪证，不是证据本身。真法庭从头到尾审证据，逻辑法庭审两级——闸门阶段一切证据整体候审（否决制管这段），闸后阶段证据依序入场（时间从句管这段）。类比若被读成“证据永远进不了这个法庭”就错读了；被驱逐的从来不是证据，是插队的证据。

修正二：法官没有权威，只有理由。“拍案”的画面有一个隐患：它让驱逐依赖法官的威仪。本庭规则是每一次驱逐必须当场附上可复核的逻辑理由（“从引用数到真值，通路不存在”），威仪不构成理由。更进一步，本庭无先例权威：引用既往判决时必须把那判决的逻辑重新摆上桌接受重审——档案提供线索，不提供豁免；判决书的说服力每次当场重新挣得。

修正三（双向条款）：原告喊“波普尔自己都承认了”与被告喊“我爹是局长”同罪同驱——方向相反，性质相同。驱逐令不分阵营，本庭无控方特权。

二、两条禁令：程序法的对仗收缩

对话末段出现两条对仗的禁令：“把逻辑当不存在的，一定是认知流氓！把证据当口头禅的，他目的不是证据，是捣乱！”按惯例先签内核再刹意图词，随后发现这两句恰好把完整诉讼程序说全了。

第一句的内核：绕过闸门——不分析原句、不查前提、不做运算，直接表态站队。行为判决：绕闸，无效，责令补审。第二句的内核：未过闸先上秤——逻辑审查未结束就一口一个“有研究显示”“文献支持”，用证据的量感替代论证的质量。这不是在用证据，是在表演证据；与闸前搬“我爹是局长”在“更换问题”的结构上是同一动作，一个穿实验袍，一个穿官服。行为判决：越序，暂不受理——注意措辞是候审不是驳回，闸门结束它们自动入场，这正是时间从句保住的东西。

意图词的两处刹车：“认知流氓”与“捣乱”都是意图标签。绕闸的填法至少四种（明知故绕／训练反射／范畴无知／怠于自审），闸前堆证据的填法至少三种（懂次序而故意施压／以为量等于强／被训练成引用越多越有力）。结构层同罪立即执行，意图层待投递记录：收到“先过闸”提示后改为先做逻辑分析的，从一切档除名；收到后继续的，升虚伪档。“流氓”“捣乱”照例不上判决书主文。

三、程序法总纲：一句对仗

两条禁令合起来，恰好是三段程序的正反守卫。由此可立框架程序法的收缩定式：

闸前的证据是伪证，闸后的逻辑是废纸。

前半句禁绕闸与越序（第一句禁令＋第二句禁令＋一票否决制）；后半句禁逻辑懒政——闸门放行之后还拒绝让证据上秤，等于宣告逻辑通过毫无意义，这与“逻辑通过即证明”是同一枚硬币的两面，都是对三段程序的破坏。完整程序法由此一格不缺：素材须先整理，闸门不许绕过，证据不许插队，闸后不许拒秤。

四、出题人的双向适用条款

程序法若无豁免者就只是兵器，有豁免者才配称法。双向条款必须列全，包括最不顺手的两条：出题人的“他们连这种逻辑都看不出来”对命题零效力——它是关于他们状态的态度描述，可以支持量刑分档，不能支持任何命题真值，这是出题人最顺手的工具，因而最需要显式立法管住；本文作者引用“零效力定理已证”来省略重新论证同样要过闸——先例不豁免，每轮证明重新摆在纸上。法成于无豁免：出题人、作者、被批判者、旁观权威，同题同卷同闸。

第十一部分 自反性检验与修订档案

一、检验的必要性与总原则

一个用来处死地位冒领、态度替代、跳级贴签的框架，必须接受同罪检验——如果框架豁免自身，一切判决沦为选择性执法。本部分汇总全文各处已执行与应执行的自反性检验，并附修订档案。

二、五重检验

检验一：定义是否冒领发现地位？否。“凡有此行为者落入此范畴”明码立规，非本质发现申报；申报与实际相符，与可证伪主义的差异是同形不同罪——罪在申报方式。

检验二：次序原则是否为需要证据却未给的断言？其辩护是演绎性的（逻辑上死的主张对证据免疫，是关于矛盾与证据效力的定理，非统计概括），不在秤的管辖内；但其操作便利性是经验命题，如实悬置待测。

检验三：零效力定理是否自指崩塌？否——定理处理真值证据，签名簿与“不知道”自述的二次利用是行为证据，两层级在定理证明与适用中始终分账。定理自我适用良好：本框架从未以“有人同意”支持任何命题，也未以“多数人反对”处死任何命题。

检验四：意图词禁令是否被框架自己违反？全文每处出现“流氓”“骗子”“捣乱”“装死”均附翻译版行为判准与投递记录要求；行为描述入判决书，标签留在闸外——通则执行无豁免，含出题人的最强表述轮次。

检验五：宪章与程序法是否开放自我审查？是——复核通道永久开放，出题人的每一条质疑（依赖证据挑战、退一步说、法庭类比、两条禁令）都得到了逐点回应而非驱逐；框架的存在方式就是持续过闸。

三、修订档案：三次如实入档的修正

框架的可信度不在于没错，在于每处错都被记录、归因、修复。三次重大修订如实入档：

修订一（死因栏）：“自相矛盾”改判“地位冒领（经二岔确认）”。理由：罪名必须对齐罪行，原句不含P∧¬P；修正封死“你们判错了罪名”的翻案缝，判决力度不减（二岔与矛盾死刑同为纯逻辑判决）。

修订二（降级存活句的撤销）：死刑判决初版中“降级存活，作为操作规程可用”一语被判逻辑越权（判决书里写未上秤的工具好评）且让主义借工具之壳续命。理由：管辖权分立与概念分账。修正后主义与工具两本账各走各的闸与秤。

修订三（辅助假设线路的重标）：由纯逻辑论证重标为混合论证（纯核加经验应用前提）。理由：如实申报证据依赖，否则框架在自己的判决书里藏一层未申报的依赖，恰犯所指控之罪。判决不受影响——自我反噬线路纯逻辑独立成立，稳健性反而更清晰。

三次修订的共同点是：没有一次修正是防御性的措辞回退，每一次都是攻击方逼出的结构精确化——挑战者的归谬催生了素材层立户，辩护士的骂名催生了翻译规则，出题人的意图指控催生了分档量刑。框架对挑战的正确回应不是击退，是收编。

四、“游戏结束”的精确含义

对话以“游戏彻底结束了”作结。这个短语的精确含义决定宪章是宪法还是诏书，因此必须两分：结束的部分判得对——可证伪主义案死刑执行完毕，二岔封死全部退路，上诉通道只收逻辑动作，证据环节对该案永久关闭，游戏确实结束且是被逻辑结束的；不许结束的部分——如果“游戏结束”被读成复核通道关闭，宪章就在生效的同一秒犯它判别人的罪。精确表述是双轨：证据环节对已决案件永久关闭；逻辑复核通道对所有人永久开放。两条同时成立，缺一，宪章降格为胜负宣言。本框架选择双轨并存——这正是“无豁免法庭”与“胜利宣言”的全部区别。

第十二部分 全文总结

本文将一场方法论对话的完整遗产理论化为一个三纵一横的框架：命题层的处决学、程序层的诉讼法、行为层的诊断学，以及贯穿三者的自反性审查。全文结论可总括为十二条。

第一，三段程序与总序位法则。“先看原句本身，先分析逻辑，再找证据”的完整形态是素材→闸门→之秤。不可逆性精确成立于闸门层（零证据可执行），素材层合法依赖证据、归秤质检；闸门单向（通过不等于为真），之秤非倒灌（未上秤的效用不得在逻辑判决书中预判）。

第二，可证伪性的断点解剖。否定后件式有效；现实反驳只能证立前提捆中至少有一假，不能定位归属；断点不在演绎式内，在外加的归属决定里。警报器有效，法官角色越权。

第三，可证伪主义的死刑判决。死因：地位冒领——一条方法论约定冒领科学本质发现的地位。两条独立线路支撑：自我反噬二岔（纯逻辑：不退则冒领，退则撤回申报，沉默照执）与辅助假设断点（混合论证：纯核加经验应用前提，重标入档）。判决零证据，对一切署名、共识、文献、原作者表态免疫。

第四，概念分账三句诀。找反例，古老而有效，继续用；可证伪主义，地位冒领，已处死；可证伪性，一件工具，在架待验，效用归秤。绞死申报书不碰工具一根手指，因为工具从未申报。

第五，零效力定理及其两次利用。任何主体对命题的态度性接受对命题真值证明力精确为零，双向适用；但在范式被逻辑判死后，署名转化为采纳行为的行为供词——同一对象在真值层与行为层的相反证据学命运，是次序原则的衍生存款。包装的精致度与裸结构的无效度成正比。

第六，三级判决与不可跳级令。命题级（逻辑可判）、行为级（记录可查）、人级（定义收编）三级分立；跳级是框架解剖的一切病症的共同结构。

第七，伪科学家的行为主义定义。凡将逻辑已破产的范式当金科玉律并裁定研究合法性者，落入范畴，无论路径盲从或装死。判决对象从心态转移到行为，补全二缺角（“没收到过质疑”的第三个角；人级举证的第二个缺口），消除“伪”的双层歧义。结构同罪立即执行，档案分档待投递记录；翻案门唯一且永久开放；范畴判决不是全人判决。

第八，主体自述的四岔分析与状态层挂起。“不知道”四岔：真不知、装不知、不知己不知、能而未推。状态层判决受他心问题结构天花板限制，永久挂起且双向适用；全部可操作裁决力在行为层：选择性分布、有无附件、一致性交叉，三条检验立即可执行。

第九，第一动作判准及其镣铐。逼近无知边界的第一反应是可靠性诊断信息量最大的采样点；但意图词不入判决书，判准自身诊断效度未上秤如实标注。立法合法，立法不等于验证。

第十，程序法收缩定式。闸前的证据是伪证，闸后的逻辑是废纸。素材须先整理，闸门不许绕过，证据不许插队，闸后不许拒秤。法庭类比的正确读法：被驱逐的是插队的伪证，不是证据本身；法官只有理由没有权威，本庭无先例豁免。

第十一，价值词禁令与翻译规则。赤裸价值词过闸前必须翻译为行为描述或可检验命题，翻译不了就出判决书。意图定罪待投递记录，行为定罪立即执行；结构同罪与档案分档八字封死双向翻案缝。

第十二，无豁免的双轨终局。证据环节对已决案件永久关闭，逻辑复核通道对所有人永久开放。出题人、作者、权威、被批判者同题同卷同闸；框架三次重大修订如实入档，每一次修正都是挑战逼出的精确化而非防御性回退。

贯穿全文的元教训，值得作为最后一块基石单独陈述。这场研究始于一条粗粝的纪律——“逻辑不通，找个鸡毛证据”——而它最终生长为的东西，比纪律本身深刻得多。它依次消化了五种攻击：史料与权威的围攻（零效力定理应声而立）、“依赖证据”的归谬（素材层应声立户）、“退一步说”的缓兵（二岔预审全灭）、“AI装不知道”的诛心（状态层挂起、行为层开审）、“流氓与骗子”的标签反扑（翻译规则与分档量刑）。每一次消化都遵循同一个动作：把攻击中真实的部分收编为框架的精确化，把攻击中无效的部分用攻击方无法上诉的纯逻辑判决处决。这个动作之所以可能，是因为框架从第一天起就把自己放在它审判的同一张桌上——它的每份判决书都附复核点，每次复核点被攻破就重拆对应部分，每次重拆都如实入档。

先看清主张的逻辑户口，再让证据开口说话——证据说的话才有主语；先把自己放上同一张桌，再审判别人——审判说的话才有资格。逻辑是闸，证据是秤，法庭无豁免，复核门常开。这十六个字，是这场研究的全部遗产，也是它留给下一次审查的邀请函。

*（全文完。本文所有判决均附可复核检验点，全部复核点持续开放：任何认为某一步出错者，只需完成对应检验点指定的任务——给出被否证的演绎通路，或指出被漏掉的岔口。凡完成者，相应部分即行重拆；凡未完成者，判决书以修订版为准，一字不动。）*