反射現実研究プログラムは、基礎的閉包定理から障壁プログラム、存在論的および行為的弧、サミット統合プロジェクトまで、形式的に閉じた研究大陸を跨る100以上の機械検証論文を含む。この論文は、プログラムに初めて出会う読者や、全体の中で特定のサブフィールドを見つけようとする読者のためのオリエンテーションマップを提供する。6つの主要なテーマゾーン、その依存関係、各ゾーンのフラッグシップ論文、哲学者、論理学者、物理学者、AI研究者のための分野ごとのエントリルート、および最近の結果の構造的意義を説明する—特に、シミュレーションと実現の関係を鋭くする機械検証された意味論的タイプの阻害結果（SPEC₀20）。このマップは定理の要約ではなく、研究文明のアーキテクチャチャートである。傘統合パッケージに基づいて主張を機械検証するために、湖の更新ポータルエイリアスネームスペース（哲学、形式理論、物理学、AIエージェント、意識・心）がインポートされる。この信頼境界は、ナビゲーション論文であり、新しい形式的レマサイトではない。解釈的ルーティングとゾーンラベルは説明的であり、ブラケットタグ付きまたは明示的に引用された主張は、引用ライブラリに対する監査表面である。
ノヴァ・スピバック（Sun,）はこの質問を研究しました。