tau0_seconds
plain-language theorem explainer
The declaration supplies the reference recognition tick τ₀ as 7.3 × 10^{-15} seconds for decoherence models. Researchers working on Gap-45 thresholds or RS lab predictions cite this constant when scaling from Planck to biological regimes. It enters as a direct numerical assignment drawn from the eight-tick relation τ₀ = 1/(8 ln φ).
Claim. The reference tick τ₀ equals 7.3 × 10^{-15} seconds.
background
The QFT.Decoherence module derives decoherence timescales from the Gap-45 threshold, the boundary at ~10^{45} operations separating coherent quantum superposition from environmental entanglement. Decoherence time is given by τ_decoherence ≈ τ₀ × φ^{-N} where N counts coupled modes. Upstream, the GravityBridge module states τ₀ = 1/(8 ln φ) ≈ 7.3 × 10^{-15} s, linking to the eight-tick octave; the LawOfExistence.Constants structure bundles the CPM parameters Knet, Cproj, Ceng, Cdisp.
proof idea
This is a direct definition that assigns the literal value 7.3e-15 to tau0_seconds. It functions as a one-line wrapper re-exporting the numerical constant established in the GravityBridge module.
why it matters
The constant anchors all downstream decoherence and calibration calculations. It is used by labScaleRatio, rsLabPrediction, and CalibrationCert to generate lab-scale predictions such as w ≈ 29. The definition fills the Gap-45 mechanism in the module documentation and connects to T7 (eight-tick octave) via the factor of 8 in the expression for τ₀.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.