术语表

这一页只做一件事：把文档里出现的专名一句话说清，并指到真正讲它的那一页。按你阅读时最可能遇到的顺序排，不按字母。查具体字段与错误码去字段与错误码，查今天真正开放到哪一步去生产状态。

最先会遇到的四个

词	一句话	讲它的页
MCP	Model Context Protocol，一个让 AI 客户端连接外部工具与数据的开放协议。Rulith 以 MCP 服务的形式接入你已经在用的客户端——不换模型、不换客户端，加一行配置即可	兼容性
智能体	在 Rulith 这里，智能体 = 一块属于它的记忆（板）+ 四项配置（领域、工具、连接、宪法）。脑子是你客户端里的模型，Rulith 不提供也不替换模型	智能体由什么构成
板 / 演算板	事实、规则、结论全摆在上面的那块工作面。结论只能由"规则＋材料"推导产生，推不出来就不成立	板如何裁决
材料 · 规则 · 结论	全站最基本的三个词：材料 = 你或模型放上板的事实；规则 = 判据（"什么条件下算什么"）；结论 = 板推出来的东西。模型能放前两样，写不出第三样	板如何裁决

词	一句话	讲它的页
闭包	板把规则反复应用到材料上、直到再也推不出新东西的那套穷尽过程。同样的材料与规则永远得到同样的闭包	板如何裁决
出身三分	板上每条内容都标明来源，三者永不混同：`asserted` 断言的材料 · `derived` 推导出的结论 · `effect` 动作真的执行后留下的产物	板如何裁决
依据链	每条结论自带"按哪条规则、用了哪几项材料"，可以逐项追问下去。撤回一条材料，靠它撑着的结论级联失效	板如何裁决
复算	同样的输入必然得到同样的结论，所以任何一条结论都可以被重新算一遍来核对	板如何裁决
exact-or-fail	算术在 ±2⁵³ 内精确；越界、无穷、非数一律报错，绝不悄悄舍入。会静默给出错数的系统比会报错的危险得多	字段与错误码
教学文本	每一次拒绝都附带"你该怎么改"的说明。在这套系统里报错是接口，不是事故——先读它，多数问题它已经说清了	排错

接地档回答的不是"这条信息怎么来的"（那是出身），而是"它凭什么算数"。板上每条信息都带一个档位，从强到弱七档：

档位	机器名	谁在背书
已验证	`verified`	独立核验过——确定性的受信读取，或经复核确认的结果
实证	`attested`	经受信通道进板——注册过的连接推入、平台验签，模型伪造不出
近似	`approximate`	数值引擎所得——方法精确，但带浮点或舍入误差
归纳	`inductive`	从数据学来的规律——多数时候成立，允许例外
不确定	`uncertain`	概率或模型预测——有置信度，没有保证
感知	`perceived`	感知所得（OCR、视觉）——尚未经人工复核
断言	`asserted`	模型（或人）自己说的——板只能如实标注，不能替它作证

最弱前提律：一条结论的档位 = 它所踩的全部前提中最低的那一档。推理再漂亮，结论也高不过最弱的那块地基。完整说明见信任层。

词	一句话	讲它的页
案卷	承载"一件事"的那块板：这一单的全部材料、规则、结论与经过	运行独立智能体
一单一板	每接一单就开一块新板当案卷、办结即封板的工作方式（客户端旗标 `--case-boards`）	运行独立智能体
案板	上一条那种"当案卷用的板"的简称。文档里说「案板形态」就是指一单一板这套形态	运行独立智能体
封板	给案卷定稿：此后写入一律被拒（拒绝带教学文本），读取照常。定稿之后谁也不能再补一笔，包括当初办它的智能体	板如何裁决
长命板	一段需要跨案存续的关系（长期委托、持续服务）用的那块不封的板。案子来来去去，关系那一块留着	运行独立智能体
配方	一份智能体的定义：装哪些能力、以什么身份办事。智能体是一份配方，不等同于某一块长期使用的板	运行独立智能体
配方指纹	同一份配方开出的每块案卷板都落同一枚受信指纹——"这些案子是同一个智能体按同一套法办的"因此可机械对账，不靠名字	运行独立智能体
`recallFacts`	把已办结案卷里的结论选择性召回进新案——经显式 intake，带来源与接地档，不是把旧板直接接上	运行独立智能体

词	一句话	讲它的页
领域能力（包）	把一行的词汇与判据打成一份可安装、可分享的东西。装上即生效，判据是明文的——装之前自己读一遍	使用领域能力
词表 `vocab`	一份能力里声明"本领域认哪些词"的部分。规则里用了没声明的词，装载时当场被拒并指出是哪一处	编写领域能力
连接	板与外部世界之间注册过的那条线。三类：传感器（把外部事实推进板，落板即带实证标记）、计算后端（把算不动的交出去算）、执行器（把动作真的做出去并签回执）	接入传感器 · 接入计算后端与执行器
宪法	用大白话写的、智能体改不了的红线条款	宪法闸
外向动作	智能体对外做的事——发消息、写系统、下指令。只有外向动作要清关，板内推理不受此门约束	宪法闸
清关	外向动作过闸门这件事本身。核心规矩一句：自证不算数——智能体说"我检查过了"没有任何效力；账本由宿主记，不由推理产生	宪法闸

词	一句话	讲它的页
`when` / `then`	一条规则的两半：`when` 是前提（要同时成立的条件），`then` 是它产出的结论	编写领域能力
变量 `?x`	规则里的占位符，由 `when` 里的前提绑定出具体值。`then` 里用到的变量必须被某条正面前提绑定过	编写领域能力
内建谓词	板自带的比较（`eq` `lt` `gte` …）与精确算术（`add` `mul` `div` …），写在 `when` 里。二元算术形状是 `{left, right, result}`——`result` 写变量时产出这个值，写常量时校验它	字段与错误码
`naf` / 缺席	"这件事推不出来"作为前提。注意它绑不出值——`naf` 前提不能用来绑定 `then` 里的变量	字段与错误码
修订号	板的版本号，用于乐观并发。拿着过期的号写入会被 `stale_revision` 拒绝，重拉后重试即可	字段与错误码

Rulith 的能力按四层叠起来，做实一级，开放一级——每层今天到哪一步以生产状态为准。

正文住 content/*.md；能力清单、工具清单、字段矩阵由生成器从实现代码抽取（快照在 facts.json）——改了实现而忘了改文档，校验会自己发现。