RULITH 规据 智能体由什么构成

一个智能体由什么构成

一个 Rulith 智能体 = 一块演算板 + 四项配置:领域、工具、连接、宪法——它认什么词、按什么判、能用什么、信什么来源、守什么边界。 四项配置遵循同一条分工:机制我们提供,内容你提供。 平台负责"怎么验证、怎么拦截、怎么留痕";而"信什么、怎么判、什么可以做"属于你的领域知识——这些事情,你比我们清楚。

一句话的全景:模型负责提出,板负责判定;领域告诉它按什么规则办事,连接提供真实证据与执行能力。 这一页把这句话摊开成四项配置:各自回答哪一问、内容谁提供、从哪里进入。

四项配置,一张总表

配置回答的问题内容谁定验证谁执行进入方式
领域这一行如何称呼事物?什么条件推出什么结论?你写板(闭包推导、精确算术)包——可校验、可分享
工具智能体可以使用哪些工具?各属什么治理等级?你写板(声明记录在板,随时可查)包——可校验、可分享
连接什么来源的证据算「实证」?你注册(你的系统你最清楚)平台(签发密钥、执行验签)治理面——控制台操作,不经包
宪法什么不可以做?什么必须有人确认?平台底线 + 你的加严平台(声明先行,执法随动作层)治理面——不经包

领域与工具,今天就可以在控制台编写与安装——现成的到能力市场装,自己写的到我的能力写;连接在控制台注册(已上线并生产验证:传感器到「可信数据源」页,计算后端与执行器到「计算与执行器」页);宪法的配置界面在准备中——但它的完整逻辑(清关三级、语义闸案卷、fail-closed)已在内核实现,说明见宪法闸

为什么有两项不经包进入

不是"不开放给你定义",恰恰是为了将来的分享

安装他人分享的领域能力,你得到的是可读的词汇与判据——装前有校验,装上有记录。但如果一个包能够携带"什么来源算实证"或"什么动作被允许",安装它就等于把自己的信任根与行为边界一并交给了包的作者。

所以结构上的规矩是:连接与宪法,只能由所有者在控制台亲手修改,任何包都无法携带。 你可以放心安装他人分享的能力——因为它改变不了你信什么、允许什么。

这个设计有一个你每天都在使用的参照:操作系统自带根证书库,企业管理员可以为自己的设备添加内部证书——但没有任何应用的安装包可以向根证书库写入内容。Rulith 采用的是同一个结构。

领域:把你的制度写成可执行的判据

这一行的规矩,写成 vocab(词汇)与 rules(判据),安装后板就按它推导——领域能力不是标签,它真实地改变裁决结果。完整写法见编写领域能力,现成能力的安装见使用领域能力

不想手写?可以让你的智能体代为起草:控制台「我的能力」页提供了一段可复制的起草提示词——把你的制度用自然语言讲给已接入的智能体,它会按写包规则产出 JSON,粘回校验框即可。校验器把所有问题一次说清,恰好适合智能体照着逐项修正。

动笔之前,值得先了解一个区分:"什么条件推出什么结论"是判据,属于领域,今天就能安装;"什么不可以做、什么必须有人确认"是边界,属于宪法,经治理面配置。公司制度里往往两者都有,写之前先分一分。

工具:声明智能体可以用什么

工具声明安装后记录在板上——现场有哪些工具、各属什么等级,随时可以核对。治理等级分三档:

  • read——只读查询
  • write——写入与修改
  • run——执行任务

如实说明当前边界:声明与安装今天可用(已经生产验证,记录见现况页);"智能体调用工具后,把执行结果回报给板、升级为可依赖证据"的闭环尚未开放。声明可以先行准备,闭环开放后即刻可用。

连接:你决定信什么,平台保证没人冒充

「实证」与「断言」的区分,是这套系统的命门——但哪个来源配得上实证,只有你知道。你的 ERP、你的检测仪器、你的内部系统,它们的可信度平台无从判断,也不应该替你判断。

因此这里的分工是:

  • 你来注册:在控制台登记你的物理系统(传感器在「可信数据源」页,计算后端与执行器在「计算与执行器」页)——连接是插头,通道是名分:每个连接持有一条通道身份,类型分三种(传感器推观测、计算后端领放电工单、执行器领动作工单)。建的只管建,绑的只管绑:注册只拿身份与密钥(密钥只显示一次),作证的词可以当场声明,也可以之后随时在连接卡片上补绑——绑词之前这条连接推什么都会被拒,所以晚绑不产生任何来历不明的历史;
  • 平台来执行:为该来源签发通道密钥;你的系统此后用一条纯出站的 HTTPS 请求推送数据(防火墙不必开任何入站口),经验签后标记为"经此通道实证"——这个标记模型无法伪造,因为签发与验证都发生在模型接触不到的层面。绑定生效后,这些词连模型断言都会被拒——只认这条通道;
  • 出身随证据同行:你的实证,是"按你的标准实证"。未来证据在板与板之间流转时,会带着"经谁的通道"的出身,接收方据此自行裁决是否采信。

