字段与错误码
生成表来自实现源码快照；真正的生产开放状态见生产状态。工具与操作的用法见 MCP 工具。
内建谓词（写在规则的 when 里）
| 类 | 可用 |
|---|---|
| 比较 | eq neq lt lte gt gte between contains |
| 算术 | add sub mul div mod pow min max neg abs sqrt ln exp concat |
算术是 exact-or-fail：±253 内精确，越界／无穷／非数一律失败，绝不静默舍入。
二元算术的形状是 {left, right, result}——result 写变量时它产出这个值，写常量时它校验这个值。
极性与缺席
| 写法 | 含义 |
|---|---|
{"predicate":"p","args":{…}} | p 成立 |
{"predicate":"p","args":{…},"negated":true} | 强否定：已验证 p 不成立 |
{"predicate":"p","args":{…},"naf":true} | 缺席：p 无法被证明（只能出现在 when 里） |
negated 与 naf 的区别是要紧的：前者是"我查过，没有"，后者是"我没查到"。审批场景里"还没签字"是后者。
包字段支持矩阵
| 字段 | 包 | 状态 | 说明 |
|---|---|---|---|
meta.name / meta.version | domain | 支持 | 包名与版本；同一个智能体不可重复安装同名包 |
vocab[].predicate / vocab[].args | domain | 支持 | 词汇：这一行的名词与它的参数名（args 是参数名字符串数组） |
vocab[].description | domain | 未开放 | 暂不支持，带上会被拒绝——先去掉，说明文字写进判据规则的 label 里 |
vocab[].key（→ functional_dependency） | domain | 未开放 | 函数依赖声明暂未开放 |
axioms[] | domain | 另有入口 | 判据规则不写在这个字段——云上写作 rules，安装流程自动经可用通道上板；照本页模板写即可，控制台「装到智能体」已替你处理 |
actions | domain | 支持 | 运行时动作：name/label/preconditions/effects——装载即经 ApplyBatch define_action 落板，执行器领活按名配对（2026-07-31 点亮） |
empirical / theorems / pins / planGuidance | domain | 未开放 | 这些高级字段（经验规律/定理/固定结论/计划提示）暂不接收 |
tools[].name / kind / impl / desc | tools | 支持 | kind 分 read/write/run 三档治理等级；安装后记录在智能体的记忆里，现场有哪些工具随时可核对；desc 超 240 字截断 |
tools[].params / fence | tools | 支持 | 须为对象；全文存放在平台注册表、不占用智能体的记忆，注册者自行留存原件 |
channels[] | channels | 另有入口 | 通道（证据来源）不放进包里——装别人的包不能改写你的信任根。在控制台「连接」页注册：你决定信什么，平台发密钥、执行验签，模型碰不到这个开关。已上线（2026-07-30 生产验证） |
norms（宪法） | norms | 支持 | 宪法（边界）单独存一份：{"format":"rulith-norms/1","meta":{…},"norms":[…]}——就在本页粘上、点「校验」、装到智能体。装上之后，模型不能自己放松它——改宽或撤掉已承诺的条款会被当场拦下；要放松只能由宿主／运营方经受信通道改。判据类"规定"直接写成 rules，今天可用 |
错误码
拒绝一律带教学文本（告诉你怎么改），错误码用于程序判断：
| 码 | 含义 |
|---|---|
unauthenticated | 没带令牌或令牌无效（客户端被撤销过也是它）——重新走一次浏览器授权 |
not_authorized | 认证通过但无权碰这个东西（多半是接入地址里的智能体名字写错） |
bad_command | 请求形状不对（缺字段、JSON 不合法）——teaching 会指出缺哪个 |
not_found | 地址指向的东西不存在 |
unknown_board | 智能体的记忆不存在（名字核对控制台智能体页） |
board_sealed | 这块板已封（案卷已结）——写入一律拒绝，读取照常；要继续办事就开一份新的案卷 |
stale_revision | 修订号过期（乐观并发，重拉后重试） |
rejected | 语义被拒——读 teaching，它会说清差什么 |
unimplemented | 云端尚未开放这个操作 |
看到 unimplemented 时，以服务端拒绝为事实，不要通过换一种说法假装操作成功；同时在生产状态登记这次能力漂移。
正文住
content/*.md；能力清单、工具清单、字段矩阵由生成器从实现代码抽取
（快照在 facts.json）——改了实现而忘了改文档，校验会自己发现。