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