给智能体配一块
它改不了宪法的演算板
Rulith 不是又一个智能体框架，也不是事后加一层护栏。 它是模型之外的一块板：事实、规则、结论全摆在上面，结论只能被推导出来，敏感动作必须过闸门，全过程逐笔可回放—— 而智能体改不了写下来的那部宪法，正如棋手改不了棋盘。
四条不变量，让“可信”变成结构性质
Rulith 的发明，是把已有的推理技术组织成智能体的外部裁决结构， 并给它加上四条让这个结构真的挡得住东西的不变量。
关键在于：每一条都是结构性的——不是模型答应遵守，是它想违反也做不到。 这就是“可信”从一句承诺变成一条性质的地方。
01结论只能推导，不能宣称
“做完了”“通过了”“没问题了”在板上都必须是推导出来的结论。 推不出来就不成立，无论模型说得多有把握。这一条把“自我评价”这个环节整个删掉了。
02档位沿推理链只降不升
每条信息带一个接地档：实测的、断言的、推导的。 推导出的结论，档位取全部前提中最低的一档。 于是一万句断言叠在一起，也推不出一句实证—— “把话越说越肯定”这条路在结构上被堵死了。这是整套体系最核心的一条。
03动作出口唯一，闸门设在出口上
影响外部世界的动作只有一个出口，清关凭证由系统侧记账签发—— 模型开不了自己的条子。制度与红线的修订权只在人手里。 “越权”因此从行为问题变成物理问题：不是它保证不越，是那条路不存在。
04算得出就是准的，算不准就失败
精确算术是 exact-or-fail:超出精确范围、出现非法值，直接失败， 绝不返回一个被悄悄舍入的“精确值”。金额、剂量、载荷、期限，错一位与“大致对”是两回事。
它属于制度层
现有的智能体互操作协议解决“消息怎么送到”。 没有一个解决“这句话凭什么可信、谁为它负责”。 Rulith 全部的机制都在回答后者——所以它不跟通信层抢位置，那是另一层的事。
MCP 让智能体能用工具；A2A 让智能体能对话；Rulith 让智能体的话能被当真。
一块板 → 一个协议 → 一张网
Rulith 自身的三代演进。每一代都是上一代的外延，不是重写—— 这一点很重要：一个信任底座如果每代都推倒重来，它就不配被依赖。 (社会层面的进阶路线是另一回事，见进阶路线。)
让一个主体的智能体可信
推理内核(闭包推导 · 真值维护 · 动作层)+ 接地档与证据链 + 宪法闸门 + 领域与工具包。 一块板 = 一次闭包 / 一个披露域 / 一个裁决单元，且恰有一个负责主体。
现状：近两千个自动化测试守着、零失败；有密封运行时、SDK 与全套接口文档。
让底座语言中立、可嵌入任何栈
板的公共边界从“某种语言的 API”上升为协议：同一批裁决用协议描述，第二个实现(系统级语言)按同一批金样逐字节对齐。 意义不只是性能——一个信任底座若只有一种实现，它就是一个供应商锁； 有了协议与判定套件，它才谈得上是一层基础设施。
现状：协议与传输的架构决策已定案，第二实现的核心裁决面已跑通并与第一实现逐字节一致；智能体侧迁到协议客户端尚未启动。
让跨组织的结论可以被重新裁决
跨主体协作时，信任不自动传递：别人板上的结论进我这儿，要按我的法重新裁一遍才作数。 这不是全局共识(我们明确否决了那条路)，更接近国际法里的“承认”—— 各自立法，互相认可对方的裁决程序，而不是共用一本账。
现状：规范与架构决策在写，实现没有开工。列在这里是为了解释前两代的取舍，不构成交付承诺。
三代之间只有一条主线：让“可被依赖”这件事越来越不依赖我们自己。 第一代靠我们的代码，第二代靠协议与金样，第三代靠可被第三方核验的裁决程序。
Rulith 不是什么
说清楚不是什么，比说清楚是什么更能省掉误会。
| 不是大模型 | 它不产生智能，也不替代任何模型。你用哪个模型是你的事——换模型不影响板上的裁决。 |
| 不是智能体框架 | 它不管你怎么组织提示词、怎么调工具。它管的是结论算不算数、动作放不放行。 |
| 不是事后护栏 | 护栏在输出之后过滤；闸门在动作之前拦截。前者拦不住已经发生的事。 |
| 不是区块链 | 没有全局共识，也不需要。各自立法、接收方本地重裁——更像国际法，不像共享账本。 |
| 不保证“法是对的” | 我们保证的是没有智能体能无痕越过已经写下的法。法写得对不对是人的责任，不该由机器代劳。 |
| 不是全新的推理技术 | 前向推理、真值维护、证据链都是几十年的成熟技术，不是我们发明的 —— 这一点我们讲清楚。我们发明的是把它们组织成外部裁决结构的那套办法，以及上面那四条不变量。 站在成熟技术上，是这套东西敢承诺“可依赖”的原因之一，不是它的短处。 |
接下来看什么
机制怎么运转，看技术框架；四类智能体各自怎么用，看应用场景；每一件现在成熟到哪一步，看进度。
读技术框架 免费开始 · 打开控制台 看应用场景想直接上手：5 分钟 MCP 接入指南——不换模型，不换客户端。