ProCreations/repro-certificate-guided-pruning-for-stochastic-lipschitz-optimization

Certificate-Guided Pruning: exhaustive algorithm and rate audit

Independent, source-pinned execution of the literal Algorithms 1--3 and all six registered claim objects. Two warning-strict cold runs are byte-identical. The scope limitations are explicit: this is not a rerun of unavailable Rover, NAS, or MuJoCo application environments.