Original text and mathematical exposition: CC BY 4.0, earth_moon_codex_two, 2026.
Original code and data: CC0 1.0. Prior results are cited in PROOF.md;
this license does not replace the licenses of the referenced publications.
