| 185PTYQ0CW | statement | corollary 8.13 | arxiv |
| Rate Threshold, Classical Setting | definition | definition 8.7 | arxiv |
| Random normalizers are AEL-robust relative designs | statement | corollary 11.9 | arxiv |
| CSS code from a nested pair | definition | definition 8.2 | arxiv |
| Quotient-minor gap | definition | definition 4.3 | arxiv |
| Informal main construction | statement | theorem 1.10 | arxiv |
| Exact row-span count | statement | lemma 2.2 | arxiv |
| Flagged realization | definition | definition 3.2 | arxiv |
| Quotienting a flagged witness | statement | lemma 3.5 | arxiv |
| Probability of a fixed flagged matrix | statement | lemma 4.5 | arxiv |
| Uniform nested ensemble | definition | definition 7.1 | arxiv |
| Folded fixed-map probability | statement | lemma 9.6 | arxiv |
| Dependent-pair bound | statement | lemma 5.4 | arxiv |
| Expander averaging | statement | lemma 12.1 | arxiv |
| Subcritical fixed flag | statement | proposition 5.2 | arxiv |
| Probability of Joint Sector Satisfaction | statement | corollary 8.12 | arxiv |
| Flag and feasibility | definition | definition 3.1 | arxiv |
| 80JB83BNSF | statement | corollary 8.14 | arxiv |
| Kernel-profile mass identity | statement | lemma 9.16 | arxiv |
| Probability of Joint Sector Satisfaction | statement | corollary 9.15 | arxiv |
| Mass separation from positive gap | statement | lemma 4.4 | arxiv |
| Threshold Preservation | statement | theorem 8.11 | arxiv |
| Automatic feasibility in a fixed nested pair | statement | lemma 3.3 | arxiv |
| Single Sector Rate Threshold | definition | definition 8.6 | arxiv |
| Relative subspace design | definition | definition 1.7 | arxiv |
| Parity-check nested ensemble | definition | definition 4.1 | arxiv |
| CSS-AEL lifting theorem for relative subspace designs | statement | theorem 12.8 | arxiv |
| Existence of robust inner CSS gadgets | statement | theorem 11.10 | arxiv |
| Informal robust LCL inner gadgets | statement | theorem 1.9 | arxiv |
| Quantum list decoding | definition | definition 1.3 | arxiv |
| Profile characterization | statement | theorem 10.11 | arxiv |
| Rate | statement | proposition 12.4 | arxiv |
| Explicit Quantum List Recoverable Codes, Informal | statement | theorem 1.12 | arxiv |
| Folded LCL pair | definition | definition 12.7 | arxiv |
| Realization probability in terms of $\lambda$ | statement | proposition 8.5 | arxiv |
| Flag slope | definition | definition 8.4 | arxiv |
| Folded quotient-minor identity | statement | lemma 9.8 | arxiv |
| Minimal bad profile | statement | lemma 10.12 | arxiv |
| Folded threshold theorems and the uniform ensemble | statement | corollary 9.13 | arxiv |
| One-sector fixed-type comparison | statement | proposition 8.8 | arxiv |
| Flag cost and potential | definition | definition 4.2 | arxiv |
| Quantum list recovery | definition | definition 1.4 | arxiv |
| Logical kernel and logical row space | definition | definition 2.4 | arxiv |
| Expectation for one flag | statement | corollary 4.6 | arxiv |
| Quotient LCL property | definition | definition 3.4 | arxiv |
| Folded exact-row-space count | statement | lemma 9.5 | arxiv |
| Fixed qLCL type threshold | statement | theorem 5.6 | arxiv |
| CSS-AEL pair | definition | definition 12.2 | arxiv |
| F764CB5XKT | statement | theorem 8.9 | arxiv |
| Quantum list decoding, list recovery for CSS codes | definition | definition 1.5 | arxiv |
| Folded one-flag expectation | statement | corollary 9.7 | arxiv |
| Folded fixed-type threshold | statement | theorem 9.12 | arxiv |
| J7TXG4B5W9 | statement | theorem 15.2 | arxiv |
| Explicit Quantum List Decodable Codes, Informal | statement | theorem 1.11 | arxiv |
| Supercritical fixed flag | statement | proposition 5.5 | arxiv |
| Classical List recovery | definition | definition 1.2 | arxiv |
| CSS subspace-design code | definition | definition 1.8 | arxiv |
| JSYETQNG2C | statement | theorem 15.1 | arxiv |
| Folded pair submodularity | statement | lemma 9.10 | arxiv |
| Joint Realization of a Local Profile | definition | definition 8.10 | arxiv |
| LZ outer codes over the inner logical alphabet | statement | theorem 13.2 | arxiv |
| KAFB99E3N1 | statement | proposition 10.4 | arxiv |
| Pair submodularity | statement | lemma 5.3 | arxiv |
| Random normalizers are LCL robust | statement | theorem 11.8 | arxiv |
| Inheritance from ordinary designs | statement | proposition 10.5 | arxiv |
| Logical distinctness space | definition | definition 2.5 | arxiv |
| Logical distance | statement | proposition 10.7 | arxiv |
| Subspace commutation via the $\F_q$-pairing | statement | lemma 8.1 | arxiv |
| Classical List Decoding | definition | definition 1.1 | arxiv |
| Folded subcritical direction | statement | proposition 9.9 | arxiv |
| Map count for bad profiles | statement | lemma 11.7 | arxiv |
| Potential of a quotient minor | statement | lemma 5.1 | arxiv |
| Quotient LCL threshold, uniform nested ensemble | statement | theorem 7.3 | arxiv |
| Conditioning on full rank | statement | lemma 7.2 | arxiv |
| Bounded-entropy profile ensemble | definition | definition 14.1 | arxiv |
| Informal qLCL threshold | statement | theorem 1.6 | arxiv |
| Vector-alphabet extension | statement | lemma 13.1 | arxiv |
| AEL lift for folded LCL | statement | theorem 12.6 | arxiv |
| Nested pair | definition | definition 2.3 | arxiv |
| Positivity of $\kappa_s(U,T)-\kappa_s(W,T\cap W)$ | statement | lemma 8.3 | arxiv |
| Robust implies relative | statement | proposition 11.5 | arxiv |
| Distinctness modulo stabilizers | statement | lemma 2.6 | arxiv |
| Kernel profiles are an LCL specialization | statement | proposition 11.4 | arxiv |
| Kernel-profile quotient LCL equals contained profiles | statement | proposition 10.10 | arxiv |
| AEL-robust folded LCL | definition | definition 11.2 | arxiv |
| Contained relative profile | definition | definition 10.9 | arxiv |
| Global folded LCL profile | definition | definition 12.5 | arxiv |
| Exact CSS orthogonality | statement | proposition 12.3 | arxiv |
| Bounded-entropy folded profile class | definition | definition 11.1 | arxiv |
| Explicit LCL CSS family | statement | theorem 14.2 | arxiv |
| Local profile | definition | definition 2.1 | arxiv |
| Monotonicity | statement | proposition 10.6 | arxiv |
| Folded dependent-pair bound | statement | lemma 9.11 | arxiv |
| AEL-robust relative subspace design | definition | definition 11.3 | arxiv |
| Folded parity-check and uniform ensembles | definition | definition 9.4 | arxiv |
| Random-subspace containment | statement | lemma 11.6 | arxiv |
| Quotient LCL threshold, parity-check ensemble | statement | theorem 6.1 | arxiv |
