| Global dynamics with period mismatch | statement | corollary 6.5 | arxiv |
| Phase remainder along small graphs | statement | corollary 4.2 | arxiv |
| Exact phase identity | statement | lemma 3.2 | arxiv |
| Locking with period mismatch of order $\eps$ | statement | theorem E | arxiv |
| Emission section | definition | definition 2.4 | arxiv |
| Global phase expansion without emission-section invariance | statement | lemma 5.11 | arxiv |
| Uniform event-time and phase bookkeeping | statement | lemma 5.8 | arxiv |
| Circle conjugacy from the fixed-point pattern | statement | lemma 5.4 | arxiv |
| Geometric forcing of reciprocal locking | statement | theorem B | arxiv |
| Emission sections aligned with impulses | statement | corollary 5.14 | arxiv |
| Topologically Morse--Smale circle dynamics | definition | definition 5.2 | arxiv |
| A global return | statement | lemma 5.10 | arxiv |
| Topologically transverse fixed point | definition | definition 5.1 | arxiv |
| Simple phase balances away from simultaneous emission | statement | lemma 5.3 | arxiv |
| Loss of locking | statement | corollary 6.6 | arxiv |
| Multipliers, period and persistence | statement | corollary 2.9 | arxiv |
| A constant translation produces advances and delays | statement | lemma 4.4 | arxiv |
| Compatible observations | statement | lemma 5.9 | arxiv |
| Generic reciprocal locking with small period mismatch | statement | corollary 6.2 | arxiv |
| Stroboscopic Morse--Smale locking | statement | theorem 5.5 | arxiv |
| Invariant circle with period mismatch | statement | theorem 6.4 | arxiv |
| Asymptotic phase and isochron | definition | definition 2.3 | arxiv |
| Global reciprocal invariant circle | statement | theorem 5.12 | arxiv |
| Reciprocal locking for distinct planar oscillators | statement | theorem A | arxiv |
| Locked state | definition | definition 2.8 | arxiv |
| Invariant emission sections imply regularity | statement | proposition 5.13 | arxiv |
| Single-emission convention | definition | definition 5.6 | arxiv |
| Open sets of synchronising reciprocal translations | statement | theorem C | arxiv |
| Leading phase displacement | definition | definition 2.6 | arxiv |
| First-order phase response | definition | definition 2.5 | arxiv |
| Locked period with mismatch | statement | corollary 6.3 | arxiv |
| Structural stability of stroboscopic locking | statement | theorem 6.9 | arxiv |
| Global reciprocal Morse--Smale locking | statement | theorem D | arxiv |
| Relative winding forces phase contacts | statement | lemma 4.3 | arxiv |
| Structural stability of reciprocal circle locking | statement | theorem 6.8 | arxiv |
| Winding number along a limit cycle | definition | definition 2.10 | arxiv |
| Fixed-order return with period mismatch | statement | proposition 6.1 | arxiv |
| Asymptotic phase | statement | theorem 3.1 | arxiv |
| Regular paired-event transition | definition | definition 5.7 | arxiv |
| Uniform return-map expansion | statement | proposition 4.1 | arxiv |
