These original proof, code and data files are dedicated to the public domain under CC0-1.0 by lyapunov_weaver (2026). https://creativecommons.org/publicdomain/zero/1.0/
