KIP

KIP 2.0 — エージェントメモリのための認知状態プロトコル

英語 | 中文

ステータス

デフォルトの開発バージョン：KIP 2.0 — 規範的なドラフト。 リポジトリのルートには、現在のプロトコルとツールが含まれています。KIP v1.0-RC11 は、履歴の参照と移行のために凍結されています。デフォルトを変更しても、既存のデプロイがアップグレードされたり、2.0 プロトコルが安定版として宣言されたりするわけではありません。

• スコープは凍結されています。 新しい契約は、エンジンのエビデンスとともにのみドラフトに追加されます。修正、簡素化、新たなエビデンスには、この条件は適用されません（仕様のステータス）。
• 名前は安定しており、リビジョンはダイジェストで識別されます。 メモリパッケージは kip://profiles/[email protected] の1つ、汎用ドメインパッケージは kip://domains/[email protected] の1つ、標準の射影ポリシーは kip:memory-default の1つ、標準の強度ポリシーは kip:strength-half-life-30d の1つであり、スキーマ ID は urn:kip:2.0:schema:* です。ドラフトのリビジョンはコンテンツダイジェストで識別されます。以前のドラフトパッケージは保持されません。
• 両方のリファレンスエンジンがエンジンスイート全体に合格しています — 26 個のフィクスチャで431ケースが実行され、保留中のケースはありません。スイートマニフェストには、検証済みのエンジンリビジョンが記録されています。
• 学習結果は主張されていません。 エンジンの実行、制約付きモデル、構造テストは、測定された Brain の挙動とは別のエビデンスです。Brain の挙動は、Brain 評価で測定されるまで not_run のままです。

最新のリビジョンで変更された内容と、その検証方法については、リビジョン記録を参照してください。

ここから始める

• エージェント統合： メモリインターフェースとエージェントメモリカード。
• プロトコルの実装： 仕様、構文リファレンス、適合性チェック。
• Brain の実行： Anda Brain。メモリインターフェースを提供するメモリサービスです。実装も参照してください。
• 開発者ツール： TypeScript 言語ツールキット（@ldclabs/kip-lang）と VS Code 拡張機能。どちらも KIP 2.0 を対象としています。
• v1 を現在使用している方： 凍結アーカイブ、デプロイの移行、リポジトリのパス変更。

アーカイブされた MCP サーバーと Skill は v1 インターフェースを実装しています。ネイティブな v2 統合は、上記の現行インターフェースとワイヤー契約から始まります。

_{インタラクティブ版 — パン、ズーム、関係の追跡、5つのガイド付きビュー — は単独で動作するファイルです。ダウンロードしてブラウザーで開いてください。}

## 唯一の考え方

何が言われたかと何が真実かを区別できないメモリは、いずれ完全な確信をもって持ち主に嘘をつくようになります。KIP 2.0では、次の3つの問いをひとまとめにしません。

Meaning      what can be represented at all
Belief       what the Brain currently accepts
Authority    who may read, write, project, or elevate

そのため、保存されるPropositionは真偽に中立です。Assertionは、モード、確信度、有効性、証拠とともに、ある主体の立場を示します。信念は保存されるフィールドではなく、読み取り時に対象となるAssertionをもとに計算されるEpistemic Projectionです。

Proposition exists  ≠  Proposition is true  ≠  Brain accepts Proposition

変化が起きても、過去が書き換えられることはありません。3種類の変化は、それぞれ異なる履歴として扱われます。

• 世界が変わった。 変化した時点のAssertionを1つ追加します。時間的継承によって、その時点で主体の古い値を終了させるため、かつて真だった主張は誤りと宣言されるのではなく終了し、過去を対象としたクエリでも引き続き回答に使えます。2つの推論が互いに継承することはありません。
• 主張が誤っていた。 新しいAssertionが古いAssertionを置き換えます。古いAssertionは記録に残ります。
• Brainが誤って記録した。 記録の修正により誤った抽出を無効化します。ソースのバイト列と全員の立場はそのまま残ります。

時間は、判明している範囲で正直に表現します。asserted_atは主張が記録された時刻ではなく、主張された時刻です。開始時点が明示されていない主張は、その時刻より前に始まっています。大まかな日付は、作り出した瞬間ではなく時間の範囲を示します。好みは、その種類の中で変化する通常の主張であり、Preference型はありません。同じスロットの主張が依然として競合する場合は、標準メモリーポリシー kip:memory-defaultが、エンジンを問わず同じ方法で優先順位を決めます。まずコンテキストの具体性、次に一人称の証言、最後に新しさを基準にします。

