| 18JRT2A89M | statement | lemma F.32 | arxiv |
| Bounds for the six separators | statement | lemma 3.4 | arxiv |
| 1M376F9CDA | statement | lemma F.9 | arxiv |
| Bounds for $\mathrm{EPG}$ | statement | lemma D.3 | arxiv |
| 2899JCA0ER | statement | proposition 3.8 | arxiv |
| 2BTEJG9C8B | statement | lemma G.7 | arxiv |
| 2DFZPWTTGS | statement | theorem 3.7 | arxiv |
| 2H5QC56JK8 | statement | lemma C.20 | arxiv |
| Normalization | statement | lemma E.1 | arxiv |
| 2X1G2T3314 | statement | lemma F.23 | arxiv |
| 342DPDK7E1 | statement | lemma G.11 | arxiv |
| 3723QGD3YK | statement | lemma D.15 | arxiv |
| 3B5VHZN65D | statement | lemma C.27 | arxiv |
| 3GZCAB572B | statement | lemma F.21 | arxiv |
| 3SKVG2P8NW | statement | lemma G.14 | arxiv |
| Deletion recurrence for the antichain polynomial | statement | lemma H.4 | arxiv |
| 42P7ZXTH5P | statement | theorem B.1 | arxiv |
| Synchronous rigidity in the colored models | statement | lemma E.14 | arxiv |
| 4AN0HWFSK6 | statement | lemma F.24 | arxiv |
| 4J832X07TP | statement | lemma C.23 | arxiv |
| 4PYDRE5039 | statement | lemma F.35 | arxiv |
| 4PZFDCYC9K | statement | lemma C.22 | arxiv |
| 4QKQX59B7R | statement | corollary D.7 | arxiv |
| 4R0QXVRH81 | statement | proposition 3.2 | arxiv |
| 4Y5KFF9P6W | statement | lemma G.30 | arxiv |
| 5PRNJNC4E8 | statement | lemma C.10 | arxiv |
| 5QC2DRGNZY | statement | lemma C.8 | arxiv |
| Bounds for $\mathrm{OSPO}$ | statement | lemma 4.1 | arxiv |
| 5ZRN340FV1 | statement | proposition 3.1 | arxiv |
| 6387KJYTG9 | statement | lemma F.17 | arxiv |
| Delayed move with a stale destination | statement | corollary E.6 | arxiv |
| 6CP97XM5PC | statement | lemma F.34 | arxiv |
| 6PR7V4JHCX | statement | lemma G.8 | arxiv |
| Delay before a phase | statement | lemma E.5 | arxiv |
| 6WQB1991MQ | statement | lemma F.41 | arxiv |
| Common failure at all nonprincipal boundaries | statement | proposition 6.2 | arxiv |
| 7AR9P83DNV | statement | lemma C.12 | arxiv |
| 7EZJ63573D | statement | lemma D.10 | arxiv |
| 7RPP76ETFF | statement | lemma F.5 | arxiv |
| Two solo nonzero moves defeat SRO | statement | lemma E.19 | arxiv |
| 7Z15F3NTTH | statement | lemma C.17 | arxiv |
| 800A6JYVGF | statement | lemma G.22 | arxiv |
| 81BFHPDTPG | statement | lemma G.32 | arxiv |
| Maintaining coincidence | statement | lemma E.12 | arxiv |
| Perpetual Expansion Preserving Gravity | definition | definition D.8 | arxiv |
| 8ETE5T6ZGF | statement | proposition 2.1 | arxiv |
| 8PK0Z3CS4R | statement | proposition 2.4 | arxiv |
| 8PQRMRKEV6 | statement | lemma D.18 | arxiv |
| 8WTCW2NEPJ | statement | lemma C.6 | arxiv |
| A single displacement rule | statement | lemma E.16 | arxiv |
| 99D9YFRQBR | statement | lemma G.20 | arxiv |
| 9E5CGP0P7F | statement | lemma F.42 | arxiv |
| Width of the computational lattice | statement | lemma H.3 | arxiv |
| 9NRQ4E77NV | statement | lemma D.20 | arxiv |
| 9WZRQ4DB7N | statement | lemma D.13 | arxiv |
| A4B81R174Z | statement | lemma G.21 | arxiv |
| Expansion Preserving Gravity | definition | definition D.2 | arxiv |
| Convergence | definition | definition C.28 | arxiv |
| The computational lattice and its join-irreducibles | statement | lemma H.1 | arxiv |
| AZCQ25QJMB | statement | lemma C.7 | arxiv |
| AZGZ13TBDE | statement | lemma D.27 | arxiv |
| Boundary certificate | statement | lemma 2.3 | arxiv |
| B9CY66XDM8 | statement | lemma F.30 | arxiv |
| Realization and canonical disjunctive normal form | statement | theorem 7.1 | arxiv |
| BE81Z8DM0P | statement | lemma 5.1 | arxiv |
| The thirteen-class order from six signatures | statement | theorem 3.5 | arxiv |
| $r$-invisible segment | definition | definition E.9 | arxiv |
| Bounds for $\mathrm{S\text{-}RDV}$ | statement | lemma 4.2 | arxiv |
| Swap--Rendezvous | definition | definition D.24 | arxiv |
| C7X43JDY1G | statement | lemma G.19 | arxiv |
| Exactness from boundary common failure | statement | lemma 6.1 | arxiv |
| Hexagonal Edge Traversal | definition | definition C.9 | arxiv |
| CGS7JE92PA | statement | lemma G.33 | arxiv |
| D1TJCZ69KB | statement | lemma D.32 | arxiv |
| Monotone Convergence | definition | definition C.5 | arxiv |
| DHY0YMKYMS | statement | corollary C.26 | arxiv |
| The first nonzero rule along a synchronous prefix | statement | corollary E.17 | arxiv |
| DNMQGGA9WA | statement | lemma F.13 | arxiv |
| DNSAJ76B1F | statement | lemma F.1 | arxiv |
| DTB5GKXTDE | statement | lemma F.22 | arxiv |
| E3FS4DFMQM | statement | lemma F.38 | arxiv |
| EX5V0289VG | statement | lemma G.5 | arxiv |
| F9ZMZJJ6G9 | statement | lemma G.3 | arxiv |
| Invisible transitions | statement | lemma E.10 | arxiv |
| Zig-Zag Collision-Free Convergence | definition | definition C.14 | arxiv |
| G47KS2YB5K | statement | lemma G.25 | arxiv |
| G4FXYA7XZF | statement | lemma G.12 | arxiv |
| GAB5HJ83AY | statement | lemma F.14 | arxiv |
| Minimum size and uniqueness at the profile level | statement | corollary 7.3 | arxiv |
| GD7WYDVP1F | statement | lemma F.12 | arxiv |
| A principal task basis for the thirteen classes | statement | theorem 4.3 | arxiv |
| Avoiding a countable set | statement | corollary E.22 | arxiv |
| Synchronous rigidity in $\OB^{F}$ | statement | lemma E.13 | arxiv |
| H403R4Y62T | statement | lemma G.18 | arxiv |
| H472XDY90V | statement | lemma F.4 | arxiv |
| H50HNPWPR6 | statement | lemma F.2 | arxiv |
| HDYNJ86MP4 | statement | lemma F.40 | arxiv |
| HJ4AC9SD6C | statement | lemma G.13 | arxiv |
| Minimality of the principal-upset basis | statement | theorem 7.2 | arxiv |
| HXNCAM4TKR | statement | lemma F.27 | arxiv |
| J0MXQZ232W | statement | lemma F.39 | arxiv |
| Vertical Configuration | definition | definition C.19 | arxiv |
| JARERAX0E0 | statement | lemma G.28 | arxiv |
| JBT09YM0NQ | statement | lemma G.26 | arxiv |
| JH1M6TGEY2 | statement | lemma G.1 | arxiv |
| Uniqueness of the first Move | statement | lemma D.22 | arxiv |
| JHKMA9M75R | statement | lemma C.25 | arxiv |
| JNFW3P9JRV | statement | lemma F.33 | arxiv |
| K00TSM1FMY | statement | lemma D.5 | arxiv |
| KF9EX0HNYT | statement | lemma G.24 | arxiv |
| Solo pumping in the models without private memory | statement | lemma E.15 | arxiv |
| KSYRZF9H6E | statement | lemma F.20 | arxiv |
| KYD08G2M7V | statement | lemma F.7 | arxiv |
| M1SJ7C77RH | statement | lemma C.21 | arxiv |
| MAYG8CVKZV | statement | lemma C.2 | arxiv |
| MFVZHF5B7X | statement | lemma D.6 | arxiv |
| Concatenation of segments | statement | lemma E.18 | arxiv |
| Shrinking rotation and exchange tasks | statement | proposition 5.3 | arxiv |
| NHCPAWBQA5 | statement | lemma G.10 | arxiv |
| Alternating singleton activation | statement | lemma E.8 | arxiv |
| NNBTTQDTFJ | statement | lemma D.30 | arxiv |
| Six principal separators | statement | theorem 3.6 | arxiv |
| Period-wise pumping in $\FS$ | statement | lemma E.11 | arxiv |
| NXTCY51ZA0 | statement | lemma F.29 | arxiv |
| NYASQQKYTA | statement | lemma F.3 | arxiv |
| P2PKDWFWKT | statement | lemma D.31 | arxiv |
| PMVEMASNGY | statement | lemma G.4 | arxiv |
| PNNMYAHD9P | statement | lemma F.16 | arxiv |
| PP88PD1VBR | statement | lemma F.37 | arxiv |
| PT57WYXTRB | statement | lemma C.3 | arxiv |
| An exact disjunctive basis | statement | theorem 6.3 | arxiv |
| PYZBAHWF0Y | statement | lemma C.29 | arxiv |
| Shrinking Rotation | definition | definition C.1 | arxiv |
| Q707B8D7Y7 | statement | lemma C.13 | arxiv |
| Q93Z52ZRW7 | statement | lemma F.43 | arxiv |
| QA0606CVXD | statement | lemma F.36 | arxiv |
| QMB2PKEBSB | statement | lemma F.25 | arxiv |
| R48YKN6QNK | statement | lemma C.11 | arxiv |
| R8SNX0RE4X | statement | lemma F.15 | arxiv |
| RC2K7KTW5G | statement | lemma G.29 | arxiv |
| RDCXATSB6N | statement | lemma D.28 | arxiv |
| VSS | definition | definition D.29 | arxiv |
| RFKFKH7YXB | statement | lemma F.28 | arxiv |
| RJ6CQTT07S | statement | lemma D.14 | arxiv |
| Dyadic-Multiple Stopped-Distance | definition | definition C.24 | arxiv |
| RRYF9VPT4F | statement | lemma G.23 | arxiv |
| Oscillating Points with One Move per Robot per Phase | definition | definition D.12 | arxiv |
| A nonzero Move must occur | statement | lemma D.21 | arxiv |
| Observation during movement | statement | lemma E.7 | arxiv |
| SVFRX0FMZG | statement | lemma G.9 | arxiv |
| The peer replays the first Move | statement | lemma D.23 | arxiv |
| T4CEK3DA75 | statement | lemma D.11 | arxiv |
| Antichains and maximal-complement counts | statement | proposition H.2 | arxiv |
| TM631N7ZVD | statement | lemma F.8 | arxiv |
| TSWGZP9CWX | statement | lemma C.15 | arxiv |
| TTXND0K08G | statement | lemma C.18 | arxiv |
| Solo activation interval | statement | lemma E.4 | arxiv |
| V6R10Q4V4F | statement | lemma F.6 | arxiv |
| V8FCBSSYXW | statement | lemma D.4 | arxiv |
| VK8ANZZW4F | statement | proposition 2.2 | arxiv |
| W5YX26NQA8 | statement | lemma G.27 | arxiv |
| Overtaking | statement | lemma E.20 | arxiv |
| WJNJP29YW0 | statement | lemma G.16 | arxiv |
| WY4X7NEP8Z | statement | lemma F.26 | arxiv |
| Collision-Free Single Move | definition | definition D.17 | arxiv |
| X1XEWERGS0 | statement | lemma F.10 | arxiv |
| X2GHQMDW6C | statement | lemma F.19 | arxiv |
| X6CG3G9PPC | statement | lemma D.26 | arxiv |
| XBM1MSTKXB | statement | lemma G.6 | arxiv |
| XQDVG9P57F | statement | lemma G.17 | arxiv |
| XV0CH1381A | statement | lemma F.31 | arxiv |
| XWNGS94S57 | statement | lemma G.15 | arxiv |
| XZ671RJ0TZ | statement | lemma C.4 | arxiv |
| Perpetual expansion and exchange tasks | statement | proposition 5.2 | arxiv |
| Computational collapse under full synchrony | statement | theorem 3.3 | arxiv |
| YK3XS5GG5T | statement | lemma G.34 | arxiv |
| YW8CPXP3WR | statement | lemma C.16 | arxiv |
| Contraction ratios | statement | lemma E.2 | arxiv |
| Z0TD2B0PJN | statement | lemma G.2 | arxiv |
| Z3Z0EXMDP3 | statement | lemma G.31 | arxiv |
| Z9TRPZB26V | statement | lemma D.19 | arxiv |
| ZM1W9WA2QW | statement | lemma D.25 | arxiv |
| ZMQMY5PA9Z | statement | lemma F.11 | arxiv |
| ZS768EZ0KG | statement | lemma F.18 | arxiv |
| ZYTZFRHSKP | statement | lemma D.16 | arxiv |
