InflationFalsifier
plain-language theorem explainer
Recognition Science inflation is falsified by spectral index outside 0.96-0.97, tensor ratio above 0.01, significant non-Gaussianity, or non-slow-roll dynamics. Cosmologists testing early-universe models against CMB data would cite this record to organize constraints. The declaration is a plain structure definition pairing descriptive strings for each falsifier type and its status.
Claim. An RS inflation falsifier is a pair $(d, s)$ where $d$ is a string describing a potential falsifying observation and $s$ is a string reporting its current experimental status.
background
In the COS-001 module cosmic inflation arises from J-cost slow roll. The J-cost $J(x) = ½(x + x^{-1}) - 1$ has a minimum at $x=1$, producing a flat region far from the minimum that drives exponential expansion. Upstream results include the structure of J-cost from PhiForcingDerived.of and the status of RS native units with the phi-ladder. The module imports establish consistency with nucleosynthesis tiers and spectral emergence of gauge content.
proof idea
The declaration is a structure definition that introduces a record type with fields for falsifier description and status. No proof tactics or lemmas are applied; it directly encodes the four falsification criteria listed in the doc-comment.
why it matters
This definition supports the experimentalStatus list in the same module, which reports consistency with observations such as n_s = 0.965. It closes the loop on the inflation mechanism derived from J-cost in the Recognition framework, linking to T5 J-uniqueness and the phi-ladder. It touches the open question of precise matching to CMB parameters.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.