IV.D251 — Proto-Time t_p

Proto-time t_p(alpha_n) := n is the rho-iteration depth: the number of applications of rho needed to reach alpha_n from the seed generator alpha. Proto-time is earned from the kernel axioms, not postulated. Its properties follow from the structure of the alpha-orbit.