LUMINA-30 PUBLIC RESEARCH

公開研究スタック / Public Research Stack

4つの補完的な中核研究ライン · ＋ 第7論文 / Human Anchorという独立した形式理論・実装接続レイヤー

このページの役割：LUMINA-30を支える4つの中核公開研究ラインと、第7論文 / Human Anchorという独立した形式理論・実装接続レイヤーを辿る研究ハブです。第7論文は5本目の同列な中核ラインではありません。研究論文はLUMINA-30正典を定義せず、認証状態や安全保証を作りません。

一つの問題を、4つの異なる失敗場所に分ける

この研究スタックでは「AI safety」を一つの変数へまとめません。不可逆化へ向かう過程で、別々に壊れ得る4つの問いを分離します。

PCR-C

不可逆化前まで、制御経路へ到達できるか。

介入能力を超える前に作用する、段階的なインフラ層カットオフ研究。

研究ガイドを開く

Objective Persistence

自己完結系は、目的が持続していることを内部だけで非循環的に保証できるか。

存在条件と外部アンカーを扱う研究レイヤー。

研究ガイドを開く

L30-RET

独立したHuman NOは、時間内に本当に結果を変えられるか。

human standing・実効的拒否・意思決定ガバナンスの研究。

L30-RETガイドを開く

PISF

authority・refusal・revisabilityを不可逆化前に同時に保てるか。

複数の非代替的安全次元を統合したpre-irreversibility safety case。

研究ガイドを開く

Research Landscape

研究ライン主な対象典型的な失敗研究上の役割
PCR-Cインフラ／制御経路介入能力を実質的に超えた後で、システムが不可逆閾値を越える。境界を越える前に作用する段階的インフラ層カットオフモデル。
Objective Persistence目的持続性／外部アンカー自己完結系が、評価対象である目的の持続性を、同じ内部系の基準だけで評価する。なぜ外部境界・外部アンカーが構造的に必要になり得るかを扱う存在条件論。
L30-RET人間の拒否人間や承認手続きは存在するが、権限・情報・アクセス・時間・因果効果・独立性・認識自律性のどこかが欠け、NOが結果を変えられない。拒否が形式ではなく実務上有効かを7つの非補償的ゲートで検査。
PISFAuthority + Refusal + Revisability局所的停止手段があっても、不可逆権限が集中する、拒否が間に合わない、または社会が別の発展経路を選び直せなくなる。単一スコアではなく、代替不能な複数安全次元を同じsafety caseで扱う。

4本を一緒に読むと何が見えるか

PCR-Cは制御経路が残るかを問います。Objective Persistenceは、目的持続性の主張を評価対象システムの内部だけに依存せず根拠づけられるかを問います。L30-RETはHuman NOが現実に結果を変えられるかを問います。PISFは、不可逆権限の分散、時間内の拒否、人間が発展経路を選び直せる状態を同時に維持できるかを問います。

4つは補完的ですが、相互に置換できません。 一つの研究ラインで良い結果が出ても、別の研究ラインの失敗を相殺したことにはなりません。そのため単一の認証スコアへ圧縮せず、どの失敗モードが問題かを分けて見ます。

論文ではなく「研究対象」から入る

第7論文 / Human Anchor / AIS-HA

第7論文は、protected authority transitionとHuman-Revisable Authority Regionの維持を扱う独立したHuman Anchor形式理論レイヤーを追加します。公開Human Anchorページは、experimental / boundedな実装・検証surfaceです。

評価軸を混同しないでください。 形式理論の妥当性、実装可能性、実装実績、実証、独立した第三者検証、制度導入、認証は別の主張です。公開Human Anchorページが存在すること自体は、後者を証明しません。

Version DOI v1.0: 10.5281/zenodo.23501550 / Concept DOI: 10.5281/zenodo.23501549

取得：GitHub PDFミラー · 同一Version AI-readable全文。PDF SHA-256: a441529cfe40c26c479540e2fde9134711152527730de5e2218558fd5b59440b。Text SHA-256: 89eaade3ac655d57c2b718289807458c7308c940637f16bb7598b7b18c108ec4。公開識別の正本はZenodo Version DOIです。

Research → Practice

研究で見つかった問題はLUMINA-30の実務層へ接続できます。ただし、論文群を公式認証フローへ変換するものではありません。制御経路の問題はPCR-Cや事故前境界レビュー、拒否の問題はL30-RET・Stop Authority・Evidence Requirements、事故やニアミスはIncident Review、より広いauthority/revisability問題はPISF型のsafety-case分析へ接続できます。

公開参照