Registry · Remark V.R25 tau-effective formalized

V.R25 — Ignition is not a phase transition

Ignition is not a thermodynamic phase transition or symmetry-breaking event but a readout threshold: the point at which the refinement tower has accumulated enough structure for proper-time readout to become operationally distinguishable from proto-time counting. The tower's structure does not change at n_ign.

Book V Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.IgnitionIsNotAPhaseTransition