Registry · Theorem IV.T112 tau-effective formalized

IV.T112 — sigma-Fixed Planck Character

The Planck character hbar_tau is a fixed point of the propagation operator sigma: sigma(hbar_tau) = hbar_tau. Sigma-fixedness means hbar_tau does not change under refinement steps H_partial[n] -> H_partial[n+1], making the action quantum a scale-invariant boundary invariant.

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.SigmafixedPlanckCharacter