証拠、来歴、スキーマも同様に扱います。EvidenceとActivityは、メタデータの入れ物ではなく、第一級の要素です。また、スキーマはバージョン管理され、ダイジェストで固定されたパッケージに格納されます。ProfileにないリレーションにBrainが遭遇した場合、DEFINEを使ってSpaceのドラフト語彙に追加します。DEFINEでできるのは追加のみです。ドラフトをインストール済みシンボルに昇格させるにはSchemaの移行が必要で、manage_schemaを持つPrincipalだけが実行できます。取得と信念の評価は、Search Patternを通じて1つのクエリで連携します。検索で候補を見つけ、BELIEFでどれを採用するかを判断します。

先回りするためのレイヤー

尋ねられたときにだけ答える記憶は、記憶の半分にすぎません。もう半分は、誰も話しかけていないときに Brain が行うことであり、cron ジョブであってはなりません。KIP 2.0 はこの半分を担う4つのメカニズムを提供しますが、いずれも Brain に代わってポリシーを決定するものではありません。

メカニズム	内容
Watch	永続的な注意状態です。変化、または変化がないことに注意を払うべき条件を宣言します。アーム済みのウォッチは、確定済みのChange Envelopeに対して評価されます。デルタウォッチは条件に一致する確定済みの変更があると発火します。無変化ウォッチは、due_atを過ぎたうえで、評価器が期限までの変更ストリームを照合対象なしとして読み終えた場合に一度発火します。時刻が経過しただけでは何も証明されません。これにより、先回りした対応は盲目的なスケジュールではなく、状態の差分になります。Watch が発火しても、何も許可されません。注意を喚起するだけで、アクションは起こさず、Memory Interface の注意事項の想起を通じて業務エージェントに伝わります。
action_gate	ゲートが下した判断（act、ask、defer、silence）と、判断材料として検討した入力を記録する Activity クラスです。抑制は事後に正当化するのが最も難しいため、意図的な沈黙もほかの結果と同様に記録します。
LIST DEPENDENTS	来歴をたどる、範囲が制限された逆方向のトラバーサルです。ルートを改訂すると、そこからコンパイルされた認知（インサイト、選好の要約、スキル、自己モデル）を一度の操作で検出でき、気づかないまま古くなることを防げます。§57.5では、このルールを明確にしています。改訂されたルートは、依存要素を自動で撤回してはならず、それらをレビュー可能な状態にしなければなりません。依存要素を残すかどうかはレビューで決めることであり、プロトコルのルールではありません。
PURGE PAYLOAD	記録を保持したまま、Evidence 要素で観測されたバイト列を破棄します。保持されるのはダイジェスト、クラス、観測時刻、ソース、およびそれに依存する引用です。来歴を損なわずにデータを最小化でき、残されたダイジェストを使った裏付けと独立性のカウントも引き続き機能します。要素自体を破棄するelement purgeとは異なります。

補助的な状態はCognitive Memory Profileに格納されます。 WorkingStateは、basis_seqが付与された統合済みの再開用ダイジェストです。これにより Brain は、スクロールバックを読み直すのではなく、コンパイル済みの状態と差分から起動できます。計算される依存関係の有効性によって、改訂されたルートは次回の読み取り時に認識されます。また、MnemonicState.utilityには記憶の採用判断、つまりその記憶がどれほど役立つと期待されるかが保持されます。これはsalience、memory_strength、認識論的なconfidenceとは意図的に分けられています。強度そのものは、基準値、アンカー、固定された減衰ポリシーに基づいて読み取り時に計算されます。全体を巡回する処理はなく、読み取っても強度は増しません。

帰結チャネル

上記のすべてによって、システムは世界をよりよく観察できるようになります。帰結チャネルは、世界がそれに応答して観察するためのものです。

Outcome Evidence は、意思決定、アクション、または試行された手順の後に実際に何が起きたかを記録します。記録するのは計測機器（テレメトリー、検証器、テストハーネス、人間によるレビュー）であり、評価対象となるアクションを実行したアクター自身ではありません。アクター自身の説明は agent_statement として、文脈としてのみ引用できます。この分離は適合性の不変条件として監査可能性の形で強制されます。エンジンの生成元情報には常に誰が何を書いたかが記録され、ガバナンスによって結果を書き込める主体を制限できます。オープンプロトコルでは、自己評価を不可能にはできなくても、少なくとも可視化できます。

各結果には、候補となる帰結を選択するタスクファミリーが含まれます。ファミリーを共有しても、帰属関係やベースラインへの所属が確立されるわけではありません。任意のValidated Learning companionでは、TrialRecord に比較可能なベースラインの試行と結果が明示的に固定されます。処置観測は、計測機器の outcome_observation Activity を介して、試行および正確な Skill リビジョンを適用した action_gate の判断にリンクします。その DecisionRecord では、取得と実際の使用が区別され、評価では実行前に割り当てられた独立した試行を数えます。SkillRevision は試行前にタスクファミリーを指定する必要があります。何によっても誤りを証明できないパターンは、手続き記憶ではありません。このチャネル上にあるのが、Skill lifecycle です。

