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
The exact checker reproduces the canonical transcript hash and sharp collisions in every base.
Reverse-and-add cross-length atlas review and independent audit →
Verification notes
The mirror-profile charts, output-length bound, one-bit receipt, and raw-fibre sum were reconstructed. An independent implementation checked 1,208,130 admissible profiles, 310 overlap outputs, and a sharp collision in every base from two through twelve. Missing Stage 6 archival payloads remain separate at L1.
Limitations
- The bounded census supports but does not replace the all-base proof.