Code and data for Risk-controlled sampling of component bounds for finite-sum spatial branch-and-bound

Source code, frozen protocols, raw and processed results, analysis scripts, figures, tests, and environment metadata supporting the manuscript “Risk-controlled sampling of component bounds for finite-sum spatial branch-and-bound”. The record preserves positive, null, and negative findings, including failed frozen runtime crossover gates, a corrected 192-bit MPFR rerun, the NIST Chwirut1 interval audit, and an exact-rational directed-crossing audit. The ZIP includes a detailed README, machine-readable per-file manifest, pinned software environment, and separate MIT (code) and CC BY 4.0 (generated data and documentation) licence notices. The reused NIST Chwirut1 source file remains subject to its original source terms.