Registry · Definition IV.D295 tau-effective formalized

IV.D295 — Coulomb constant in relational units

The Coulomb constant in the relational framework is k_e = (pi^2/32) * Q^2/(M * H * L^3), where the geometric prefactor pi^2/32 arises from the lemniscate boundary geometry. It expresses the electrostatic coupling strength as a ratio of charge squared to mechanical impedance.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.CoulombConstantInRelationalUnits