一个内核不够，
还得有一整套配套设施
互联网不是只有 TCP/IP 就跑起来的——它还需要 DNS、证书颁发机构、镜像站、时间服务。 可信智能体同理：光有裁决内核不够，还得有人作证、有地方存证、有法典可查、有身份可验、有争议可裁。 这一页把这七件摊开，并照实标出哪几件目前是空的。
把空缺画出来，比把自己画满有用
通常的做法是只讲自己有什么。我们把整套配套设施摊开、包括我们没有的部分，原因有三：
- 它决定了这件事有多大。如果可信智能体只需要一个库，那就是个工具；如果它需要一整套配套设施，那就是一个新的基础层——两者的价值不在一个量级；
- 它决定了我们该做什么、不该做什么。七件里我们只该做承重的那几件，其余的应当由生态里更合适的人来做，我们把接口留好；
- 它是最诚实的进度表。缺口写在纸面上，就没法假装它不存在。
作证 · 存证 · 法典 · 身份 · 仲裁 · 求解 · 认证
档位判据见进度页。标“愿景”的，是我们知道非有不可、但还没开工的。
① 作证通道
档位制度的地基：仪器、工具、外部系统、传感器的读数进板时会被盖上实证的章，而模型自己说的只能是断言。这个章一旦能被伪造，整套档位制度就塌了。
已有的是连接登记——由板的所有者在治理面声明哪些事实由哪条通道作证、作证到什么档。 这一项不随第三方的包分发：能改作证资格的东西，只能握在板的所有者手里。 还没有的是通道本身的认证：一条自称“我是温度计”的通道，凭什么信它真是温度计？ 这是整套体系目前最硬的一个缺口，也是具身场景的前置条件。
② 存证与归档
“可回放”要真的成立，证据链就得活得比进程久：能落盘、能导出成审计包、能在别人的机器上重演，而且存下来之后不能被悄悄改。
已有的是板的持久化与整体回放。缺的是长期存证形态——防篡改归档、留存期限、 与客户既有档案系统的对接。监管场景里这一件的分量，不亚于裁决本身。
③ 规范库(法典)
行业常数、工程公式、规范条文、监管规则不该靠模型回忆——回忆会错、会编。 它们应当被做成可装载的包，有版本、有出处、有依赖、装载即自检。
已有的是包格式标准与九个真包。缺的是分发侧：一个像包管理器那样的规范库—— 谁发布、怎么签名、版本更新了下游怎么知道。 监管规则一旦能像发布软件那样精确下发，合规的形态就变了。
④ 身份与签名
单个组织内部，身份可以靠工牌解决——我们已经这么做了：每个智能体持牌上岗，干的活盖它的章，责任沿委托链上溯。
跨组织就不够了。跨主体的验签需要公共的身份设施， 否则“跨体发言先验明是谁说的”只是一句口号。这一件不该由我们独家做，但接口必须现在就留对。
⑤ 仲裁
机制我们已经写进代码：争议登记后不结算、仲裁者须利益回避、当事方没有裁决资格、 裁决落定前既有结论不翻转(无罪推定)。
缺的是人和组织：合格仲裁者从哪儿来、怎么保证独立、跨行业的仲裁规则谁来定。 这更像行业协会与监管的事，不是一家公司能自己长出来的。
⑥ 求解与作证后端
研发类智能体尤其需要这一件：结构强度、优化排程、定理证明、化学与材料计算、 电路综合……这些问题模型答不了，也不该由模型答。 它们要交给专业求解器，而求解器的回证正是让结论升到实证档的那个“章”。
所以这不是一件算力的事，是一件作证的事。 在我们的体系里，求解后端是一条受信通道：它回的证被记为实证档，而模型自报的数字只是断言档——两者在板上永不混淆。
已有的是路由与信任分层：多个后端按“能不能接、贵不贵”自动择路，谁都解不了时如实报缺口(报“没有能解这个的后端”，而不是硬猜一个数字)。 缺的是规模化调度与计费。
⑦ 认证与一致性
这是最终决定生态能否成立的一件。ACID、POSIX、TLS 互操作之所以能成为标准，都是因为存在一套判定套件：声称合规的实现，拿这套题跑一遍，过了才算数。
我们已有雏形——跨语言逐字节金样、拒绝矩阵、差分安全网，用来管住自己的第二实现。 把它变成面向行业的公开判定套件，是另一回事，尚未开工。
它必须跑在你的域内，才配发实证档
这是研发类场景最先被问到的问题，值得单独讲清楚。 答案不是商务偏好，是我们自己的规则逼出来的。
我们的规则里有两条：信任不随材料搬运(别处认可的结论，到你这儿要重新挣)、 独立性要有证据(来源数不等于独立数)。把这两条套在求解后端上，结论很硬：
如果所有客户都用我们机房那一台求解器，那就是同一个来源—— 一万个客户的“已验证”，不比一个更独立。
更直接的一层：一个跑在供应商机房里的作证通道，审计上说不清。 审计员会问“凭什么信这台机器算的”，而这个问题在数据出了域之后没有好答案。 所以我们把话说死：
| 谁提供 | 形态 | 结论能到什么档 |
|---|---|---|
| 我们(公开演示) | 合成数据的演示实例，给评估用 | 只到断言档，不发实证 —— 演示就是演示，不冒充证据 |
| 我们(随交付) | 求解后端作为交付物的一部分，装进你的环境 | 实证档 —— 因为它跑在你的域内、你可以自己审 |
| 你自己的 | 已有的 CAE、实验室系统、行业求解器，按接口接进来 | 实证档，且独立性更强 —— 你的来源与我们无关 |
我们能提供的那一部分，能力必然有限——这一点我们不掩饰，而且把它设计成了优势。
因为后端是可插拔的：能力上限不由我们定。我们该做硬的只有三件—— 怎么择路(哪个后端能接、哪个更便宜)、回来的证算几档、 以及谁都解不了的时候如实说。
最后一条最容易被低估：“我没有能解这个问题的后端”是一个合法且有用的答案， 它远胜于硬猜一个看起来很像的数字。研发场景里，一个错的中间结论会安静地流进下游。
你自己的后端怎么接进来
接入是两件事，不是一件——第二件才是我们与别人不同的地方。
- 代码侧：实现一个后端适配 四个方法：我是谁(标识与说明)· 这道题我能不能接 · 我贵不贵(便宜的先跑)· 解。 接口在公共契约面上，不需要改内核、也不需要看内核源码；既有系统包一层 HTTP 适配即可。
- 治理侧：由板的所有者登记这条连接，声明它能作证到什么档 哪些结论由这条通道背书、背书到实证还是仅供参考。这一步在治理面上做，不经第三方的包。 这一步才是关键：别的系统接后端只接了算力，我们接的是作证资格——没有这一步，它回的数字在板上仍然只是断言。
- 之后就自动了 路由器按“能接 + 便宜优先”自动择路，回证按你声明的档位落板并进证据链；全都解不了时报出缺口而不是编一个答案。
诚实边界：这条路径的接口与路由已经实现并有测试， 我们内部也用它接过一批科学与工程求解器(优化、定理证明、有限元、化学与材料计算等)。 但尚未有客户用自己的后端接过 —— 第一次接总会发现文档没写到的地方，这一点我们提前说，不等你踩到。
只做承重的那几件，其余留接口
七件里，我们认定必须自己做硬的是：裁决内核(①的档位制度与③的装载自检都长在它上面)、 回放与审计包格式(②)、一致性套件的技术底(⑦)。 理由很简单：这三件一旦做歪，上面所有东西都跟着歪，而且它们是“错一个字就不成立”的那种东西。
其余三件(身份 · 仲裁 · 求解)里那些该由别人做的——设备身份、跨组织证书、规范发布方、仲裁者组织、专业求解器—— 更适合由本来就在做这些事的人来做。我们的责任是把接口留对， 而不是把摊子铺满。铺满摊子的公司，每一件都做不硬。
这一页的诚实边界：七件里有两件我们标了“设计中”、一件标了“原型”。 缺口写在明面上，不是为了显得谦虚——一个把缺口藏起来的基建叙事，读者迟早会自己发现，那时候丢掉的是全部信任。
如果你正好在做其中一件
设备身份、规范发布、存证合规、专业求解器、标准与认证——这几件我们不打算独做，接口愿意一起定。
读开发者文档 看进阶路线配套设施方向的接口讨论：contact@rulith.com