| Uniform negative blocks | statement | lemma 2.4 | arxiv |
| Recursive enumerability of GAS | statement | proposition 3.4 | arxiv |
| Yes-instances have no zero-drift orbits | statement | corollary 12.2 | arxiv |
| Decidability for linear vector fields | statement | lemma 6.3 | arxiv |
| Shifts with nonreal $a_0$ | statement | lemma 11.4 | arxiv |
| Averages along linear flows | statement | lemma 9.4 | arxiv |
| Distance comparison | statement | lemma 4.4 | arxiv |
| Variable dimension and degree | statement | corollary 1.6 | arxiv |
| Positive constant term | statement | lemma 8.3 | arxiv |
| Cubicization | statement | theorem 1.2 | arxiv |
| Lyapunov stability as a uniform bound | statement | lemma 2.2 | arxiv |
| Tarski | statement | theorem 2.1 | arxiv |
| Degenerate solutions | statement | lemma 10.4 | arxiv |
| Transfer of hardness in fixed dimension and degree | statement | corollary 6.5 | arxiv |
| A small-divisor bound for square roots of primes | statement | lemma 9.2 | arxiv |
| BAGVTTQ0EA | example | example 8.4 | arxiv |
| Bounds on the canonical graph | statement | lemma 13.4 | arxiv |
| Uniformity of the cubicization | statement | proposition 6.4 | arxiv |
| Finite-horizon shadowing | statement | proposition 5.7 | arxiv |
| Effective gradient inequality | statement | lemma 4.5 | arxiv |
| Degree raising and dimension padding | statement | lemma 6.1 | arxiv |
| General solution | statement | lemma 10.3 | arxiv |
| Invariant-measure dichotomy | statement | lemma 5.5 | arxiv |
| Shifted theta solutions | statement | lemma 11.1 | arxiv |
| Nonzero drift goes to infinity | statement | lemma 13.3 | arxiv |
| Angular criterion for Lyapunov stability | statement | lemma 3.1 | arxiv |
| GDEWVZ3R5W | statement | lemma 10.1 | arxiv |
| Recurrent states of the controllers | statement | lemma 9.1 | arxiv |
| GAS of $H-\mathrm{id}$ and forward completeness in degree three | statement | corollary 7.3 | arxiv |
| Angular criterion for GAS | statement | lemma 3.2 | arxiv |
| H9K281XZ9E | example | example 4.1 | arxiv |
| Zero average drift gives a zero-drift orbit | statement | lemma 13.2 | arxiv |
| Even degrees | statement | lemma 6.2 | arxiv |
| Tangency estimate | statement | lemma 5.1 | arxiv |
| Nonresonance of the frequencies | statement | corollary 9.3 | arxiv |
| Central compactification | statement | lemma 13.1 | arxiv |
| Many-one hardness of Lyapunov stability for cubic vector fields | statement | corollary 1.4 | arxiv |
| Selection by three averages | statement | proposition 11.5 | arxiv |
| A fixed Diophantine template | statement | lemma 8.2 | arxiv |
| Strict sign gap | statement | proposition 13.5 | arxiv |
| Points of the quadrics are values of theta functions | statement | lemma 11.2 | arxiv |
| The tube | statement | lemma 5.4 | arxiv |
| Lipschitz constant of the lifted angular vector field | statement | lemma 5.2 | arxiv |
| Complete solutions | statement | proposition 10.5 | arxiv |
| Continuation | statement | proposition 11.3 | arxiv |
| QXXM0J3D8G | statement | theorem A.1 | arxiv |
| Shape of the image | statement | lemma 10.6 | arxiv |
| Many-one completeness in one fixed dimension and degree | statement | theorem 1.5 | arxiv |
| The real cone | statement | lemma 4.3 | arxiv |
| Local structure of the cone | statement | lemma 4.2 | arxiv |
| Canonical solution | statement | lemma 10.2 | arxiv |
| Selection of the modular block | statement | proposition 10.7 | arxiv |
| Product-sphere wrapper | statement | theorem 14.1 | arxiv |
| Cubic normal form | statement | theorem 1.3 | arxiv |
| Main theorem: many-one completeness of GAS | statement | theorem 1.1 | arxiv |
| Classification of zero-drift orbits | statement | theorem 12.1 | arxiv |
| The canonical graph | statement | lemma 12.3 | arxiv |
| MRDP | statement | theorem 8.1 | arxiv |
| Dynamics on the cone | statement | lemma 5.3 | arxiv |
| Averages on the cone | statement | lemma 5.6 | arxiv |
