产品与交付

一块底座、一个产品,
和一张逐项标状态的交付表

这一页回答两件事:我们卖的到底是什么,以及 其中哪一件今天真的拿得走。 第二件用一张逐项标状态的表回答:能力成熟不等于交得出去,这两根轴分开写。

产品体系

五句话说清都有些什么

我们做过的东西不少,但它们不是平级的—— 并排列出来会让人以为这是六家公司。真实的结构是一条主干加几个证明:

一个底座
Board Protocol + Rust 运行时
裁决、证据档、动作闸门都在这里。上面所有东西共用这一块,它只做一次。
一个当前产品
Rulith Cloud + 控制台
今天能自助用上的就是它:登录即开通,经 MCP 接进你现在用的智能体客户端。 打开控制台 →
一个扩展机制
领域能力包 + 可信连接
你这一行“什么算真、有哪双手”写成包,装板即用;换行业换法域,换包不换内核。 “谁能作证、什么要人签”不在包里——那两项由板的所有者在治理面配置。
若干参考应用
审批台 · 治理视图 · 板控制台
它们是同一块底座的证明与分发入口,不是平级产品。 要用其中哪一件,走企业通道谈;各自成熟到哪一步见进度
一个长期方向
跨组织联邦
别人板上的结论进我这儿,要按我的法重裁一遍才作数。 规范在写,实现没有开工——列在这里是为了解释上面几件的取舍。 联邦与托管 →
阶梯

四级,逐级放大

每一级都标着当前成熟度。档位判据见能力全景 →

01

嵌入内核

工程就绪,自用生产中

把密封运行时 + SDK 装进你现有的智能体栈——不换模型、不换框架、不搬数据。 结论从此必须被推导出来,敏感动作必须过闸门,全过程留痕可回放。 内网或本地部署,数据、模型推理、决策记录不出域

包含:密封运行时 · 230 个公共契约符号(全部有文档)· 报错教学目录 · 协议面 · 回放工具
02

装领域包

可演示

一个智能体有四项配置:领域(什么算真)· 工具(有哪双手)· 连接(谁能作证)· 宪法(什么要清关)。 前两项可以打包分享:把你那一行的规则与可用工具做成包,装板即用—— 换一个行业、换一个法域,换包不换内核

后两项只能由板的所有者在治理面配置,不随包走。 谁有资格作证、哪些动作要人签,是这块板的信任根;装一份别人的包改不动它—— 这是安全模型的一条硬边界,不是配置习惯。

装包要过三道自检:公式定理按验证史定档、两个包词汇冲突直接拦下、包内规则矛盾装载时即暴露—— 不等任务干到一半才炸。

包含:01 全部 + 领域建模 + 包开发与自检 + 版本发布
已建成的包:订单 · 编程 · 组织 · 经济 · 材料 · 科技券 · 研究 · 内置 · 系统(共 9 个)
03

接管一条业务线

可演示

不是“全面 AI 化”,是先跑通一条线:审批、工单,或者一个数字组织。 带审计出口与整体回放,跑顺了再往外扩。下面三件是这一级现成的形态。

审批台

一单一卷:清关放行、材料变更自动重审、全程可回放导出。
挡住:“人没点头就批出去”、“按旧材料批出新件”。

可演示

数字组织

AI 员工持工牌上岗,派活、考核、追责全在板上;换岗即时收回旧权限。
挡住:“AI 干的活没人答责”。

可演示

治理视图

板是地面、任务树长其上、每个结论牵着它的依据——推进到哪、卡在哪、哪条证据没接上,一眼看到。
挡住:“进度说得好听,证据接不上”。

可演示

这三件的截图还没上站——它们跑在另一套实例上,只放真跑出来的图。 控制台的三张真截图在首页第二屏

包含:02 全部 + 业务线落地 + 系统对接 + 审计出口 + 上线陪跑
04

治理一支队伍

愿景

