Registry · Remark IV.R270 tau-effective formalized

IV.R270 — The tier boundary is sharp

The three-tier classification of SI constants is structural, not aesthetic: Tier I (c, hbar) appears in every sector, Tier II (e, k_B) appears in specific sectors, and Tier III (candela, mole) does not appear in any sector, being artifacts of macroscopic human measurement conventions.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.TheTierBoundaryIsSharp