dilutionFactor
plain-language theorem explainer
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.
Claim. The 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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.