def definition def or abbrev

`predictedQubitDecoherence`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 196noncomputable def predictedQubitDecoherence : ℝ :=

proof body

Definition body.

 197  decoherenceTime ⟨typicalSCQubit.env_modes, 0.5, by norm_num, by norm_num⟩
 198
 199/-! ## The Gap-45 Threshold in Practice -/
 200
 201/-- Number of modes to cross from quantum to classical (Gap-45 crossover).
 202    For τ_target = 1 s (human scale), coupling = 1:
 203    N ≈ 45 × ln(10) / ln(φ) ≈ 45 × 2.3 / 0.48 ≈ 215 -/

depends on (12)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
modes in IndisputableMonolith.ClassicalBridge.Fluids.Galerkin2D decl_use
scale in IndisputableMonolith.Cosmology.LargeScaleStructureFromRS decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
decoherenceTime in IndisputableMonolith.QFT.Decoherence decl_use
typicalSCQubit in IndisputableMonolith.QFT.Decoherence decl_use
decoherenceTime in IndisputableMonolith.Quantum.ClassicalEmergence decl_use
decoherenceTime in IndisputableMonolith.Quantum.PointerStates decl_use