| Residual Parent List | statement | lemma 4 | arxiv |
| Canonical Hamming Partition | statement | lemma 10 | arxiv |
| PID Projection | statement | lemma 6 | arxiv |
| Systematic SID Encoder | definition | definition 3 | arxiv |
| Regular Outer Realization | statement | lemma 21 | arxiv |
| Single-Deletion Systematic Codes | statement | corollary 2 | arxiv |
| AFNCY84BWN | example | example 3 | arxiv |
| BPP0VCTYEN | example | example 2 | arxiv |
| Systematic $t$-SID Correcting Code | statement | theorem 6 | arxiv |
| CQNKKA1BT0 | example | example 5 | arxiv |
| Bounds for SID and PID Codes | statement | theorem 1 | arxiv |
| Full-Systematic $t$-PID Correcting Code | statement | theorem 4 | arxiv |
| Full-Systematic Encoder | definition | definition 3 | arxiv |
| Common PID Output Induces Common Subsequence Pattern | statement | lemma 9 | arxiv |
| One-PID Base Partition | statement | lemma 17 | arxiv |
| Residual PID Parent List | statement | lemma 18 | arxiv |
| Systematic PID Encoder | definition | definition 1 | arxiv |
| Close-endpoint replacement sequences | statement | lemma 24 | arxiv |
| Deletion Descendants | definition | definition 1 | arxiv |
| Systematic Multipermutation Encoder | definition | definition 5 | arxiv |
| Residual SID Parent List | statement | lemma 16 | arxiv |
| SID-to-Projected-PID Reduction | statement | lemma 11 | arxiv |
| Systematic Multipermutation Codes | statement | theorem 9 | arxiv |
| Deletion-Correcting Permutation Code | definition | definition 2 | arxiv |
| Stable-Lift Bijection and Commutation | statement | lemma 13 | arxiv |
| Systematic SID Decoder | definition | definition 4 | arxiv |
| Polynomial-Time Inner PID Syndrome | statement | theorem 2 | arxiv |
| Profile-Sensitive Inner PID Syndrome | statement | theorem 8 | arxiv |
| Systematic PID Decoder | definition | definition 2 | arxiv |
| Constant Parent List in a Moment Class | statement | lemma 7 | arxiv |
| Residual Graph Amplification | statement | lemma 15 | arxiv |
| Optimal Outer Exponent | statement | proposition 1 | arxiv |
| Transitivity of Tie-Preserving Standardization | statement | lemma 12 | arxiv |
| Polynomial-Time Inner SID Syndrome | statement | theorem 5 | arxiv |
| Inner Multipermutation SID Syndrome | statement | theorem 7 | arxiv |
| Compatibility With Outer Channel | statement | lemma 19 | arxiv |
| Common Regular PID Output | statement | lemma 22 | arxiv |
| Profile Ambiguity and Parent Enumeration | statement | lemma 14 | arxiv |
| Output Bound | statement | lemma 8 | arxiv |
| Transitivity of Standardization | statement | lemma 1 | arxiv |
| WQBQYWJKVV | example | example 4 | arxiv |
| Residual Degree | statement | corollary 1 | arxiv |
| Parent Enumeration | statement | lemma 2 | arxiv |
| Algebraic PID Outer Partition | statement | theorem 3 | arxiv |
| Local Algebraic Fingerprint | statement | lemma 5 | arxiv |
| Replacement characterization | statement | lemma 23 | arxiv |
| Single-PID Correcting Codes | statement | lemma 3 | arxiv |
| Strictly Regular Systematic Multipermutation Codes | statement | theorem 10 | arxiv |
| Z9Z8VRT9H1 | example | example 1 | arxiv |
| Common PID Output Induces Common Data Subsequence | statement | lemma 20 | arxiv |
