Context
The fixed-length mirror quotient extends across adjacent length charts with one seam bit, but complete growth responses require infinitely many states and separated-flank inverse limits contain non-realizable ghosts.
Proof or evidence
Pairwise first-divergence positions in the explicit family give the count.
Verification notes
The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.
Limitations
- No matching upper bound is known.