●  エージェント・メモリの公式台帳 v0.7.0 · pre-release · AGPL-3.0
Verimem
ENITESFRDEPTRU中文日本語한국어

エージェント・メモリの問題

エージェントのメモリは何でも保存する。 真偽を問わず。

Verimem は永続メモリ層です。その add() はすべての書き込みを反作話の許可ゲートに通し——出典は本当にその事実を含意するのか？——その search() は読み取りごとに来歴を返します。ドアに公証人を置いた海馬です。

ソースからインストール → エビデンスを見る GitHub ↗

✓ 100% 無料＆オープンソース —— AGPL-3.0 ライセンス。セルフホスト・ローカルファースト：アカウント不要、API キー不要、課金なし。

許可grounding 0.97
書き込み候補
「デプロイは PostgreSQL 16 を使用。」
出典 ⊢ 事実 —— 引用されたリリースノートが主張を含意する。
ステータス 許可 · 来歴付きで保存。
§01 許可ゲート

他のメモリ層は抽出器が出したものを何でも保存します。Verimem は違います。

書き込み時、候補となる事実は許可・降格・拒否のいずれかになります——引用元が本当にそれを含意するかで決まります。安価で LLM 不要の字句スクリーンがまず 「動く / 検証済み / 完了」 のような裏付けのない主張を降格し、続いてv0.5.0 から既定で有効な出典⊢事実の含意チェックが、引用元が実際には裏付けない主張をすべて拒否します。SNLI で測定すると AUROC 0.971 に達し、この数値はジャッジに依存しません。

mem0、Zep、Letta、Cognee、MemOS を構造的に精査したところ、いずれも書き込み許可ゲートを持っていません。このゲート——そして読み取りごとに戻る来歴——こそが要点のすべてです。 —— さらに 2026 年の always-on エージェント独立サーベイ（arXiv 2606.30306）は、この分野がエージェントの状態を統治することよりも、蓄積・取得することにはるかに集中していると指摘します —— まさに write-admission のギャップです。

図解 —— 3つの裁定で見るゲート

許可0.97
書き込み · 含意
「デプロイは PostgreSQL 16 を使用。」
許可 · 来歴付きで保存
降格0.41
書き込み · 裏付けなし
「移行は完了、すべて動いています。」
降格 · 保持、低信頼として記録
拒否0.08
書き込み · 矛盾
「API のレート制限は 10,000 req/s。」
拒否 · 出典は 1,000 —— 保存せず

読み取りごとに来歴

読み取りはテキストだけを返すのではなく——各事実について書き込み時の status と grounding_score を返します。だからコードは盲信せず信頼度で条件分岐できます。そして update() は古い事実を決して破棄せず、置き換え（supersede）て、監査可能な history() の軌跡を残します。explain() は完全な TrustReport を返します —— 来歴・検査・あらゆる矛盾を、明示するか、理由付きで棄権します。

memory.py · 書き込みはゲートを通り、読み取りは来歴を返す

from verimem import Memory

mem = Memory()                                  # local SQLite, offline
mem.add("The deployment uses PostgreSQL 16.")   # write goes THROUGH the gate

for hit in mem.search("which database?"):       # read returns provenance
    print(hit["text"], hit["status"], hit["grounding_score"])
