dilutionFactor
dilutionFactor supplies the numerical suppression of 10^{-7} that reconciles the CP asymmetry ε_CP with the observed baryon-to-photon ratio η ≈ 10^{-10}. Cosmologists assembling baryogenesis calculations inside the Recognition Science φ-framework would cite this constant when closing the η expression. It is introduced by direct real-number assignment with no further derivation or lemmas.
claimThe dilution factor accounting for reheating and washout is defined as $10^{-7}$.
background
Module COS-007 derives the baryon-to-photon ratio η ≈ 6.1 × 10^{-10} from the φ-structure of the eight-tick phase. The core mechanism is an intrinsic asymmetry in the 8-tick cycle together with CP violation generated by the ledger, yielding ε_CP ~ 10^{-10}. The dilution factor supplies the remaining suppression needed to reach the observed η after post-inflationary processes.
proof idea
One-line definition that directly assigns the real constant 1e-7.
why it matters in Recognition Science
This definition completes the relation η = ε_CP × dilutionFactor stated in the module doc-comment, allowing the 8-tick CP violation to match the observed matter abundance. It fills the numerical gap between the intrinsic asymmetry and the final ratio after reheating and washout. The parent structure is the adapted Sakharov conditions within the Recognition Science eight-tick octave.
scope and limits
- Does not derive the numerical value from the phi-ladder or J-cost.
- Does not model the reheating or washout dynamics explicitly.
- Does not link to the mass formula or Berry creation threshold.
formal statement (Lean)
111noncomputable def dilutionFactor : ℝ := 1e-7
proof body
Definition body.
112
113/-- **THEOREM**: η = ε_CP × dilution factor. -/