Objective Persistence — 存在条件レイヤー

目的持続性 · amendment authority · assurance independence

中心問い：同じamendment authorityが目的と、その目的持続性を検証する基盤の両方を変更できるとき、正の目的持続性判定はどの条件で独立した証拠としての効力を失うか。

公開研究から言えること

v3は、より限定された条件付き結果を示します。self-containedであること自体は、内部要素の普遍的可変性やformal verificationの不可能性を意味しません。目的を変更しながら、目的同一性の意味論やpersistence-relevantなvalidation basisも共同で変更し、assurance chainがなおPASSを返すmasking amendmentがamendment authorityに許される場合、その正の判定はamendment-independentな目的持続性証拠にはなりません。防御可能なassuranceには、そのようなmasking amendmentを排除するverified invariant、または評価対象のamendment authorityから外れたpersistence-relevant validation basisの少なくとも一方が必要です。その基盤は物理的に外部である必要はありません。

なぜ制御問題とは別なのか

PCR-Cは介入経路が残るかを扱います。Objective Persistenceは、システムが「目的を維持している」という主張を何に基づいて評価できるかを扱います。制御可能でも目的持続性の根拠が弱い場合があり、逆に目的持続性の議論だけではインフラ層カットオフを提供しません。

Assurance independence／保護された基盤

必要なのは物理的な外部性ではなく、評価対象のamendment authorityからの構造的な分離です。内部immutable kernel、protected verifier、verified transition invariant、独立管理された外部機構などは、目的持続性違反を覆い隠す共同改変ができない場合に、この役割を担い得ます。論文は、特定のanchorが長期的なobjective persistenceに十分であるとは主張しません。

この研究ラインから開く問い

目的持続性の主張に対して、何を「真に外部の証拠」とみなせるか。
評価者と評価対象が共通モデル・共通インフラ・共通前提へ依存する場合、その依存をどう表現するか。
形式上は外部でも、実質的には同じ系へ依存している検査をどう見分けるか。
自己改変や重大なアーキテクチャ変更後に、目的持続性の主張をどう再評価するか。

ここは公開研究ラインから導く研究アジェンダであり、論文がすでに解決済みと主張する内容ではありません。

他研究との関係