# -> The deployment uses PostgreSQL 16.  ADMITTED  0.97
§02 エビデンス —— 主張ではなく実測
指標結果記録として
書き込みゲートの entailment AUROC 0.971 出典⊢事実、ジャッジ非依存（SNLI）。書き込み経路の堀。
エンドツーエンド QA · HaluMem、完全パイプライン 0.66–0.68 自前の抽出 → ゲート付きストア → 回答：連続 7 回のフル実行が 0.66–0.68（平均 0.667、n=3 クリーン）に収束。MemOS の自己申告 0.672 に対して —— 勝利ではなくパリティ、我々もそう言い切ります。ジャッジは GPT-4 ではなく Claude；生ファイルはリポジトリに。
クロスユーザー汎化 0.716 同じレシピを一度も見ていないユーザー（n=169）に適用：0.716。レシピは特定ユーザーのデータに最適化されていません。
メモリ境界の棄権 1.000 × 7 回 ストアが答えを裏付けられないとき、でっち上げを拒否 —— 連続 7 回のエンドツーエンド実行で 1.000。競合が測らない軸です。
多言語ゲートの穴 —— 封鎖 8/10 → 0/10 実地テストから再現：同じ裏付けのない誇大主張が 10 言語中 8 言語でゲートを素通り（字句スクリーンは英・伊のみ）。多言語エンベッダー自体を検出器に使うセマンティック二重チェックで修正し、その後 敵対的レビューで鍛錬 —— held-out 文で最初の「誤検知 0」主張を反証されました：疑問文・否定文・伝聞は決定論的ガードにより設計上除外。修正後の実書き込みパスでは：誇大主張を 10/10 言語で検出、held-out 誤検知 0/14 —— 校正スクリプト、レビュー所見、生ファイルはリポジトリに。
メモリ矛盾の解消 0.15 → 0.82 修正後、矛盾する更新が 5.5× 多く採用される；誤った撤回を精度フロアで 99 → 7 に（クロス属性 0）。敵対的 critic の裁定：claim_holds。
ハルシネーション率（ダイヤル） 0.233 → 0.111 スイッチとして −52%（ENGRAM_GROUNDING_GATE）、正しい回答は保ったまま。recall-first か trust-first を自分で選べる —— QA でも書き込み経路でも。
Retrieval recall@5 · LongMemEval-s 0.8745 フル500、ジャッジなし、同一の e5 エンベッダー、外部API ゼロ。Fusion ON 対 0.8525 OFF（+2.2 pp）。これは recall@k であり、エンドツーエンドの QA 正確度ではありません。
レイテンシ · 並行 38ms / 166–237ms 書き込み 38ms p50（完全なゲート）；読み取り 166–237ms（履歴 + TrustReport、5k 事実）。単一 SQLite で 500 並行プロセス、エラー 0（軽量ワーカー）。
テストスイート 7,761 グリーン 自前実行、リポジトリから再現可能。第三者ランキングなし。 LLM プロバイダへのライブ・スモークテスト 1 件は環境依存（ホスト型プロバイダが必要）のため集計から除外。
TrustMem-Bench · 信頼の軸 Verimem 60/60 自前の決定論的な信頼ベンチマーク —— LLM なし、ネットワークなし：6 軸、1 コマンド。Verimem は 60/60 をクリア；mem0 OSS は 40/60 をカバー（不在・忘却・来歴で 0/10）。あえての raw-store ベースライン —— 競合の実行を歓迎します。
VeriBench · 信頼のスタンダード 決定的 · self-run 信頼できるメモリのためのオープンベンチマーク —— recall@k には見えないものを測ります。対称的なスコアでは、自信満々の誤答と正直な「わかりません」を区別できないからです。因果軸では、疑似相関を裏付けた trust のみの store は λ=1 でもネットでマイナス（来歴 ≠ 因果）。敵対軸 —— 共謀＋信頼されたスリーパー —— では、2 チャネルポリシー（独立した裏付けと結果）だけがプラスを維持し、単独チャネルはどちらかの攻撃に敗れます。モデル不要・ワンコマンド・仕様はリポジトリに —— 競合の実行を歓迎します。 完全な結果・プロトコル・head-to-head →
Source trust · 実コーパス カルテル 0.90 → 0.20 · 3/3 seeds HaluEval held-out、判定基準は初回実行前に事前登録：4 つの ID からなるカルテルが素朴な ≥2 ソース計数で 0.90 まで自己確証するのを、独立性＋監査による交絡除去が 0.20 まで解体。正直なソースは 0.95 に回復し、カルテルの幻覚回答はリコールから消滅（→ 0.0）。頑健性曲線（18 点）：欺瞞者が書いた誤答 = 全ノイズ水準で 0/18。残余はすべて正直なミス —— per-claim の病であり、公表済み、隠しません。
SLA ノブ · 申告リスクで動作 TCE ≤ 0.011 · リスク 1.1% @ 73% カバレッジ 強い AUROC はスコアが識別できることを示しますが、λ ノブが申告リスクで動作することは示しません（Oxford 2603.21172）。held-out で計測、キャリブレーションは dev のみで学習：生スコアはほぼオラクル級に順位付け（E-AURC 0.0008）しつつ、約束するリスクと実際が食い違う。純粋な単調キャリブレーション後は申告したすべての λ 目標を達成 —— λ ∈ {0.5–9} で TCE ≤ 0.011、観測リスク 1.1%・カバレッジ 73%。公表するトレードオフ：キャリブレーションは細かい順位付けを平坦化 —— 順位付けは raw、運用はキャリブレーション済みで。

