| Expected Benders cuts | statement | proposition C.1.1 | arxiv |
| Warning: the greedy policy of $\mathcal V_1$ can stay suboptimal | statement | proposition D.7.2 | arxiv |
| Master theorem, infinite horizon | statement | theorem 6.3 | arxiv |
| Deterministic pass length | statement | theorem D.4.1 | arxiv |
| A Lipschitz lift lifts a volume | statement | lemma 3.3 | arxiv |
| Raw sampled cuts can stall SDDP | statement | proposition C.4.3 | arxiv |
| i.i.d.\ SAA: a bias governed by the state dimension | statement | proposition C.3.1 | arxiv |
| Gap identity | statement | lemma 6.1 | arxiv |
| Uniform deviation of a sampled affine cut | statement | lemma C.4.2 | arxiv |
| Stage-wise absorption: slopes uniform in the horizon | example | example 4.2 | arxiv |
| 8ZFMVXEXFM | statement | proposition B.5.3 | arxiv |
| Shared-model SDDP, geometric pass length | statement | corollary 6.6 | arxiv |
| TFDP with random node selection | statement | proposition B.3.1 | arxiv |
| Decreasing bounded processes | statement | lemma 3.4 | arxiv |
| SDDiP | statement | proposition 4.4 | arxiv |
| Shifted sampled cuts | statement | theorem C.4.1 | arxiv |
| Master theorem | statement | theorem 3.5 | arxiv |
| Pass lengths | statement | lemma D.1.3 | arxiv |
| A bound polynomial in $T$ for Algorithm 3 | statement | theorem 4.3 | arxiv |
| Sufficient conditions | statement | lemma 2.2 | arxiv |
| Sufficient conditions | statement | lemma D.1.2 | arxiv |
| Lipschitz bounds for the shared model | statement | proposition 6.8 | arxiv |
| Covering rates; finite state sets | statement | corollary 3.10 | arxiv |
| Stage-uniform constants | statement | corollary 3.7 | arxiv |
| Leaving the compact set | statement | proposition C.5.1 | arxiv |
| Periodic problems, geometric pass length | statement | theorem 6.5 | arxiv |
| Slopes of a cut | statement | lemma D.6.1 | arxiv |
| Validity for the regularised value functions | statement | lemma B.5.2 | arxiv |
| Truncation | statement | theorem D.7.1 | arxiv |
| Wasserstein and total-variation biases | statement | corollary 5.2 | arxiv |
| MPSNJ2JBW9 | statement | lemma 2.3 | arxiv |
| Zhang--Sun cuts satisfy the oracle | statement | proposition B.5.1 | arxiv |
| SAA backward passes, true-law forward passes | statement | proposition D.5.1 | arxiv |
| Reverse-norm cuts | statement | proposition B.4.1 | arxiv |
| Tightness of the convex-regret form | statement | proposition D.8.1 | arxiv |
| Anytime guarantee | statement | corollary 3.6 | arxiv |
| Jensen lower discretisation | statement | proposition C.2.1 | arxiv |
| Monotone step cuts | statement | theorem B.7.1 | arxiv |
| SAA backward passes, true-law forward passes | statement | theorem 5.1 | arxiv |
| Bounds | statement | lemma 3.1 | arxiv |
| Gap identity | statement | lemma 3.2 | arxiv |
| Discounted costs, horizon-free | statement | corollary 3.9 | arxiv |
| Other oracles | statement | proposition D.5.3 | arxiv |
| Pass lengths, phase by phase | statement | lemma D.2.1 | arxiv |
| Bounded subgradients | statement | proposition 4.1 | arxiv |
| X2CRQWECV9 | statement | theorem | arxiv |
| Standard facts | statement | lemma D.1.1 | arxiv |
| Shifted sampled cuts | statement | proposition D.5.2 | arxiv |
| Relative accuracy, $\beta$-uniform constants | statement | corollary 6.9 | arxiv |
| Robust reachability | definition | definition 6.7 | arxiv |
| Net sizes | statement | lemma A.1.1 | arxiv |
| A pass on a shared model lifts by its largest residual | statement | lemma 6.2 | arxiv |
