Constants

Named constants in RS-native units. ℏ = φ⁻⁵, the α⁻¹ band, gravitational coupling, ℓ₀, τ₀ — all as functions of φ.

32 modules · 324 thm/lemma · 5391 lines

module	thm	lemma	def	lines	papers
`Constants`	5	46	15	522	114
`Constants.Alpha`	0	1	4	62	—
`Constants.AlphaDerivation`	22	0	21	276	—
`Constants.AlphaExponentialForm`	13	0	2	313	—
`Constants.AlphaHigherOrder`	18	0	24	231	—
`Constants.AlphaNumericsScaffold`	1	0	1	33	—
`Constants.AlphaPrecision`	7	0	3	75	—
`Constants.BoltzmannConstant`	6	0	2	203	—
`Constants.Codata`	0	6	3	47	—
`Constants.CurvatureSpaceDerivation`	22	0	10	455	—
`Constants.Derivation`	7	19	13	270	—
`Constants.Dimensions`	0	0	8	129	—
`Constants.ElectronMass`	3	0	1	57	—
`Constants.ElectroweakVEVStructure`	12	0	2	171	—
`Constants.EulerMascheroni`	10	0	0	108	—
`Constants.ExternalAnchors`	0	7	25	262	—
`Constants.FermiConstantScoreCard`	8	0	2	119	—
`Constants.FineStructureConstant`	5	0	0	75	—
`Constants.GapWeight`	1	0	5	125	—
`Constants.GapWeightNumericsScaffold`	2	0	0	26	—
`Constants.GravitationalConstant`	2	0	1	56	—
`Constants.HartreeRydbergScoreCard`	12	0	3	155	—
`Constants.ILG`	0	3	2	52	—
`Constants.KDisplay`	9	5	5	239	—
`Constants.KDisplayCore`	1	3	3	51	—
`Constants.LambdaRecDerivation`	11	2	12	228	—
`Constants.PlanckScaleMatching`	21	0	13	324	—
`Constants.ProtonElectronMassRatio`	4	0	1	78	—
`Constants.RSNativeUnits`	3	13	38	354	—
`Constants.RSUnitsHelpers`	0	1	0	11	19
`Constants.SolidAngleExclusivity`	9	0	2	206	—
`Constants.StrongCoupling`	4	0	2	78	—