| 1SVYZDKG29 | statement | theorem 3.3 | arxiv |
| 2CMCV05K15 | statement | lemma 4.4 | arxiv |
| Riemannian gap inequality | statement | lemma 10.3 | arxiv |
| Outer localization | statement | lemma 8.7 | arxiv |
| 30FA2ABSES | statement | lemma 4.15 | arxiv |
| 38V2BV9MPN | statement | lemma 4.20 | arxiv |
| Equation after projection | statement | lemma 7.8 | arxiv |
| Overlap and projection estimates | statement | lemma 9.5 | arxiv |
| 3Y75AF70R7 | statement | proposition 4.21 | arxiv |
| 426BKBN0KV | statement | lemma 4.22 | arxiv |
| Derivative estimates for the enhanced second fundamental form | statement | proposition 4.1 | arxiv |
| Cross terms | statement | lemma 9.8 | arxiv |
| Toda system with the first error improvement | statement | corollary 7.11 | arxiv |
| 58CESY4MJP | statement | lemma F.2 | arxiv |
| Transfer of almost stability | statement | lemma 10.7 | arxiv |
| Equation for the horizontal derivatives | statement | lemma 8.5 | arxiv |
| 6KPZ2613SK | definition | definition 5.4 | arxiv |
| 6NCF0NY88E | statement | lemma 4.14 | arxiv |
| Corrected diagonal interaction | statement | lemma 9.7 | arxiv |
| Changing the base sheet | statement | lemma 9.9 | arxiv |
| 7B9EFN3M3M | statement | lemma 7.4 | arxiv |
| First improved estimates | statement | lemma 5.12 | arxiv |
| 89FFZNMNSN | statement | proposition 4.26 | arxiv |
| Graphs of the nonzero levels | statement | lemma 11.6 | arxiv |
| 8WG4ZZRWH1 | statement | lemma 4.29 | arxiv |
| Toda system | statement | proposition 6.4 | arxiv |
| 95GHD25DBE | statement | lemma 4.2 | arxiv |
| 99VRT8F2GR | statement | theorem C.2 | arxiv |
| Schauder estimate | statement | proposition E.1 | arxiv |
| Horizontal derivatives of the shifts | statement | corollary 8.2 | arxiv |
| Differentiated Toda system | statement | corollary 7.12 | arxiv |
| 9EGAZAW70C | statement | lemma 7.9 | arxiv |
| 9P6TBHEMV4 | statement | proposition 4.25 | arxiv |
| Flux through the boundary | statement | lemma 9.3 | arxiv |
| Boundary data for horizontal derivatives | statement | proposition 8.4 | arxiv |
| A70MTJ2121 | statement | lemma 4.10 | arxiv |
| AGMJBKZQG1 | statement | lemma F.4 | arxiv |
| Inner localization | statement | lemma 8.8 | arxiv |
| BWFTQKGRYY | statement | corollary 10.12 | arxiv |
| Geometric Expansion in Twisted Fermi Coordinates | statement | proposition 4.19 | arxiv |
| CDBBSQTXJS | statement | lemma 4.31 | arxiv |
| $L^p$ estimate | statement | lemma 10.10 | arxiv |
| CVWS05JRFV | statement | lemma C.1 | arxiv |
| CZFXSK1G5C | statement | corollary 5.10 | arxiv |
| Combined diagonal contribution | statement | lemma 9.4 | arxiv |
| c.f. | statement | lemma 4.30 | arxiv |
| DN58ZR13NR | statement | lemma 4.5 | arxiv |
| $C^{2,\theta}$ estimates | statement | lemma 7.10 | arxiv |
| Twisted Fermi coordinates | definition | definition 4.6 | arxiv |
| EF8V5V7E7V | statement | lemma 7.5 | arxiv |
| Bounded local subsolutions | statement | lemma 10.9 | arxiv |
| FGWKG87JZY | statement | proposition F.3 | arxiv |
| Smallness from almost stability | statement | proposition 10.8 | arxiv |
| HRW19P19YV | statement | lemma F.1 | arxiv |
| Decay above the logarithmic comparison scale | statement | proposition 10.1 | arxiv |
| Covariant derivative estimates | statement | lemma 4.12 | arxiv |
| Toda system with improved error | statement | corollary 8.3 | arxiv |
| KDJ1QRPB31 | statement | lemma 3.2 | arxiv |
| Equation before projection | statement | lemma 7.6 | arxiv |
| KNRJEAKNHW | statement | lemma 5.2 | arxiv |
| Separation bounds | statement | proposition 11.1 | arxiv |
| Neumann derivative estimate | statement | proposition 7.2 | arxiv |
| Interaction terms | statement | lemma 6.2 | arxiv |
| Boundary second-order estimates for stable transition layers | statement | theorem 1.1 | arxiv |
| Optimal layer shift | statement | proposition 5.7 | arxiv |
| $C^{1,\theta}$ estimates | statement | proposition 7.3 | arxiv |
| QV1MSVHD4T | statement | proposition 4.24 | arxiv |
| Improved horizontal derivative estimates | statement | proposition 8.1 | arxiv |
| RESWD3SFAZ | statement | lemma 4.18 | arxiv |
| Mean curvature of a nonzero level | statement | proposition 11.7 | arxiv |
| SQB6JP33FR | statement | lemma 4.28 | arxiv |
| Estimates for the projection coefficient | statement | lemma 7.7 | arxiv |
| T2552P6JSF | statement | corollary 6.5 | arxiv |
| TFN6BJZT26 | statement | lemma 4.11 | arxiv |
| TJZCRMFJA5 | statement | lemma 4.9 | arxiv |
| Bounds for the differentiated equation | statement | lemma 8.6 | arxiv |
| Stability inequality | statement | proposition 9.1 | arxiv |
| Removal of the a priori upper bound | statement | lemma 10.11 | arxiv |
| VVJSHNZJ4Z | statement | proposition 6.1 | arxiv |
| VZKJJ7GJP5 | statement | lemma 4.17 | arxiv |
| W133MD5ZT9 | statement | lemma 5.3 | arxiv |
| W9XNDXCCS0 | statement | lemma 4.32 | arxiv |
| WGVEX5MBF0 | statement | lemma 9.2 | arxiv |
| Twisted Fermi coordinate time function and projection | definition | definition 4.7 | arxiv |
| WWYH4VQDE2 | statement | lemma 5.1 | arxiv |
| X1PYX64A22 | statement | lemma 6.3 | arxiv |
| Y4TMQNR8EX | statement | lemma 3.1 | arxiv |
| Zero-level estimates | statement | proposition 11.4 | arxiv |
| Neumann derivative estimate | statement | lemma 4.13 | arxiv |
| Z1S88SXQG9 | statement | proposition 4.23 | arxiv |
| $C^{2,\theta}$ estimates | statement | proposition 7.1 | arxiv |
| Adjacent one-dimensional interaction | statement | lemma 9.6 | arxiv |
| ZXW4MT5197 | statement | lemma 5.11 | arxiv |
