Registry · Proposition V.P04 tau-effective formalized

V.P04 — Pre-Temporal Indistinguishability

In the pre-temporal epoch (n < n_ign): no physical subsystem can distinguish tick alpha_k from alpha_{k+1} by internal measurement, proper time t(n) exists mathematically but has no operational realization, and the causal ordering still holds but is not temporally articulated.

Book V Part 1 Ch. 5

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.PretemporalIndistinguishability