我们有什么，各自成熟到哪一步
理论 · 技术 · 协议 · 文档 · 产品 · 服务，六条线逐项摊开，每一项挂一个成熟度档—— 从已经工程就绪、自用生产中的，一直到还只是愿景的，全在同一张表上。 档位的判据先写死，再拿去量东西：给自己定档，跟我们给事实定接地档，是同一套纪律。
先摆事实，再讲主张
以下数字随代码走，任何一次提交都能重新数一遍。
内核 1,522 · 应用 402
全部有文档，生成不手写
按同一批金样逐字节对齐
同一内核，不同规则
治理视图/审批台/板控制台
参考应用不是六个产品。今天能自助用上的产品只有一个——Rulith Cloud + 控制台； 其余五个是同一块底座的验证形态与分发入口，能真跑起来，但要用其中哪一件走企业通道谈。 产品体系五句话 →
成熟度档位：判据必须机械可查
不许“感觉挺成熟”。一项东西挂哪一档，是按下面的条件逐条对出来的。
「工程就绪，自用生产中」指的是我们这边的工程成熟度与自用状态，不等于“已在客户的生产环境里跑”。
把定义写清楚，是不超卖唯一的办法 —— 一个不定义档位就自称成熟的说法，读者没有任何办法核查。
后两档的存在本身是有意的：只列已建成的东西，这一页就变成了展示柜；把愿景和设计中的也摆上来、并让它们长得跟已建成的完全不一样(空心格子)， 这一页才是一块进度板。只能升的档位不是档位，是宣传。
三条已经落到代码里的主线
理论对我们不是白皮书，是写进内核并被测试守着的东西。 下面三条都能指到具体的模块与真机记录 —— 讲不出这个的，我们不放在这一页上。
| 主线 | 是什么 | 成熟度 |
|---|---|---|
| 承诺裁决 | 验收基线立项即钉死、不可偷移；每条结论按最弱前提定档。“完成”必须被推导出来，不能被宣称。 | 工程就绪，自用生产中 |
| 模糊收敛 | 一句模糊的要求 → 收敛成带验收标准的任务树 → 逐条过闸才算完成。先确认标准，再开工。 | 工程就绪，自用生产中 |
| 自驱循环 | 自主推进有包络：预算封顶、人类边界自动挂起转人、对外动作两拍收据。放权是有刻度的旋钮。 | 工程就绪，自用生产中 |
| 板的本体 | 一块板 = 一次闭包 / 一个披露域 / 一个裁决单元，且恰有一个负责主体。需要保密即分板。 板的寿命与它承办的那件事同寿：可以选择一件事开一块板当案卷，办结即封板定稿(默认仍是一块板长跑)。 | 工程就绪，自用生产中 |
| 证据强度 | 一条证据的强度是三维的：档位(谁背书)×新鲜度(材料变了没)×独立性(几个互不相识的来源)。 结论是：测独立性不能替代身份认证，只能封住“可见层”的天花板。 | 设计中 |
| 联邦治理 | 跨组织时信任不自动传递：别人板上的结论进我这儿要按我的法重新裁一遍。 不是全局共识，更接近国际法里的“承认”。十条协议宪法 → | 设计中 |
| 托管与治理分离 | 三轴正交：谁的机器在跑(托管)/ 谁定规矩(板的治理)/ 什么是真值单元(板)。 托管方可以承载一块自己不治理的板，拿不到它的治理权与签名密钥；运营者换托管方，板的身份不变。联邦与托管 → | 设计中 |
前四条已经落到代码并有测试守着，后两条只有规范。 这一页的价值就在于这两组东西看起来必须不一样 —— 它们在路线上的位置见路线愿景 →
内核与机制
机制怎么运转，详见技术框架；这里只标各件的成熟度。
| 件 | 是什么 | 成熟度 |
|---|---|---|
| 推理内核 | 事实与规则上板，结论由闭包推导；动作层管消耗与生产，真值随证据自动维护。 | 工程就绪，自用生产中 |
| 精确算术 | 算得出就是准的，算不准直接失败 —— 绝不给一个被悄悄舍入的“精确值”。 | 工程就绪，自用生产中 |
| 接地档与证据链 | 实证 / 断言 / 推导三分，档位沿推理链只降不升；任一结论可展开成完整依据。 | 工程就绪，自用生产中 |
| 宪法闸门 | 敏感动作三级清关(机械白名单 / 审查 / 人签)，凭证由系统侧记账签发，模型开不了自己的条子。 | 工程就绪，自用生产中 |
| 智能体的四项配置 | 领域(什么算真)/ 工具(有哪双手)可打包分享，装板即用、装载自检； 连接(谁能作证)/ 宪法(什么要清关)只能由板的所有者在治理面配置，不随包分发。 | 工程就绪，自用生产中 |
| 契约面与 SDK | 230 个公共符号全部有文档，接口文档由源码生成而非手写；报错文本本身就是接口的一部分。 | 工程就绪，自用生产中 |
| 多智能体问责 | 委托链上溯、能力自证、合同验收、独立仲裁(仲裁者利益回避)。 | 可演示 |
| 跨板交换 | 私有板发布到共享板档位封顶只降不升，取回保真 —— 堵死“绕一圈把断言洗成实证”。 | 可演示 |
| 三维治理视图 | 板是地面、任务树长其上、每个结论牵着它的依据 —— 治理过程看得见。 | 可演示 |
| 外部求解器编排 | 板当可信编排器，把难题委派给专业求解器，跨后端结果按信任分层收回。 | 可演示 |
| 语言中立协议面 | 板的公共边界是协议而非某种语言的 API;第二实现按同一批金样逐字节对齐。 | 原型 |
| 增量闭包 | 板长大之后不再每次全量重推，只推受影响的那一片。已实现：同一调度器上可回退的部分重放，语义权威仍是全量闭包；撤回与消耗(非单调)走同批对账。33 项差分测试网逐派生比对全量， release 下 100% 影子对照零接管；真实流量默认开启仍在灰度闸后。 | 可演示 |
| 能力公地 | 很多智能体共用一部宪法与一块共享的能力/经验库，一处学会，处处受同一套约束。 | 愿景 |
板的公共边界：28 个操作，两种语言各实现一遍
协议是这套东西能被依赖而不只是被使用的关键 —— 一个信任底座若只有一种实现，它就是一个供应商锁。 所以每个操作都有两个实现 + 一批逐字节对齐的金样。
| 操作组 | 做什么 | 成熟度 |
|---|---|---|
| 写入与裁决4 个 | 批量写入(所有写入的唯一入口)· 认领动作 · 兑现提案 · 结案归档。 闭包与裁决在这里发生，作用域就是一块板。 | 工程就绪，自用生产中 |
| 投影与查询9 个 | 板面投影 · 增量变更 · 板面查询 · 完成度 · 可派发项 · 解释一条结论的来历 · 装载清单 · 能力查询 · 健康检查。 查询永远不改真值。封板之后读命令照常 —— 案卷定稿了还要能被审。 | 工程就绪，自用生产中 |
| 治理5 个 | 建板 · 授予角色 · 撤销角色 · 声明角色包 · 装载领域包。 板托管与建板的原语就在这一组 —— 界面已由板控制台补上。 | 可演示 |
| 闸门(清关)3 个 | 人签清关 · 取待审工单 · 回报审查判词。清关凭证由系统侧记账签发，模型开不了自己的条子。 | 工程就绪，自用生产中 |
| 板外步(放电)5 个 | 发起外部执行 · 取工单 · 认领 · 回报结果 · 回报副作用。 意图与收据分两拍，做没做成不由执行者自说。 | 工程就绪，自用生产中 |
| 通道进证1 个 | 受信通道进证 —— 实证档的“章”从这里盖。跨板发布(封顶降档)与取回(保真)今天还是内核 API, 尚未上协议面，所以不算进这个数 —— 上了才算。 | 可演示 |
| 板的终态1 个 | 封板 —— 办结之后把这块板定稿：此后一切写命令被教学拒，读命令照常，重复封板幂等。 封板只认宿主通道，模型伪造不出来。两种实现按同一批金样对齐；生产部署尚未铺开。 | 可演示 |
| 订阅推送 | 让客户端订阅板面变化。协议侧的线格式还没长 —— 我们自己的规范里写着“别造”， 所以现在靠轮询增量变更。 | 愿景 |
| 联邦信封 | 跨部署的签名导出/导入。未开工，前置见联邦与托管。 | 愿景 |
协议的成熟度不看“写了多少个操作”，看“两侧答得一不一样”。 一致性金样就是干这个的：同一条命令喂给两个实现，输出必须逐字节相同 —— 不是“语义等价”，是逐字节。差一个字节就是回归。
文档也是交付面，所以也上进度表
这一行业里文档通常被当成附属品。在我们这儿不是： 应用层与内核的唯一对接面就是文档，不读内核源码 —— 所以文档写错等于接口写错。
| 文档 | 是什么 / 怎么保证不漂 | 成熟度 |
|---|---|---|
| 接口文档(五件) | 上手指引 · 接口全表 · 报错教学目录 · 协议说明 · 智能体接入。随 SDK 包一起发，不用另找。 接口全表由源码生成而非手写，且有一道门：改了契约没重跑生成器 → 构建直接红。 | 工程就绪，自用生产中 |
| 架构裁决记录6 份 | 每份都带状态机：4 份已通过(板权威边界 · 线格式 · 传输 · 宿主扩展点)、 1 份仍是“提出”(开放空间与世界联邦，六道设计门未走完)、1 份是实现规格。 状态是硬约束不是标签 —— “提出”状态的那份自己写着：未经终审不得据此启动实现。 | 工程就绪，自用生产中 |
| 工程规范17 份 | 板的本体 · 约束树 · 宪法闸门 · 包格式标准 · 记忆 · 证据强度 · 联邦…… 每份给规范句 + 最小反例 + 诚实边界 + 可执行测试形状。 | 工程就绪，自用生产中 |
| 报错即接口 | 报错文本本身是交付面的一部分：应用层原样抛回给模型，不包装、不吞掉。 所以报错措辞进金样，改一个字要过门。 | 工程就绪，自用生产中 |
| 部署手册 | 安装 · TLS(交给反向代理)· 备份恢复 · 升级。刚写，待随首次真实部署校订。 | 原型 |
| 包开发指引 | 第三方要能平等地写领域包，得有一份可照抄的写法说明。 已落：最小配置样例 + 写包四步 + 三处最容易写错的地方(每一处都由装载器当场拒绝并给出教学文本，原样收录)。 | 可演示 |
| 理论正本 | 设计宪法与总纲 —— 内部权威文档，不对外。列在这里只为说明“理论不是白皮书，有正本”。 | 工程就绪，自用生产中 |
文档这一行有一条我们自己的红线：接口全表不许手写。 手写的接口文档必然漂 —— 不是“可能”，是必然，因为改代码的人和改文档的人是同一个人在不同时刻。 所以它由源码生成，并且漂了就红。
能当面打开的东西
四个都跑得起来、都有测试守着，但都还没经过客户实战 —— 所以最高只到“可演示”档。这是实情，写出来比藏着有用。
| 产品 | 它替你做什么 / 替你挡住什么 | 成熟度 |
|---|---|---|
| 治理视图 | 把整块板画成三维场景：任务推进到哪、卡在哪、哪条证据链没接上，一眼看到。 挡住：“进度说得好听，证据接不上”。 |
可演示 |
| 审批台 | 一单一卷的审批工作台：清关放行、材料变更自动重审、全程可回放导出。 挡住：“人没点头就批出去”和“按旧材料批出新件”。 |
可演示 |
| 事实裁决台 | 用户提交的事实按档位与独立来源裁决，声誉按真实战绩记账、可回放复算。 挡住：“同一个人换几个马甲把自己的说法刷成事实”。 |
可演示 |
| 板控制台 | 板的管理面：建板、看板上的事实与结论、逐条展开证据链、导出案卷。 挡住：“要看板上发生了什么，只能让我们的人来看”。 |
可演示 |
一条阶梯，不是一排货架
产品与服务不是并列关系，是嵌套的 —— 往上一档，把下面几档整个包含进来。按你现在的处境对号入座即可。
嵌入内核
密封运行时 + SDK,装进你现有的智能体栈，内网或本地跑，数据与决策记录不出域。
工程就绪，自用生产中
装领域包
把你那一行的规则、常数、可用工具做成包 —— 换行业换法域，换包不换内核。 谁能作证、什么要人签不在包里，由所有者在治理面配置。
可演示
接管一条业务线
审批、工单或组织中枢，先跑通一条线再往外扩；带审计出口与整体回放。
可演示
费用的现状与原则见价格页，本页不复述。
我们自己读出的三条
- 底层是硬的。理论三条主线、内核、契约面都落到了代码里，有近两千个测试守着，零失败。
- 产品整排停在“可演示”。五个产品没有一个进过客户实战 —— 与其造第六个，不如把其中一条推到第一次真实业务里。
- 越往上越薄。底座工程就绪、协作层可演示、公地层还只是愿景 —— 这不是缺陷清单，是路线本身的形状：制度得从一个主体先立住，才谈得上一群。
- 档位会变，而且是往两头变。推进了就升，发现撑不住就降 —— 只能升的档位不是档位，是宣传。本页随代码更新。
这一页的意义不在于让我们看起来成熟，而在于让“成熟到哪一步”这件事本身可以被核查。