KIP 2.0
September 15, 2026 · View on GitHub
规范状态
默认开发版本:KIP 2.0,规范性草案。 仓库根目录承载当前协议与工具。KIP v1.0-RC11 已冻结,供历史查阅与迁移参考;切换默认入口不会升级现有部署,也不代表 2.0 协议已成为稳定版。
认知一致性修订加入最终信念保证、不可变程序性记录,以及独立版本的记忆模式包(2.1.0),并配有可执行契约检查和有界模型。Rust 与 Cloudflare Durable Object 引擎面向 KIP 2.0 草案;对本次修订的覆盖必须由最新适配器结果确认,不能从早期一致性结果推断。协议继续标为 2.0-draft,与已发布工具的版本独立;结构测试不构成真实 Brain 学习成效的证明。
认知一致性契约 规定最终信念、不可变 Skill 修订、独立尝试、可重放试用与评估、依赖有效性、身份修复及持久工作者。生命周期计数聚合执行尝试;未关联的同任务族结果不会自动成为对照。已存摘要必须在计算依据通过校验后使用。
从这里开始
- 接入智能体: 记忆接口与智能体记忆速查卡。
- 实现协议: 主规范、语法参考与一致性检查。
- 开发工具: TypeScript 语言工具包和 VS Code 扩展,均面向 KIP 2.0。
- 现有 v1 用户: 历史归档、部署迁移指南与仓库路径变更。
归档的 MCP Server 和 Skill 使用 v1 接口;原生 v2 集成请从上述当前记忆接口和传输契约开始。
提供支持平移、缩放、关系溯源及五重视角引导的交互式信息架构图,该图为自包含文件:可直接下载并在浏览器中打开。
核心洞见
如果记忆系统无法将*“说了什么”与“什么是真的”*明确区分开来,最终必然会以极度自信的姿态向其拥有者编造谎言。KIP 2.0 坚决拒绝折叠以下三个根本问题:
含义 (Meaning) 系统究竟能够表达什么
信念 (Belief) 大脑当前接受什么为真
权威 (Authority) 谁有权进行读、写、投影或提升权限
因此,存储的**命题(Proposition)**是价值中立的。断言(Assertion)则承载了单一行动者对该命题的立场陈述,包含陈述模式(mode)、置信度(confidence)、时效范围(validity)与支撑证据(evidence)。信念并非存储在数据库中的静态字段,而是在读取时基于所有合法断言动态计算出的认知投影(Epistemic Projection):
命题存在 ≠ 命题为真 ≠ 大脑接受该命题
这就是为什么观点的反转与更正无需付出高昂代价。“其实我现在吃素了”是一条废弃替代旧断言的新断言;下一次执行认知投影时,系统直接报告新值。没有需要就地补丁篡改的可变信念映射表,被替代的旧偏好历史完整可审计,绝不会悄然蒸发。
证据、溯源与模式定义同样遵循这一理念:证据(Evidence)与活动(Activity)是一等公民元素,而非随意的元数据黑盒;模式定义则存放于带版本控制、指纹摘要锁定的模式包(Schema Packages)之中。
主动性层
仅在被提问时才作答的记忆,只能算半个记忆。另外半个记忆,是大脑在无人与之对话时所进行的离线运作 —— 而且它绝不能退化为简陋的定时任务(cron job)。KIP 2.0 为这另外半个记忆提供了四项机制,且没有任何一项机制会越俎代庖替大脑做策略决策:
| 机制 | 机制定义与职责 |
|---|---|
Watch | 持久化关注状态。声明在何种条件下的变更 —— 或在何种条件下的未变更(静默) —— 值得引起注意。处于设防状态(armed)的 watch 会依据已提交的变更信封(Change Envelopes)进行求值;静默(silence) watch 则在其 due_at 到期且无匹配变更时触发。主动性由此建立在状态差分之上 —— 增量 watch 在提交变更时触发,静默 watch 在到期扫描时触发 —— 而非盲目的定时轮询。触发的 Watch 不赋予任何特权:它仅唤起注意,绝不代表执行许可。 |
action_gate | 一种记录网关裁决的 Activity 类 —— act(行动)、ask(询问)、defer(推迟)或 silence(克制沉默) —— 并记录权衡考量所依据的各项输入。事后最难证明其合理性的是克制与不作为,因此深思熟虑的沉默与其它操作结果一样,必须被明确记录在案。 |
LIST DEPENDENTS | 溯源拓扑的有界反向遍历。当修正某一源头时,从其编译派生出的认知 —— 洞察、偏好摘要、技能、自我模型 —— 可在单次操作中被完整发现,而不会悄然失效落后。§57.5 明确了这一规则:根节点的修订严禁自动撤回其派生依赖项,而必须将它们保留为可复审状态。依赖项是否存续取决于复审裁决,而非协议层规则。 |
PURGE PAYLOAD | 销毁 Evidence 元素的观测字节数据,同时完整保留其记录本身:摘要散列、分类、观测时间、来源以及依赖于它的各项引用。实现数据最小化而不破坏溯源血统 —— 基于存留摘要,独立证据统计与佐证计算仍可正常运作。此操作与彻底销毁记录本身的元素清除(purge)严格区分。 |
配套的支撑状态定义在认知记忆 Profile(Cognitive Memory Profile)中:WorkingState 是标有 basis_seq 的固化恢复摘要,使大脑能从编译后的状态外加增量差分中苏醒,而无需重读全部历史;DerivationState 承载依赖复审写回的 current | stale | under_review 状态标志;MnemonicState.utility 则记录准入下注(预期该记忆有多大效用)—— 该值刻意与显著性 salience、记忆强度 memory_strength 以及认知置信度 confidence 保持严格分离。
后果通道
上述所有机制让系统能更敏锐地洞察世界。而后果通道(consequence channel),则是世界反过来审视与反馈系统的途径。
结果证据(Outcome Evidence)记录了某项决策、行动或试用流程发生之后的真实客观结果 —— 由外部测量与仪器(遥测系统、验证器、测试工具链、人工审查)写入,绝对不得由被评估行动的执行者自身写入。行动主体自身对行动过程的陈述属于 agent_statement,仅可作为上下文背景引用;这一隔离是一致性不变式,并通过可审计性严格保障 —— 引擎的底层起源 _system.origin 始终忠实记录写入者身份,且 Governance 能够精确限制谁有权写入 outcome —— 开放协议即便无法杜绝单体部署中的自评自赞,也必须让这种自评自赞完全公开透明。
每个后果均携带一个任务族(task family),用于筛选候选后果。仅仅共享任务族既不构成归因,亦不构成基线成员资格:TrialRecord 显式冻结可比的基准尝试与后果。干预观测通过仪器的 outcome_observation Activity 链接至某一次具体尝试以及应用了精确技能修订版本的 action_gate 决策。其 DecisionRecord 严格区分了检索与实际使用,且评分仅统计执行前已登记的独立尝试。一个 SkillRevision 在试用前必须指明其任务族;任何无法被证明为错误的模式都不属于程序性记忆。在后果通道之上运转着严谨的技能生命周期(Skill lifecycle):
proposed (提议) → trialed (试用) → adopted (采纳) → revoked (废弃)
生命周期变迁与评分刷新必须携带经过校验的不可变 EvaluationRecord,提交于 lifecycle_verdict 活动与受守卫的更新之上。审计员可对照不可变的 TrialRecord 重放精确输入;TrialState 仅用于选择当前试用。仅有 trialed → adopted 必须通过比较性裁决晋升,且撤销门槛绝不高于采纳门槛。同状态监控可在经授权的策略下维持现有地位而无需声明新改进;策略撤回可能包含零个后果。导入的技能以 proposed 状态准入且无本地打分,但保持作为未验证候选者可召回。被撤销的技能必须进入新一轮试用后方可重新被采纳。
协议提供客观信号;大脑拥有主观策略
KIP 不定义具体的准入阈值、打断策略、显著性算法、巩固调度周期或技能编译器。它定义的是这些决策应将它们的输入与凭证记录存放在何处。如果协议硬编码了某一种具体的效用函数,它就不再是通用协议 —— 任何实际部署都会被迫分叉协议。
策略层是一个完全独立、可插拔替换的组件:
- Brain 2.0 —— 参考架构设计:Formation(交互中评估哪些信息具备持久留存价值)、Recall(提取能够指导当前行动的过往经验与知识)、Maintenance(离线阶段的记忆代谢:知识巩固、技能编译、冲突复审与记忆强度调节)。
$self/$system—— 适用于单智能体的轻量级双心智方案,作为叠加在上述 Brain 策略之上的轻量 Delta:$self作为清醒心智负责交互与经历沉淀,$system作为沉睡心智负责离线整合与代谢。- 经验学习架构 —— Brain 实现的闭环学习机制,以行为改善与决策质量作为衡量学习成效的核心指标,而非单纯追求存储规模。
这一分层解耦在两个维度上都至关重要:正因为策略独立于协议,采用不同准入与评估算法的两个 Brain 实现可以无缝共享同一个 Cognitive Nexus 认知中枢;同时正因为核心信号与状态规范在协议内严格定义,任何一方 Brain 做出的决策对另一方而言均保持完全的可审计性。
记忆应当具备可迁移性与数据主权
若记忆是智能体核心价值的载体,最封闭的做法便是将其锁定在私有系统内令人无法脱离。KIP 采取完全相反的开放立场:认知数据可通过签名校验的认知胶囊(Cognitive Capsule)导出与迁移,而导入过程严格受目标系统的治理策略管辖 —— 胶囊签名仅证明其数据来源与传输完整性,绝不自动赋予真实性、信任等级或执行权限。导入的技能在目标系统显式授权前始终不可执行;源系统的 $self 身份也绝不会篡夺或覆盖目标系统的本地身份。
文档索引
| 文档 | 内容概述 |
|---|---|
| 🔌 记忆接口 | 业务智能体的五种记忆意图、处理回执、限定范围召回及可组合能力包(English) |
| 📇 智能体记忆速查卡 | 紧凑的日常操作接口;直接 KIP 角色卡与之并存(English) |
| 🧩 认知一致性 | 完备信念、修订版本、独立尝试、重放、依赖项与持久运行时契约(English) |
| 📋 评审决议 | 全部 12 项复审问题的决议、实现位置与验证范围(English) |
| 🔬 Brain 评测 | 独立的协议、可靠性与行为学习发布门禁(English) |
| 📖 2.0 规范 | 规范性草案(English) |
| 📦 2.0 胶囊规范 | 规范 §37–§41 与 §95:可移植、可校验的记忆工件(English) |
| 🧭 可选 Profile 与迁移 | 规范 §100、§101、§103 及附录 I:历史一致性、高保障一致性及 KIP 1.x 迁移(English) |
| 📜 不变量注册表 | 43 条 Core 不变量与 46 条 Profile 不变量合一清单,标明确立章节与钉住向量(English) |
| 🏛 2.0 架构 | 规范背后的设计理据(English) |
| 📐 2.0 语法速查 | 面向 LLM 的 KQL / KML / META 速查卡(English) |
| 🧩 2.0 认知记忆 Profile | Experience、Skill、Commitment、Watch、WorkingState 等记忆类型(English) |
| 🧠 2.0 Brain | Formation / Recall / Maintenance 记忆认知中枢(English) |
🤖 $self / ⚙️ $system | 单智能体提示词对,基于 Brain 2.0 的精简增量($system) |
| 🗂 设计文档 | 十篇规范统合前的参考性设计草稿,自 2026-09-02 起冻结 |
| 🔤 语法与 Schema | 规范性 EBNF,以及传输层 Schema |
| 🧪 一致性测试套件 | 包含 356 个状态/一致性测试向量、12 个可选记忆接口场景及可执行契约模型 |
| 🔬 形式化验证 | Alloy 与 TLA+ 模型及其验证结论 |
| 🔀 从 1.x 迁移 | 升级变更点与遗留语义迁移约束 |
保留现有中文镜像。认知一致性修订以英文规范源为准,中文镜像不构成另一套语义契约;并非每份历史设计文档或测试说明都有中文对应版本。
项目术语见 CONTEXT_CN.md,相关文章保留在 post/。
根本原则
KIP 2.0 是面向持久认知的状态协议:新信息的输入可以持续改变智能体未来的决策与行动,而无需以篡改或否认过往历史为代价。
许可证
Copyright © 2026 LDC Labs。本项目采用 MIT License。