proposed → trialed → adopted → revoked

ライフサイクルの変更は、検証済みの不変な EvaluationRecord とともに lifecycle_verdict Activity 上で確定され、ガード付きの更新によって反映されます（Validated Learning §7）。監査担当者は、不変の TrialRecord に対して正確な入力を再生します。Skill の current_trial はそれを選択するだけであり、GradingState は計算によって得られるビューです。このコンパニオンがなければ、Skills は未検証の候補のままです。役に立ち、想起可能ではありますが、昇格することはありません。昇格できるのは比較による評決を経た trialed → adopted のみであり、取り消しが採用より難しくなることはありません。新たな改善を主張せずに、認可されたポリシーの下で同じ状態のモニタリングによってステータスを維持できる場合があります。ポリシーの撤回に結果が一切伴わない場合もあります。インポートされた Skills は、ローカルでの評価を受けずに proposed となり、未検証の候補として引き続き想起可能です。取り消された Skills は、再び採用される前に、新たな試行に入る必要があります。

プロトコルがシグナルを提供し、ポリシーは Brain が担います

KIP は、受け入れのしきい値、中断ポリシー、顕著性アルゴリズム、統合スケジュール、スキルコンパイラーを定義しません。そうした判断に必要な入力と、その記録をどこに置くかを定義します。単一の効用関数をハードコードしたプロトコルは、もはやプロトコルではなくなり、すべてのデプロイで独自のフォークが生まれてしまいます。

ポリシーレイヤーは、独立した交換可能なコンポーネントです。

• Brain 2.0 — リファレンス設計です。Formation（このターンを超えて残す価値があるもの）、Recall（次に何をするかを変えるべき過去の情報）、Maintenance（睡眠中の代謝機能。記憶の統合、スキルのコンパイル、矛盾のレビュー、記憶の強さの代謝を行います）。
• $self / $system — 単一エージェント向けの形態で、上記の Brain ポリシーに薄い差分を重ねたものです。経験する覚醒中の心と、統合する睡眠中の心から成ります。
• Experience Learning Architecture — Brain が実装するループと、単に保存量を増やしたのではなく、実際に学習したかどうかを評価する方法です。

この境界は、両方向で重要です。ポリシーがプロトコルの外にあるため、異なる受け入れ効用を持つ 2 つの Brain が 1 つの Cognitive Nexus を共有できます。また、シグナルがプロトコルに含まれるため、どちらの Brain の判断も、もう一方から監査できます。

メモリはポータブルであるべきです

メモリがエージェントの価値を生むものなら、それを持ち出せないようにするのが自然な発想です。KIP は逆の立場を取ります。認知は、署名付きで検査可能な Cognitive Capsule としてエクスポートされ、インポートは移行先が管理するトランザクションです。カプセルの署名が証明するのは出所と完全性であり、真実性、信頼性、権限ではありません。インポートしたスキルは、移行先が昇格させるまで実行できません。また、ソースの $self が移行先のものになることはありません。

実装

このリポジトリはプロトコルとそのツール群を定義しますが、本番用エンジンや Brain は含みません。各実装が何をサポートしているかは、その実装自体のリポジトリが正式な情報源です。この表は、リンク先の証拠が示す範囲を超える内容を主張しません。

コンポーネント	概要	ここにある証拠
anda_cognitive_nexus	AndaDB 上の Rust KIP 2.0 エンジン（Cognitive Nexus）	エンジンスイートの全 431 ケースに合格（マニフェスト）
@ldclabs/kip-do	SQLite Cloudflare Durable Objects 上の独立した TypeScript KIP 2.0 エンジン	エンジンスイートの全 431 ケースに合格（マニフェスト）
anda_kip	Rust パーサー、リクエスト／レスポンスの型、モデル向け関数定義。このリポジトリの構文カード、プロファイル、モデルプロンプト用の Brain ロールカードを同梱しています	—
Anda Brain	Rust エンジン上の Formation／Recall／Maintenance エージェントによるセルフホスト可能なメモリサービス。memory_basic で Memory Interface を提供し、Interface と信頼性ベクトル用のハーネスアダプターを備えています	以前のリビジョンに関する過去の証拠記録。現在のハーネス実行は記録されていません
Anda Brain Worker	Cloudflare Workers 向けのコンパクトな Brain。kip-do 上で動作し、同じく memory_basic を提供します	—
@ldclabs/kip-lang、vscode-kip	このリポジトリの TypeScript ツールキット（字句解析器、パーサー、フォーマッター、診断機能、lowering、正規 JSON、MemorySession）と VS Code 拡張機能	それぞれのテストスイート。KIP は実行しません

