# Relational Reality Theory — **Formal Track** (Codeberg-ready folder) This directory is intended to be pushed **as the repository root** on Codeberg (or mirrored elsewhere): one Markdown manuscript, one Python receipt, tests, and CI—**no** `rst_engine`, no vault. ## Contents | Item | Role | |:---|:---| | `cjanke_relational-reality-theory.md` | Propositions **1–14** (formal track) | | `reproduce_claims.py` | Boxed **$E_0$** motifs + Sovereign fixed point (**SciPy** `Γ` only) | | `requirements.txt` | `scipy`, `pytest` | | `tests/test_claims.py` | Standalone assertions (no `rst_engine`) | | `.forgejo/workflows/ci.yml` | Forgejo Actions on Codeberg | ## Quickstart ```bash pip install -r requirements.txt python reproduce_claims.py pytest tests/ ``` ## Inside the full RRT / RST monorepo This folder lives at `zenodo_submission/cjanke_relational-reality-theory/`. Root CI also runs `tests/test_zenodo_claims.py` (includes an `rst_engine` volume parity check). From **this folder**: ```bash pytest tests/test_claims.py -q ``` ## Fixed-point honesty The script’s **α** is the **postulate-encoded** fixed point (**α⁻¹ ≈ 137.067**), not a PDG fit inside the receipt file.