| 188G0Q0R8Q | statement | lemma 8.1 | arxiv |
| Cancellation from a common pullback | statement | lemma 8.5 | arxiv |
| 2C184FKYPX | statement | corollary 7.20 | arxiv |
| 2ES5QERNMA | statement | proposition 7.19 | arxiv |
| Quadratic normalization | statement | lemma 4.5 | arxiv |
| Compatible characters of conductor $T$ | statement | proposition 9.2 | arxiv |
| Descent of invariant characters | statement | lemma 3.2 | arxiv |
| The common power relation | statement | proposition 3.5 | arxiv |
| 3VRDDF2YFR | statement | proposition 7.11 | arxiv |
| Quadratic trace--norm identity | statement | lemma 9.1 | arxiv |
| Trace--norm identity for additive characters | statement | lemma 7.3 | arxiv |
| Stable comparison in the tame case | statement | proposition 6.6 | arxiv |
| 5VNK17RTNY | statement | proposition 9.8 | arxiv |
| Change of stationary coefficient | statement | lemma 7.4 | arxiv |
| Conjugate twists | statement | lemma 3.3 | arxiv |
| Rational residue identity | statement | corollary 9.12 | arxiv |
| 6SPVBYF3F0 | statement | proposition 9.21 | arxiv |
| Conductor lower bounds | statement | lemma 7.14 | arxiv |
| Comparison with even conductors | statement | proposition 9.19 | arxiv |
| Cancellation of additive factors | statement | lemma 7.10 | arxiv |
| Inertia in a prime-square extension | statement | lemma 6.1 | arxiv |
| Artin--Schreier coordinate and norm estimates | statement | lemma 7.12 | arxiv |
| A common base-field twist | statement | lemma 9.3 | arxiv |
| Model characters at minimal conductors | statement | proposition 9.33 | arxiv |
| Reduction to conductor one | statement | lemma 6.4 | arxiv |
| Primitive compatible families | definition | definition 1.1 | arxiv |
| Stable twisting with a common factor | statement | proposition 9.20 | arxiv |
| Simultaneous norm-character coefficients | statement | lemma 9.14 | arxiv |
| Truncated logarithms of products | statement | lemma 5.5 | arxiv |
| A common base-field twist | statement | proposition 7.6 | arxiv |
| Finite interpolation | statement | lemma 5.7 | arxiv |
| Norm choice by rescaling | statement | lemma 9.35 | arxiv |
| Comparison in the stable range | statement | proposition 7.7 | arxiv |
| Valuations after a quadratic shift | statement | lemma 9.27 | arxiv |
| Finite-sum local constants | statement | proposition 2.1 | arxiv |
| Unequal breaks: bijective critical maps | statement | proposition 9.39 | arxiv |
| Conductors under norm pullback | statement | proposition 5.2 | arxiv |
| Comparison by stable twisting | statement | proposition 9.7 | arxiv |
| Reduction to minimal conductors | statement | lemma 7.17 | arxiv |
| Artin--Schreier invariance | statement | lemma 9.11 | arxiv |
| Norms after a quadratic shift | statement | lemma 8.6 | arxiv |
| Common twist and conductor alternatives | statement | lemma 9.16 | arxiv |
| Nondegeneracy of the polar pairing | statement | lemma 4.3 | arxiv |
| Norm representatives for the twist coefficient | statement | lemma 7.8 | arxiv |
| Matching the two critical sums | statement | proposition 9.28 | arxiv |
| FBR3755V35 | statement | proposition 9.30 | arxiv |
| Model characters at minimal conductors | statement | proposition 9.15 | arxiv |
| Best additive approximation | statement | lemma 5.4 | arxiv |
| Comparison at minimal conductors | statement | proposition 7.16 | arxiv |
| Extension and realization of the unit models | statement | proposition 7.15 | arxiv |
| Simultaneous stationary norms | statement | lemma 9.17 | arxiv |
| First Main Lemma | statement | theorem 2.3 | arxiv |
| Local constants through common norms | statement | lemma 7.9 | arxiv |
| Products of critical functions | statement | lemma 8.4 | arxiv |
| Stationary representatives and critical functions | definition | definition 4.1 | arxiv |
| Model characters at minimal conductors | statement | proposition 9.24 | arxiv |
| Norm-character groups | statement | lemma 3.1 | arxiv |
| Common twist and conductor alternatives | statement | lemma 9.34 | arxiv |
| Valuations after a quadratic shift | statement | lemma 9.36 | arxiv |
| Simultaneous stationary norms | statement | lemma 9.37 | arxiv |
| Primitive finite-field Gauss-sum identity | statement | proposition 6.2 | arxiv |
| Translation of critical sums | statement | lemma 4.4 | arxiv |
| Logarithmic coordinates on unit quotients | statement | lemma 7.2 | arxiv |
| Simultaneous norm-character coefficients | statement | lemma 9.23 | arxiv |
| Conductor-one comparison | statement | proposition 6.3 | arxiv |
| Lamprecht's formula | statement | theorem 4.2 | arxiv |
| Artin--Schreier norm characters | statement | lemma 9.10 | arxiv |
| Equal breaks: distinct kernels | statement | proposition 9.40 | arxiv |
| Aligned Kummer generators | statement | lemma 9.22 | arxiv |
| Simultaneous norm-character coefficients | statement | lemma 9.32 | arxiv |
| Norm choice by rescaling | statement | lemma 9.26 | arxiv |
| Trace ideals and additive conductors | statement | lemma 5.1 | arxiv |
| Stable twisting | statement | lemma 4.6 | arxiv |
| Conjugated stationary norms | statement | proposition 9.6 | arxiv |
| Stationary coefficients from a norm | statement | lemma 9.4 | arxiv |
| Norms as stationary coefficients | statement | lemma 8.3 | arxiv |
| Common restriction to the base field | statement | lemma 3.6 | arxiv |
| TP7P279ZS2 | statement | lemma 7.1 | arxiv |
| Norm approximation | statement | lemma 5.3 | arxiv |
| Compatibility of the unit models | statement | lemma 7.13 | arxiv |
| Compatible characters of conductor $T$ | statement | proposition 7.5 | arxiv |
| Comparison after a higher-conductor twist | statement | proposition 7.18 | arxiv |
| Second Main Lemma | statement | theorem 1.2 | arxiv |
| Minimal-conductor comparison | statement | proposition 9.5 | arxiv |
| Norm--logarithm congruences | statement | lemma 5.6 | arxiv |
| Biquadratic trace--norm identity | statement | lemma 8.2 | arxiv |
| Elementary local-constant identities | statement | lemma 2.2 | arxiv |
| Critical-sum comparison at minimal conductors | statement | proposition 9.18 | arxiv |
| Transitivity of norm-character products | statement | lemma 3.4 | arxiv |
| Simultaneous norm and trace formulas | statement | lemma 9.13 | arxiv |
| Common twist up to conjugation | statement | lemma 9.25 | arxiv |
| Common pullback of critical functions | statement | lemma 9.38 | arxiv |
| Reciprocal critical sums | statement | proposition 9.29 | arxiv |
| Higher conductors: trivial critical sums | statement | proposition 9.41 | arxiv |
| Stationary coefficients under norm pullback | statement | lemma 6.5 | arxiv |
| Biquadratic break patterns | statement | lemma 9.9 | arxiv |
| Aligned quadratic generators | statement | lemma 9.31 | arxiv |
