IV.R284 — tau-native Planck character

In the tau-framework the Planck character hbar_tau is not a dimensional constant but a sector lift: Lift_QM(iota_tau). The Lean module PlanckCharacter formalizes five canonical sector lifts (all sigma-equivariant); hbar_tau is sigma-fixed at the lemniscate crossing and is the attained minimum.