# 法律的 AI 工程学 LegalAVA 一组把法律推理当作工程对象来分析的文章：从霍姆斯“法律的生命不是逻辑，而是经验”出发，讨论大语言模型与普通法的结构同构、语料与社会共识之间的裂缝、人机分工的工程原则、结论先行与形式逻辑的价值，以及用预言机、版本控制这些工程概念对法律制度的重新描述——既写 AI 在法律推理中的位置，也写被工程语言照亮的法律本身。 - [AI 是一位普通法法官吗？](./AI是一位普通法法官吗.md) ——大语言模型像的不是法官，而是普通法本身 - [平均数不是共识](./平均数不是共识.md) ——语料、模型与社会共识之间的四道裂缝 - [在裂缝上架桥](./在裂缝上架桥.md) ——裂缝不必填平：人机法律推理的分工工程 - [写不下去的判决书](./写不下去的判决书.md) ——结论先行、事后证立，与法官必须通过的资格考试 - [可以被弹劾的结论](./可以被弹劾的结论.md) ——形式逻辑的价值 - [自由心证不自由](./自由心证不自由.md) ——心证是什么，“自由”从谁手里争来，律师究竟在影响什么 - [往返的目光](./往返的目光.md) ——恩吉施的比喻与王泽鉴的操作规程 - [三段论之外](./三段论之外.md) ——演绎之外的六件工具，与它们的法律血缘 - [清单从哪里来](./清单从哪里来.md) ——规则不是蒸出来的，是长出来的 - [法律的版本控制](./法律的版本控制.md) ——普通法是 Git，中国法是 monorepo - [读不完的文本](./读不完的文本.md) ——法律从未读完过自己 - [第二次通读](./第二次通读.md) ——有效的检索，预设一个已经读过的读者 - [弹劾的自动化](./弹劾的自动化.md) ——单元测试是自带弓箭手的靶子 - [一张有答案的考卷](./一张有答案的考卷.md) ——没红过的测试不可信 - [最小的靶子](./最小的靶子.md) ——测试越小，红灯越值钱 - [法官是一台预言机](./法官是一台预言机.md) ——喂价、操纵与聚合：法律两百年前就在解预言机问题 - [胜率的算术](./胜率的算术.md) ——贝叶斯定理，与“我这个案子能不能赢”的诚实答案 - [AI 解决分歧](./AI解决分歧.md) ——模拟层、预期收敛，与诉讼的 Rollup 化 - [省下来的时间归谁](./省下来的时间归谁.md) ——效率红利留不住，能力红利拿不走：法律 AI 两条产品线的经济学 - [前线工程师](./前线工程师.md) ——蒸馏与把关：红利流向定价者之后，剩下的两道人工工序 - [过渡期的租金](./过渡期的租金.md) ——终点已定，路上的钱在哪里：时间差、信息差，与过渡期利润的正确用途 - [核验半径](./核验半径.md) ——AI 赋能的有效范围，与一次不敢投的标 - [断言与劝诫](./断言与劝诫.md) ——给机器立的规矩，只有会失败的那部分算数 - [断点](./断点.md) ——事实、授权、评价与责任：机器无法自产的四种输入 - [最古老的 harness](./最古老的harness.md) ——程序法是人类为易错智能写下的第一份 harness - [法律的钟表](./法律的钟表.md) ——期限是最纯粹的机械判据：买得起钟表的地方，法律不用判断 - [机器的程序法](./机器的程序法.md) ——把程序合法的要件，当作法律 Agent 的设计规格 - [没有法官的程序](./没有法官的程序.md) ——非诉程序的五个母题，与多 Agent 协作缺的那半张图纸 - [可靠性的利息](./可靠性的利息.md) ——法律 Agent 的目标函数是可担保，效率是做成之后的利息 - [木屑的价格](./木屑的价格.md) ——最贵的资源是停下来：从一台车床看 Agent 的异步工程学 - [没有模具的文件](./没有模具的文件.md) ——3D 打印的行业名叫增材制造，而用范本写文件是一门减材手艺 - [给机器一张桌子](./给机器一张桌子.md) ——桌面、视力与手：方法论之下的基础设施 - [写给机器的纸条](./写给机器的纸条.md) ——排版给眼睛，明文给读者：机器时代的公文格式 - [代码即记忆](./代码即记忆.md) ——法律是最早的可执行记忆：规则替社会记住教训，也替社会藏起理由 - [机器的三种记忆](./机器的三种记忆.md) ——知道的、经历的、会做的：三层记忆，三档信任