planck_time_SI
plain-language theorem explainer
This definition supplies the CODATA 2018 numerical value of the Planck time in SI seconds as the fixed calibration anchor between Recognition Science native units and observational data. Cosmologists converting Hubble parameters or cosmic ages from Planck units to km/s/Mpc or Gyr reference it directly. It is realized as a one-line real-number assignment with no internal computation or derivation.
Claim. The Planck time in seconds is the external constant $t_P = 5.391247 × 10^{-44}$ s, obtained as $ℓ_P / c$ from the 2018 CODATA value.
background
The module supplies the SI calibration seam required to compare Recognition Science predictions with laboratory and astronomical measurements. Native units set $c = ℓ_0 = τ_0 = 1$, so the Planck length is proved equal to $1/√π$ elsewhere; the Planck time then follows by division by $c$. The numerical SI values themselves remain external experimental inputs rather than RS outputs; all theoretical content resides in the dimensionless ratios of observables to this scale.
proof idea
The declaration is a direct real-number assignment of the CODATA 2018 value. No lemmas are invoked; the body is a literal constant.
why it matters
It anchors every downstream conversion in the same module, including hubble_to_kms_mpc, planck_to_seconds, and the consistency checks inside si_calibration_cert and SICalibrationCert. The module documentation explicitly positions these constants as the external seam through which RS-native predictions (derived from the J-cost functional, the eight-tick octave, and D = 3) reach conventional units. It therefore closes the reporting interface between the forcing chain and late-universe observables.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.