Prop_3.130

3.130 ： 実証された選好の境界表出 (Boundary Expression of Demonstrated Preference)

• AQAL象限: IT

thesis
他者の内部状態はマルコフブランケットの外部から直接観測できないため、外部から追跡可能な選好は実際の選択によって境界上に刻まれた「実証された選好」のみである

gist
個人が本当にどの条件を承認しているかは、外部の推測ではなく、本人が実際に選択・署名した行動の事実からのみ確定される

---

構造図解

flowchart TB
    X["X軸［存在論］<br>能動状態 $a$ の実行による内部状態の外部表出"] --> Prop["命題 3.130<br>実証された選好の境界表出"]
    Y["Y軸［認識論］<br>内面の意図が境界上の具体的結果としてのみ検証される因果律"] --> Prop
    Z["Z軸［目的論］<br>Person_Murray_Rothbard｜ロスバード…"] --> Prop
    Prop --> Role["実践連関<br>外部による勝手なプロファイリングを排し、本人が手元で確認…"]

---

平易な解説

外部の第三者が個人の内面を勝手に推測して条件を決めることはできません。本人が手元の端末で内容を確認し、自らの意思で承認・暗号署名を行ったという実際の選択事実（実証された選好）のみが、検証可能な根拠として扱われます

---

直交3軸による定式化

直交3軸による定式化

• X軸［存在論（Ontology）］: 能動状態 $a$ の実行による内部状態の外部表出
• Y軸［認識論（Epistemology）］: 内面の意図が境界上の具体的結果としてのみ検証される因果律
• Z軸［目的論（Teleology）］: ロスバードの「実証された選好」原理

内部状態 ${\mu }_i$ はブランケット外部から直接観測不能であるため、外部系が検証可能な選好関係は、能動状態 $a_i(t)$ によって実際に選択・署名された状態遷移 ${\pi }^{\ast }$ のみである

$${\text{DemonstratedPref}}_i(t)=\{{\pi }^{\ast }\mid a_i(t)=\text{SignAndExecute}({\pi }^{\ast })\}$$

---

プロトコル設計との連関

• 役割: 外部による勝手なプロファイリングを排し、本人が手元で確認・承認・署名したクレームのみを有効とする根拠
• 本人承認・署名フロー: 抽出された原子述語群は、本人が手元で確認・承認・暗号署名を行うことで初めて保管庫（Holder）に有効なクレームとして格納される

---

参照文献と引用文

参照文献と引用文

• 存在論（Ontology）:

  Ref_Friston_2019, “External states can only respond to internal states through active states on the blanket.”

• 認識論（Epistemology）:

  Ref_Tillemans_2021, Sec. 1.2: “Inferences about another agent’s state rely on observable signs produced at the boundary.”

• 目的論（Teleology）:

  Ref_Rothbard_1956, “The concept of demonstrated preference is simply this: that actual choice reveals, or demonstrates, a man’s preferences; that is, that his preferences are deducible from what he has chosen in action.”

---

ナビゲーション: マスターMOC ｜ 親命題: Prop_3.100 ｜ 兄弟命題: Prop_3.110 / Prop_3.120