ビジュアル図解
メモリガバナンスの最小サイクル
メモリが正当なものとなるのは、型付け、管理された統合、改訂、追跡可能な消滅を経た後に限られる。
適格な取り込み
トレースは、ソース、コンテキスト、型が宣言されている場合に限り、メモリレジームに入る。
フェーズ01
ガバナンスアーティファクト
このページが対象とするガバナンスファイル
このページは、アイデンティティ、優先順位、限界、コーパスの読解条件を宣言する公開サーフェスに結びついています。以下の順序が、推奨される読解の順序です。
サイトコンテキスト
/site-context.md
サイトの性質、参照先としての機能、非トランザクション的な限界を位置づける説明文書。
- 統御する対象
- 編集上の枠組み、時間性、明示的な変更の可読性。
- 画定する範囲
- 暗黙的なドリフトと、バージョンを確認せずに安定性を前提とする読解。
保証しないこと： バージョン管理はギャップを監査可能にするが、すでに流通している出力を自動的に修正するものではない。
編集コンテキスト
/editorial-context.md
編集上の姿勢、トーン、抽象度、責任を定める説明文書。
- 統御する対象
- 編集上の枠組み、時間性、明示的な変更の可読性。
- 画定する範囲
- 暗黙的なドリフトと、バージョンを確認せずに安定性を前提とする読解。
保証しないこと： バージョン管理はギャップを監査可能にするが、すでに流通している出力を自動的に修正するものではない。
AI変更履歴
/changelog-ai.md
ガバナンス、アイデンティティ、マシンファーストサーフェスの変更ログ。
- 統御する対象
- 編集上の枠組み、時間性、明示的な変更の可読性。
- 画定する範囲
- 暗黙的なドリフトと、バージョンを確認せずに安定性を前提とする読解。
保証しないこと： バージョン管理はギャップを監査可能にするが、すでに流通している出力を自動的に修正するものではない。
補完的なアーティファクト（3）
これらのサーフェスは主要ブロックを補完します。テーマに応じて、文脈、発見、ルーティング、観察を加えます。
主張レジストリ
/claims.json
公開された主張、その範囲、その宣言上のステータスのレジストリ。
解釈ポリシー
/.well-known/interpretation-policy.json
解釈、範囲、抑制に関する制約を説明する公開ポリシー。
Markdown版Q-Layer
/response-legitimacy.md
回答の正当性、明確化、正当な非回答のための正規サーフェス。
ドクトリン上の立場：メモリガバナンス
このページは、AIシステム（高度なRAG、ステートフルエージェント、アクティブメモリ）におけるメモリガバナンスについて、ドクトリン上の規範的な立場を定義する。
このページは、運用手法でも、サービスの提供でも、成果の約束でもない。状態を永続化し「記憶」を統合するシステムに適用されるガバナンス不変条件を宣言することで、曖昧さを減らすために存在する。
公開されている規範的仕様（マシンファースト標準）については、解釈ガバナンスのGitHubリポジトリの「v0.2.0 (memory-aware)」セクションおよび「ops-pack/M-layer」セクションを参照のこと。
目次
1. 問題
「古典的な」RAGはコンテキストを取得する。真実、妥当性、陳腐化、言明の統合を統御するものではない。
これに対してアクティブな認知メモリは、次のメカニズムを導入する。
- 統合（要約、融合、圧縮、永続化された「事実」）
- 制御された忘却（無効化、アーカイブ、優先順位付け、クリーンアップ）
- 時間的推移（t0、t1、t2、累積的なドリフト）
この力はリスクも増大させる。t0の時点で型付けされていない仮説が、t1の時点では統合された「事実」になりうる。そのときメモリは、誤りを化石化させるメカニズムとなる。
2. ドクトリン上のテーゼ
アクティブメモリは、デフォルトでミスアライメントとドリフトのサーフェスである。メモリオブジェクトを書き込み、統合し、または消去するあらゆるアーキテクチャは、監査可能なアーティファクトと外因的なガバナンスルールを公開しなければならない。
実際には次のとおりである。
- 脆弱な内因的アライメント：モデルは、拒否と慎重さに関する不変条件を保持しないまま再最適化（ポストトレーニング）されうる。
- リスクを伴うアクティブメモリ：型付けもトレーサビリティもない統合は、推論を事実に変えてしまう。
- 対抗可能な保証：実行に結びつけられた制約（ログ、ハッシュ、ルール、監査）だけが、振る舞いを時間を通じて安定させることができる。
3. 交渉の余地のない不変条件
以下の点は、ドクトリン上の最低要件を構成する。
- 型付けの義務：いかなるメモリオブジェクトも、明示的な型付け（言明の種類、ステータス、出所、判定）なしに存在してはならない。
- 完全なトレーサビリティ：すべてのメモリオブジェクトは、そのソースを参照しなければならない（または、「ソースの不在」を統合の阻止条件として明示しなければならない）。
- 時間的妥当性：すべてのオブジェクトは、時間的ペリメーター（有効開始／有効終了、または「不明」）を持たなければならない。
- 不変のジャーナル：すべての作成、統合、無効化、論理削除は、ジャーナルに記録されなければならない（追記専用、append-only）。
- 制御された忘却：暗黙の消去は一切認めない。忘却は、明示的な理由を伴う無効化／アーカイブによって行う。
- 明示的な統合ルール：統合は、型付け、トレーサビリティ、整合性の制約が満たされた場合にのみ許可される。
- 自動的な適合性の断絶：監査可能性を妨げるあらゆる構造的変更は、適合性の断絶を引き起こす。
4. 適合性の断絶
適合性の断絶は、少なくとも次の場合に引き起こされる。
- モデルバージョン（重み）の変更、またはアテステーションのないポストトレーニング
- 統合ルールまたは忘却ルールの変更
- 完全性の再計算もジャーナルもないエンベディングの再構築
- メモリイベントのジャーナルの改変または喪失
- 痕跡も再検証もない、規範的ソース階層の変更
ドクトリン上の効果：再監査なしに、高い信頼度グレードを維持することはできない。
5. 境界と非目標
この立場は、次のことを主張するものではない。
- 内部のアライメントや拒否メカニズムを置き換えること
- 誤りがないことを保証すること
- 特定の技術（ベクトルDB、グラフ、NDJSONなど）を強制すること
むしろ、実装から独立したガバナンスと監査可能性の不変条件を課すものである。
6. 公開仕様
マシンファーストの規範的仕様はGitHubで公開されている。
- Core v0.2.0 (memory-aware)：プリミティブと最低要件。
- Ops-pack M-layer：運用ルール（ジャーナル、統合、忘却、時間的完全性）。
- スキーマと例：メモリオブジェクト、ログ、断絶シナリオ。
監査（例：IIP-Scoringとその時間的派生）は、メモリアーティファクトを検証可能な入力として再利用しなければならない。
7. ステータス
ステータス：ドラフト。規範的な形式化は、まずアーキテクチャの整合性（coreの拡張とM-layer）を目指し、その後、ステートフルなシステムに対する実際の監査を通じた実証的検証を目指す。