v2.1.2 candidate — certified commitment horizons

Status

Unrefereed candidate computer-assisted result offered for scrutiny. This release has passed producer-side full replay, exact-rational certificate checks, normal and optimized Python tests, PDF integrity checks, and GitHub Actions on Python 3.11 and 3.13. These checks are not independent clean-room reproduction, journal peer review, proof-assistant verification, field validation, or a settled novelty determination.

v2.1.2 changes

• corrects the invalid monotonicity test for unresolved upper witnesses;
• replaces the arbitrary parametric-iteration cap with an exact finite path-count bound, without claiming that the released routine is polynomial-time;
• records the official UCI retrieval route and byte-identical source match;
• removes third-party article full text from the public package while preserving citations and inspected-copy hashes;
• separates CC0 original content, MIT code, and CC BY UCI data;
• distinguishes producer-side checking from independent reproduction and internal adversarial review from peer review;
• verifies all 31 bibliography records and preserves the unresolved Richter-Voros (1989) full-text novelty boundary;
• adds machine-readable indexing, CI, review-response, PDF visual-review, and final-integrity records.

Core replay

uv sync --frozen
uv run ./run_all.sh --quick

The full numerical regeneration is uv run ./run_all.sh --full and is substantially slower because it includes exact large-horizon scaling cases.

Archival record

• Version DOI: 10.5281/zenodo.21853902
• Concept DOI: 10.5281/zenodo.21853901
• Release archive SHA-256: 71aff98ee0dac82014cc3955a16018548d6db1f5b2ab3abb3024e1a7616c29df

The Zenodo record contains the same release ZIP and checksum sidecar as this GitHub release, together with the paper PDF and verification receipt.