Registry · Theorem
III.T61
tau-effective
formalized
III.T61 — Translation Failure Boundary
Translations Arith_tr and Topo_tr are faithful EXACTLY on the complement of the 5 forbidden moves. Failure boundary is sharp: translation works perfectly in the safe region, degenerates at forbidden operations.
Book III
Part 10
Ch. 81