EtaFalsifier
plain-language theorem explainer
EtaFalsifier records textual conditions that would invalidate the derivation of the baryon-to-photon ratio from the phi structure. Cosmologists testing baryogenesis models would cite it to organize consistency checks against the eight-tick CP asymmetry. The declaration is a direct record definition with two string fields.
Claim. A falsifier for the baryon-to-photon ratio consists of a textual description of the potential invalidating condition together with its current status string.
background
The module derives the observed baryon asymmetry from CP violation inside the eight-tick phase structure, where the J-cost function is strictly convex with minimum at unity and the phi-ladder supplies the small asymmetry scale. Upstream structures supply the discrete phi-tiers for nuclear densities and photon fluxes, the RS-native unit status confirming c=1 and hbar=phi^{-5}, and the ledger factorization that calibrates J. The local setting is the COS-007 target that obtains eta approximately 6.1 times 10^{-10} from the intrinsic asymmetry of the eight-tick octave.
proof idea
The declaration is a direct structure definition that introduces the record type with fields for the falsification description and its status.
why it matters
The structure feeds the experimentalStatus list that records current observational checks on the eta derivation. It fills the COS-007 paper target of obtaining the baryon asymmetry from Recognition Science's phi-structure and the Sakharov conditions. It touches the open question of whether the measured CP violation in K, B, and D mesons matches the phi^{-47} scale predicted by the eight-tick ledger.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.