| Prismatic $F$-gauges | definition | definition 2.1 | arxiv |
| Anticanonical components and stabilization | statement | proposition 6.4 | arxiv |
| Global Hasse Invariant for Limpid ICMs | statement | corollary 4.5 | arxiv |
| Uniform continuation of the ordinary chains | statement | lemma 6.3 | arxiv |
| Saturation of the anticanonical open | statement | proposition 7.2 | arxiv |
| Ordinary fibers over valued fields | statement | lemma 8.3 | arxiv |
| Geometric anticanonical tower | statement | theorem 6.1 | arxiv |
| Canonical pseudo-Frobenius lift on the $\mu$-ordinary locus, Lemma 7.4.10 | statement | lemma 3.6 | arxiv |
| Frobenius on the completed limit | statement | proposition 5.10 | arxiv |
| $G$-Zips, \S 1.1 | definition | definition 4.1 | arxiv |
| Perfectoid algebra and the inverse limit | statement | theorem 5.11 | arxiv |
| Extension of a finite etale section | statement | lemma 5.1 | arxiv |
| $\mathcal{Z}$-ample characters, Definition 5.1.1 | definition | definition 4.2 | arxiv |
| Madapusi--Youcis | definition | definition 3.1 | arxiv |
| DQWZKH0NSQ | statement | corollary 1.2 | arxiv |
| Hasse Invariant, Definition 5.1.3 | definition | definition 4.3 | arxiv |
| The period map before perfectoidness | statement | proposition 8.1 | arxiv |
| The global $\mu$-ordinary locus, Definition 7.4.3 | definition | definition 3.3 | arxiv |
| Perfectoid anticanonical limit | statement | theorem 6.6 | arxiv |
| Koskivirta--Wedhorn, Theorem 5.1.4 | statement | theorem 4.4 | arxiv |
| Passage to full level | statement | proposition 7.1 | arxiv |
| The transition on the rational generator | statement | lemma 5.8 | arxiv |
| Forward charts and the global height | statement | lemma 5.6 | arxiv |
| Apertures to $G$-zips, Proposition 3.5.5 | statement | theorem 2.4 | arxiv |
| $(G, \mu)$-apertures | definition | definition 2.2 | arxiv |
| Integral clearing of poles | statement | lemma 5.3 | arxiv |
| Frobenius congruence on original coordinates | statement | proposition 5.4 | arxiv |
| Straight Hecke chains, with their level data | statement | lemma 6.2 | arxiv |
| Representability, Theorem 3.1.5 | statement | theorem 2.3 | arxiv |
| Reduction to parabolic, Proposition 3.6.12 | statement | proposition 2.7 | arxiv |
| A neighborhood from constructible compactness | statement | lemma 8.4 | arxiv |
| Perfectoidness at full $p$-level | statement | theorem 8.6 | arxiv |
| Height formula | statement | corollary 5.5 | arxiv |
| VD930F7W62 | statement | theorem 1.1 | arxiv |
| The ordinary flag neighborhood | statement | proposition 8.5 | arxiv |
| Flatness of the models | statement | lemma 5.2 | arxiv |
| Finite etale surjective ordinary branch | statement | proposition 5.7 | arxiv |
| Rational translates of an ordinary flag neighborhood | statement | lemma 8.2 | arxiv |
| Canonical Frobenius lifting, Proposition 3.6.11 | statement | proposition 2.6 | arxiv |
| Madapusi--Youcis | definition | definition 3.2 | arxiv |
| The $\mu$-ordinary stratum | definition | definition 2.5 | arxiv |
| Coefficient twist | statement | lemma 5.9 | arxiv |
