def
definition
def or abbrev
complementary_explanation
show as:
view Lean formalization →
formal statement (Lean)
176def complementary_explanation : List String := [
proof body
Definition body.
177 "RS explains why low-entropy initial state",
178 "Inflation explains stretching mechanism",
179 "Together give complete picture",
180 "J-cost constrains inflaton potential"
181]
182
183/-! ## Predictions -/
184
185/-- RS predictions for the horizon problem:
186
187 1. **Residual correlations**: Even beyond horizon, subtle correlations exist
188 2. **CMB anomalies**: Large-scale anomalies reflect 8-tick structure
189 3. **Inflation parameters**: φ-constrained (e-folds, spectral index)
190 4. **Initial conditions**: J-cost selects specific starting point -/