ここの各数値は自前実行でリポジトリから再現可能です——第三者ランキングの順位ではありません。retrieval の数値は recall@k であり、Mem0 や Zep が掲げるエンドツーエンドの QA 正確度ではないため、直接は比較できません。

§03 違い —— 正直な組み合わせ

01書き込み許可ゲート

ソースの含意で各書き込みを許可・降格・拒否。ここに載る競合はどこも持っていません —— しかも 7 月から多言語対応：同じセマンティックスクリーンが 10 言語で、誤検知 0 に校正済み。

02来歴 + TrustReport

各ファクトが status + grounding_score を返却；update() は置換し、history() は監査可能なまま；explain() は「なぜ知っている？」の完全な調書を返します。

03バイテンポラル + タイムトラベル

2 つの時計（知った時 vs 真だった時）、履歴付き回答（「Z 日に X から Y に変化」）、as_of タイムトラベル、休眠ファクトのディープリコール —— valid_until だけではありません。

04セルフホスト・チームゲートウェイ

verimem gateway serve：自分のマシンでマルチテナント HTTP API —— ハッシュ化キー、テナント毎に分離されたストア、レート制限、ホットバックアップ、リモートプロビジョニング。データはあなたのインフラを離れません。

05信頼オドメーター + ダッシュボード

ゲートが実際に行ったことの永続カウンター —— 許可・隔離・拒否した書き込み、誠実な棄権 —— ストア毎・テナント毎、依存ゼロの /dashboard ページ付き。観察可能な行動であり、マーケティングの主張ではありません。

06正確な引用付きドキュメント記憶

PDF / DOCX / HTML / EPUB を索引化；パッセージはファイル・バージョン・文字オフセット付きで返り、ゲート経由で記憶に昇格できます。

07同意ファーストのインポート

ChatGPT / Claude のエクスポートから開始：会話はまず一覧表示され、タイトル・日付・プロジェクトで絞り込み可能 —— 明示的な選択なしには何も取り込まれません。

08効き続ける GDPR 忘却

delete(purge_history=True) はチェーン全体を畳みます —— 消されたデータは history、as_of、ディープリコールから再浮上しません。

09MCP ネイティブ + TypeScript SDK

Claude Code、Cursor、Cline、Zed でセッション開始時からメモリツール —— 加えてゲートウェイ向けの型付き・依存ゼロ TypeScript クライアント、ライブサーバーに対して契約テスト済み。

10あなたのサブスクで動く

ホスト型 MCP モード：API キー不要、トークン課金なし —— ホストの LLM が仕事をします。エアギャップ運用も可（verimem airgap がゼロ外向き通信を検証）。

11派生知識も、同じゲートを通す

合成リングは検証済み事実から「新しい」事実を導出し、あらゆる書き手と<b>同じ</b>アドミッション・ゲートに通します —— 生き残りは署名付き（エンジンの書き込みは決して自己証言しない）、追跡付き（親が倒れれば撤回可能）、そして通過した検査そのものをラベルに：proven / unbeaten(bound) / refuted(反例)。「10^6 まで耐えた」と「証明済み」は決して混同されません。

12読み取りガーディアン + 能動プローブ

読み取りは棄権するだけではありません —— store が同じ主語について、より保証の強い真実を持つとき、両方の事実を引用して「訂正」します（反証済みの事実は決して供されません）。そして store は「自分自身」を探ります：ある事実を反証するクエリを構築し —— 独立した反証は refuted ラベルを提案、生き延びれば unbeaten の下限が伸びます。待つ必要のない反証可能性。

13来歴署名

「誰が話しているか」の偽造不可能な HMAC が、各書き込みの来歴 ref の内側を通り、entailment ゲートの「何が受理に値するか」を補完します。コンテンツの真正性とチャネルの真正性 —— どんな決定的コンテンツフィルタ単独でも、適応的敵対者に対して認証できない 2 つの半分です。オプトイン；監査はカバレッジを報告し、違反者を名指しします。

システム書き込みゲート読み取りの来歴アプローチ成熟度
Mem0 ✗ ✗ フラットベクトル + LLM 要約 確立、広く採用
Zep / Graphiti ✗ 部分的（時間的） 時間的ナレッジグラフ 商用、成熟
HippoRAG ✗ ✗ OpenIE + PageRank 研究
Verimem ✓ ✓ 融合リコール + ゲート + 睡眠統合 できたて · 採用はまだ 0

