C2OGate: Externally Checkable Joint Stopping-Time Certification for Cost-Dominant Continuations
C2OGate is a research software and reproducibility archive for certifying whether a proposed optimization continuation is cost-dominant relative to an unchanged baseline continuation. Conditioned on one observed first-order transcript, the method retains the joint dependence of the two continuations’ first-hitting time...