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.

Book V Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.TicksAreNotUniform