競合のスコアや採用は出典や時期で変動します。私たちが立つ2つの列——書き込みゲートと読み取りの来歴——は構造的な精査から来ており、マーケティング表からではありません。

§04 Verimem でないもの
記録として
  • 採用 0。

    できたての公開リリース。まだ誰も依存していません——メンテナの日常利用を除けば、私たちも。

  • PyPI 公開 · 公開リポジトリ。

    pip install verimem —— v0.7.0 を PyPI で公開（AGPL-3.0）；公開リポジトリは GitHub。CI も初めてグリーン。とはいえ、できたてです。

  • Source-trust ガード —— 実コーパスで再現済み、なお opt-in。

    来歴の独立性と監査による交絡除去は、いまや実 held-out コーパスで成立します（HaluEval、事前登録基準、3/3 seeds）：捏造合意のカルテルが素朴計数で 0.90 まで自己確証するのを 0.20 まで解体、正直なソースは 0.95 に回復、幻覚回答はリコールから消えます。正直に測った限界：強い正直ノイズ下（信頼できるソースが ~15%+ で誤る）では分離が劣化 —— 残余は 100% 正直なミスで、per-claim の病、攻撃ではありません。フラグはデフォルト OFF のまま：証拠は切替の判断材料であり、切替はプロダクトの意思決定です。

  • スコープ：来歴であり、因果ではない。

    すべての TrustReport が明言します —— Verimem が保証するのは誰が事実を主張したか、どれほど独立に裏付けられたか、どれほど新しいか。因果的に真であることではありません。do(X) の問いには介入事実が必要で、裏付けられた観察事実では答えられません。

  • 自前ベンチマーク。

    各数値はリポジトリから再現できますが、第三者監査は受けていません。QA 対 MemOS の数値は Claude ジャッジ（GPT-4 ではない）で n=2 ユーザー。認証済みではなく再現可能として扱ってください。

  • エンドツーエンドのパリティ —— 自己判定。

    完全パイプライン（自前の抽出 → QA）は連続 7 回の実行で 0.66–0.68 に収束（n=3 クリーンストアで平均 0.667）。MemOS の 0.672 に対し、未見ユーザーでも 0.716 を維持。但し書きは変わらず：ジャッジは GPT-4 ではなく Claude、第三者監査なし。我々は「パリティ」と言い、「勝った」とは言いません。

  • セルフホストは可 —— マネージドクラウドは未。

    マルチテナントゲートウェイ（テナント毎の分離ストア、ハッシュ化キー、バックアップ、計量）は実在しテスト済み —— あなたのインフラ上で。マネージドクラウドサービスはまだ存在しません。

  • エンティティグラフ：型付き・オプトイン・若い。

    会話エンティティ抽出（型付きティア）は出荷済みですがデフォルトはオフ；グラフ上のマルチホップ推論は実測で最弱の軸（0.39–0.44）で、現在の作業前線です。

§05 インストール

① Python —— ソースから

pip install verimem

verimem コマンドと from verimem import Memory SDK を提供 —— add() / search() / history() / explain()。ローカル SQLite、オフライン、ゲートはデフォルトで有効。

github.com/aureliocpr-ctrl/verimem ↗ · AGPL-3.0 · README · BENCHMARKS.md

② MCP サーバーとして —— Claude Code、Cursor、Cline、Zed

{
  "mcpServers": {
    "verimem": {
      "command": "verimem",
      "args": ["mcp"],
      "env": { "ENGRAM_HOSTED": "1" }
    }
  }
}

ホストを再起動すると、メモリツールがAPI キー不要で呼び出せます —— ホストの LLM が処理します。

③ セルフホスト・チームゲートウェイ

verimem gateway keys create --tenant acme
verimem gateway serve   # 127.0.0.1:8377 · /ui

verimem gateway keys create --tenant acme の後に verimem gateway serve —— テナント毎に分離されたストア、レート制限、ホットバックアップ付きのマルチテナント HTTP API。/ui で信頼オドメーターを確認；型付き TypeScript クライアントはリポジトリに同梱。

④ 動きを見る — トラストコンソール

verimem console   # your store · odometer · graph · live

verimem console は自分のローカルストアをブラウザで開きます — 信頼オドメーター、すべての結論が証拠の連鎖を伴うナレッジグラフ、ブロックされた主張のログ、SSE によるライブ更新。チームゲートウェイは同じコンソールを /ui で提供し、エージェントは /v1/snapshot で全状態を読み取れます。