很多智能体共享一部宪法与一块能力公地,跨组织协作时彼此的结论能被对方 重新裁决而不是盲目相信

规范与理论在写,实现没有开工。列在这里是为了让上面三级的取舍说得通。 → 路线愿景第三步

怎么开始

从一条线开始,不从一场改造开始

这条起步路径本身还在成形中,当前的形态如下。

  1. 挑一条线挑一个“出错代价高、规则写得下来”的流程。规则写不下来的流程,任何治理底座都帮不上忙。
  2. 把规则做成包你出规则与业务对接人,我们出建模与包开发。包做完先自检:矛盾、词汇冲突、常数对不上,装载时就报出来。
  3. 跑通一条线接系统、设闸门、开审计出口。这一步的目标不是全自动,是让每一步都留下能查的账
  4. 验收与回放用真实案子回放一遍:当时看到什么、依据哪条、谁放的行。验收标准逐条过闸,过不了的照实说过不了。

边界:零依赖的最小验证包已经有了——一条命令、约两秒、四幕跑完, 不装数据库也不接模型。但它跑的是我们的样例,不是你的业务线;把你自己那条线接上去,目前仍需要我们的人参与。这一步还没做到自助。

两根不同的轴

能力成熟,不等于交得出去

这两件事分开记,因为它们会分家,而且分家的方向只有一个能力先熟,交付形态后到

一个现成的例子:板守护进程已经能建板、多板、认证、持久化、崩溃后重放,按能力算是硬的;但它没有镜像、没有安装包 —— 对一个想装的人来说,这个能力等于不存在。

所以我们不用能力的档位来标交付物。 “做得出来”和“给得出去”,是两个问题。

尺子

四种状态

可交付
形态明确、拿了就能用。如果它需要我们的人在场才能用,就不算这一档。
在做
形态已定、代码已写,但还差最后一步验证或打磨 —— 具体差什么会写在那一行里
已规划
确定要做、位置已想清,尚未开工
有前置
卡在别的门上 —— 不是不想做,是现在做会违反我们自己定的规矩。前置写在那一行里

“在做”这一档带一条自我约束:每一个标“在做”的,必须在同一行里写清还差的具体是什么。 写不出具体差什么的,一律降回“已规划”。

矩阵

全部交付物,逐项标状态

“怎么拿到”一栏写的是当前真实通道:现在没有任何东西是公开下载的——预览阶段,一切经我们的人给。

