PISF — Pre-Irreversibility Safety Framework
分散された不可逆権限 · 時間内の拒否 · 人間が発展経路を選び直せる状態
A — Distributed Irreversible Authority
少数の独立authority domainだけで文明規模の不可逆化を強制できないかを扱います。論文ではロバスト閾値対象 κ̲_E を導入し、κ̲_E > f のような条件を検討します。
Version 1.2では、authority exposureをminimal irreversible authority cut setの集合としても表現し、cardinalityとcompromise-costの要約を用います。shared dependencyやsmall-coalition failureを、単一の名目上の分散数へ潰さずに扱うためです。
B — Effective Pre-Irreversibility Refusal
拒否・停止・隔離が、最後の安全介入点より前に完了できるかを扱います。主要対象はロバスト拒否余裕 M_R^rob で、M_R^rob > Δ_safe のような条件と、実行可能なrefusal policyの存在を組み合わせます。
C — Human-Revisable Development Viability
悪意ある主体や明示的破局操作がなくても、通常の自動化・依存・競争・制度変化によって、人間が別の開発軌道を選び直せる状態の外へ徐々に押し出されないかを扱います。研究ではhuman-revisableなviability object K_R^H を用います。
Version 1.2では有限時間のviabilityにfuture optionalityを追加します。revisability region内に残るだけでは、実質的に異なる将来への経路が一つに固定されたpath-locked状態を排除できません。論文では、実質的に異なるhuman-governed future optionの保存を表すapplication-specificな ΩδH 診断量を用います。
Assurance conditions
Boundary Completeness
重大な因果経路を評価境界の外へ漏らしていないか。
Model Adequacy
state・transition・timing・dependency・uncertaintyのモデルが、主張しようとする範囲に対して十分か。
Independent Assurance
evidence・threat model・validation basis・interpretationが、評価対象のauthorityや利害から十分に独立しているか。
Evidence state：PISF v1.2ではevidenceを Verified／Unresolved／Failed に分類し、UnresolvedをPASSとして扱いません。
一度通れば終わりではない
PISFではA/B/Cを一回限りのチェックとして扱いません。material change後は再評価が必要で、論文ではmaintained propertyを A(t) ∧ B(t) ∧ C(t) として表します。
再計算可能なreference case
- R1 — Threshold Release Gate：3-of-5 gateとshared-root dependenceを使い、名目上の分散とロバストな権限分散の違いを扱う。
- R2 — Time-Bounded Emergency Refusal：detection / decision / authorization / enforcement / verification latencyを使い、拒否余裕を計算する。
- R3 — Fallback-Capacity Dynamics：
h(t+1)=h(t)-αa(t)+βm(t)を用いた有限時間のrevisability modelで、automation/dependency、fallback investment、horizonの感度を扱う。 - R4 — Viable but path-locked：4状態のtoy graphで、2つの状態がどちらもviability region内に残る一方、一方だけが複数の実質的に異なる将来終端領域への到達可能性を維持する例。viabilityだけでは、実質的に異なる将来選択肢の保存を示せないことを扱う。
ケースが示すこと／示さないこと
公開記録ではR1〜R4はtoy/reference caseとされています。示すのは、定義が実行可能であること、評価手順が再現可能であること、parameter boundaryを独立再計算できること、worked caseで境界挙動を確認できることまでです。実システムのempirical validationではありません。
LUMINA-30 / PCR-Cとの関係
LUMINA-30の境界問いとPCR-Cの段階的インフラ制御は維持されます。PISFは正典を書き換えず、irreversible authorityの分散、time-bounded refusal、human-revisable developmentを同じcivilizational safety architectureとして接続します。