Certificate-Guided Pruning: direct Algorithms 1--3 audit

34/34

original plus direct-execution gates pass

3,840

actual CGP observations

45,000

Gaussian lower-bound trials

60/100D

executed certified trust regions

Direct coverage

16 full Algorithm-1 runs on cone, quadratic, Branin, and Rastrigin objectives.
Every good-event active-set certificate retains the optimum and excludes only suboptimal candidates.
48 noisy Algorithm-2 doubling runs finish in the theorem's Lipschitz interval.
12 Algorithm-3 executions never restart the optimizer-containing region and certify suboptimal restarts.

Source, algorithms, outputs, byte-identical replay, and recursive bundle are SHA-256 pinned. Unavailable Rover/NAS/MuJoCo environments are not claimed as reruns.