تعتبر هذه الورقة الورقة C3 من سلسلة مشاريع الواقع العاكس. تستعرض النتائج الفيزيائية لبرنامج البحث عن الواقع العاكس للفيزيائيين النظريين - النظرية عالية الطاقة، أسس الكم، الجاذبية الكمومية، علم الكون، والميكانيكا الإحصائية. كل ادعاء يحمل علامة مرجعية داخل قوس يتوافق مع نظرية مُتحقَّق منها بالآلة في Lean 4 بدون مسلمات مخصصة وبدون أخطاء. للتحقق: (2) قاعدة بورن هي نقطة الإغلاق الفريدة لمشكلة تعيين الاحتمالات، وليست مسلمة؛ (3) سهم الزمن هو نتيجة هيكلية لسجلات مستقرة، سابقاً على الحجج الديناميكية الحرارية؛ (4) معلومات الثقوب السوداء، والترميز الهولوغرافي، واختيار السفر عبر الزمن، وعدم الإشارة بسرعات تفوق الضوء، كلها مقيدة بنفس الآلات القطرية؛ (5) تتولد الثوابت الاقترانية للنموذج القياسي وكتل الفيرميونات بدون معلمات حرة من إطار نظرية الأعداد (UGP) الذي تُتحقق فيه النتائج الأساسية بالآلة؛ و(6) تؤسس سلسلة التصنيف التوافق مغلق كشرط ضروري وكافٍ للصلاحية الأساسية وتضيق أنواع الكون المقبولة إلى نقطة نهاية قريبة من التصنيف. حدود الثقة. هذه بوابة توضيحية. يتم سرد الادعاءات المُعلمة بعلامات بين قوسين في . التعريف الفيزيائي والدافع ليسا بيانات نظرية إضافية ما لم يتم وضع علامة عليها كبيانات مستخرجة من النظرية. تتبع مستويات الادعاء مفتاح تحليل نوع الادعاء المفتوح.
نوفا سبيفاك (شمس) درست هذا السؤال.