权交回去的那一刻
共同动作:问同一个动作——结算——的三个侧面。
写完就是把权交回去。三章问的是同一次交接的三个位置。
第六章问账内:这一篇还欠着什么?它把「写完了」从作者的感觉改成一张可复核的账本——文本自己激活了哪些前向义务,其中哪些已结清或已合法限界,哪些还欠着。它的验收动作是作者退场:编码阶段作者不得解释,由不知道写作计划的读者去配对义务与结清位置。凡要靠作者口头说明才能连上的,一律记为未结。
第七章问账外:这一次结清,把什么挤了出去?它的判断是,写好作文最危险的时刻不一定是失败的时候,而可能恰恰是某一项已经做得很好、系统因此允许我们宣布「这一轮完成」的时候——因为宣布完成的那把尺子,只看见它被设计去看见的东西。
第八章问账本本身:判它的那把尺子,被它改了多少。前两章都默认判准在作品之外;第八章说判准会被作品回写。
这一编有一处编者必须交代的取源重叠。 第六章与第七章都取用了形式化验证,第七章与第三章都取用了机制设计。三家学科在本卷里出现了两次以上。这不是重复取材,因为取的是不同的线:第六章取的是验证义务与可判定结果态,第七章取的是验证与确认之分(符合规格不等于满足真实用途);第三章取的是多重均衡,第七章取的是激励相容与可测偏置。但编者仍要指出,第七章三家里有两家在本卷别处已经出现,这是它在取源独立性上不如其余各章的一处实情,也是编者把它夹在第六章与第八章之间的理由——让它在两侧的对照中被读,而不是单独被读。