Documents
Problem statement, verification, stage designs, reports and literature audits. Documents are published in their original language.
Programme and its verification
- PBH collapse: oscillating-scalar EKG → Vlasov limit — minimum decisive experiment The 22 September brief — "use Vlasov instead of EKG" and the minimum decisive experiment. EN 2026-09-22 · 61.0 KB
- Brief verification and V0 / V1 / V1b implementation plan Verification of the brief and the V0/V1/V1b plan, with the gauge equations (Appendix B) and items 6.10–6.12. EN 2026-09-23 · 91.0 KB
- PBH collapse: independent verification and V0 / V1 / V1b implementation plan Independent second audit of the same brief; cross-checked in Section 4a of the plan. EN 2026-09-23 · 49.6 KB
- Полное релятивистское образование и статистика ПЧД The original full problem statement and compute requirements. RU 2026-09-12 · 28.2 KB
- Полное релятивистское образование и статистика ПЧД: рабочая постановка Scale and feasibility audit. RU 2026-09-12 · 19.0 KB
- Изменения программы моделирования: X как общий предок барионов и ПЧД Programme changes — X as a common progenitor. RU 2026-09-13 · 53.4 KB
Stage designs and builds
- Этап 2: модуль Власова (частицы) для 3D-расчётов — проект Stage 2 design — the Vlasov particle module for the 3D code GRTeclyn. RU 2026-09-30 · 9.0 KB
- Stage 1b (e ≠ 0): early-start 3D particle runs — design (5 Oct 2026) Stage 1b design — early start and non-spherical peaks (e ≠ 0). EN 2026-10-05 · 3.7 KB
- GRChombo на Hetzner AX102-1: сборка и первый запуск Building GRChombo on the server and the first run. RU 2026-09-29 · 7.6 KB
Reports
- Фаза 1 (Stage A, шаг 1): отчёт и запрос ресурсов Phase 1 report — spherical Einstein–Vlasov in the polar-areal gauge. RU 2026-09-13 · 10.0 KB
- Проверка расчёта перед длинными прогонами и описание конечного результата Verification of the phase 1 code before long runs. RU 2026-09-13 · 18.4 KB
Literature audits (23 September)
- Verification report: arXiv:2609.14218v1 (Yoo, Escrivà, Harada, Kohri) Verification of Yoo, Escrivà, Harada, Kohri (2026), arXiv:2609.14218. EN 2026-09-23 · 42.6 KB
- Verification report: PBH formation from an oscillating scalar field (checked 2026-09-23) Scalar Einstein–Klein–Gordon calculations — what has been done. EN 2026-09-23 · 47.5 KB
- Literature-claim verification report — PBH formation in matter domination PBH abundance and Newtonian estimates in matter domination. EN 2026-09-23 · 47.3 KB
- Literature verification report — Einstein–Vlasov PBH brief (2026-09-23) Einstein–Vlasov numerics and mathematics. EN 2026-09-23 · 33.7 KB
- Literature verification & novelty report — PBH formation in a matter-dominated / oscillating-scalar era Observational limits, novelty and public codes. EN 2026-09-23 · 33.1 KB
PBH-VERIFY-01: the verified sphdiag diagnostics module
- PBH-VERIFY-01 — пилот «вывод → реализация → независимая проверка» для модуля сферических 3+1-диагностик The "derivation → implementation → independent verification" pilot. RU 2026-09-29 · 8.2 KB
- decision.md — PBH-VERIFY-01 The pilot's final decision. RU 2026-09-29 · 7.1 KB
- physics_contract.md — PBH-VERIFY-01 The physics contract of the sphdiag module. RU 2026-09-28 · 31.6 KB
- derivation.md — PBH-VERIFY-01, вывод и проверка формул F1–F13 Derivation and checks of formulas F1–F13. RU 2026-09-28 · 30.6 KB
- audit_report.md — PBH-VERIFY-01 Implementation audit. RU 2026-09-29 · 14.0 KB
- mutation_report.md — PBH-VERIFY-01 Mutation testing. RU 2026-09-29 · 10.4 KB