| Basic resolvent Lipschitzness on the good set | statement | lemma 6.2 | arxiv |
| Comparison of GOE block resolvents with GUE free limit | statement | lemma 5.5 | arxiv |
| Expectation comparison for the reciprocal extension | statement | proposition 5.8 | arxiv |
| Algorithmic desiderata | statement | corollary 6.10 | arxiv |
| GOE operator norm concentration | statement | proposition 2.3 | arxiv |
| 2R8BNXHA5A | statement | lemma 3.2 | arxiv |
| $T_2$ transport inequality for regular It\^o processes | statement | theorem 3.12 | arxiv |
| Closeness of ASL-TAP and PHD | statement | lemma 6.7 | arxiv |
| $T_1$ inequality and sub-Gaussian concentration | statement | theorem 3.11 | arxiv |
| Short paths preserving the spectral gap | statement | lemma 6.8 | arxiv |
| Basic resolvent bounds on the good set | statement | lemma 6.1 | arxiv |
| Small diagonal error from rank-1 terms | statement | lemma 6.4 | arxiv |
| Smooth test transfer | statement | lemma 5.7 | arxiv |
| Error of covariance estimate for $\beta < 1$ | statement | theorem B.3 | arxiv |
| The TAP free limit for $\beta<1$ | statement | lemma A.2 | arxiv |
| Jarzynski's equality with survival for SL-to-ASL ratio | statement | lemma 3.6 | arxiv |
| $O(1)$ KL error for ASL-TAP | statement | corollary 3.5 | arxiv |
| Transport and sub-Gaussian concentration for an ASL-TAP extension | statement | theorem 3.13 | arxiv |
| Nishimori identity for $3^{\text{rd}}$ and $4^{\text{th}}$ moments | statement | lemma B.4 | arxiv |
| 9W5CWXCJ4M | unknown | unknown 2 | arxiv |
| Uniform local strong convexity along $\{m_t\}_{0\le t \le T(\beta)}$ | statement | theorem 4.2 | arxiv |
| Error in estimated magnetization | statement | lemma 3.3 | arxiv |
| Derivative bounds for the cubed positive part | statement | lemma 5.1 | arxiv |
| Desideratum 2(b) -- L\"owner sandwich for dual coordinate chart | statement | lemma 4.3 | arxiv |
| Sub-gaussian concentration of JE weights | statement | corollary 3.15 | arxiv |
| Boundedness of dual SDE coefficients | statement | lemma 3.8 | arxiv |
| Sampling on small wedges via | statement | theorem 7.1 | arxiv |
| Jarzynski's equality with survival and rejection sampling | statement | lemma 3.16 | arxiv |
| ``Hybrid'' local strong convexity | statement | theorem 4.1 | arxiv |
| $\beta^2\rho(\mathbf M) < 1$ for $\beta < 1$ | statement | lemma B.2 | arxiv |
| Gr\"onwall bound for Wasserstein error of SDE's, under local Lipschitzness | statement | lemma 3.1 | arxiv |
| Safe set in the hypercube | definition | definition 2.2 | arxiv |
| Mixed Lipschitzness for chaining | statement | lemma 5.3 | arxiv |
| Overlap and magnetization concentration for $\beta < 1$ | statement | corollary B.1 | arxiv |
| Basic diagonal properties on the good set | statement | lemma 6.5 | arxiv |
| Approximate rejection sampling with unknown normalization | statement | lemma C.1 | arxiv |
| Uniform diagonal control | statement | lemma 6.6 | arxiv |
| Diagonal of the squared resolvent on the safe set | statement | corollary 5.9 | arxiv |
| Indicator-weighted centered exponential moments | statement | lemma 3.14 | arxiv |
| RDD0VG5MG2 | statement | lemma 3.7 | arxiv |
| Lipschitzness of the JE integrand | statement | lemma 6.9 | arxiv |
| Bounds on differences of resolvent products (analog | statement | lemma A.1 | arxiv |
| ASL-TAP and PHD stay in the cube up to safe-set exit | statement | lemma 3.9 | arxiv |
| Regularity and block identities for the reciprocal extension | statement | proposition 5.2 | arxiv |
| TAP free energy for the planted SK model | definition | definition 2.1 | arxiv |
| Chaining bound for fluctuations of the reciprocal extension $\Phi_{a,W,T}$ | statement | theorem 5.4 | arxiv |
| YTZQNFKHE5 | statement | theorem 1.1 | arxiv |
| YVCJNGM7TY | definition | definition 3.10 | arxiv |
