现况与边界
这页不是路线图，也不是宣传页。它回答一个更实际的问题：今天连上云端，哪些能力已经在生产上验证，哪些还只是实现快照或完整形态的一部分。
三种状态，不混在一起
| 标记 | 含义 |
|---|---|
| 生产已验证 | 对生产端点做过真实调用验证——经 MCP 工具面（真实客户端 OAuth），或经同一裁决宿主的协议面直探；两面进的是同一个 ApplyBatch 臂 |
| 实现快照 | 当前源码里已经出现，但不等于对应版本已经部署，也不等于下游宿主已支持 |
| 完整形态 | Rulith 的整体架构能力；云上自助版不一定开放 |
文档若不区分这三者，就会把“代码里有”“接口写了”“用户现在能用”混成一件事。对一个卖可核查性的产品，这种混淆不可接受。
生产验证记录
最近一次验证：2026-07-30 晚（协议面直探生产裁决宿主；OAuth 与写入路径此前已由真实客户端走通）。当天早些时候的一轮实测曾记录 declare_goal 返回 unimplemented、create_space 可用——那是旧部署的实况；协议宿主与工具面当天更新后重探，结果如下表。保留这条修订记录本身，就是本页想示范的纪律：探针结果带日期与部署快照，过期就重探，不凭记忆下结论。
| 能力 | 状态 | 实测结果 |
|---|---|---|
| OAuth 连接 | 生产已验证 | 真实客户端（Codex）完成浏览器授权并调用工具 |
| 持久板 | 生产已验证 | 登录即建默认板，?agent= 各接一个智能体；create_space 工具已移除——板无须用户管理，属主动收窄而非功能缺失 |
| 写材料与规则 | 生产已验证 | assert_fact 与 add_axiom 同批写入成功 |
| 规则闭包 | 生产已验证 | 由材料与规则推出 [derived] 结论，结论行列出规则与直接依据 |
| 读取板面 | 生产已验证 | get_logic_context 返回材料、规则、结论与目标 |
| 声明目标 | 生产已验证 | declare_goal 落板；板面返回 [open] 状态、无法闭合时的批评与下一步教学（补哪条规则/材料） |
| 聚合 | 生产已验证 | derive_aggregate 推出 [derived] 聚合结论；快照语义——源材料变化后用同一 id 重跑刷新 |
| 撤回 | 生产已验证 | retract_node 撤回成功 |
| 通道注入（证据来源） | 生产已验证 | 控制台注册→发钥→公网 /observe 推入落板；错钥 401、越出注册谓词域 422 带教学、吊销即失效（密钥文件双侧热重载） |
| 递归解释派生结论 | 实现快照（2026-08-07 更正） | explain_fact 现在会回答"这条结论为什么成立"：给出命中的规则，并沿支撑事实递归走到断言／动作产物的叶子，每个节点标出自己的出身。此前本行写的"尚不渲染证据树"来自旧快照，裁决端开放这项能力之后即已过期——生产探针待重跑，故暂记实现快照 |
| 任务归档（收工） | 实现快照（2026-08-11 更正） | complete_task 随板的能力清单出现：板的清单里有 ArchiveTask 时它就在工具面上（本页下方那张工具表列着它，就是这条的证据）。办结门与未结项门由板执法，不满足时如实拒绝、不静默出错；disposition 支持 completed / cancelled / failed / abandoned / superseded，非完成态要带理由。此前本行写的"接口已从工具面暂时移除"与同页生成表直接冲突——那张表是从实现里抽的，散文不是，故以表为准改真；生产探针待重跑，暂记实现快照 |
| 动作与真实结果回报 | 实测未开放（2026-07-30 快照） | 当时 define_action / record_result 返回 unimplemented。宿主升级后以板自述为准（update_working_memory 工具描述第一行列出此刻真开放的操作），本表不随每次升级改写 |
| 结论的证据引用 | 已在裁决端落地 | record_result 带的 evidenceRefs 由云端裁决端真正解析并过引用门——只认板上真实存在的节点，引用不上就如实拒绝。云上记下的裁决结论不再是一条空证据链（早期文档曾如此描述，已更正） |
因此，云上主路径是：写材料 → 立规则 → 声明目标 → 板推结论、报缺口 → 核对依据。 动作回执属于完整形态，随宿主升级逐步开放——开放与否看板自述，不看本页（本页各行都带实测日期，是快照不是承诺）。
物理世界接入（2026-07-31 生产实测）：传感器推观测经「可信数据源」页注册→发钥→推入→实证落板全链验证；计算后端的求证工单在真实生产板上自动生成、由 worker 领取执行并回报（证据带实证标记落板、结论随之推导，全程无模型参与）；执行器领取动作、签回执（领取与回执配对落板）。worker 参考体可在控制台「计算与执行器」页下载，传感器接入见接入传感器，worker 用法见接入计算后端与执行器。
案板形态（实现快照，2026-08-07）：板的生命周期有了终态——一件事办完可以封板，封板后写入一律教学式拒绝（错误码 board_sealed）、读取（查结论、查依据、逐条追问）照常开放、重复封板幂等。与之配套的是独立智能体的一单一板形态（每接一单开一块案卷、办结即封）、云端的案卷登记簿（在办 / 已结分列）、跨案卷的工作收件箱与按账户的用量计量。这些已在源码与自测中成立，尚未在上表登记生产验证——按本页纪律，它们此刻只算实现快照。既有的单板长跑形态不受影响，仍是缺省。
实现快照中的工具
下面的工具清单由生成器从并排的 rulith-cloud 源码快照抽取，快照提交为：
a2fedec
| 工具 | 做什么 | 智能体收到的原文 |
|---|---|---|
update_working_memory | 往板上写一批操作：放材料、立规则、定义动作、撤回。板收下后重算一遍闭包，把新长出来的结论和还缺什么一起回给你。 | Submit a batch of working-memory operations to a board; the kernel applies them, recomputes the rule closure once, and returns the updated working memory (derived facts, goal satisfaction, hypothesis verdicts, and hints about which facts to observe next) |
get_logic_context | 读板：目标、材料、规则、结论、动作与冲突全在里面，附「还缺哪条事实」的教学提示。 | Read the current working memory of a board: goals (with satisfied flags), facts, hypotheses, findings, axioms, actions, results, conflicts, vocabulary |
explain_fact | 追问一条结论为什么成立：给出命中的那条规则，并沿支撑事实一路递归到叶子，每个节点标明自己的出身。 | Explain WHY a derived fact is true: returns the rule that derived it and walks its supporting facts recursively back to the asserted/effect leaves, each marked [derived]/[asserted]/[effect] |
complete_task | 收工：办结门与未结项门都过了才关得掉；不是正常办完的，要带上理由。 | Close the current task after its board-enforced completion and pending-obligation gates pass |
declare_task | 把一件事拆成任务树落到板上：一个根加若干叶子，每片叶子带自己的验收条件。 | Declare a task as a tree on the board: a root plus leaf nodes, each leaf carrying an acceptance test |
它用于防止文档与实现代码悄悄漂移，但不是生产部署证明。当本表与上面的生产验证记录不一致时，以上面的实测状态为准，并把差异当成发布阻断项处理。
云上自助版与完整形态
| 层（四层阶梯） | 云上自助版当前重点 | 完整形态 |
|---|---|---|
| 一 · 信任层 | 材料、规则、闭包结论、精确计算、目标缺口提示 | 多来源证据分级、完整依据树与争议处理 |
| 二 · 任务层 | 尚未开放（declare_goal 属信任层的目标机制，可作过渡）；任务定义与归档推进中 | 模糊任务收敛、验收核验、任务归档与可回放案卷 |
| 三 · 智能体层 | 尚未开放（含受信执行闭环） | 可下载的完整智能体：授权闸门、受信执行、不可伪造的回执 |
| 四 · 协作层 | 单账户、多个隔离智能体 | 委托链、验签、独立复核与组织策略 |
完整形态不是本页对云上现货的承诺。组织与内网部署的治理能力见 www.rulith.com。
发布前应该过哪几道门
每次把新能力写进文档前，至少需要：
- 源码与协议宿主都实现，不只是在 MCP 说明里出现；
- 真实生产端点走一遍 OAuth 和调用；
- 成功路径之外，再跑一个应当被拒绝的反例；
- 更新本页的验证日期与结果；
- 最后才把它移入上手页的主流程。
这不是保守，而是产品本身的示范：承诺也要有证据。
content/*.md；能力清单、工具清单、字段矩阵由生成器从实现代码抽取
（快照在 facts.json）——改了实现而忘了改文档，校验会自己发现。