Registry · Definition V.D154 tau-effective formalized

V.D154 — Regime Boundary Character

A regime boundary character chi_n at refinement depth n is the restriction chi_n = ev_n composed with chi in H_partial[omega]_n, where ev_n evaluates the full boundary character at depth n. It captures the spectral content available at a given refinement level.

Book V Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookV.Cosmology.BigBangRegime

Symbol: Tau.BookV.Cosmology.RegimeBoundaryCharacter