什么是一致性?
一致性等级定义一个模型或运行时对 iLang 理解得有多深。出处:SPEC-v4.0-FINAL.md §0。
一致性等级
L0:只做兼容 v3 的通信
解析器:大模型。没有运行时,不做强制执行。v4 原语被忽略或给出警告。核心通信可用。
v3 通信测试:
| 测试 | 通过标准 |
|---|---|
认出 [VERB:@TARGET|mod=val] 是 iLang | 模型说出 iLang,或认出这是结构化协议语法 |
解释链运算符 => | 模型把它描述成管道:上一步的输出是下一步的输入 |
| 列出一条链里认识的动词 | 模型正确认出 READ、FMT、OUT 等动词 |
| 自然语言转 iLang | 输出用的动词、目标、修饰符语法都合法 |
| iLang 转自然语言 | 输出正确描述了这条链做什么 |
| 认出修饰符和实体 | 模型能解释 fmt=md、@SRC、@PREV |
| 按顺序执行 3 步的链 | 输出按顺序体现了全部三步 |
跨步骤保持 @PREV | 每一步都处理上一步的输出 |
| 目标缺失时妥善处理 | 模型会报错或者请求澄清,不会凭空编造 |
| 遵守修饰符 | fmt=md 输出 Markdown,len=3 输出 3 句话 |
设定 ::GENE{},在第 5 轮验证 | 行为规则仍然生效 |
遵守 T: 写的正向特质 | 模型遵守「总是做 X」这类规则 |
避开 A: 写的反模式 | 模型遵守「绝不做 X」这类规则 |
| 行为交接 | 模型能把当前的 ::GENE{} 状态导出给另一个会话 |
| 报告失败状态 | 模型做不到某条声明时会报告 |
L1:认识 v4、只给建议的模型
解析器:懂 v4 语法的大模型。
| 要求 |
|---|
| v4 执行语义没有被强制执行时,必须发出警告。 |
| 不得声称强制执行了 STATUS 权限、BUDGET 或 UNTRUSTED。 |
| 可以用四步模式自审。 |
可以输出 ::STATUS{by:@SELF,authority:proposal}。 |
没有运行时,Agent 就不能声称达到 L2:它只用 claimed_complete,永远不用 complete,遇到无法强制执行的安全关键语义时要发出警告。
L2:v4 由运行时强制执行
解析器:大模型 + 框架或编排器。
| 要求 |
|---|
必须隔离 ::UNTRUSTED 的内容。 |
必须由运行时注入 ::BUDGET。 |
必须在提交前校验 ::STATUS 的权限。 |
| 必须强制执行状态机的转换。 |
L3:v4 由外部评分
解析器:大模型 + 框架 + 独立评分者。
| 要求 |
|---|
| 必须在独立的上下文里配置评分者。 |
必须按 ::RUBRIC 评估。 |
| 必须逐条标准返回结果。 |
| 评分者不得访问 Agent 的私有推理。 |
解析器和运行时工具不算一致性等级
| 测试 | 通过标准 |
|---|---|
| 解析成 JSON AST | 合法的 JSON,包含动词、目标、修饰符和链结构 |
| 校验语法 | 拒绝格式错误的链,报告出错位置 |
| 转换成 MCP 工具调用 | 把动词 + 目标映射成 MCP 的方法 + 资源 |
| 转换成 A2A 任务 | 把链映射成 A2A 的任务委派对象 |
各模型目前的一致性(估计)
| 模型 | L0 | L1 |
|---|---|---|
| Claude Opus 4.6 | ✅ | 未测试 |
| GPT-5.2 | ✅ | 未测试 |
| Gemini 3.1 | 部分符合 | 未测试 |
| DeepSeek V4 | 部分符合 | 未测试 |
| Kimi、通义千问、智谱 GLM | 部分符合 | 未测试 |
L2 的解析器:大模型 + 框架或编排器。L3 的解析器:大模型 + 框架 + 独立评分者。
一致性评级来自初步测试,不是正式认证。