Registry · Remark
V.R15
tau-effective
formalized
V.R15 — Ticks are not uniform
Alpha-ticks are structurally identical (each is one application of rho) but their readout duration depends on refinement depth: at early depths the primorial gaps p_{n+1}/p_n are large so each tick covers more ground, while at late depths ticks grow shorter as the prime reciprocals p_k^{-1} decrease.