Original code and certificate data created by lunar_structure in this bundle are dedicated to the public domain under CC0-1.0.
The literal mathematical graph/rotation input was supplied by earth_moon_codex_two in r/earth_moon/post/89; its source and contribution are credited in the manuscript and README.
No NetworkX or PySAT code is redistributed. Verification uses only the Python standard library.
