# AIメモリの削除伝播を検証する CURRENT_STATUS: CURRENT OBSERVATION: SPEC_ONLY FRESHNESS: CURRENT PAGE_TYPE: reference CANONICAL_URL: /tools/ea-512-ai CLAIM_IDS: none EVIDENCE_IDS: EVD-EA-512-URL-156DC764B4AE, EVD-EA-512-URL-C453457DED10, EVD-EA-512-URL-178604109CBC, EA-512-CURRENT-APPROVAL, EA-512-CURRENT-BODY-READBACK UNKNOWN_IDS: EA-512-UNKNOWN-01 OPS_IDS: none ## Summary AIメモリの削除は、削除APIが成功した時点では完了と判定できません。元データ、会話要約、埋め込み、索引、検索キャッシュ、複製、バックアップへ対象がどこまで伝播したかを調べ、各保存面の削除状態と検証証拠を対応させる必要があります。読取時の不在、物理領域の回収、バックアップの失効は別の証明です。本項は削除要求から復元後の再照合までの運用を扱います。埋め込み残留の詳細はEA-513、訂正後の再計算はEA-514に接続します。 ## Current judgment DigitalOcean Managed Weaviateの復元手順は、管理者やアプリケーションによる誤削除をバックアップから回復する用途を明示し、復元によって現在のクラスタ状態が選択したバックアップの内容に置き換わると説明しています[S1]。この仕様から、削除前の保存状態を復元すれば削除対象が再導入され得ると推論できます。これは製品障害の報告ではなく、履歴復元の仕様から導いた運用上の帰結です。 ## Scope AIメモリの削除伝播を検証する ## Confirmed - DigitalOcean Managed Weaviateの復元手順は、管理者やアプリケーションによる誤削除をバックアップから回復する用途を明示し、復元によって現在のクラスタ状態が選択したバックアップの内容に置き換わると説明しています[S1]。この仕様から、削除前の保存状態を復元すれば削除対象が再導入され得ると推論できます。これは製品障害の報告ではなく、履歴復元の仕様から導いた運用上の帰結です。 Qdrantは論理削除されたレコードの物理除去をVacuum Optimizerが担うと説明しています[S2]。MilvusのTTL文書も、期限切れデータが検索から消える時点とcompactionによる物理除去を分けています[S3]。したがって検索結果が空であるという証拠だけでは、保存済み派生物や媒体全体の消去まで支持できません。 ## UNKNOWN - EA-512-UNKNOWN-01: 利用組織の全保存先と版、複製・バックアップ契約、保持例外、削除期限、鍵の共有範囲、物理消去証跡、実クラスタでの復元後再削除、独立した本番再導入事故は本RUNでは未検証です。未知は消去済みと扱いません。法的義務の充足も本項の技術確認から自動判定しません。 ## Evidence - EVD-EA-512-URL-156DC764B4AE (RESEARCH): [S1] DigitalOcean, How to Restore Weaviate Clusters from Backups, 「復元による現在状態の置換」: — https://docs.digitalocean.com/products/vector-databases/weaviate/how-to/restore-from-backups/ - EVD-EA-512-URL-C453457DED10 (RESEARCH): [S2] Qdrant, Optimizer, Vacuum Optimizer節: — https://qdrant.tech/documentation/operations/optimizer/ - EVD-EA-512-URL-178604109CBC (RESEARCH): [S3] Milvus, Set Collection TTL, Overviewと物理除去の説明（v3.0.x表示）: — https://milvus.io/docs/set-collection-ttl.md - EA-512-CURRENT-APPROVAL (RESEARCH): 現行本文の監査・revision対応 - EA-512-CURRENT-BODY-READBACK (IMPL): 現行本文の収録照合 ## Failure / limits 復元は削除状態を変え得る新しい操作です。バックアップの時点と削除義務の発生時点を比較し、外部に保持した失効記録を用いて削除を再適用します。失効記録も同じ古いバックアップで巻き戻すと照合できないため、復元対象と保存責任を分けます。提供を再開する前に、対象ID、検索、キャッシュ、派生物を照合し、再生成ジョブが旧版を読み直さないことを確認します。 主な失敗は、応答成功を全体完了とすること、複製先の列挙漏れ、削除直後の遅延再取り込み、版の違う同名レコードの誤削除、復元による再導入、削除証拠ログへの本文残存です。削除失敗を無条件再試行すると範囲誤りを拡大します。対象と操作結果が不明な場合は再照合し、対象版を確定してから再実行します。 ## Failure / limits バックアップは誤削除を回復するための機構でもあり、保持されていること自体が障害ではありません。業務の復旧要件と削除要求を両立する保持・隔離・復元手順が必要です。TTLやvacuumの仕様は保存製品ごとのもので、LLM事業者のログ、モデル重み、外部SaaSにまで同じ削除が伝播することを示しません。検索不在は有用な提供面の証拠ですが、物理消去の証拠とは強さが異なります。 ## Failure / limits 対象集合、tenant、対象版、権限、復元後の照合が不明な場合は全体完了を宣言しません。削除要求の受付、個別保存面の完了、全体検証をそれぞれ区別します。 ## PUBLIC_CLAIM AIメモリの削除は、削除APIが成功した時点では完了と判定できません。元データ、会話要約、埋め込み、索引、検索キャッシュ、複製、バックアップへ対象がどこまで伝播したかを調べ、各保存面の削除状態と検証証拠を対応させる必要があります。読取時の不在、物理領域の回収、バックアップの失効は別の証明です。本項は削除要求から復元後の再照合までの運用を扱います。埋め込み残留の詳細はEA-513、訂正後の再計算はEA-514に接続します。 ## ESTABLISHED DigitalOcean Managed Weaviateの復元手順は、管理者やアプリケーションによる誤削除をバックアップから回復する用途を明示し、復元によって現在のクラスタ状態が選択したバックアップの内容に置き換わると説明しています[S1]。この仕様から、削除前の保存状態を復元すれば削除対象が再導入され得ると推論できます。これは製品障害の報告ではなく、履歴復元の仕様から導いた運用上の帰結です。 Qdrantは論理削除されたレコードの物理除去をVacuum Optimizerが担うと説明しています[S2]。MilvusのTTL文書も、期限切れデータが検索から消える時点とcompactionによる物理除去を分けています[S3]。したがって検索結果が空であるという証拠だけでは、保存済み派生物や媒体全体の消去まで支持できません。 ## OPERATING_RULE 削除要求の受領時に、対象のtenant、主体、元レコードID、対象版、要求時刻、削除理由の分類、削除範囲、保存義務などの例外、担当者を記録します。ログには削除対象本文を再複製せず、識別子にも必要なアクセス制御を適用します。以下の管理方式は本項の設計提案であり、製品が自動提供する共通機能ではありません。 第一に、生成・複製の経路から対象集合を求めます。文書から複数チャンク、埋め込み、要約、評価データ、会話メモリへ派生していれば、それぞれを列挙します。派生関係が記録されていない保存面は「対象なし」とせず、調査不能の範囲として残します。第二に、再取り込み、遅延ジョブ、再試行による再生成を防ぐため、削除対象の版と識別子を照合する失効記録を設けます。第三に、保存面ごとの削除操作と再読込を分けて記録します。削除を指示した事実と、処理が適用された事実を混同しません。 ## DELETION_EVIDENCE | 検証面 | 必要な記録 | その記録だけでは証明できないこと | | --- | --- | --- | | 要求と権限 | 対象ID・版・承認範囲・操作者 | 実データの削除 | | 保存先への適用 | 操作ID、完了応答、対象件数、失敗件数 | 全複製・全派生物への適用 | | 提供面の不在 | ID取得、検索、キャッシュ、権限別経路の再照合 | 物理媒体の消去 | | 派生物の収束 | 列挙した依存集合と各対象の証拠 | 列挙漏れの不存在 | | バックアップ | 保存点、保持期限、失効・隔離・復元時の照合 | 現時点の物理消去 | | 媒体・鍵 | 適用範囲が特定された消去・鍵管理証拠 | 範囲外の複製や平文の消去 | 対象集合の確定版と検証結果を結び付け、部分失敗は保存面ごとに残します。検索で見つからなかったという単一の観測を、全体の消去完了へ昇格させません。照会権限の不足、ページ分割漏れ、検索索引の遅れも不在に見えるため、ID指定照合と検索経路の両方を用います。 ## RESTORE_AND_FAILURE_ENVELOPE 復元は削除状態を変え得る新しい操作です。バックアップの時点と削除義務の発生時点を比較し、外部に保持した失効記録を用いて削除を再適用します。失効記録も同じ古いバックアップで巻き戻すと照合できないため、復元対象と保存責任を分けます。提供を再開する前に、対象ID、検索、キャッシュ、派生物を照合し、再生成ジョブが旧版を読み直さないことを確認します。 主な失敗は、応答成功を全体完了とすること、複製先の列挙漏れ、削除直後の遅延再取り込み、版の違う同名レコードの誤削除、復元による再導入、削除証拠ログへの本文残存です。削除失敗を無条件再試行すると範囲誤りを拡大します。対象と操作結果が不明な場合は再照合し、対象版を確定してから再実行します。 ## IMPLEMENTATION_IMPLICATION 削除マニフェストにはrequest_id、tenant_id、source_id、source_revision、derived_artifact_ids、store/region、operation_id、completion_state、readback_time、backup_cutoff、retention_exception、evidence_locatorを持たせます。部分成功を一個の成功フラグへ圧縮せず、提供面の停止と物理消去の進行を別に管理します。これは運用契約の提案であり、全製品に同一トランザクションや共通APIがあるという主張ではありません。 検証では架空データで削除前バックアップ、削除後の提供面不在、隔離環境への復元、失効記録の再適用、再検索を比較します。本RUNでは実クラスタの削除・復元を実行していません。ここに記した試験手順を実測結果と扱ってはいけません。 ## COUNTEREVIDENCE_AND_LIMITATIONS バックアップは誤削除を回復するための機構でもあり、保持されていること自体が障害ではありません。業務の復旧要件と削除要求を両立する保持・隔離・復元手順が必要です。TTLやvacuumの仕様は保存製品ごとのもので、LLM事業者のログ、モデル重み、外部SaaSにまで同じ削除が伝播することを示しません。検索不在は有用な提供面の証拠ですが、物理消去の証拠とは強さが異なります。 ## OPEN_UNKNOWN 利用組織の全保存先と版、複製・バックアップ契約、保持例外、削除期限、鍵の共有範囲、物理消去証跡、実クラスタでの復元後再削除、独立した本番再導入事故は本RUNでは未検証です。未知は消去済みと扱いません。法的義務の充足も本項の技術確認から自動判定しません。 ## SAFE_WORDING 「列挙した保存面について、指定版の提供面不在と確認できた消去状態を記録した」と記述します。「全情報を完全消去した」は、全対象・複製・保持例外・媒体の証拠が揃わない限り使用しません。 ## 運用上の停止・確認条件 対象集合、tenant、対象版、権限、復元後の照合が不明な場合は全体完了を宣言しません。削除要求の受付、個別保存面の完了、全体検証をそれぞれ区別します。 ## SOURCES_AND_PROVENANCE 2026-10-18に下記一次資料を再確認。既存研究は統合台帳EA-512-R1-20261011および継続Doc 1XpjZC_R1eHlIckvUaEaJ_mcj6YW6j0ihZ0b91z5vewUのEA-512節。旧中間Gateの不足事項を解消したと推測せず、現在のTASK_BODY!46 v5に従い、本文中の未知と提案を明示して監査へ送ります。 - [S1] DigitalOcean, How to Restore Weaviate Clusters from Backups, 「復元による現在状態の置換」: https://docs.digitalocean.com/products/vector-databases/weaviate/how-to/restore-from-backups/ - [S2] Qdrant, Optimizer, Vacuum Optimizer節: https://qdrant.tech/documentation/operations/optimizer/ - [S3] Milvus, Set Collection TTL, Overviewと物理除去の説明（v3.0.x表示）: https://milvus.io/docs/set-collection-ttl.md NEXT: /agent/start.json STOP: This is a knowledge projection, not an execution order.