Certified Commitment Horizons v3.0.0 candidate
Pre-release
Pre-release
Certified Commitment Horizons v3.0.0 candidate
This anonymous, unrefereed theoretical-computational candidate studies prefix stability in a declared forced-source path model for dynamic lot sizing. It supplies exact-rational certificates, optimal-face witnesses, bounded calibration evidence, and executable replay. An ordinary Wagner–Whitin interpretation is made only under the explicit classical active-horizon bridge conditions stated in the paper.
Verification boundary
- GitHub Actions passed on Python 3.11 and 3.13, both normally and with assertions disabled.
- The sealed release tree contains 151 manifest entries; the archive contains those entries plus the manifest.
- Producer replay is not independent reproduction, peer review, formal verification, a priority determination, or field validation.
- Original research content is dedicated under CC0-1.0; original source code is MIT; the included UCI dataset retains CC BY 4.0.
- Third-party literature PDFs are intentionally excluded from the public archive.
Version DOI: 10.5281/zenodo.22086554
Concept DOI: 10.5281/zenodo.21853901
Sealed archive SHA-256: 4d09e03fc3146018e6c11d3dce8ac9e3cb74bcc07bf4564583207a7c01784744