三件事。第一，裁数学的座位：数学是 S 的记法（哲学的语言）还是路径工具（科学的）——这是开写前三件待裁之一，本章必须裁。第二，法学：立法、司法、民情三维齐全，判例是判负照登，法官是外判的制度形态。第三，会计：科目、流水、对账——一门天生按四行账运转的学问。后两者放在一章，因为它们共有一个特征：它们是人类为"记账"造的两套制度。
靠命题一与命题三承重。数学那一节接第 3、4 章与第 20 章（维柯的 verum-factum）、第 24 章（彭加勒的约定）；法与账那两节接第 9、11 章，并为第 53 章（AI 时代）铺路。
问题。 亚里士多德把数学放在物理学与神学中间：不动而不分离，在思想中被抽离（第 12 章）。在本书的对应里，它该归哪一维？第 4 章说科学是 D（走路径）、哲学是 S 的规定者；数学两边都像：它像哲学，因为它的工作是定义、公理、推论——纯粹的"什么算什么"；它又像科学，因为证明是走出来的，一步一步，而且走错了会被抓住。
史料上的三票。 柏拉图把数学放在分线的第三段：从假设往下推，借助可见图形——推论的知识，不是最高的看（第 12 章）。维柯投了明确的一票：人完全知道数学，因为数学是人做的——人用定义与公设造出了那个世界（第 20 章）；数学之真是 verum-factum 的真。彭加勒投了另一票：几何公理是约定，不是先天也不是经验（第 24 章）。三票合起来指向同一个方向：数学是人造的记法系统，它的真是"做成的真"。
本书的裁定。 数学是规定的记法系统，兼路径的工具；它的主维是 S，但它有一个别的规定系统没有的性质——它的规定自带可走的路径。
分开说。第一，数学的产出是规定：一个定义、一条公理、一个结构（群、拓扑空间、概型）说的都是"什么算什么"。它不判世界，它规定显露的形式——卡特赖特说定律说谎（第 31 章），说的正是这层：定律的数学形式安排显露，不摹写实情。第二，数学的规定自带路径：证明是可走的，而且走错会被抓住——这是它与别的规定系统（哲学的范畴、神学的教义）的分别，也是它为什么看起来像科学。第三，它没有土壤的判决：数学不被外判。一个定理不会因为世界不配合而被推翻；它只被两种东西判——形式的走通（证明，路径）与共同体的接受（规定层的敌拓：这个定义有没有用、和谁的分在哪里）。哥德尔不完备定理说的正是这个系统的边界，它没有把数学交给外面。
所以：数学是三个学里唯一一门主维是 S、而且把路径内化进规定的学问；它没有第三种判决。 这一句解释了两件事。其一，数学为什么"不可思议地有效"（维格纳 1960 年那篇文章的题目）：它有效不是因为它摹写了世界，是因为科学把它的规定借去安排显露，而且借之前会用路径试——有效的是那次借用，不是数学本身。其二，数学为什么能在没有外判的情况下持续两千年不塌：因为它的规定层判决（敌拓与证明）异常严格，严格到可以不要外判；这是本书唯一承认的"两判即可自持"的领域，也是一个可驳条款（第八节）。
"数学被 token 化"。 这条裁定直接接上那条线：若数学的主维是规定的记法，而记法正是大模型最擅长搬运与重组的东西（第 53 章），那么数学被 token 化的含义是：记法免费之后，数学剩下的是什么。按本章的裁定，剩下的是两样——选什么值得定义（这仍是规定层的判断，敌拓判），以及哪条路径值得走（在无穷多可证的命题里挑一条）。两样都不是记法本身。
规定：立法。什么算过失、什么算故意、什么算合理期待——法条是纯粹的"什么算什么"，而且它自觉地知道自己是立的：立法程序、生效日期、修订记录，一条法律的账向是公开的、有日期的。这是法学比多数学问干净的一点。
路径：司法。证据的收集、质证、庭审的次序、举证责任的分配——一条一条走出来，而且每一步有程式。刑事程序里的"排除合理怀疑"是一条停止规则；证据排除规则是作废条件。
土壤：民情与后果。一条法律施行三年之后社会上发生了什么，是它的外判；它不由立法者判，也不由法官判，它由外面回来。
判例是判负照登。 一个判决写出理由，公开，成为后来的材料；被推翻的判例不被销毁，它留在法律史里——推翻不是删掉，是判负照登进下一轮（第 9 章）。普通法系把这件事做成了制度：先例拘束原则加上区分（distinguishing）与推翻（overruling），正是"规定亚稳"的司法形态——它稳定，它可改，改要有理由，理由要写下来（第 48 章的三要素：势能、条件、账）。
法官是外判的制度形态，但只是半个。他在争议双方之外——这是"评估者在外"的制度化；可他不在整件事之外：法律施行的后果、一类判决对社会的影响，法官判不了，那要等几十年。所以法学有两层外判：个案的外判（法官）与规则的外判（社会），后者常常缺席。伯肯弗尔德那句"自由的世俗国家依靠它自己不能保证的前提而活"（第 33 章）说的正是第二层土壤：法治靠的是它自己造不出来的东西——守法的习惯、彼此的基本信任。
法学的越位也各有名字。拿法条判事实（规定判路径）：机械适用法律，不看案情。拿民意判个案（外判判路径）：舆论审判。拿判决结果倒推法条（把外判冻成规定）：第 10 章第三型，"社会效果"压过法律适用。戴震那句"以理杀人"（第 37 章）是这一型在中国的名字。
会计的三维对应几乎是逐字的。规定：科目表与准则——什么算收入、什么算资产、什么时候确认。同一笔钱进哪个科目，决定了它怎样显露；准则改一次，一家公司的利润就变一次，而公司什么也没变（与高血压的线下调同构，第 51 章）。路径：流水、凭证、分录——一笔一笔走出来，每一笔有日期、有对手方、有单据。土壤：现金与实物，以及那家公司实际在做的事。
对账是外判的最小形态。 账面数与银行对账单、与库存盘点、与第三方函证——账本这一边说的话，交给外面的东西来对。这是本书能找到的、最日常也最纯粹的"评估者在外"：对不上就是对不上，没有解释的余地，而且对账的一方不是记账的一方。复式记账本身是一套自检结构（借贷必相等），可自检只是内部一致性——一本内部完全自洽的假账是可能的，所以必须有对账。内部一致不等于真，这一句可以搬到全书任何一处：一套自洽的哲学、一部自洽的教义、一个自洽的模型，都还差外面那一对。
审计是敌拓的制度形态：审计师的工作正是"谁已经说过、分在哪里、从什么冻的"——这笔收入按哪条准则确认、为什么不按另一条、管理层的判断依据是什么。审计不重做一遍公司的经营（那是路径），也不去银行数钱（那是对账），它判的是规定层。
会计的越位：用规定造事实（会计准则套利、报表美化）——第 10 章第二型的商业形态；用外判倒推规定（今年利润要好看，所以改确认政策）——第三型。两者合起来就是财务舞弊的标准配方。
数学、法学、会计，是人类为三种判决各自造的一套极致工具：数学把规定层的判决做到极致（形式的严格），法学把路径的判决做到极致（程序的严格），会计把外判做到最日常（对账）。三门学问的成就都在"把某一种判决制度化"上。
它们的病也各是"缺另外两种"：数学没有外判（本章裁定它可以没有，附带可驳条款）；法学的第二层外判常缺席（一条法律的社会后果很少被系统回收）；会计的规定层最弱——准则由谁定、为谁定，会计自己不判，那是政治经济学的事。
这一节给第 53 章一个铺垫：三门学问都高度依赖记法，而记法正是最容易被机器接管的东西。接管之后，三门学问各自剩下的是那一件机器做不了的判决。
一个家有三本账。第一本是记法：孩子的成绩单、体检单、房贷表——一套记号系统，它规定这家人的日子怎样显露。第二本是规矩：谁管钱、大事怎么商量、过年回谁家——立出来的、可以修订的，修订要有日期与理由（第 48 章那张冰箱上的家规）。第三本是对账：年底看看，说好的事做了几件，钱去哪了，孩子跟不跟你说话了。
三本账里，第一本最容易做漂亮，第三本最容易空着。多数家庭的年底"总结"只做第一本的加总（今年赚了多少、孩子考了多少），不做第三本的对账（去年说好的三件事做了几件）。做第三本要的只有一样东西：去年说的话还在。
可驳三条。若数学史上能举出一条数学规定被外面的世界推翻的实例——不是被证明证伪，不是被共同体弃用，而是被世界判负——第三节"数学没有第三种判决"败，该裁定要改。（候选检验材料：非欧几何被广义相对论"采用"是不是一次外判？本书的初步读法是不是——那是物理学的外判，不是数学的；但这一条留给数学史。）若某个法域的实践证明第二层外判可以系统回收，第四节要补写。若会计准则的制定被证明确实包含外判环节（例如准则因社会后果被强制修改），第五节的"规定层最弱"要改。
欠账两笔：数学与"数学被 token 化"那条线只做了衔接，没有展开；法学与会计各只写了一节，与《会计价值》那条线的分工按提纲执行（本书只做"账本里的三判决"，不碰会计九题）。