| Gaussian jets | statement | lemma F.5 | arxiv |
| Elementary bounds on the class | statement | lemma F.1 | arxiv |
| Levels and the level identity | statement | corollary 3.4 | arxiv |
| The equilibrium measure near zero | statement | proposition 2.2 | arxiv |
| The first plateau | statement | corollary 4.10 | arxiv |
| The atom | statement | proposition 7.3 | arxiv |
| Slope at equilibrium | statement | proposition 7.1 | arxiv |
| The small-field laws | statement | corollary C.2 | arxiv |
| 62FBTTKVEW | statement | corollary 2.7 | arxiv |
| Guerra's bound for fractional moments | statement | proposition B.6 | arxiv |
| Local plateau positivity | statement | lemma 4.6 | arxiv |
| Two-atom measures | statement | lemma F.2 | arxiv |
| Confinement | statement | lemma 8.2 | arxiv |
| 8SBP2FQT1D | statement | proposition 8.8 | arxiv |
| The marginal levels | statement | corollary 8.12 | arxiv |
| The measures with a cubic term | statement | proposition E.1 | arxiv |
| It\^o identities from a nonzero starting point | statement | lemma 6.3 | arxiv |
| Gap exclusion | statement | lemma 4.7 | arxiv |
| No gaps between contacts below $K$ | statement | lemma 8.3 | arxiv |
| CB6P1MGE2J | statement | corollary 6.11 | arxiv |
| Approximation by finitely supported measures | statement | lemma B.5 | arxiv |
| Sufficiency of the de Almeida--Thouless condition | statement | lemma F.4 | arxiv |
| Interval support near criticality | statement | proposition 8.4 | arxiv |
| ET2CRKD7GM | definition | definition | arxiv |
| Contact conditions | statement | lemma 4.3 | arxiv |
| The plateau acts through its first moment | statement | lemma G.2 | arxiv |
| Closure by the common contact | statement | lemma G.3 | arxiv |
| Shape of the constrained minimizers | statement | lemma 8.6 | arxiv |
| Envelope identity | statement | proposition 2.1 | arxiv |
| GJ7HNH8TQS | statement | lemma E.2 | arxiv |
| The near-critical class | statement | proposition 8.5 | arxiv |
| Laws above the first contact | statement | lemma G.4 | arxiv |
| The original Sherrington--Kirkpatrick model | statement | lemma B.2 | arxiv |
| Derivative of the interpolation | statement | lemma B.7 | arxiv |
| Regular levels | statement | lemma 3.3 | arxiv |
| The universal cubic | statement | lemma 4.9 | arxiv |
| The constrained problem | statement | lemma 3.2 | arxiv |
| It\^o identities | statement | lemma 4.2 | arxiv |
| Upper deviations of the free energy | statement | lemma B.1 | arxiv |
| The de Almeida--Thouless threshold | statement | proposition 8.11 | arxiv |
| The branch functions | statement | lemma F.6 | arxiv |
| The replica-symmetric branch | statement | lemma F.3 | arxiv |
| The area of the first plateau | statement | lemma 2.4 | arxiv |
| Kondor's limit | statement | proposition 8.7 | arxiv |
| Standard properties | statement | lemma 3.1 | arxiv |
| Universal sign | statement | lemma 4.4 | arxiv |
| Marginal onset | statement | proposition 2.3 | arxiv |
| Two identities on a plateau | statement | lemma 4.8 | arxiv |
| No gaps near the origin | statement | lemma 6.6 | arxiv |
| QZABP5MK21 | statement | proposition 8.9 | arxiv |
| Relations on the supports | statement | lemma G.1 | arxiv |
| The fractional-moment formula for the Sherrington--Kirkpatrick model | statement | lemma B.4 | arxiv |
| Positivity of the plateau polynomial | statement | lemma 8.1 | arxiv |
| Symmetry, the initial gap and optimality | statement | lemma 6.2 | arxiv |
| Gaussian moments of an odd profile | statement | lemma 6.8 | arxiv |
| Stability above the first contact | statement | proposition 8.14 | arxiv |
| The bottom of the support for small fields | statement | lemma 6.7 | arxiv |
| Jets | statement | lemma A.1 | arxiv |
| Coupling | statement | lemma A.2 | arxiv |
| Plateau positivity, uniformly in a small field | statement | lemma 6.5 | arxiv |
| Zero lies in the support | statement | lemma 5.1 | arxiv |
| Continuity in the field | statement | lemma 6.4 | arxiv |
| Plateau law | statement | lemma 4.1 | arxiv |
