| Paired-rigidity-distance equality; original | statement | theorem 26 | arxiv |
| Hamada--Smith rank specialisation; verified closed form | statement | lemma 8 | arxiv |
| Flagship distance, original | conjecture | conjecture 25 | arxiv |
| $Q_e, Q_o$ | definition | definition 2 | arxiv |
| Rank-completion; original | statement | proposition 21 | arxiv |
| Cross-correlation modular constancy; original | statement | theorem 13 | arxiv |
| Shared primitives at $d=2$; revised | statement | theorem 18 | arxiv |
| 2-torsion weight-2 logical; original | statement | lemma 10 | arxiv |
| Cancellation lemma | statement | lemma 5 | arxiv |
| CRT decomposition of the centralizer; original | statement | lemma 29 | arxiv |
| Arasu--Dillon--Jungnickel--Pott | statement | theorem 4 | arxiv |
| Two-value pattern; original | statement | theorem 15 | arxiv |
| Parity of $n=\theta_{d}(q)$; original | statement | lemma 12 | arxiv |
| Negative result; original | statement | proposition 20 | arxiv |
| Brun--Devetak--Hsieh | statement | theorem 3 | arxiv |
| Trace | definition | definition 1 | arxiv |
| General-$d$ $q=2$ ceiling | conjecture | conjecture 24 | arxiv |
| Paired column rigidity; original | definition | definition 3 | arxiv |
| Parity-driven distance ceiling for $\mathcal Q(q,d)$, conditional | statement | corollary 11 | arxiv |
| Distance ceiling at $q$ odd, $d$ odd, $d\ge 3$; original | statement | corollary 14 | arxiv |
| Explicit Clifford reduction at $d=2$; original | statement | theorem 19 | arxiv |
| Singer | statement | theorem 1 | arxiv |
| Singer-circulant CSS code from PG(d,q | statement | theorem 6 | arxiv |
| $q=2$ distance ceiling; original, numerical | statement | proposition 23 | arxiv |
| Numerical witness for $\mathcal Q(3,3)$ | statement | proposition 17 | arxiv |
| Closed-form values | statement | corollary 16 | arxiv |
| Hashing-bound positioning | statement | proposition 22 | arxiv |
| CRT zero-count for $\mathcal Q(p,2)$; original | statement | theorem 30 | arxiv |
| Result 3.3 | statement | theorem 2 | arxiv |
| Existence of the $\mathcal Q(q,d)$ family | statement | theorem 7 | arxiv |
| Explicit logical-qudit count for $\mathcal Q(p,d)$; original | statement | corollary 9 | arxiv |
| Singer-circulant paired rigidity at $d=2$; original | conjecture | conjecture 27 | arxiv |
| Lower bound $d_{\min}(\mathcal Q(7,2))\ge 8$; original, computer-assisted | statement | theorem 28 | arxiv |
