排错:症状 → 原因 → 怎么办
先读教学文本。 这套系统里每一次拒绝都附带"你该怎么改",多数问题它已经说清了—— 报错是接口,不是事故。这一页管的是教学文本没说、或者根本没有报错的那些情况: 你按着做了,但没看到预期的东西。
>
按你看到的现象查,不必先知道它叫什么。码的完整含义见字段与错误码。
客户端里没有 Rulith 的工具
接入命令跑完了,但模型说它没有相关工具,或者工具列表里找不到 Rulith。
- 客户端没重启。多数 MCP 客户端在启动时读一次服务清单。退出重开,再看一次工具列表。
- 加错了传输方式。Rulith 只接 Streamable HTTP,不是 stdio、也不是 SSE。命令里的
--transport http不能省。 - 地址写错。接入地址以控制台「接入与凭证」页上显示的那一条为准,不要凭记忆敲。
- 客户端不支持 OAuth 自动发现。这种客户端要手工配令牌:在「接入与凭证」页生成一个,作为
Authorization: Bearer <令牌>头带上。令牌只显示一次,当场存好。
浏览器授权走完了,还是连不上
- 拿到
unauthenticated:令牌无效或被撤销过——在「接入与凭证」页看看这个客户端是不是被断开了,重新走一次浏览器授权。 - 拿到
not_authorized:认证是通过的,但没权限碰这个东西。最常见的原因是接入地址里的智能体名字写错——名字核对控制台「智能体」页上的那一个。 - 拿到
unknown_board:这个智能体的记忆不存在,同样先核对名字。
我对它说了话,控制台里却什么都没有
这是上手阶段最常见的一种,而且它通常不报错——因为从板的角度看,什么都没发生。
- 模型只是回答了你,没有往板上写。 你说的话对模型是一段自然语言,它可以选择直接答复而不调用工具。把话说得指令一些:明确要求它把材料和规则放到板上,再让板推结论。
- 接到了另一个智能体上。 一个账户可以有多个智能体,各有各的记忆。确认你客户端里配的地址,和你正在控制台里看的,是同一个。
- 想要一条确定能跑通的路:跟着第一个可核查案例走一遍。那一页给的是可以原样照抄的操作,不依赖模型自由发挥——先用它确认链路是通的,再回来让模型自己组织。
材料在板上,但没有结论
结论只能由"规则+材料"推出来,所以缺的一定是其中一样:
- 只放了材料,没立规则。 板不会替你猜判据。要有一条
when/then的规则,结论才长得出来。 - 规则的前提没被满足。 检查前提里的词与材料里的词是不是同一个词——差一个字就绑不上。
then里的变量没被绑定。then用到的每个?x,都必须在某条正面前提里出现过。naf前提说的是"这件事不成立",它绑不出值来。- 声明了目标的话,读它的缺口提示。 目标推不出来时,板会指名还缺哪条事实,按它补即可。
结论有了,但档位是"断言"
这不是故障,是如实标注:结论的档位等于它所踩的全部前提中最低的那一档。前提如果是模型自己录进来的,结论就只能是断言档。
要升档,改的是前提的来源,不是推理:把那条材料改由注册过的传感器推进来,同一条规则、同一步推导,结论就变成实证档。做法见接入传感器,档位体系见信任层。
写入被拒
| 你看到 | 意思 | 怎么办 |
|---|---|---|
board_sealed | 这块板已经封了(案卷已结)——写入一律拒绝,读取照常 | 要继续办事就开一份新的案卷;旧案卷仍然可以查结论、追依据 |
stale_revision | 你拿的修订号过期了(有别的写入先落地) | 重新拉一次当前状态,在新号上重试 |
bad_command | 请求形状不对(缺字段、JSON 不合法) | 教学文本会指出缺哪个字段,照着补 |
rejected | 形状对,但语义上不成立 | 读教学文本,它会说清差什么——这一类不要靠重试,重试还是同一个结果 |
unimplemented | 这个操作在当前部署上没有开放 | 对照生产状态确认它今天到哪一步 |
装能力被拒
能力在装载时会做一次自检,最常见的两条:
- 规则里用了没在词表声明的词。教学文本会逐条指出是哪一处、该怎么改。
then里的变量没被正面前提绑定(同上一节)。
判据是明文的:装之前可以完整读一遍它的 JSON。指纹不等于审核——内容指纹只证明这份包与作者签发时一模一样,不代表判据本身正确或适合你。
传感器推的数据没落板
- 密钥不对或已吊销。密钥在注册时只显示一次;丢了就在「可信数据源」页重新发一把。
- 推的词没有绑定到这个连接上。一条连接只能推它被授权的那些词。
- 落板了但档位不是实证:确认走的是注册过的连接,而不是由模型转述的。
新建智能体失败:撞上限
在办的智能体数量有上限。办结的案不占额度——把已经办完的案卷结掉(封板)即可腾出名额。需要更高的上限,走页脚的支持渠道联系我们。
请求被限流
每分钟有请求上限,歇一下再来即可。持续的大批量需求走支持渠道联系我们。
还是不行
带上这三样来找我们,能省掉一轮来回:你做的操作 · 你看到的完整教学文本与错误码 · 智能体的名字。渠道见页脚的「支持」。
正文住
content/*.md;能力清单、工具清单、字段矩阵由生成器从实现代码抽取
(快照在 facts.json)——改了实现而忘了改文档,校验会自己发现。