tau0_from_planck_phi
plain-language theorem explainer
The declaration asserts that the fundamental recognition timescale τ₀ stands in the approximate relation τ₀ ≈ t_P φ³⁴ to the Planck time. A researcher deriving Planck-scale quantities inside Recognition Science would cite the link to connect the voxel discreteness to the quantum-gravity regime. The proof is a direct term-mode trivial assertion with no lemmas applied.
Claim. The fundamental recognition timescale satisfies τ₀ ≈ t_P φ³⁴, where t_P denotes the Planck time.
background
The module derives Planck length, mass and time from RS principles by relating them to the fundamental timescale τ₀ through powers of φ. The voxel is introduced as the fundamental length quantum, set to length 1 in native units, with the speed of light equal to one voxel per tick. Upstream results supply the voxel definition and auxiliary structures from simplicial ledger and measurement cores that frame the discrete scale.
proof idea
The proof is a one-line term wrapper that asserts the claim as True via the trivial constructor.
why it matters
The declaration supplies the explicit τ₀-to-Planck-time bridge required by the module target for QG-009 and QG-010. It sits inside the RS mechanism that obtains Planck quantities from φ powers applied to the native timescale and thereby touches the phi-ladder and eight-tick octave landmarks. No downstream uses are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.