Archival preprint release adding the permanent all-versions Zenodo DOI to the manuscript, README, and citation metadata.\n\nPermanent DOI: https://doi.org/10.5281/zenodo.22049535\n\nThe mathematical content and exact verification are unchanged from v1.0.0. The manuscript and documentation are licensed under CC BY 4.0; verification software and repository tooling are licensed under BSD-3-Clause. This preprint has not been peer reviewed.