| Koopman candidate residual bound | statement | corollary 5.15 | arxiv |
| Adjoint Koopman Eigenpair | definition | definition 3.4 | arxiv |
| Finite-sample class-centered prediction-error certificate | statement | proposition 2.3 | arxiv |
| Squared Relative Adjoint Residual | definition | definition 4.10 | arxiv |
| Squared deviation from reference labels | definition | definition 5.3 | arxiv |
| Sensitivity to reference-label deviation | statement | proposition 5.5 | arxiv |
| Class occupancy and downward bias of within-class sample variances | statement | proposition 2.5 | arxiv |
| Certificate using prespecified class representatives | statement | corollary 2.4 | arxiv |
| 80JRVQ1ZVD | statement | proposition 4.7 | arxiv |
| Exact NLMS parameter-error identity | statement | proposition 5.1 | arxiv |
| Risk bound from independent evaluation pairs | statement | proposition 5.13 | arxiv |
| Spectral Correspondence under Exact Closure | statement | proposition 4.9 | arxiv |
| Tolerance for the squared relative adjoint residual | definition | definition 4.11 | arxiv |
| Compact one-step closure risk bound | statement | theorem 5.12 | arxiv |
| Attainable error with bounded matrix norm | statement | proposition 5.9 | arxiv |
| Reconstruction-based sufficient conditions for a margin | statement | corollary 5.7 | arxiv |
| Spectral Evaluation Dataset | definition | definition 4.3 | arxiv |
| Bound on deviation from one-hot reference labels | statement | corollary 5.16 | arxiv |
| Complexified RKHS | definition | definition 3.3 | arxiv |
| Training transitions and reference datasets | definition | definition 4.1 | arxiv |
| Consistency and detection above a fixed error tolerance | statement | corollary 2.6 | arxiv |
| Projection onto the span of feature vectors | statement | proposition 4.8 | arxiv |
| Family of KAHM Soft Abstractions | definition | definition 4.4 | arxiv |
| Closure-risk bounds with a finite-sample assignment term | statement | theorem 5.11 | arxiv |
| Reconstruction-score margins bound deviation from reference labels | statement | theorem 5.6 | arxiv |
| Fitted linear coordinate model | definition | definition 4.15 | arxiv |
| NVTT3B98SD | statement | proposition 3.2 | arxiv |
| $t$-Step Evaluation Dataset | definition | definition 4.2 | arxiv |
| Class-centered population prediction-risk bound | statement | proposition 2.1 | arxiv |
| Assignment error, coordinate second moments, and approximation error | statement | theorem 5.4 | arxiv |
| Upper bounds on one-step prediction error | statement | proposition 5.2 | arxiv |
| KAHM reconstruction score | definition | definition 3.1 | arxiv |
| Linear prediction for a fixed soft abstraction | problem | problem 4.13 | arxiv |
| Computable prediction-error bound under a spectral-norm limit | statement | proposition 2.2 | arxiv |
