作文怎样完成
—— 退场闭合态
作文不是“写尽”，而是获得退场许可：从继续可写到整体闭合的“退场闭合态”
——形式化方法与程序验证 × 争议解决与仲裁 × 风险、安全与可靠性工程的二阶碰撞
学科通融专栏 · 二阶碰撞典范文（How3）
研究类型：How（三焦点路径）｜研究对象：作文从持续可写到整体闭合的完成机制
版本：v1.0｜方法依据：SDE多学科通融创新法3.9版｜日期：2026年8月17日
摘要
“作文怎样完成”通常被降格为“结尾怎样写”：点题、照应、升华、总结、留白，仿佛只要最后一段处理得漂亮，一篇文章便自然获得完成性。然而真实写作持续暴露一个更基础的困难：一篇作文即使已经有开头、主体和结尾，作者仍可能感觉“哪里没有交代完”；另一篇文章明明还可以再加一个故事、一个例子、一个反方观点，却已经具有不可随意增删的整体感。这说明“还能继续写”与“尚未完成”不是同一件事。本文依照SDE多学科通融创新法3.9版的How型三焦点路径要求，从新思想前沿中选择形式化方法与程序验证、争议解决与仲裁、风险、安全与可靠性工程三门尚未被作文教学固定吸收且理论体系成熟的学科进行二阶碰撞。三家分别把“完成”压在三个互不相同的终点上：形式化验证要求待证性质对应的验证义务获得判定，而不要求穷举全部可能状态；仲裁把终局性建立在请求边界、程序结清与裁决效力上，而不要求现实世界再无争议；风险与安全工程则要求系统在操作者退出、环境变化和边界扰动下仍能保持可接受约束，而不是以“目前没有事故”冒充安全。三者互相冲突后共同推翻一个长期支配作文教学的隐含前提：完成必须等于内容耗尽，或者由某个局部终点——最后一句、中心点明、规定字数、写作时间结束——单独结算。本文据此提出新对象“退场闭合态”：在一个被冻结的篇章边界内，文本已经激活的必要续写义务均被结清或显式限界；作者退出后，独立读者无需作者补充即可维持核心关系；对结尾、例证与非承重文字做扰动时，不会重新暴露未结核心义务；此后若继续添加内容，新增文字主要是在创造新的义务，而非偿还旧义务。本文进一步提出单一读数“退场闭合率（Exit-Closure Ratio, ECR）”，给出义务识别、核心义务判定、结清链接与作者退出测试的清点手册，并在公开ASAP自动作文评分语料的12篇同题学生作文上进行探索性真跑。结果显示ECR与人工总分正相关，但在中高分段迅速饱和；一篇人工分数仅为6分的作文亦可达到0.92，而一篇没有传统总结段的作文可以达到1.00。这个不利结果反而划清了新概念的边界：退场闭合不是“好作文”评分器，而是独立回答“这篇文章是否已经完成”的过程判据。由此，作文教学可把“再写一点”改写为“还欠哪一笔”，把“写个结尾”改写为“作者能否退出”，把修改从无限润色改写为对未结义务的定向清算。
关键词：作文完成；写作教学；二阶碰撞；退场闭合态；续写义务；退场闭合率；程序验证；仲裁；可靠性工程
本表只呈现成文所需的学术化结果，不在正文中使用S/D/E母体术语。How型要求三家各锁一个不同焦点，最终产物不落在任何一家，而落在三条路径互相取消单独终点之后出现的新对象。
| 焦点 | 取源 | 本家“走到哪里才算走完” | 抽取的理论脊 | 对作文完成的压力 |
|---|---|---|---|---|
| 结果焦点 | 形式化方法与程序验证（第352号） | “走到可判定结果态才算走完” | 性质导向验证、验证义务、未证明部分 | 把“写尽”改成“结清与核心对象相关的必要义务” |
| 程序焦点 | 争议解决与仲裁（第426号） | “走到请求边界内获得终局才算走完” | 请求边界、程序节点、终局、执行 | 把“世界无争议”改成“本篇边界内有结算” |
| 环境焦点 | 风险、安全与可靠性工程（第600号） | “走到操作者退出后仍守住约束才算走完” | 韧性、边界场景、开放环境、近失误 | 把“作者自觉写完”改成“作者退出仍稳定” |
| 学科 | 未吸收度 | 厚度 | 厚度依据 | 作文领域检索判定 |
|---|---|---|---|---|
| 形式化方法与程序验证 | 干净 | 厚 | Hoare逻辑；模型检查/定理证明/分离逻辑等长期分歧 | 检索“作文教学+程序验证/形式化验证”；未见其完成判据成为作文理论固定术语 |
| 争议解决与仲裁 | 刚进入（名称/资源层），答案级干净 | 厚 | 终局性vs司法审查；效率vs正当程序；执行vs形式裁决 | 法律写作/作文评分中可见ADR或“仲裁”字样，但未见“请求边界+终局性”作为作文完成判据 |
| 风险、安全与可靠性工程 | 干净 | 厚 | 故障链vs系统安全；Safety-I vs Safety-II；FMEA/FTA vs STPA/FRAM | “可靠性”进入写作评价多指评分一致性，非复杂系统开放环境的安全闭合逻辑 |
闸零结论：放行。仲裁被判为“刚进入（名称/资源层）”而非“已吸收”，因为写作与ADR的既有交叉处理的是法律写作训练、社会冲突或评分程序，尚未把“请求边界—程序终局—执行”这一答案固定为作文完成理论；因此成文期必须以“终局性”而非“冲突管理”作为抽取对象。
作文教学最常见的完成信号来自外部：铃声响了、格子写满了、字数够了、最后一段已经出现“总而言之”，或者教师提醒“赶快收尾”。这些信号当然具有课堂管理价值，却都没有回答文章内部的完成条件。学生最困惑的情形恰恰发生在外部信号失灵以后：时间还剩十分钟，他不知道该再加一个例子还是停笔；草稿已经一千字，他仍觉得某处“虚”；文章只有七百字，却再加任何材料都显得赘余。若没有内部判据，“完成”只能靠熟练者的感觉，而初学者只能模仿结尾样式。
把“还能继续写”等同于“尚未完成”，会把作文推向一个逻辑上无法收束的状态。任何经验都可以继续细化，任何论点都可以再找一个例子，任何叙事都可以向前追溯或向后延展，任何描写都可以再增加一个感官维度。可写空间原则上没有自然终点。一个作者若以“还有东西可加”为停笔否决条件，就永远无法获得完成。由此可见，作文完成所要终止的不是可能内容，而是某种更小、更硬、可以清点的“必要继续”。
反过来，“已经写了结尾”也不能推出“已经完成”。一篇议论文可以在最后重申中心论点，却仍有一个决定性的反例从未处理；一篇记叙文可以用景物描写首尾呼应，却让人物最关键的选择没有后果；一篇说明文可以用“综上所述”结束，却在正文里引入了一个术语而从未界定。结尾只是文本位置，完成则是整体状态。两者经常重合，但没有逻辑上的等价关系。
因此，本题不是“结尾有几种写法”，而是一道严格的How题：从一个已经能够持续生成、仍有大量可写可能性的草稿出发，经过什么次序，才能进入一个作者可以停止继续生成、文章又不会因为停止而坍塌的状态？更具体地说，我们需要找到三个东西：第一，尚未完成到底欠着什么；第二，这些欠账按什么次序被结清；第三，怎样证明作者此时可以退出，而不是只因为作者累了、时间到了或暂时想不到新材料。
这个重新表述也把How3与前面的作文启动、持续生成区分开来。启动研究的是“第一步怎样发生”，持续生成研究的是“下一步怎样不退化为堆积”，完成研究的则是“什么时候下一步不再是义务”。完成不是生成能力的反面；成熟的完成恰恰要求作者仍然有能力继续写，却知道此刻为什么不应再写。
本文没有先从“哪些学科听起来和写作有关”出发，而是按How型三焦点路径先写三句占位句。第一句是“走到一个可以判定的结果态才算走完”；第二句是“走到一条程序获得终局、遗留事项有明确去处才算走完”；第三句是“走到操作者退出后仍能在真实环境中维持约束才算走完”。这三句话分别把焦点压在结果、路径和环境三个终点上。随后才在SDE Universes“新思想前沿”626个领域中寻找日常工作正是在处理这些终点的成熟领域。
筛选后的三家分别是第352号“形式化方法与程序验证”、第426号“争议解决与仲裁”、第600号“风险、安全与可靠性工程”。形式化验证近二十年的核心变化之一，是把“系统能运行”改成“哪些验证义务被真正判定、哪些仍超时、近似或未证明”；争议解决与仲裁把制度效果拆成进入、程序节点、裁决、执行等链条，而不是用“有裁决”覆盖所有未结事项；风险、安全与可靠性工程则从元件是否失效转向复杂系统在目标冲突、组织与环境变化中能否持续守住可接受约束。三家都拥有成熟的理论争论、反例传统和专业手册，同时其核心判断并未成为语文作文教学的固定术语。
未吸收度的核验特别重要。形式化验证虽然偶尔以“验证”一词出现在语言评价、事实核查或自动评分研究中，但“性质导向可达性—验证义务—未证明部分”的整套判据并未进入作文完成理论；仲裁在考试评分流程中甚至存在“仲裁分数”这一同名词，法律写作课程也有人引入ADR，但那处理的是评分争议或法律训练，并非把“终局性与请求边界”作为学生作文的完成判据；可靠性一词在作文评价史上常与评分者一致性相关，却不是“系统在开放环境中维持安全约束”的可靠性工程理论。本文判定的是三家对本题的具体答案是否已被吸收，而不是学科名称是否在教育研究中出现过。
理论厚度也逐家过闸。形式化方法有Hoare逻辑、模型检查、定理证明、分离逻辑、程序细化等奠基层与长期争论；仲裁有程序自治、终局性、司法审查、执行、正当程序之间的成熟张力，并有UNCITRAL规则、示范法及长期判例传统；安全与可靠性工程内部则存在传统故障分析、系统理论事故模型、韧性工程、安全I/安全II、SOTIF等彼此竞争的路线。三家都不是刚出现的流行标签，因此能够提供“什么时候本家说法会失败”的反例，而不需要由本文替它们代写立场。
三家的门类距离也足够大：计算机科学中的形式验证、法学与争端制度、工程安全与可靠性分别拥有不同期刊、职业共同体、奠基人物和训练制度。它们会在高可信系统、合规与安全保证处发生跨引，但并不共享同一套母体语汇。更关键的是，它们对“完成”的终点不在同一位置上争“谁对”：证明可以完成而系统仍不安全，仲裁可以终局而事实争议仍存在，系统可以安全运行而某项形式性质从未被证明。正因为三者无法用一个裁判直接排序，碰撞才有生成新框架的必要。
形式化方法给作文完成问题的第一个冲击，是它拒绝把“全部可能性都检查过”当作证明成立的必要条件。在有限状态系统里，朴素直觉会要求穷举所有状态；但状态空间很快指数爆炸。Bradley提出的IC3/PDR类性质导向方法改变了方向：从待证性质出发，学习足以阻断坏状态的归纳子句，最终得到不变量。决定性变化不只是算法更快，而是“完成”的对象被重新定义——不是把世界看完，而是把对当前性质必要的证明义务关掉。
这个转换迁入作文非常锋利。学生常把“文章还可以再补材料”理解成“我还没写完”，正像把“还有状态没枚举”理解成“性质还没证明”。若一篇议论文当前要成立的核心判断只依赖三个子主张，那么第四个、第五个例子属于可继续探索的状态，却未必属于当前验证义务。完成的第一步因此不是追问“还有什么可写”，而是追问“我已经让读者承担了哪些必须被兑现的期待”。
分离逻辑和bi-abduction进一步给出更像“欠账”的结构。程序分析不只问执行后得到了什么，还可以反推一个过程需要什么前置资源，并描述执行后剩下什么。对作文来说，每一次重要的文本动作同样会生成前置要求和残余：提出“真正的问题不在努力，而在比较规则”之后，作者至少欠读者“比较规则是什么”和“为什么它比努力更决定结果”两笔；引入一个反例之后，又欠“这个反例改变了原论证的哪一层”一笔。材料不是中性的库存，材料一旦写进文章，就会创造新的解释责任。
形式验证还迫使我们区分“已证明”与“证明停在哪一层”。CompCert一类验证编译器研究之所以重要，正因为高层程序即使被证明正确，未经验证的编译转换仍可能破坏性质。对应到作文，一段局部论证完全成立，不等于从这段到全文核心关系的传递已经成立；一个故事很动人，不等于故事与中心判断之间已经有承重链接。作文的“未完成”经常不是缺材料，而是证明链在层间断掉。
由此得到第一条占位判断：一篇作文走到“与核心对象有关的续写义务已经得到文本内判定，未判定部分被明确排除在当前边界之外”才算走完。 这条判断直接反对“多写等于更完整”。它允许文本仍有无限可扩展世界，却要求当前自己激活的必要义务必须有去处。
仲裁给出的完成观与形式验证明显不同。一个裁决成为最终且具有约束力，并不意味着双方从此在事实、情绪、商业关系或道德评价上再无分歧；它意味着在被提交、被受理并经过程序处理的请求边界内，制度把“继续争”转化为“执行、补正、撤销审查或其他有明确入口的后续行动”。终局性首先是一种边界化的程序地位，而不是对现实真理的穷尽。
这对作文完成尤其关键，因为文章同样必须先有“请求边界”。一个八百字议论文讨论“竞争是否促进成长”，它不可能同时结清竞争心理、教育制度、劳动市场、体育伦理、家庭期望与历史文化的全部争议。若作者把“所有相关问题都解决”设为完成条件，文章注定失控。成熟的文章需要做的不是封闭世界，而是明确：本篇究竟承担哪一个判断，哪些争议被纳入，哪些只能留在边界之外。
UNCITRAL 2010仲裁规则强调多方、追加、临时措施、指定机构等程序安排，说明一套争议解决机制若想真正运行，不能只等最后一纸裁决；进入、节点、证据、程序权利和执行必须形成链条。类似地，作文不能把所有“完整性”都外包给最后一段。开头提出的问题、正文建立的分歧、例证的解释、反方的处理、概念的界定，本身就是程序节点。最后一句只能结束已经被处理的事项，不能替前文补做从未发生的程序。
仲裁还提供一个非常有价值的反直觉：裁决之后仍可能存在补正、执行或有限审查，但这不取消裁决的终局性质。把这一点迁入写作，可以严格区分“完成”与“不可修改”。一篇已完成的作文仍可以润色句式、更换更准确的例子、增加风格层次，甚至在新的版本中扩大问题边界；这些后续变化不证明旧版本当时没有完成。完成只是说：在当时冻结的请求边界内，不再存在必须依靠继续写作才能避免逻辑坍塌的事项。
由此得到第二条占位判断：一篇作文走到“由自己提出的核心请求、冲突与承诺在当前篇章边界内获得终局性，剩余事项都有明确的边界地位”才算走完。 这条判断反对“文章必须把问题说尽”，也反对“留下开放性就等于没完成”。开放可以是经边界处理后的合法开放，欠账则是作者没有处理却假装已经终结的事项。
风险、安全与可靠性工程给出的完成观再次换位。传统可靠性很容易把“部件没有坏”“测试没有出事故”当成成功，但近二十年的系统安全研究不断提醒：复杂系统的危险可以来自组件都正常时的交互，已知场景上的成功也不能代表未知边界场景。韧性工程因此把安全从“没有事故”改成预见、监测、响应、学习等持续适应能力；SOTIF则明确把没有随机硬件故障时，由功能性能不足和边界环境触发的危险纳入安全问题。
作文也存在“组件都正常而整体失效”的情形。每个段落都能单独读懂，每个例子都真实，每句话语法正确，最后却没有形成一个整体判断；或者作者在旁边解释时一切都说得通，一旦只留下文本，读者便不知道某个转折为什么发生。若完成判据只看作者在写作现场的自我感觉，就会把大量“现场可运行、离场即失效”的草稿误判为成品。
安全工程中最值得迁移的不是“风险”这个大词，而是操作者退出后的边界测试。工程系统要进入真实运行，就必须考虑环境变化、近失误和已知未知的场景；作文在交付后同样进入一个作者不能实时补丁的环境。读者不会自动拥有作者脑内的背景，不会知道“这件事我前面其实想过”，也不会把口头解释算入正文。作者退出不是写作之后的偶然事件，而是作文能否成为独立文本的验收条件。
这一家还与形式验证形成直接冲突：形式上所有局部义务都可能被作者自认为“已经处理”，但真实读者仍会在某个连接处失去方向；就像系统满足若干单项要求却在开放场景中出现危险。风险工程因此要求把“未发生问题”改成“在扰动下仍守住约束”。对作文而言，最便宜的扰动包括：去掉最后一段，核心关系是否立刻消失；删除一段非承重文字，意义是否反而更清楚；让不知道作者意图的同伴复述核心冲突，是否需要作者现场补充。
由此得到第三条占位判断：一篇作文走到“作者退出并接受最小扰动以后，文本仍能在独立读者端维持其核心约束”才算走完。 这条判断反对把“我知道自己想说什么”当作文章已经说完，也反对把“现在没发现问题”当作整体稳定。
如果把三家理解成“证明要严谨、程序要完整、系统要安全”，碰撞会迅速退化为一阶拼盘。真正的张力在于：每一家认为自己的终点足以结束，但另外两家都能制造一个它单独无法处理的失败案例。形式验证可以宣布一组预先写下的性质全部证成，但风险工程会追问：性质有没有漏掉真实环境中的关键危险？仲裁可以在程序上获得终局，但形式验证会追问：某个决定性论证义务是否其实没有被处理，只是因程序期限而被关门？系统可以在当前环境中稳定运行，仲裁又会追问：你究竟以什么边界宣布“这部分已经不再由本案承担”？
把作文放进这组三角冲突，会出现三个常见伪完成。第一种是“证明型伪完成”：作者把中心论点和三个分论点都写齐，自认为逻辑完成，却没有让独立读者看见三者如何组成一个整体；第二种是“程序型伪完成”：按模板把开头、三段、结尾全部走完，仍有决定性承诺没有兑现；第三种是“运行型伪完成”：同桌读后说“挺顺的”，但因为双方共享题目、课堂范文和教师暗示，文本自身并没有承担全部解释工作。
三家的第一层共有前提是：完成可以由某一个终点单独结算——证明完成、程序完成或运行稳定。更深一层共有前提则是：停止行为本身不改变被检验对象。可是在作文中，作者是否退出恰恰改变了系统。作者在场时可以补充语境、解释指代、说明“我这里其实是反讽”；作者离场后，这些补丁全部失效。于是“能不能停止”不能在作者仍持续提供解释的条件下检验。
推翻这个共有前提的材料来自三家自身。形式验证承认规范缺口与可信基：证明只能证明被写入规范的东西；仲裁承认终局性只对受理边界内的请求生效；安全工程承认开放环境会制造未被测试覆盖的新情境。三家自己的反例共同说明：所谓“完成”从来不是把世界耗尽，而是在清楚边界、明确义务和离场条件下获得一种可撤回、可复核的终止资格。
由此，本文不把三家汇成“更完整的完成”，而是取消一个旧对象：“内容耗尽后的终点”并不存在。 真正存在的是一种由边界、义务和离场稳定性共同生成的状态。它既不是最后一句的位置，也不是作者的心理满足，也不是教师的形式检查。
本文将二阶碰撞后出现的新对象命名为退场闭合态（author-exit closure state）。它指：在一个已经冻结的篇章边界内，文本自身激活的必要前向义务都已获得结清或明确限界；作者退出以后，独立读者仍可以仅凭文本维持核心关系；对结尾、非承重例证或局部措辞进行最小扰动时，不会暴露新的核心欠账；继续添加内容若发生，主要是在扩大边界或创造新的义务，而不是偿还旧义务。
定义中的每一个限定词都有划界作用。“冻结边界”排除把全世界都装进一篇作文的要求；“文本自身激活”排除教师事后无限追加标准；“必要前向义务”排除所有可选的丰富化；“结清或限界”允许文章合法留白与开放结尾；“作者退出”排除口头补救；“独立读者”排除熟悉作者意图的同伴代写理解；“最小扰动”排除靠最后一句强行维持的脆弱完整；“新增内容主要创造新义务”则给停笔提供正向判据。
“续写义务”不是任何读者想知道但作者没写的东西，而是由当前文本动作产生、若不处理便会改变文章核心判决的前向责任。例如，作者写“真正导致我放弃的不是失败，而是成功之后的空白”，就至少激活“失败为何不是主因”“成功后的空白是什么”“它如何导致放弃”三项；若后文只讲失败多痛苦，第一句便成为未结义务。相反，作者没有交代人物午饭吃什么，通常不构成义务，因为这项缺失不改变核心关系。
退场闭合因此与“信息完整”相反。信息越多，可能激活的义务越多。一个新人物出现，需要身份与作用；一个新概念出现，需要界定与应用；一个新例子出现，需要解释它究竟支持哪一层。材料堆积为什么常让文章越来越难结束？不是因为篇幅变长，而是因为每次增加材料都可能提高“义务本金”。如果新增结清速度慢于新增义务速度，文章会越写越欠。
这个新对象还解释了成熟作者常说的“这篇已经到了，再写就散了”。这里的“散”不是字数变多，而是新内容需要打开一个尚未属于当前文章的争议分支，迫使原有边界重写。成熟停笔并非枯竭，而是识别到下一笔将从“结清旧账”切换为“开新账户”。这正是从持续生成跨入整体闭合的临界点。
为了避免“续写义务”变成一个漂亮比喻，本文把它压成课堂可编码的单位。第一类是主张义务：中心判断、分论点、因果断言、比较判断一旦写出，就欠支持或限定。第二类是冲突义务：文章主动建立“不是A而是B”“看似X其实Y”“一方面/另一方面”时，必须处理对立双方及转折依据。第三类是例证义务：故事、数据、人物或事实一旦作为证据进入，就必须说明它改变哪一个判断，不能让例子以“很感人/很具体”自我结算。
第四类是概念义务：关键术语若承担区分功能，就需要足以让读者知道“它不是什么”的边界。第五类是叙事义务：人物欲望、异常事件、承诺、危险或悬念一旦被赋予核心地位，就需要结果、转化或合法悬置。第六类是指向义务：代词、时间跳跃、视角切换、因果连接等若影响核心关系，文本必须提供足够锚点。第七类是反方义务：作者主动提出一个足以伤害自身主张的反对意见，就需要回答、让步或收窄，而不能只把反方写出来证明自己“全面”。
这些类型不是作文评分的新七维量表。编码时真正的单位仍是一笔具体义务，例如“解释为什么母亲的沉默不是冷漠而是保护”是一笔，而不是给“叙事义务”打几分。类型只用于帮助教师和学生发现欠账。每笔义务还必须标记“核心/局部”：移除或误解后会改变全文核心判断、人物关系或主要冲突的，记为核心义务；只影响局部理解但不改变整体判决的，记为局部义务。
一笔义务有三种合法状态。其一是结清：后文出现可定位的文字，使读者能处理这一期待。其二是限界：作者明确告诉读者这不是本篇要解决的事项，或者通过文体契约把它转为有意开放。例如“我不知道父亲为什么没有回头；我只知道那一次以后，我不再把沉默当作同意”，前一个问题可以被合法悬置，因为文章将判断边界转到“我如何理解沉默”。其三是未结：既未处理也未限界，却仍影响核心。
这个清单立刻改变修改提问。教师不再笼统说“这里再具体一点”“结尾再升华一下”，而可以问：“第二段提出了‘不是没努力，而是目标被别人定义’，后面哪一句真正处理了‘别人怎样定义’？如果没有，这是一笔核心欠账；补这笔之前不要加新材料。”学生第一次可以知道，自己需要继续写的不是“再来一点内容”，而是一个有名字、有来源、有结清位置的义务。
| 义务类型 | 触发规则 | 典型触发 | 结清判据 |
|---|---|---|---|
| 主张义务 | 中心判断、分论点、因果或比较一旦提出，需要支持或限定 | “真正决定X的不是A而是B” | 后文分别处理A为何不足、B如何决定，并建立证据链接 |
| 冲突义务 | 主动建立对立、转折或悖论，需处理冲突结构 | “一方面……另一方面……” | 双方都有去处，且说明为何并存/何者在何条件下占优 |
| 例证义务 | 例子作为证据进入后，需要解释支持哪一层判断 | 叙述一个人物事件 | 明确回写到分论点，或说明其只作背景 |
| 概念义务 | 承担区分功能的关键词需要边界 | “这里的自由不是随心所欲” | 给出足以排除近邻的定义/判例/对照 |
| 叙事义务 | 核心欲望、异常、悬念、承诺、危险需有结果或合法悬置 | “他答应第二天一定回来” | 回来/不回来及其意义被处理，或明确把悬置变成主题 |
| 指向义务 | 影响核心关系的指代、时间、视角变化需要锚点 | “后来我才明白” | 读者能定位“后来”“明白什么”“为何改变” |
| 反方义务 | 足以伤害己方主张的反对意见一旦提出必须回应 | “有人会说……” | 反驳、让步或收窄主张，不以忽略结算 |
本文用一个单一读数把新概念变成可证伪对象：退场闭合率（Exit-Closure Ratio, ECR）＝已经结清或合法限界的加权续写义务／文本已经激活的全部加权续写义务。 全文只使用这一口径。核心义务权重为2，局部义务权重为1；“合法限界”与“结清”在分子中都计满，因为二者都使作者无需继续写作才能维持当前边界；完全未结计0。若一笔义务只有部分处理，原则上不做0.5式主观打分，而拆成更小的可判定义务。
清点必须在看最终评价之前进行。第一步，冻结版本和篇章边界：记录题目、文体、当前版本、作者自报的核心判断或核心关系，但不允许作者解释正文之外的内容。第二步，从文本中逐段标记“向后提出要求”的句子或结构，生成义务ID。第三步，为每笔义务标记核心/局部与触发位置。第四步，只在后文能定位到结清文本时建立“触发—结清”链接；若靠作者口头说明才能链接，记为未结。第五步，计算ECR。
作者退出测试是ECR的必要编码条件而不是第二个指标。编码者必须在作者不参与的情形下完成义务识别与结清判断；对争议义务，可让至少两名读者独立标记再讨论达成规则。其目的不是追求绝对客观，而是防止作者在验收阶段把脑内意图补进文本。ECR测的是“这篇文字是否把自己打开的账结掉”，不是“作者心里有没有答案”。
本文给出一个试用的教学阈值：ECR≥0.90且不存在未结核心义务，标记为“达到退场闭合”；ECR<0.90或仍有任一未结核心义务，标记为“需要继续结清”。0.90不是自然常数，而是未来研究应校准的初始门槛。真正需要守死的是口径：阈值可以通过数据修订，但同一研究、同一课堂实验中不能在正文、证伪条款和结果解释之间偷偷更换。
这个读数有两个重要的反向约束。第一，ECR不能靠删掉所有复杂内容无限提高。若删掉一个核心义务的触发句同时改变了作者原本冻结的核心对象，属于“缩题重写”，必须建立新版本重新冻结边界，不能把它当成本版本的结清。第二，ECR不能奖励模板化总结。若最后一段只是重复“所以我们要珍惜时间”，却没有处理正文里已激活的因果断点，它不会让那些义务进入分子。结尾只有在真实结清某笔账时才计入。
退场闭合不是一个静态评分表，而是一条可执行路径。第一步是冻结边界。学生用一句不超过三十字的话写下“本篇最终必须让读者建立的关系”，并列出本篇主动不处理的两个相邻问题。这个动作不是先把“中心思想”写死，而是划出本轮结算范围。文章在写作中可以改变边界，但每次改变都要留下版本，否则作者会在成品出现以后倒填一个看似早就存在的目标。
第二步是拉出义务账本。草稿写完一轮后，不先润色语言，从第一段开始只找“这句话要求后文做什么”。每发现一笔义务就在页边写ID，并在结清位置画回链。画不出回链的先不要补内容，先判断它究竟是核心义务、局部义务，还是应该明确限界。很多材料堆积会在这一步暴露：学生原以为自己“内容很丰富”，账本却显示后半篇持续开新账、几乎不结账。
第三步是优先结核心债。核心义务必须先于局部修辞处理。若核心因果链缺一环，此时再增加景物描写、名人名言、第二个同类例子，只会扩大表面完成感而不改变ECR。教师可以规定：一次修改只准处理一至两笔核心债，处理完再看局部。这样修改从“全文再来一遍”变成可完成的小任务。
第四步是作者退场测试。把稿件交给不知道作者原计划的同伴，只允许对方在文中划出“我认为文章在解决什么”“哪一处让我等待后文回答但最终没等到”。作者不能解释，只能记录。若读者指出的等待与义务账本重合，直接回写；若读者新提出的问题实际上不影响冻结的核心对象，则不强迫作者扩写，而要判断是否需要一句边界提示。
第五步是最小扰动。删除公式化结尾、一个非承重例子或一段华丽但可替换的描写，观察是否使核心义务重新变成未结。若删除最后一句就让全文中心首次出现，说明文章此前依赖末端补丁；若删除一整个例子ECR不变，说明该例子可能是可选材料，不是完成所需。扰动的目标不是“破坏文章”，而是找出完成性真正压在哪些文字上。
第六步是停笔判定。当ECR达到门槛、无核心欠账、作者退场后读者不需补丁，此时询问最后一个问题：“下一段若继续写，主要是在偿还哪一笔已有义务？”如果答不出具体ID，而新增内容将打开一个新的分支，则停笔。完成由此获得一个可说清的理由：不是“我没话了”，而是“当前账已结清；再写是在开新账”。
传统作文教学关于结尾的经验并非错误。总结、点题、照应、回扣题目、留白、景物收束等手法之所以常常有效，是因为它们可能承担最后一笔真实义务：把分散段落重新归入核心判断，结束叙事冲突，给前文意象一个新含义，或者明确边界。但这只能说明“结尾常常参与闭合”，不能推出“结尾就是闭合”。
最典型的错误是“末端代偿”。学生前文没有建立“父亲的沉默为何是爱”的证据链，最后突然写“那一刻我终于懂得了深沉的父爱”。阅卷者因为熟悉“父爱”题型，很容易用文化脚本替文章补上关系，于是成品看起来完成。退场闭合框架会把最后一句视为一个新的主张义务：它反而需要前文提供足够支撑。若删除最后一句，读者完全无法从前文建立同一关系，则结尾不是收束，而是唯一证据。
另一种情况恰好相反：文章没有传统总结段，却已经完成。三个分论点都被处理，反方已被限定，最后一个例子完成了对核心判断的回写，此时继续加“综上所述”只是在低信息密度地重复。许多成熟散文、小说片段和高质量议论都利用这种“停止即结尾”：不是因为作者忘了写最后一段，而是全文义务在前一句已经结清。
因此，课堂上更准确的问题不是“结尾用了哪一种方法”，而是“结尾到底结清了哪一笔”。如果一段结尾不能指向任何未结义务，它只是风格选择；如果它承担三四笔正文从未处理的核心债，它又承担过重。理想的结尾不是“越有力越好”，而是在篇章最后阶段以最低新增义务成本完成必要的最后结算。
第一位近邻是结构完整。结构完整通常检查开端、发展、转折、结尾或论点—论据—结论等部件是否齐全；退场闭合检查的是这些部件激活的义务是否结清。一篇五段式作文可以结构齐全而核心因果未处理；一篇没有显式结论段的文章也可以义务全清。用“结构完整”替换退场闭合，会丢失义务账本与作者退出两个字段。
第二位近邻是连贯与衔接。Halliday与Hasan以来的衔接研究以及文本语言学的coherence概念处理句段之间如何形成可理解关系。连贯是退场闭合的重要条件，却不是终止条件。一个连贯的草稿可以清楚地把问题越开越大，每一段都接得上，最后仍欠大量承诺；反之，某些风格化文本表面衔接很弱，却可能完成其核心义务。
第三位近邻是写作过程中的修改/修订。Sommers、Flower与Hayes等研究把写作从线性“计划—写作—修改”改成递归过程，这对理解作文发生至关重要，但递归模型本身没有给出一个可清点的停止判据。它解释“作者如何继续改”，本文处理“哪一类继续修改已经不再是必要义务”。
第四位近邻是任务完成/切题。完成考试任务、达到字数、覆盖题目要求属于外部合规；退场闭合是文本内部生成的结算。学生可以完全切题却在自己提出的因果链上欠账，也可以写出一篇内部闭合但偏离考试任务的文章。两种失败必须分开，否则教师会把“合规”误当成“篇章完成”。
第五位近邻是叙事闭合、诗性闭合与“终结感”。Kermode与Barbara Herrnstein Smith等传统认真研究“结尾如何产生终结感”，这是本文最危险的理论占位者。分离线在于：审美闭合关注时间、形式期待、主题回返与读者的结尾感，常与特定文类相关；退场闭合是一种跨叙事、说明、议论皆可编码的义务状态，并允许文本具有审美开放结尾，只要开放已经被合法限界。
第六位近邻是首尾呼应。它是一种结构同构，可以增强整体感，却可能只制造视觉上的环形。若开头问“为什么我害怕成功”，结尾重新出现同一句，却全文从未解释成功如何转成恐惧，呼应没有结清义务。反过来，文章完全不呼应也可以完成。
第七位近邻是“好作文”综合质量。内容丰富、语言准确、立意深刻、组织清晰、风格鲜明都可以影响质量，但“完成”只是其中一个更低维的门槛条件。一个论证平庸、语言粗糙的作文仍可能把自己开的账全部结清；一篇极具才华的草稿也可能故意或无意留下核心断裂。本文的真跑会把这个边界直接暴露出来。
第八位近邻是读者导向/reader-based prose。Flower早已指出，作者私有思路不能直接等同于读者可理解文本。退场闭合继承“作者必须退出”的问题意识，但再推进一步：它不只问表达是否面向读者，而是给出“哪些前向义务在作者退出后仍未结”的账本和停笔条件。一个高度reader-based的文本可以十分清楚，却仍在最后打开一个没有处理的新论点。
为了避免“换三个学科就宣布创新”，本文把近邻搜索向五个方向敌意拓宽。经典修辞方向包括亚里士多德《修辞学》第三卷关于peroratio的讨论，它明确处理演说如何在末端回顾、激发情感和强化记忆；文学理论方向包括Kermode关于终结感的讨论和Smith《Poetic Closure》对诗如何结束的系统研究；作文过程方向包括Flower与Hayes的认知过程模型、Sommers的修订研究、Bereiter与Scardamalia的知识陈述/知识转换理论；文本方向包括Halliday与Hasan的衔接理论及de Beaugrande与Dressler的文本性标准；应用方向则包括当代作文教学中“点题、照应、总结、升华、开放式结尾”等实务。
这些占位者分别能解释新理论的一部分：末端技术、审美终结感、递归修改、读者适应、文本连贯、任务结构都不是空白。因此，若退场闭合只说“文章要有整体感”“结尾要服务全文”“修改要面向读者”，创新即失败。本文保留下来的不可替换字段只有三个同时成立：其一，文本动作会生成可清点的前向义务；其二，完成是这些义务在冻结边界内获得结清或限界，而非全世界意义耗尽；其三，完成判定必须在作者退出条件下进行，并允许用扰动检查闭合是否由文本自身承担。
1:1替换测试也给出相同结果。把“退场闭合态”替换成“结构完整”，作者退出测试消失；替换成“连贯”，未结义务消失；替换成“结尾效果”，全文账本消失；替换成“任务完成”，内部生成义务消失；替换成“读者意识”，停止条件消失；替换成“叙事闭合”，跨文类与可清点指标消失。没有一个近邻能无损保留三个字段，因此新对象仍有剩余解释量。
同时，新理论必须主动承认一条限制：在高度实验性的文学写作中，“制造无法结清的义务”本身可能是作品策略。此时不能用学校议论文的闭合阈值直接判失败。退场闭合的适用对象是存在可冻结核心对象、具有教学或沟通责任的作文任务；若文体契约把无解、歧义或持续悬置本身设为核心对象，那么“合法限界”的编码规则必须随契约调整。这个限制不是退让，而是防止概念吞并所有写作。
3.9版要求新概念不能只在纸面上可证伪，至少要用公开数据跑通一条最便宜的检验。本文选用2012年Hewlett Foundation自动学生评价奖（ASAP）公开训练语料的essay set 1。该语料含人工专家评分，公开镜像训练集共12,976篇、8个题组；本文只取同一题组，以避免不同题目与评分范围混杂。探索性样本按人工总分2、4、6、8、10、12各取前两篇，共12篇。此抽样不用于估计总体效应，只用于检查ECR能否实际编码以及它是否会立刻被“作文总分”吸收。
为了降低编码自由度，真跑只使用“显式或可直接恢复的前向义务”：中心判断及其列举理由、明确的对立结构、核心反问、作为论据进入的例证、段首承诺的first/second/last等。核心义务权重2，局部义务权重1；若后文有可定位的处理或清楚限界即结清。评分在编码之后才打开用于比较。由于本次只有单一编码者，结果只能视为方法学试跑，不能当作量表效度证据。
结果出现两个方向。第一，ECR与人工总分总体同向，12篇样本中的Spearman等级相关约为0.93，说明低分极短文本往往同时存在明显未结义务；这符合直觉。第二，也是更重要的不利结果：ECR在中高分段迅速达到天花板，人工8—12分的6篇全部达到1.00；同时，一篇人工总分仅6分的作文仍达到0.92并且没有未结核心义务。换言之，闭合一旦达到，继续提高语言、内容、论证质量并不会继续提高ECR。
另一个直接反例来自样本ID 5：文本没有传统意义上独立的总结段，却把开头列举的三个理由依次处理完，末段结束于第三个理由的展开，按本研究编码ECR为1.00。相反，样本ID 14具有非常显眼的“In conclusion”式收束，人工总分仅6，但ECR仍达到0.92。两例共同说明：结尾样式与退场闭合既不是充分关系，也不是必要关系。
这个结果对本文是有利中的不利。若ECR能够精准预测总分，反而说明它可能只是在换名重做综合作文质量；现在的天花板说明它测到的是一个更窄的状态变量。完成之后仍有巨大质量空间：词汇可以更准确，思想可以更深，证据可以更强，节奏可以更好。本文因此撤回任何“ECR越高作文越好”的解释，只保留“ECR用于判断是否仍存在必要续写义务”这一较窄命题。
| essay_id | 人工总分 | 激活义务（加权前单位） | 已结清权重 | ECR | 未结核心义务 |
|---|---|---|---|---|---|
| 41 | 2 | 4 | 2.00 | 0.50 | 是 |
| 359 | 2 | 2 | 0.00 | 0.00 | 是 |
| 19 | 4 | 3 | 2.00 | 0.67 | 是 |
| 27 | 4 | 5 | 3.75 | 0.75 | 是 |
| 14 | 6 | 6 | 5.50 | 0.92 | 否 |
| 15 | 6 | 4 | 3.00 | 0.75 | 是 |
| 1 | 8 | 4 | 4.00 | 1.00 | 否 |
| 5 | 8 | 4 | 4.00 | 1.00 | 否 |
| 4 | 10 | 5 | 5.00 | 1.00 | 否 |
| 7 | 10 | 4 | 4.00 | 1.00 | 否 |
| 16 | 12 | 4 | 4.00 | 1.00 | 否 |
| 37 | 12 | 5 | 5.00 | 1.00 | 否 |
注：本表为探索性单编码者试跑，义务数与结清权重按本文清点手册人工编码；不用于报告总体效度。12篇中人工分与ECR的Spearman等级相关约为0.93，但8—12分样本ECR全部达到1.00，出现明显天花板。
对ASAP语料做字段审计还暴露出更根本的问题。数据保存了最终作文文本、题组、若干人工评分和部分分项分数，却没有草稿版本、作者何时决定停笔、作者在停笔前自报的未结问题、同伴读者的等待点、结尾删除后的理解变化等字段。也就是说，现有大规模作文数据主要把“最终成品”当作研究对象，而本题真正关心的“从可继续到闭合”发生在版本序列中。
这意味着ECR在单一最终文本上只能做“事后闭合审计”，不能直接验证因果命题“结清义务导致作者停笔”。若要真正检验How3，需要新的过程数据：至少保存每次重大增删的时间戳、每轮义务账本、作者停笔判断、独立读者的未结标记以及后续是否重新开写。缺少这些字段时，任何关于“学生为什么在这里结束”的解释都只能是推断。
因此，本文把这一字段缺失原样写入理论边界，而不把最终分数冒充过程证据。未来研究最便宜的设计不是再收一万篇成品，而是在一间教室里让30名学生完成两轮写作：第一轮按常规教学，第二轮保留“边界—义务—结清—退场”日志。只要能够观察到未结核心义务是否在停笔前显著下降，以及退场测试失败是否预测后续必要修改，就能对本文的因果机制进行真正检验。
第一项改变发生在写后第一次诊断。传统诊断常从“内容够不够丰富”开始，教师一眼看见篇幅短就让学生“再举个例子”。退场闭合教学先问：现有文字已经开了哪些账？若一篇短文只有三笔义务且全部结清，增加材料不是必要修改；若一篇长文有十二笔核心义务只结了七笔，继续加新例子反而危险。篇幅从诊断起点降为资源约束。
第二项改变发生在结尾教学。教师可以继续教照应、点题、总结、留白，但每一种技巧都必须附加一句“它适合结哪类义务”。总结适合合并分散分论点，照应适合完成前文设置的意象或问题，留白适合把无法在当前边界内解决的事项合法限界。学生不再为了“像作文”而机械套结尾，而是先看最后还欠哪一笔。
第三项改变发生在修改顺序。先核心义务，后局部义务，最后语言润色。许多学生的修改无效，是因为他们在结构债没有清掉前就进入词句装修。新的顺序可以非常机械：红色标核心未结，蓝色标局部未结，绿色标已结；第一轮只准处理红色。这样“修改”第一次有明确结束点，而不是老师一句“再好好改改”。
第四项改变发生在同伴互评。同伴不需要给“文采几分”，只需要做两个工作：标出“这里让我等待后文回答什么”，以及“我读完后仍必须问作者什么才能理解核心”。这两个动作比泛泛评价更容易训练，也更接近作者退出测试。互评者的差异本身可以成为数据：若五名读者都在同一处等待，说明那笔义务高度稳定；若只有一人提出，可能是个体兴趣而非文本债。
第五项改变发生在教师反馈语言。从“再具体些”改成“这句话开了哪笔账”；从“结尾没升华”改成“全文还有哪笔核心义务只能靠最后一句补”；从“内容不够”改成“目前缺的是新材料，还是已有材料与判断之间的结清链接”；从“不要跑题”改成“你是不是在中途扩大了请求边界”。反馈由形容词变成可执行操作。
记叙文的核心义务多来自异常、选择与关系变化。一个人物被赋予欲望，读者便等待其行动或失败；一个动作被写成异常，读者便等待它为何异常；一个“我从此才知道”会激活认知变化的证据义务。记叙文不要求所有事件有结局，但核心事件必须完成结果、转化或合法悬置。开放结尾不是不结账，而是把“事件结果”转换成“读者知道为什么结果被悬置”。
议论文的核心义务主要来自主张、理由、反方与证据解释。学生最常见的欠账不是“没有例子”，而是例子与主张之间没有结清链接：写完名人故事后只说“由此可见坚持很重要”，但故事也同样可以证明天赋、运气、环境或资源。此时真正未结的是排除替代解释的义务。议论文完成的标志不是论据数量，而是当前核心主张不再依赖作者口头补充“这个例子为什么算我的证据”。
说明文的义务来自对象边界、分类标准、机制与例外。一旦文章说“有三种”，就创造数量承诺；说“A不同于B”，就创造区分承诺；说“原因在于”，就创造因果承诺。说明文的退场闭合尤其适合机械清点，因为很多义务由明示结构触发。
抒情散文与较开放写作的义务更需要谨慎。意象重复不必被还原成命题，矛盾情绪也可能被有意保留。此时编码应以作者冻结的“关系不变量”而不是明确论点为核心，例如“我对故乡既想离开又无法彻底离开”本身就是可维持的双重关系，文章不需要把它解决成单一态度。退场闭合要求的是这份复杂关系已被文本承担，而不是强迫它变简单。
由此可见，退场闭合并不把所有作文变成逻辑证明。它只提供一个跨文体的最低框架：你写出的重要动作会让读者期待后续；完成要求这些期待被处理、转化或限界。 至于用论证、叙事、意象、节奏还是留白完成处理，仍由文体决定。
生成式AI把“永远还能继续写”从理论困境变成按钮级现实。人类作者过去还会因为记忆、时间、词汇或精力不足而自然停下；模型几乎可以无限追加例子、扩展段落、提供反方、润色结尾。如果完成仍以“还有没有可加内容”为标准，AI时代的作文原则上永远不能结束。完成必须从生成能力中独立出来。
AI也更容易制造“形式完成”。模型熟悉五段式结构、总结句、首尾照应和升华模板，能在任何薄弱正文后快速生成一个看似完整的末段。若教师把结尾形式当完成信号，AI会让伪完成变得更普遍。退场闭合的优势在于它不问“结尾像不像”，而问前文激活的每笔核心义务是否真的有结清链接；模型生成的新句如果只是重复中心，不会替未处理的因果债入账。
与此同时，AI可以成为义务审计工具而不是代写工具。一个更有教育价值的提示词不是“帮我把结尾写得高级”，而是“只标出这篇草稿自己提出、但后文没有处理的核心问题；不要替我补写”。学生再决定哪些要结、哪些应限界。这样AI的生成能力被转为诊断能力，作者仍承担边界选择和结清工作。
在AI协作记录中，还应特别区分“AI新增义务”。模型每加一个漂亮类比、名人故事、概念或反方，都会把新的前向责任带进文本。学生若无能力结清这些由工具生成的义务，文章会出现一种新型债务扩张：语言越来越成熟，闭合率反而下降。因而AI时代最重要的停止规则可能不是“别让AI写太多”，而是“任何新增材料先问它新开了几笔账”。
第一条证伪条款针对结尾必要性。在同题学生作文中，预先标出已达到ECR≥0.90且无核心欠账的文本，删除其公式化总结段。如果多数文本在独立读者编码中出现新的核心未结义务，且ECR显著跌破阈值，则“结尾只是可能的结清工具而非完成本体”这一命题受损。若删除不改变ECR，则支持完成性已经由前文承担。
第二条证伪条款针对义务清算的教学作用。随机班级采用常规“内容—结构—语言”修改与“义务账本”修改，两组时间相同。若义务组不能降低独立读者标出的核心等待点，或其必要修改次数没有减少，则本文关于“把继续写从内容生成改成义务清算”的教学优势应撤回。不能用学生觉得“方法很新颖”替代结果。
第三条证伪条款针对作者退出。同一篇草稿分别由作者在旁解释和作者完全离场两种条件让读者判断未结义务。若两条件下核心欠账识别几乎没有差异，则“作者在场会掩盖未完成”这一机制的强度被高估；反之，如果离场显著增加稳定出现的核心等待点，就说明作者补丁确实是伪完成来源。
第四条反向约束针对过度清算。如果使用义务账本的学生显著减少探索性材料、复杂反方和有意留白，导致作文思想复杂度下降，即使ECR上升也不能宣布教学成功。这说明“清债”压制了必要的开账。成熟写作需要先生成、再闭合，而不是从第一句开始避免一切新义务。How2与How3必须保持次序：先允许文章长，再在适当阶段进入清算。
本文给出一个可写死日期的赌注：在2027年12月31日前，若至少三个独立班级、每组总样本不低于90篇的预注册实验显示，义务账本训练相较等时长常规修改既不能降低独立读者标记的未结核心义务，也不能减少作者解释依赖，则本文关于“退场闭合可作为作文完成教学的独立操作变量”应当降级为描述性框架，而不再主张教学机制。
退场闭合把作文完成从一个末端技巧问题改成了“停止能力”问题。不会完成的学生不一定不会写；有时恰恰因为他会持续生成，所以无法判断哪一步已经不再必要。写作教育长期重视“想得出、写得多、展开充分”，却较少训练“知道何时不再打开新分支”。而在任何复杂创造活动中，停止本身都是能力：研究要封题，设计要冻结版本，工程要交付，法律要终局，文章也需要获得退出条件。
这个观点还改变“整体”的含义。整体不是所有材料都有关联，也不是每段都围绕同一个词，而是一个有限边界内的义务网络能够自我结算。一个局部若加入后没有打开需要处理的新关系，它可能只是装饰；一个很短的句子若承担三笔核心结清，它可能是承重节点。整体因此可以被理解为“债权债务结构”而非“材料集合”。
更深一层，完成不是绝对封闭，而是边界化开放。文章可以承认未知、留下余味、允许多重解释，只要这些开放被安排在不破坏核心对象的位置。真正的未完成不是“还有未知”，而是文章一方面要求读者依据某个关系作判断，另一方面又没有给出足以维持这个关系的处理。开放是被承认的边界，欠账是被遗忘的责任。
于是，“还能写”与“还需写”终于被分开。前者属于可能空间，后者属于义务空间。可能空间可以无限，义务空间必须有限。作文完成发生在义务空间收敛而可能空间仍然开放的那一刻。这个判据比“字数够了”“结尾写了”“没话可说了”都更接近写作作为一种自主组织活动的本质。
第一种现场是少写但已经完成。一个学生只写六百字，却从开头冻结了一个很小的对象：一次道歉为什么比解释更难。正文只处理“解释是在保护自己的正确，道歉是在承认对方受过伤”这一条差异，给出一个事件、一次反转和一个最终判断。教师若按“篇幅不够丰富”要求再增加童年回忆、名人名言和另一场冲突，新增材料会打开新的时间线和比较义务，反而稀释原有闭合。退场闭合提醒我们：短不是未完成的证据；只要当前核心义务已结清，继续写属于扩题而非补欠。
第二种现场是写得很多却一直未完成。学生为了证明“挫折让人成长”，连续写三位名人、两段自己的经历、一个社会新闻，每个例子都能单独说明“经历过困难”，却没有处理最关键的反例：为什么同样的挫折有时让人退缩、创伤或放弃？随着材料增加，文章实际上不断强化“挫折之后发生了变化”，但“为什么是成长而不是别的变化”这笔核心义务始终未结。此时越补同类材料，越像在用资产规模掩盖负债结构。正确动作不是第五个例子，而是收窄主张或建立机制。
第三种现场是有漂亮结尾的假闭合。正文围绕“自由”写旅行、独处、离开竞争，最后用一句高度概括的话把自由定义成“忠于内心”。这个结尾在情绪上很完整，却新开了最大的一笔概念义务：为什么忠于内心就是自由？内心冲动与长期价值冲突时怎么办？如果正文从未建立这些区分，末段不是结清器，而是债务集中器。传统评分可能因为语言成熟而给予较高评价，但How3仍会判定“完成性不稳”。
还有第四种现场：故意开放但已经完成。记叙文最后停在父亲没有回答的沉默里，读者不知道父亲最终是否原谅“我”。如果全文核心对象本来就是“我第一次意识到，道歉不能迫使另一个人立刻原谅”，那么父亲是否原谅可以合法留白；相反，如果全文一直承诺要揭示“父亲究竟为什么多年不说话”，最后突然以沉默结束，就仍欠核心叙事义务。两篇都叫“开放式结尾”，完成状态却相反。
这些现场说明，教师真正需要识别的不是文章“像不像成品”，而是继续写作的必要性来自哪里。篇幅、结尾形式、情绪强度、语言成熟度都只能提供弱信号。退场闭合把判断压回一个更难伪装的问题：若现在停止，究竟有哪一笔由本文自己激活的核心义务会因为停止而无法结算？只有能指出具体欠账，“继续写”才有理论依据。
作文的三个How问题不能互相替代。启动阶段解决的是从无到有：如何让第一批具有方向性的文字出现；持续生成阶段解决的是从有到更多但不堆积：新材料如何改变既有结构并继续制造可承接的下一步；完成阶段则解决从“还能产生下一步”到“下一步不再必要”。如果把完成规则过早塞进启动阶段，学生会在每写一句时都担心欠账，生成被审查压死；如果只教生成而没有完成规则，文章会无限扩张。
因此，成熟课堂应当允许“开账期”和“清账期”分离。开账期鼓励异常、联想、例证、反方、细节和新问题进入，不急着每笔立刻结清；清账期则冻结边界，停止无条件扩张，开始识别哪些账必须还、哪些可以删、哪些应明确移出本篇。这个节奏与创作中的发散—收敛相似，但退场闭合比一般“收敛”更具体：收敛不是少写，而是把注意力从生成新可能转向解除必要继续。
How2与How3之间存在一个可观察的转折信号：新增一段文字带来的“结清义务数”开始低于“新激活义务数”。 在持续生成早期，一段新材料通常既回应前文又建立新的有价值方向，净效果是结构生长；临近完成时，若每补一个例子都需要再解释一个概念、再引入一个背景、再处理一个反方，义务总量不降反升，说明文章已经接近边界，继续生成可能从生长转为蔓延。课堂不一定要把这一差额量化，但可以让学生每新增一段标记“还了几笔、又开了几笔”。
How3也不能把“义务清零”理解成把文章磨成封闭说明书。真正的目标不是零开放，而是零未处理的必要开放。诗性余味、价值冲突、不可知的人心、未来尚未发生的结果都可以保留；关键是文本是否把这些开放的地位说清楚，使读者知道“作者有意把它留在这里”，而不是误以为自己漏读了一段。完成不是消除复杂性，而是给复杂性一个稳定的边界位置。
从这个接口看，作文能力可以重新描述为三种相继又可循环的能力：启动能力让对象出现，生长能力让对象通过新关系不断改写自己，退场能力则让作者在对象已经能够独立存在时停止占用它。一个真正成熟的作者并不是始终控制文本的人，而是在适当时刻能把文本交出去的人。How3最终训练的，正是这种“知道什么时候应该离场”的写作判断。
本文从“作文怎样完成”这一语文教育难题出发，拒绝把答案缩成结尾技巧。形式化方法与程序验证让我们看到：完成不需要穷尽全部状态，只需把与当前性质有关的验证义务判定掉；争议解决与仲裁让我们看到：终局不等于世界再无争议，而是被提交的请求在边界内获得结算；风险、安全与可靠性工程让我们看到：任何完成声明都必须经受操作者退出和环境扰动，不能用“目前没出事”替代稳定。
三家二阶碰撞后出现的新对象是“退场闭合态”。它把作文完成定义为一种作者可以合法退出的整体状态：当前文本激活的必要续写义务已结清或限界，独立读者无需作者补丁即可维持核心关系，最小扰动不会暴露新的核心欠账，继续添加内容主要会扩大边界或创造新义务。与此配套的退场闭合率ECR，使“我觉得差不多了”第一次可以被拆成一张可复核账本。
公开学生作文的探索性真跑给出一个重要警告：ECR并不是作文质量总分。它会在完成后迅速饱和，一篇普通甚至语言粗糙的作文也可能闭合；一篇高质量文本也可能在草稿阶段暂时不闭合。这个结果守住了本题的边界——How3研究的是如何结束一轮写作，不是重新回答“什么是好作文”。
对课堂最直接的改变可以压成三句话：不要先问“还能加什么”，先问“还欠什么”；不要先问“结尾怎么升华”，先问“最后一段究竟结哪笔账”；不要用“作者说自己写完了”验收，先让作者退出。真正成熟的停笔不是作者无话可说，而是他仍有很多话可说，却能指出：从下一句话开始，我将不再是在完成这一篇，而是在开启另一篇。
【A1 冻结对象】先写版本号、题目、文体、作者希望读者最低建立的1—3条核心关系；再写“本篇主动不处理”的相邻问题。冻结完成前不编码ECR。
【A2 找触发点】逐段只问一句：“这句话一写出来，读者接下来有权等待什么？”若答案会影响核心判决，登记一笔义务；纯粹想知道更多不算。
【A3 定核心级】删除该义务对应内容后，全文的中心判断、人物关系、主要冲突或对象边界是否改变？改变=核心（权重2）；不改变但造成局部理解断裂=局部（权重1）。
【A4 找结清链接】必须在文本内指到处理位置。作者说“我心里知道”“前面暗示过”不算；需要读者调用题型套路才能自动补上的也不算。
【A5 合法限界】若作者明确把问题排除在当前边界外，且排除不破坏核心对象，可记为结清；模糊逃避“这个问题很复杂以后再说”不自动算限界。
【A6 作者退出】编码阶段作者不得解释。至少一名不知写作计划的读者能够完成义务—结清配对；研究使用时建议双人独立编码并报告一致率。
【A7 算ECR】ECR=结清或合法限界的加权义务/全部已激活加权义务。试用门槛0.90且无未结核心义务。
【A8 做扰动】优先删公式化结尾、一个低承重例子或一段可替换描写；重算义务状态。若删结尾后旧债暴露，说明结尾在承重；若不变，结尾是风格而非闭合条件。
【A9 停笔】问“下一段将偿还哪一个已有义务ID？”若没有已有ID，而必须开新义务，当前版本获得停笔许可。
【A10 版本纪律】如果作者决定扩大题目、改变中心关系或主动加入新的核心分支，建立v2账本，不能把旧版ECR与新版直接混算。
| 项目 | 预注册内容 | 控制纪律 |
|---|---|---|
| 主要自变量 | 常规修改指导 vs 退场闭合义务账本指导 | 两组时长、教师接触量相同 |
| 主要结果 | 独立读者标记的未结核心义务数 | 编码者盲于组别与前测分数 |
| 次要结果 | ECR；必要修改轮次；作者解释依赖 | ECR阈值在研究开始前写死 |
| 反向结果 | 思想复杂度、反方数量、探索性材料是否下降 | 防止“清债”把文章教窄 |
| 最小样本 | 建议总N≥90，至少3个独立班级 | 以班级聚类处理标准误 |
| 失败判据 | 义务组不降低核心欠账且不减少解释依赖 | 失败结果必须原样报告 |
[1] 中华人民共和国教育部. (2022). 《义务教育语文课程标准（2022年版）》. 北京师范大学出版社。
[2] 付自文. (2026). 《SDE多学科通融创新法（3.9版）》及“新思想前沿”领域资料。SDE Universes。
[3] SDE Universes. (2026). “形式化方法与程序验证”（新思想前沿，第352号）。
[4] SDE Universes. (2026). “争议解决与仲裁”（新思想前沿，第426号）。
[5] SDE Universes. (2026). “风险、安全与可靠性工程”（新思想前沿，第600号）。
[6] Hoare, C. A. R. (1969). An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10), 576–580.
[7] de Moura, L., & Bjørner, N. (2008). Z3: An Efficient SMT Solver. In TACAS 2008, LNCS 4963, 337–340.
[8] Bradley, A. R. (2011). SAT-Based Model Checking without Unrolling. In VMCAI 2011, LNCS 6538, 70–87.
[9] Calcagno, C., Distefano, D., O’Hearn, P. W., & Yang, H. (2009). Compositional Shape Analysis by Means of Bi-Abduction. POPL, 289–300.
[10] Leroy, X. (2009). Formal Verification of a Realistic Compiler. Communications of the ACM, 52(7), 107–115.
[11] Klein, G., et al. (2009). seL4: Formal Verification of an OS Kernel. Proceedings of SOSP, 207–220.
[12] Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model Checking. MIT Press.
[13] Baier, C., & Katoen, J.-P. (2008). Principles of Model Checking. MIT Press.
[14] UNCITRAL. (2010). UNCITRAL Arbitration Rules (as revised in 2010). United Nations.
[15] UNCITRAL. (1985/2006). Model Law on International Commercial Arbitration. United Nations.
[16] United Nations. (1958). Convention on the Recognition and Enforcement of Foreign Arbitral Awards (New York Convention).
[17] United Nations. (2019). United Nations Convention on International Settlement Agreements Resulting from Mediation (Singapore Convention on Mediation).
[18] Hollnagel, E., Woods, D. D., & Leveson, N. (Eds.). (2006). Resilience Engineering: Concepts and Precepts. Ashgate.
[19] Leveson, N. (2011). Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press.
[20] Hollnagel, E. (2014). Safety-I and Safety-II: The Past and Future of Safety Management. Ashgate.
[21] ISO. (2022). ISO 21448:2022 Road Vehicles — Safety of the Intended Functionality.
[22] Flower, L. (1979). Writer-Based Prose: A Cognitive Basis for Problems in Writing. College English, 41(1), 19–37.
[23] Flower, L., & Hayes, J. R. (1981). A Cognitive Process Theory of Writing. College Composition and Communication, 32(4), 365–387.
[24] Sommers, N. (1980). Revision Strategies of Student Writers and Experienced Adult Writers. College Composition and Communication, 31(4), 378–388.
[25] Bereiter, C., & Scardamalia, M. (1987). The Psychology of Written Composition. Lawrence Erlbaum Associates.
[26] Halliday, M. A. K., & Hasan, R. (1976). Cohesion in English. Longman.
[27] de Beaugrande, R.-A., & Dressler, W. U. (1981). Introduction to Text Linguistics. Longman.
[28] Kermode, F. (1967). The Sense of an Ending: Studies in the Theory of Fiction. Oxford University Press.
[29] Smith, B. H. (1968). Poetic Closure: A Study of How Poems End. University of Chicago Press.
[30] Aristotle. On Rhetoric: A Theory of Civic Discourse (2nd ed., G. A. Kennedy, Trans.). Oxford University Press, 2007. Book III, Chapter 19（收束部分）.
[31] Hewlett Foundation / Kaggle. (2012). Automated Student Assessment Prize (ASAP): Automated Essay Scoring dataset.
[32] Turanga1. (retrieved 2026-08-17). Automated-Essay-Scoring: public mirror of ASAP training_set_rel3.tsv. GitHub.
https://sdeuniverses.com/frontier/
https://sdeuniverses.com/frontier/formal-methods-program-verification/
https://sdeuniverses.com/frontier/dispute-resolution-arbitration/
https://sdeuniverses.com/frontier/risk-safety-reliability-engineering/
https://uncitral.un.org/en/texts/arbitration/contractualtexts/arbitration
https://www.iso.org/
https://www.moe.gov.cn/srcsite/A26/s8001/202204/t20220420_619921.html
https://github.com/Turanga1/Automated-Essay-Scoring
编者补节 · 第六章
本章把「作文完成」重写为一张账本：文本自己激活了哪些前向义务，其中哪些已结清或已合法限界，哪些还欠着；作者退场之后，独立读者仍可仅凭文本维持核心关系。整套语汇——义务、激活、结清、未结、账本——在论辩逻辑与对话计算里是四十年的现成术语，而本章一位未提。
Hamblin, C. L. (1970). *Fallacies*. Methuen. 提出对话双方各有一个承诺存量（commitment store）：说出一个断言即把它计入自己的存量，此后要为它负责，除非依规则撤回。
Walton, D., & Krabbe, E. C. W. (1995). *Commitment in Dialogue*. SUNY Press. 把承诺存量发展成一整套对话类型的规范框架：不同的对话类型规定了承诺如何产生、如何转移、如何合法退出。
Traum, D. R., & Allen, J. F. (1994). Discourse obligations in dialogue processing. In *Proceedings of the 32nd Annual Meeting of the ACL*, 1–8. 直接把「义务」作为一种独立于信念、目标与意图的态度引入，用以解释问与答之间的连接：一个问题使对方负有回答的义务。
三位加起来，本章那句「作者写出一个中心判断，就欠下支持或限定」在上游是一句老话。
为什么本章绕开了它们（编者的判断）。 本章的三家取源是形式化验证、争议解决与仲裁、风险安全与可靠性工程——它借的是法律的终局性与工程的边界稳定，而不是论辩的承诺。这不是疏忽，是取源路线决定的盲区：仲裁给了它「请求边界内获得终局」，却没有给它「承诺如何产生」。
分离线（本章可以站住，但必须写出来）。
承诺者不同。 那三位的承诺属于说话人——是某个主体欠下的，可以由主体撤回。本章的义务属于文本——由文本动作激活，作者不在场时仍然成立，且明令「作者说『我心里知道』不算结清」。
结清的裁决者不同。 那三位由对话规则与对方裁决；本章由不知道写作计划的独立读者裁决，并把「作者退场」写成编码的必要条件而非第二个指标。
合法退出的机制不同。 那三位的退出是撤回（retraction），要在对话中显式执行且可被对方追究；本章的退出是限界——作者在文本中明确把某问题排除在本篇边界之外，且排除不破坏核心对象。限界不是撤回：被限界的问题仍然被承认存在，只是不属于本篇。
判定形式。 取一批作文，一路按承诺存量的规则编码（谁欠、欠什么、是否撤回），一路按本章的义务账本编码。若两套编码在「哪些篇目仍有未结核心项」上给出相同的名单，本章应并回承诺一支，退场闭合率只是承诺存量余额的换算；若两套名单系统不同——尤其若存在一批作文，其作者承诺已全部履行而文本仍有未结核心义务（或反之）——本章的「义务属于文本」这一条成立。
见第四章补节第二节：本章的工作从第四章的持续生成窗口结束处开始，交接信号是结清义务数开始低于新激活义务数。两章在「合法闭合」这一格上共用，不是重复。
与第四章同（见第四章补节第一节）。对本章而言，分离线更短：那一支的问题入栈即构成回答的承诺，本章的义务激活即构成结清或限界的责任——两句几乎同形。本章多出来的那一条是作者退场：那一支不要求提问者离场后问题仍然成立，本章要求义务在作者不在场时由独立读者读得出来。
本章的探索性编码在十二篇公开学生作文上跑出两个方向。第一个方向符合直觉：退场闭合率与人工总分总体同向。第二个方向不符合，也更重要：闭合率在中高分段迅速触顶——人工评分较高的六篇全部达到 1.00，同时一篇人工总分仅中等的作文也达到 0.92 且无未结核心义务。
作者由此撤回了任何「闭合率越高作文越好」的解释，只保留「用于判断是否仍存在必要续写义务」这一较窄命题，并写了一句编者认为应当被反复引用的话：若这个读数能够精准预测总分，反而说明它可能只是在换名重做综合作文质量。
编者提醒读者注意这一撤回的连带后果：本章给出的阈值 0.90，不是一条质量线，是一条状态线。跨过它，只意味着这一轮的账已经结清，不意味着这一篇写得好。本卷第七章正是从这条线的另一侧接着往下问的（见对切二）。