Registry · Definition V.D26 tau-effective formalized

V.D26 — Refinement Progression Rate

The refinement progression rate H(n) := ell(Delta_n)/ell(Delta_{n+1}) = p_{n+1}/p_n = q_{n+1} is the ratio of consecutive alpha-tick lengths. It equals the (n+1)-th prime, growing monotonically and producing a super-exponential suppression of tick length analogous to inflationary expansion.

Book V Part 1 Ch. 6

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Temporal.HighEnergy

Symbol: Tau.BookV.Temporal.RefinementProgressionRate