| \bf High-order line integration | statement | lemma 4.2 | arxiv |
| \bf Lazy trapping or descent | statement | theorem 5.2 | arxiv |
| \textbf{Smooth Reconstruction from Finite Evaluations | statement | lemma A.6 | arxiv |
| \bf Total gradient-query complexity | statement | proposition C.6 | arxiv |
| 3TDMCBK1SM | statement | theorem 1.2 | arxiv |
| \bf Geometry of the shared-root tree | statement | fact C.4 | arxiv |
| \textbf{One-Phase Hardness with Delayed Disclosure | statement | lemma 6.9 | arxiv |
| \textbf{Interpolation Error and Stability | statement | lemma A.4 | arxiv |
| \bf Lower bounds without gradient Lipschitzness | statement | theorem 6.5 | arxiv |
| \bf Fresh query complexity | statement | proposition D.4 | arxiv |
| \bf Stationarity from an approximate model | statement | lemma 3.9 | arxiv |
| 6YDDHR1MB8 | statement | theorem 1.4 | arxiv |
| \bf Constraints | problem | problem 4 | arxiv |
| \bf{$p$-th order trapping via function value oracle | statement | theorem 3.1 | arxiv |
| \textbf{Function Reconstruction | problem | problem A.1 | arxiv |
| 7Q7H6TGZNB | statement | theorem 1.1 | arxiv |
| \bf Stationarity certification | statement | lemma 6.11 | arxiv |
| 91451TCD3S | statement | corollary 6.3 | arxiv |
| \bf Fresh mass after adaptive preprocessing | statement | lemma E.5 | arxiv |
| 9N7DDF19EE | statement | fact C.1 | arxiv |
| \bf Trapping-or-descent dichotomy | statement | lemma 5.3 | arxiv |
| \bf Lazy boundary-reuse complexity | statement | proposition D.6 | arxiv |
| \textbf{Suboptimality under Model Error | statement | lemma A.9 | arxiv |
| \bf Triangular augmentation and response reconstruction | statement | fact E.17 | arxiv |
| \bf Trapping-or-descent dichotomy | statement | lemma D.1 | arxiv |
| \bf Regularity and initial gap | statement | lemma 6.12 | arxiv |
| \bf Sequential accumulation | statement | lemma 6.10 | arxiv |
| \textbf{H\"older Taylor Remainder | statement | lemma A.3 | arxiv |
| \textbf{Local Polynomial Reconstruction | statement | proposition A.5 | arxiv |
| CVCR2YAV0C | definition | definition | arxiv |
| \bf Trapping implies existence of stationarity | statement | lemma 3.5 | arxiv |
| \bf Phasewise delayed-input reduction | statement | proposition E.7 | arxiv |
| \bf Unreachability and trapping function | definition | definition 3.4 | arxiv |
| \bf Correctness of terminal localization | statement | lemma 5.4 | arxiv |
| \textbf{Scalar Reconstruction from Vector Fields | statement | lemma A.7 | arxiv |
| \bf Delayed-input Krylov representation | statement | lemma E.3 | arxiv |
| \textbf{Approximate Global Minimization from Data | problem | problem A.2 | arxiv |
| \bf Hyperrectangles | definition | definition 3.3 | arxiv |
| \bf \((p,\beta)\)-H\"older smoothness | definition | definition 2.1 | arxiv |
| K0FGW8EJE0 | statement | fact B.1 | arxiv |
| \textbf{Global Minimization with a Known Term | statement | theorem A.10 | arxiv |
| \bf Adaptive block-Krylov lifting | statement | lemma E.16 | arxiv |
| \bf Reconstruction and update certificates | statement | fact C.2 | arxiv |
| \bf Gradient-only terminal output | statement | lemma C.3 | arxiv |
| \bf Local derivative bounds | statement | proposition E.9 | arxiv |
| \bf Accuracy of lazy reuse | statement | lemma D.5 | arxiv |
| \bf Randomized first-order lower bound | statement | theorem 6.1 | arxiv |
| \bf Fixed-time single-output exclusion | statement | lemma E.6 | arxiv |
| \bf Replicated hard spectrum | statement | lemma E.1 | arxiv |
| \bf Trapping or descent | statement | theorem 5.1 | arxiv |
| \bf Dimension-free aggregation | statement | proposition E.10 | arxiv |
| \bf Outer-loop guarantee | statement | proposition D.3 | arxiv |
| \textbf{Reconstruction from Gradient Data | statement | corollary A.8 | arxiv |
| SFFECRVJ5F | statement | theorem 1.3 | arxiv |
| \bf Oracle | problem | problem 3 | arxiv |
| \bf Active-phase gradient separation | statement | proposition E.8 | arxiv |
| \bf Higher-order gradient-only trapping | statement | theorem 4.1 | arxiv |
| WGPKE5PCD3 | statement | lemma 3.6 | arxiv |
| \bf Randomness | problem | problem 1 | arxiv |
| \bf Gradient queries in one iteration | statement | lemma C.5 | arxiv |
| \bf Smoothness | problem | problem 2 | arxiv |