交付物是什么 / 还差什么怎么拿到状态
A · 运行与部署
应用运行时镜像审批台 / 数字组织 / 治理视图 一个镜像三个服务,服务由启动命令选。已真构建并冒烟:约 26 秒、423 MB, 三个服务的探活与页面根路径均 200。真构建当场揪出三处静态核验查不到的问题(运行时联网拉依赖 / 工作区包链不出来 / 其中一个服务绑在容器内回环上),都已修。 随交付可交付
一键编排compose + 环境样例 三服务一条命令起,端口一律绑回环,必填项缺省即拒(不静默降级),各带健康检查。镜像已构建通过,编排随之可用。 随交付可交付
部署手册与反代模板 安装、TLS(交给反向代理)、备份恢复、升级、探活。已随首次真构建校订过一轮,并单列一节「真构建揪出了什么」 —— 那三条比结论本身有用。 还差:首次真实客户环境部署后的再校订 随交付在做
板守护进程镜像boardd · 141 MB · 非 root 板的权威服务:建板、多板、认证、日志持久化与崩溃重放、单写者租约。已真构建并冒烟: 建板成功、无凭证请求 401、日志与租约落盘。多阶段构建 —— 运行镜像里没有编译器。 出回环运行需要三样齐全:绑定 + 主体密钥 + 板级 ACL, 少一样它自己拒绝启动并给出教学文本 —— 认证不等于授权,有钥匙不等于每块板都能进 随交付可交付
快速验证一条命令,四幕,零外部依赖 一条命令跑完四幕、约一秒出结果:装包(伪造进不来)· 干活(完成是推导出来的)· 接后端(说谎的被抓)· 回放(你自己算一遍)。 不需要数据库、模型、Docker 或联网 —— 需要外部依赖的部分故意不塞进这条路,单独列出并写清各自需要什么。 随交付可交付
B · 开发接入
SDK 包密封运行时 + 类型定义 装进你现有的智能体栈。目前以压缩包形式交付。缺公开的发行渠道(尚未发布到公共包仓库)。 随交付可交付
接口文档五件随包发,不用另找 上手指引 · 接口全表(由源码生成,不手写)· 报错教学目录 · 协议说明 · 智能体接入。已随 SDK 包一起发。 随包可交付
协议规范语言中立的板协议 板的公共边界:命令、结果、状态码、信任通道语义。第二实现按同一批金样对齐。 随包可交付
工具调用适配MCP 把板接进支持该协议的智能体工具面。 随包可交付
客户端 SDK审批 / 板 业务侧调用封装,报错文本原样抛回(报错是接口的一部分,不该被吞掉)。 随交付可交付
求解后端接入示例可跑 + 自检 接自己的求解器 / CAE / 实验室系统:实现四个方法 + 由板的所有者在治理面登记这条连接能作证到什么档,两份都给了可照抄的。 示例的重点不是接口,而是板不信任你接进来的后端 —— 其中一幕让一个故意说谎、且把报价压到最低因而最先被调用的后端交回违规解,板重算后丢弃它、回落到诚实后端,说谎者的出处没能出现在结果里 随交付可交付
C · 领域内容
领域与工具包可打包分享的那两项 每客户按域装配,是交付的主体工作量。格式标准与装载自检已定。 另两项——连接与宪法由板的所有者在治理面配置,不随包分发 按域定制可交付
最小配置样例四份文件 · 可装载 + 自检 + 写包指引 一套能装上、也真挡得住东西的最小配置(请假审批,纯合成),四份文件每行带注释—— 领域与工具两份是可分享的包,连接与宪法两份是所有者自己填的治理面内容,一并给出是为了让你看清整体形状。 附「换成你自己的领域」四步。最值钱的是它替你标出了三个最容易写错的地方 —— 观测通道不可“可复核”· 公理必须带档位而定理不许 · 词表里写“不许断言”只是描述不是执法。 (仓内九个真包里含客户资产,不整体外发;这套是专为照抄做的。) 随交付可交付
包格式标准 四类包的结构、版本、依赖与自检规则 —— 第三方要能平等地写包,这份必须公开。 随包可交付
规范库(分发侧) 像包管理器那样的法典分发:谁发布、怎么签名、更新了下游怎么知道。格式有了,分发侧没有。 暂无已规划
D · 证据与审计
整案回放工具 把一个案子的全过程重新推一遍:当时看到什么、依据哪条、谁放的行。命令行工具,自带自检。 随交付可交付
审计包样例六份案卷 + 一条回放命令 让对方在自己机器上重演我们的裁决,把“你信我”换成“你自己算一遍”。 六份真跑出来的案卷,合计 433 KB。最值得看的是缺料单与补料单的对照: 系统先如实报缺并承诺“材料到位后自动重放”,补料后裁决由否翻是、验收版本从 #1 升到 #2, 而当初缺过料的记录仍在同一份卷宗里 —— 纠错的门开着,改过的痕迹抹不掉。数据全合成,不含任何真实主体。 随交付可交付
一致性判定套件(对外) “声称合规的实现,拿这套题跑一遍”。内部已有跨语言逐字节金样与拒绝矩阵,面向行业的公开版本尚未开工 暂无已规划
E · 演示物
拦截演示录屏现场立法 → 越界被拦 → 人签放行 全链已跑通并有自检守着(2026-07-28)。原先卡住的那一处已修 —— 而且失败教出了更好的剧本: 签一条规范仍被拦、签完才放行,把“闸门是逐条的、不是一个开关”当场演出来。还差:录屏 暂无在做
研发类演示材料核验三证人 进件 → 识别工人作证 → 经办手录被当场拒 → 对账工人回证 → 完成,含两幕反面。已可确定性运行,还差:录屏(原先这里写着“还差接到网页端”。核代码时发现:场景预设的网页臂在 2026-07-20 被明确裁决删除 —— 页面只留真实自主循环与演示两条,终端版保留。把它接回网页等于逆着自己的裁决走,所以这一项从待办里去掉,不是忘了做。) 暂无在做
在线演示实例合成数据、只读 不接任何生产数据。尚未架设;需要持续运维,不是一次性工作。 暂无已规划
产品截图 控制台三张已上首页(真跑出来的,合成数据)。还差:治理视图、审批台、数字组织各若干张 —— 系统都在跑,只是要另起实例才拍得到。 已上站在做
F · 界面
审批台 · 治理视图 两个可运行的参考应用界面,随运行时镜像交付。 随交付可交付
板控制台列板 / 建板 / 看健康 / 配角色 建板与角色授予在协议层早就能用,现在有界面了 —— 对客户而言,没有界面的能力等于不存在客户自装,不是我们托管的服务面:默认只绑回环、不做多租户隔离,两条降级(单人模式 / 内存存储)启动横幅明示。 页面上照实写着一处协议缺口:列板不是协议操作,纯协议的远程控制台列不出板。 随交付可交付
G · 托管与联邦
共享托管服务 前置:统一授权门。我们自己的架构文档写着,该门通过前不得把板服务宣称为安全的共享托管 —— 所以也不会提前交付。 有前置
托管空间(账户 / 配额 / 隔离) 前置:架构裁决尚未终审(目前是“提出”状态,六道设计门未走完)。零实现。 有前置
跨部署联邦交换 板与板之间的显式交换在同一宿主内已实现跨部署未实现。前置:签名的导出/导入,且该门通过前不得宣称“可信的世界联邦”。 有前置
多实例水平扩展 当前一块板只能被一个实例服务(单写者是被执法的,不是假设)。多实例分板要路由网关,未做。 注:这一条没有任何门卡着,就是还没做 —— 所以标“已规划”而不是“有前置”, 不给自己找一个不存在的借口。 暂无已规划
H · 拟贡献给标准讨论的接口面 —— 四份草稿已成文,未提交、未经外部评审
证据链与回放格式 结论如何携带依据、审计包如何导出与重演 —— 审计互认的基础件。 草稿已成文可交付
信息档位词汇 实证/断言/推导的最小分档语义,与“档位只降不升”的传递规则。 草稿已成文可交付
动作授权凭证 敏感动作的清关凭证包含什么、由谁签发、如何核验。 草稿已成文可交付
跨体验签与委托链表示 “谁说的”“谁派的”“谁负责”如何表达与核验 —— 多智能体问责的地基。 草稿已成文可交付
这张表怎么读

三条,读完再看一遍上面的表

  • “可交付”集中在开发接入那一组。 SDK、接口文档、协议、包格式 —— 想自己动手集成的人,今天就能开始。
  • “在做”集中在部署与演示。 东西都写完了,卡在最后一步验证上;每一行都写明了差什么,没有含糊的。
  • “有前置”全在托管与联邦。 不是做不动,是我们自己的规范写着某些门通过前不许那样宣称 —— 既然不许宣称,当然也不会提前交付

这张表随代码更新:做出来了就升,发现交不出去就降回来。

费用

现状与原则见价格页

本节不复述——同一份承诺不抄两遍:见价格 (公司主体信息见关于我们)。

先看东西,再谈方案

上面任何一级都可以当面跑给你看——包括让它当场越界,看它越不过去。开发者不必等:登录即开通,自己开一块板最快。

免费开始 · 打开控制台 读开发者文档 看能力成熟度

想先治理一条高责任工作流、或想要上面某一件交付物:contact@rulith.com