宪法:底线之上,只能收紧

平台底线(资源配额、红线动作)对所有用户一致,不可协商——这既是我们对所有用户的承诺,也是对你的保护。

底线之上是你的加严层:"未经我确认不得对外发送"、"预算不得超过多少"。方向只有一个:可以更严,不能更松。

今天它处于声明先行阶段:边界条目可以建立、在板上可见(已经生产验证);拦截动作的执法,随动作层开放时即刻生效。立法与执法分步到位——这本来就是制度应有的样子。

抽象与物理的分界

把四项配置再往深处看一层,会看到一条贯穿始终的分界线:语义是抽象的,物理只在你家。

装什么可分享?
抽象层(领域)词汇、判据、抽象动作——动作只写"前提与效果",不写哪个接口去执行✓ 完全可移植
声明层(工具)有哪几双手、什么治理等级——只是声明,不含实现✓(对方环境须有对应实现)
物理层你的传感器、你的系统接口、你的执行器——真实世界的设备✗ 那是你的物理世界
接线层(连接)把物理源接到词上:传感器作证观测类的词,执行器为动作回执作证✗ 只在治理面亲手接
约束层(宪法)什么不可以做、什么要人确认

两处接线都发生在你的治理面,不在包里:传感器经「可信数据源」页注册后为声明的词作证;抽象动作在智能体装配时接到你环境里的工具实现。包永远保持纯抽象——这就是分享格外可信的更深一层原因:一个领域能力不但带不走你的信任根,它连物理世界都不引用,装到谁家都能跑,接线由装的人自己完成。

逻辑与物理怎么对上:靠名字。词与动作名就是接口。领域能力里出现的词,与你注册连接时声明的词,同名即关联——传感器作证的词从此只认它的推送;计算后端声明的主张,会在需要证据时自动生成求证的工单,由它兑现回报;执行器则不做预先绑定——智能体亮出哪些动作当下可以执行,装了对应"手"的执行器领取、执行、签回执,配对发生在领活那一刻。三条线的健康状况在「智能体」页的接线一段随时可查:哪个词由谁作证、哪个词还没有物理来源(模型仍可断言,但只是断言档)、哪条连接已吊销。吊销一条连接不会拆掉它与词的关联——密钥立即作废、推送即刻被拒,之后回到那条连接所在的页面(「可信数据源」或「计算与执行器」)重新发钥即可原样恢复,密钥同样只显示一次。

还有一样东西刻意不在这张表里:模型。模型是"思考"的载体(你的客户端,或你自己配置的推理服务)——它的全部产出天然是断言档,板不需要理解它、不需要为它写规格。这正是你可以随意更换模型、而系统可信性一分不变的原因。

分享:为什么在这套结构上格外可信

我们相信,"用户编写、用户分享"会成为这套系统最有生命力的部分——每一行的制度知识在从业者手中,不在我们手中,也不在模型的权重里。

而分享一个领域能力,与分享一段代码有本质不同:

  1. 判据可读——安装前就能看懂它会怎么判,不是黑盒;
  2. 装前有校验——校验器把所有问题一次说清;
  3. 装上有记录——板上保留安装记录,随时可以核对;
  4. 带不走信任根——它无法改变你信什么、允许什么(上文的结构保证)。

今天的形态:平台只出跨行业零争议的基础层(当前是单位换算,同时充当领域包的样例),行业与制度判据由用户自己写、自己分享——平台不替用户许诺判据。用户投稿、出处与版本、签名与评分,按验证阶梯逐级开放——做实一级,开放一级。

如实说明:分享的工具声明,需要对方环境中存在对应实现才能生效;跨组织的证据互认属于完整形态,见 www.rulith.com

这一页在全景中的位置

演算板与四项配置合在一起,构成 Rulith 四层能力阶梯中的信任层——先让每一条结论经得起核对。任务层、智能体层、协作层,逐级建立在它之上。

→ 动手写第一个:编写领域能力

正文住 content/*.md;能力清单、工具清单、字段矩阵由生成器从实现代码抽取 (快照在 facts.json)——改了实现而忘了改文档,校验会自己发现。