| Compatible wild-quadratic stationary classes and representatives | statement | proposition 6.9 | arxiv |
| Finite-field Gauss-sum magnitude | statement | lemma 5.1 | arxiv |
| Truncated norm homomorphism and adjoint | statement | lemma 6.2 | arxiv |
| Norm-character conversion | statement | lemma 6.7 | arxiv |
| Norm truncation | statement | corollary 3.5 | arxiv |
| Assembly of the stationary quotient | statement | proposition 9.13 | arxiv |
| Integer stationary representatives | statement | lemma 9.7 | arxiv |
| Inverse pairing | statement | lemma 2.11 | arxiv |
| Odd-prime coefficient table | statement | proposition 9.8 | arxiv |
| Tamely ramified odd degree | statement | proposition 7.3 | arxiv |
| Wild-quadratic critical functions | statement | proposition 9.20 | arxiv |
| Exact quadratic norm correction | statement | lemma 9.17 | arxiv |
| Ramified Hasse-phase comparison | statement | proposition 5.6 | arxiv |
| Norm characters in cyclic prime degree | statement | corollary 3.11 | arxiv |
| Different and additive conductors | statement | corollary 3.7 | arxiv |
| Norm representatives at subcritical precision | statement | lemma 6.6 | arxiv |
| Conductors and leading classes in a minimal norm-character orbit | statement | lemma 4.8 | arxiv |
| Stationary class under norm pullback | statement | corollary 6.3 | arxiv |
| Norm filtration at stationary depth | statement | lemma 6.1 | arxiv |
| Affine pencil of quadratic phases | statement | lemma 5.7 | arxiv |
| Normalization of the residual additive character | statement | lemma 2.7 | arxiv |
| Twist invariance | statement | lemma 2.14 | arxiv |
| Finite realization and nonvanishing | statement | proposition 2.4 | arxiv |
| Hasse--Davenport multiplication formula | statement | theorem 5.3 | arxiv |
| Depth of the quadratic correction units | statement | lemma 9.22 | arxiv |
| Stationary-class calculus | statement | lemma 4.3 | arxiv |
| Exact norm--trace formula | statement | proposition 9.14 | arxiv |
| Normalization of the norm-character generator | statement | lemma 9.3 | arxiv |
| Stable-to-critical normalized trace | statement | proposition 3.6 | arxiv |
| Unramified norm, trace, and conductor compatibility | statement | lemma 3.10 | arxiv |
| Multiplicative conductor | definition | definition 2.2 | arxiv |
| Lamprecht | statement | theorem 4.5 | arxiv |
| Stable twist | statement | lemma 4.7 | arxiv |
| Vanishing or depth of the norm--trace error | statement | proposition 9.15 | arxiv |
| Symmetric terms of degree at least three at the $\chi_K$-critical depth | statement | lemma 9.5 | arxiv |
| Finite stationary-phase duality | statement | lemma 4.1 | arxiv |
| Magnitude of a nondegenerate finite quadratic sum | statement | lemma 4.4 | arxiv |
| Odd-prime critical-coordinate transport | statement | lemma 9.6 | arxiv |
| Hasse--Davenport lift | statement | theorem 5.2 | arxiv |
| Hasse-function lift | statement | theorem 5.4 | arxiv |
| Change of additive character | statement | lemma 2.8 | arxiv |
| Homogeneous affine-pencil quotient | statement | proposition 5.8 | arxiv |
| Wild quadratic cancellation | statement | proposition 9.26 | arxiv |
| Tamely ramified quadratic case | statement | proposition 7.4 | arxiv |
| Correction-depth character linearization | statement | proposition 9.12 | arxiv |
| Quadratic phase | statement | lemma 5.5 | arxiv |
| The trivial character | statement | lemma 2.10 | arxiv |
| Wild-quadratic residual quotient | statement | proposition 9.21 | arxiv |
| Character values on the quadratic correction units | statement | proposition 9.23 | arxiv |
| Depth and phase of the quadratic norm--trace term | statement | proposition 9.25 | arxiv |
| Wild odd-prime non-stable case | statement | corollary 9.16 | arxiv |
| First Main Lemma | statement | theorem 1.1 | arxiv |
| Ramified norm quotient and norm characters | statement | corollary 3.8 | arxiv |
| Changes of critical coordinate | statement | lemma 9.4 | arxiv |
| Powers of the basic quadratic phase | statement | lemma 9.2 | arxiv |
| Independence of the admissible denominator | statement | lemma 2.6 | arxiv |
| Nonvanishing of the local Gauss integral | statement | corollary 2.5 | arxiv |
| Ramification, trace, and norm filtration for a cyclic prime extension | statement | theorem 3.1 | arxiv |
| Frobenius differences and trace-zero hyperplanes | statement | lemma 3.2 | arxiv |
| Parameter-ratio identities | statement | lemma 9.10 | arxiv |
| Scaling invariance of the First Main identity | statement | corollary 2.9 | arxiv |
| Strong wild symmetric-coefficient estimate | statement | lemma 3.4 | arxiv |
| Artin--Schreier phase | statement | lemma 5.9 | arxiv |
| Endpoint annihilator and discriminant congruence | statement | lemma 9.1 | arxiv |
| Error term | definition | definition 2.13 | arxiv |
| Integer powers and Teichmuller representatives | statement | lemma 6.4 | arxiv |
| Conductor of norm pullback | statement | proposition 3.9 | arxiv |
| Odd-prime finite phase cancellation | statement | proposition 9.9 | arxiv |
| Quadratic stationary assembly | statement | proposition 9.24 | arxiv |
| Normalized refinement | statement | lemma 9.19 | arxiv |
| Critical norm polynomial at a wild break | statement | proposition 3.3 | arxiv |
| Quadratic graded trace | statement | lemma 9.18 | arxiv |
| Minimal-orbit reduction | statement | proposition 2.15 | arxiv |
| Additive conductor | definition | definition 2.3 | arxiv |
| Independence of the stationary representative | statement | lemma 4.6 | arxiv |
| Unramified case | statement | proposition 7.1 | arxiv |
| Depth of the correction units | statement | lemma 9.11 | arxiv |
| Low-conductor stationary-class table | statement | proposition 6.10 | arxiv |
| YDE8E99H9R | statement | proposition 8.1 | arxiv |
| Stationary numerator class at a chosen depth | statement | lemma 4.2 | arxiv |
| High-conductor stationary-class table | statement | proposition 6.8 | arxiv |
| Tame conductor-one case | statement | proposition 7.2 | arxiv |
| ZM5MMG8TXH | statement | corollary 2.12 | arxiv |
