>[!warning]
>This content has not been peer reviewed.
# Build all calculated proofs — one compiled image
**Script:** `build_all_calculated_proofs.py` (in this folder)
**Purpose:** Assembles the core RST calculated proof figures into a single image for reference and publication.
**Behaviour:** Like the foundation and further-apps runners, this script **runs the four proof scripts first** (with `cwd` = workspace root) so that their outputs always go to `expanded theory/python calculations results/` regardless of how you invoke the script. Then it builds the combined image from those PNGs.
| Figure | Produced by (run automatically) |
|:---|:---|
| `super_relational_mapping.png` | `verify_super_relational_mapping.py` |
| `rst_equilibrium_proof.png` | `rst_equilibrium_proof.py` |
| `rst_refractive_lensing.png` | `rst_refractive_lensing_solver.py` |
| `rst_lensing_refraction.png` | `rst_lensing_refraction.py` |
**Output:** `expanded theory/python calculations results/all_calculated_proofs.png` — one grid image (2 per row) of the four proofs.
## Original proof figures




**How to run:** From the **workspace root** (one command runs proof scripts then builds the combined image):
```bash
python "expanded theory/python calculations/build_all_calculated_proofs.py"
```
**Relation to other combined images:** The vault has three compiled views of RST numerics: (1) **Foundation** — `expanded theory applied/foundation/all_foundation_results.png` (10 topic scripts); (2) **Further applications** — `expanded theory applied/further applications/all_further_results.png` (7 application scripts); (3) **Core calculated proofs** — this image (super-relational, equilibrium, lensing). Together they give a single visual summary of all calculated proofs.