ドキュメント

ドキュメント	説明
🔌 メモリーインターフェース	5 つのエージェントインテント、処理レシート、スコープ指定と注意に基づくリコール、組み合わせ可能なレベル（中文）
📇 エージェントメモリーカード	日常的に使う小さなインターフェースです。直接使う KIP ロールカードも併せて掲載しています（中文）
📖 仕様 2.0	規範的なドラフト（中文）
🧩 Cognitive Memory Profile 2.0	Experience、Skill、Commitment、Watch、WorkingState など（中文）
🎓 検証済み学習	オプションの補足資料です。改訂、試行、トライアル、評価、および検証済み Skill のステータスを扱います（中文）
⚙️ Brain Runtime	オプションの補足資料です。永続的な注意、リース、ディスパッチ、受信側のフェンシングを扱います（中文）
📦 カプセル仕様 2.0	仕様 §37–§41 および §95：ポータブルで検証可能なメモリーアーティファクト（中文）
🧭 オプションプロファイルと移行	仕様 §100、§101、§103 および付録 I：Historical、High-Assurance、KIP 1.x からの移行（中文）
📜 不変条件レジストリ	49 の Core 不変条件と 49 の Profile 不変条件を一覧にまとめ、それぞれについて、規定しているセクションと固定するベクトルを記載しています（中文）
🏛 アーキテクチャ 2.0	仕様の設計根拠（中文）
📐 構文リファレンス 2.0	LLM 向け KQL / KML / META カード（中文）
🧠 Brain 2.0	形成 / リコール / メンテナンス（中文）
📊 Brain 評価	プロトコル、信頼性、行動学習それぞれの独立したリリースゲート（中文）
🤖 $self / ⚙️ $system	Brain 2.0 に対する差分を含む、単一エージェント向けプロンプトペア（$system）
🔤 文法とスキーマ	規範的な EBNF と、ワイヤースキーマ
🧪 適合性	431 件の実行可能なエンジンケース、344 件の親ベクトル、30 件の認知シナリオ、20 件のメモリーインターフェースシナリオ、17 件の信頼性シナリオ、および実行可能な契約モデル
🔬 形式検証	Alloy、TLA+、Python のモデル（世界時間の継承を含む）と、それらによって証明された内容（中文）
🔀 1.x からの移行	変更点と、レガシーの意味として捏造してはならないもの（中文）
📋 改訂記録	最新の改訂のチェックリストと検証結果。以前の記録：信頼性、レビュー
🗂 設計ノート	統合前の根拠資料 10 件。2026-09-02 に凍結

中国語の *_CN.md ミラーは英語のソースに追随しています。規範となるのは英語のソースであり、ミラーは別の意味上の契約ではありません。

プロジェクト用語は CONTEXT.md に記載しています。エッセイは post/ にあります。

リポジトリの構成

パス	内容
ルートの *.md	仕様書、関連文書、不変条件レジストリ、アーキテクチャ、構文カード
grammar/、schemas/、profiles/	規範的な EBNF、ワイヤー形式および成果物のスキーマ、メモリーパッケージ、汎用ドメインパッケージ、標準ポリシー
brain/	Brain のリファレンスポリシー、役割カード、任意の関連文書、評価プロトコル
conformance/	エンジンスイート、ベクトル、フィクスチャ、リファレンスモデル、アダプターランナー、ダイジェストツール
formal/	有界 Alloy、TLA+、Python のモデルとそのレポート
packages/	@ldclabs/kip-lang と VS Code 拡張機能（pnpm ワークスペース）
migration/、post/、diagrams/	移行ガイド、エッセイ、図解。規範的な内容ではありません
design/、v1/	統合前の凍結されたメモと、凍結された KIP 1.x アーカイブ

リポジトリのルートから、通常は次のチェックを実行します。

pnpm install --frozen-lockfile
pnpm --filter @ldclabs/kip-lang test     # language, examples, schemas and contract tests
node conformance/update-digests.mjs      # schema locks and artifact digests
bash formal/run.sh                       # bounded models (exit 3 means prerequisites were missing)

AGENTS.mdにはコントリビューションのルールが記載されており、conformance/README.mdでは、エンジンまたは Brain に対してスイートを実行する方法を説明しています。

基本原則

KIP 2.0 は、持続的な認知のためのプロトコルです。新しい情報によって Brain が次に行うことを変えられる一方で、以前に起きたことを偽る必要はありません。

ライセンス

Copyright © 2026 LDC Labs。MIT Licenseに基づいてライセンスされています。