| Sharp identification floor | statement | theorem 4.2 | arxiv |
| Explicit Bernstein coefficient bound | statement | lemma 5.5 | arxiv |
| Weak sign patterns of affine functions | statement | lemma A.3 | arxiv |
| Growth of the clean margin classes | statement | lemma A.4 | arxiv |
| Basic properties of the margin class | statement | lemma B.1 | arxiv |
| Explicit spectral rate bounds | statement | proposition 6.2 | arxiv |
| Spectral minimax formula | conjecture | conjecture 6.4 | arxiv |
| 7KR3RTHS3Y | statement | lemma 3.2 | arxiv |
| Adjoint tail identity for integrable perturbations | statement | lemma G.1 | arxiv |
| Finite deployment of buffered ERM | statement | corollary 2.4 | arxiv |
| A rigorous middle regime | statement | theorem 6.3 | arxiv |
| Random-permutation embedding | statement | lemma D.2 | arxiv |
| Transfer to general ensembles | statement | corollary 4.6 | arxiv |
| Plug-in estimator | statement | theorem 5.1 | arxiv |
| Spectral moment-cancellation lower bound | statement | theorem 6.1 | arxiv |
| Bias--stability bound | statement | proposition 5.4 | arxiv |
| Identification-limited regime | statement | corollary 5.8 | arxiv |
| Scalar minimax characterization | statement | theorem 4.1 | arxiv |
| Growth-function deviation inequality | statement | lemma A.5 | arxiv |
| Only the side of one half matters | statement | lemma 3.1 | arxiv |
| Localized Jackson polynomial | statement | lemma E.1 | arxiv |
| Scaling of the convex Hellinger modulus | statement | lemma B.3 | arxiv |
| M29FC8G0EQ | statement | proposition 5.7 | arxiv |
| Uniform margin accuracy | statement | lemma A.1 | arxiv |
| Weighted $L_1$ approximation of a jump | statement | lemma E.3 | arxiv |
| Uniform convergence of clean threshold risks | statement | lemma A.2 | arxiv |
| Count-only and observed-question minimax risks are equivalent | statement | corollary 4.5 | arxiv |
| Integrated approximation under a margin condition | statement | lemma E.2 | arxiv |
| Transfer from the scalar count experiment to observed questions | statement | theorem 4.4 | arxiv |
| Finite-sample Hellinger-modulus upper bound | statement | theorem B.2 | arxiv |
| Robust affinity test | statement | lemma B.4 | arxiv |
| Durrmeyer spectral decomposition | statement | proposition 5.6 | arxiv |
| Equal-weight discretization preserving the margin class | statement | lemma D.1 | arxiv |
| $L_1$ duality produces a moment-canceling family | statement | lemma E.4 | arxiv |
| Hard-margin root-$Q$ lower bound | statement | proposition 4.3 | arxiv |
| Question-limited regime | statement | corollary 5.2 | arxiv |
| Buffered ERM | statement | theorem 2.2 | arxiv |
| Bernstein parametrization | statement | lemma 5.3 | arxiv |
| Pooled rare-boundary lower bound | statement | theorem C.1 | arxiv |
