Registry · Definition V.D22 tau-effective formalized

V.D22 — Sigma-Now Hypersurface

The now-hypersurface Sigma_now is the set of all configurations in tau^3 at the current refinement depth n_*: Sigma_now = {x in tau^3 : depth(x) = n_*} = {alpha_{n_*}} x T^2_{n_*}, a codimension-1 slice that is topologically T^2 (compact and spacelike in the chart-level readout).

Book V Part 1 Ch. 5

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Temporal.TemporalIgnition

Symbol: Tau.BookV.Temporal.SigmanowHypersurface