Registry · Definition IV.D298 tau-effective formalized

IV.D298 — Planck character

The Planck character hbar_tau = Lift_QM(iota_tau): H_partial[omega] -> R_{>0} is the evaluation of the master constant through the quantum-mechanical sector of the boundary holonomy algebra. It is the sector lift that produces the reduced Planck constant from iota_tau.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.PlanckCharacter