Open Research Questions

公開研究スタックから導く研究アジェンダ · 論文ですでに解決済みという意味ではありません

1. 実効的独立性をどう測るか

• クラウド基盤、モデル提供者、credentials、root administrator、法的支配を共有するauthority domainを、どこまで独立と数えるべきか。
• 組織上の分離と因果的独立性を区別するには、どの証拠が必要か。

2. Dynamic refusal margin

• モデル速度、自動化深度、deployment topologyが変わるとき、refusal latencyをどう更新するか。
• detectionやverificationの時間が固定値でなく不確実なとき、どれだけの安全余裕が必要か。

3. Objective Persistenceの証拠

• 評価者が評価対象とデータ・モデル・インフラ・前提を共有するとき、何をexternal anchorとみなせるか。
• 反復的自己改変後も、目的持続性の評価をinternal self-attestationへ崩さず維持できるか。

4. Human-Revisable Development

• fallback capacity、人間側技能、制度的代替手段、代替の可逆性を、どの観測指標で表現できるか。
• 単独のdeploymentは不可逆でなくても、累積依存が不可逆化する場合をどう評価するか。

5. レイヤー横断失敗

• PCR-C型のインフラ条件を満たしても、人間の意思決定が遅くL30-RETを満たさないシステムをどうsafety caseに表現するか。
• 局所的なrefusalは有効でも、PISF型のauthority concentrationや社会依存によって広いrevisabilityが失われる場合をどう扱うか。

6. Empirical Program

• 認証を目的としないcase studyとして、どの実世界のガバナンス／インフラ系が適しているか。
• 独立reviewer間でRET gateの評価はどの程度再現するか。
• 実運用系へ適用したとき、どのfalse positive / false negativeが現れるか。

研究上の規律

概念定義、toy/reference case、観測研究、empirical validationを明確に区別し、研究上の証拠とLUMINA-30正典の境界フレームワークも分離して扱います。