Registry · Theorem
III.T30
tau-effective
formalized
III.T30 — TTM τ-Nativity
A TTM program IS a τ-address operating ON τ-addresses producing τ-addresses. Program = data type. Self-referential identity makes the TTM an E₂ object: code contains its own decoder.
Book III
Part 9
Ch. 55