5.230 ： Storage（Holder）の仕様：自己主権保管・ルール分離・失効管理 (Storage (Holder) Specification: Self-Sovereign Retention, Rule Separation, and Revocation Management)
- AQAL象限:
IT
thesis
Holderモジュールは、承認・署名された原子述語群を個人管理下の保管庫に排他保持して外部の文脈ルールから完全に切り離し、エポック再設定時には過去の古い証明・合意トークンを即座に失効させるgist
本人が確認したデータは手元のデジタル金庫（Holder）だけに保管して場面ごとのルールと完全に切り離し、データを再設定したときは過去に出した古い証明を失効させて昔のラベルが一人歩きするのを防ぐ
構造図解
flowchart TB X["X軸［存在論］<br>内部状態 $\mu$ のカプセル化と外部環境モデル $R…"] --> Prop["命題 5.230<br>Storage（Holder）の仕様：自己主権保…"] Y["Y軸［認識論］<br>属性の仮設と文脈の条件の非癒着実装（Prop_2.520…"] --> Prop Z["Z軸［目的論］<br>自己所有権の実装と汎用データ資産の多文脈展開"] --> Prop Prop --> Role["実践連関<br>基本原則1（個人起点）と基本原則3（属性とルールの分離）…"]
平易な解説
手元の金庫（Holder）は、本人が確認・署名したデータを安全に保管し、場面ごとのルールと切り離して管理します。さらに、体調や価値観が変わってデータを再設定した際には、過去に外部へ発行した古い証明書を即座に失効（Revocation）させ、過去のデータが外部で使い回されるのを防ぎます
直交3軸による定式化
直交3軸による定式化
- X軸［存在論（Ontology）］: 内部状態 のカプセル化と外部環境モデル からの構造的独立
- Y軸［認識論（Epistemology）］: 属性の仮設と文脈の条件の非癒着実装（Prop_2.520）、および過去状態への固着の遮断
- Z軸［目的論（Teleology）］: 自己所有権の実装と汎用データ資産の多文脈展開
個人保管庫 は署名付きタプル のみを保持し、特定の文脈ポリシー関数 を一切内部に含まない（）
プロトコル実装仕様
- 役割: 基本原則1（個人起点）と基本原則3（属性とルールの分離）および無常への追従を
2-1. Holderとして実装する仕様 - 担当モジュール:
2-1. Storage :: Holder (Vault / PDS) - 入力: 本人が確認・承認した原子述語配列
- 出力: 署名済みクレーム、暗号コミットメント 、および旧エポック証明の失効ステータス
- 実装形態: 端末ローカルSQLite、セキュアエンクレーブ、個人主権型PDS
参照文献と引用文
参照文献と引用文
- 存在論（Ontology）:
Ref_Friston_2019, “Internal states are conditionally independent of external states given the blanket.”
- 認識論（Epistemology）:
Ref_Tillemans_2021, Sec. 1.2: “A past state that has ceased no longer possesses present causal efficacy.”
- 目的論（Teleology）:
Ref_W3C_VC_2025, Sec. 4.2: “Holders of verifiable credentials can generate verifiable presentations and then share these verifiable presentations with verifiers.”
ナビゲーション: マスターMOC ｜ 親命題: Prop_5.200 ｜ 兄弟命題: Prop_5.210 / Prop_5.220