proposition

Proposition 6.2

Endpoint-only escape

Proposition 6.2 (Endpoint-only escape). For m≥2m\ge2, let Sm=02m1100S_m=0^{2m}1100. Its longest even-palindromic suffix is 001100001100 and the suffix link is 0000. The mirror occurrence of 0000 ends at the historical prefix 02m0^{2m}, whose longest suffix-link chain is 02m,02m−2,…,00,ϵ.0^{2m},0^{2m-2},\ldots,00,\epsilon. Recovering 0000 from that untyped endpoint takes exactly m−1m-1 suffix-link steps.