Registry · Remark V.R16 tau-effective formalized

V.R16 — The chart-level continuum

The discrete primorial sum for proper time becomes a continuous Riemann integral at the chart level: at refinement depths relevant to macroscopic physics (n >> 1), individual alpha-ticks are immeasurably small, and the smooth proper time of general relativity emerges as the chart-level shadow of tau's discrete proper time.

Book V Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.TheChartlevelContinuum