Finite capacity and certified optimization

A stopped search or floating-point optimizer does not become an exclusion certificate by numerical convergence. Causal-access verification and numerical optimization are also different tasks.