Registry · Definition IV.D273 tau-effective formalized

IV.D273 — Planck character

The Planck character hbar_tau = Lift_QM(iota_tau) in H_partial[omega] is the image of iota_tau under the QM sector lift. It is sigma-fixed, living at the crossing point of L where chi_+ and chi_- coincide. It sets the scale of the address obstruction (uncertainty bound).

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.PlanckCharacter