experimentalStatus
plain-language theorem explainer
This definition assembles three current experimental status pairs for the baryon asymmetry parameter in Recognition Science cosmology. A cosmologist checking consistency between observed eta and the phi-derived asymmetry would cite the list. It is a direct list construction of EtaFalsifier records with no computation.
Claim. The experimental status is the list of records $\langle$``η measurement'', ``Precisely known: $(6.10 \pm 0.04) \times 10^{-10}$''$\rangle$, $\langle$``CP violation'', ``Observed in K, B, D mesons''$\rangle$, $\langle$``φ connection'', ``φ^{-47} gives right order of magnitude''$\rangle$.
background
The module COS-007 targets derivation of the baryon-to-photon ratio eta from the phi-structure via CP violation in the 8-tick phase. EtaFalsifier is the structure whose fields are a falsifier type string and a status string; its doc states that the eta derivation would be falsified by eta unrelated to phi, absence of CP violation in the 8-tick structure, or a baryogenesis mechanism unrelated to Recognition Science. Upstream results include the dimensionless bridge K defined as phi to the power 1/2 and the structure of nuclear densities on phi-tiers from NucleosynthesisTiers.
proof idea
Direct definition that constructs the List EtaFalsifier by enumerating the three literal records.
why it matters
The declaration supplies the experimental anchor for the COS-007 target of deriving eta approximately 10 to the -10 from phi. It references the 8-tick octave and phi forcing chain steps while listing the observed CP violation and the phi^{-47} magnitude match. No downstream uses are recorded yet; the open question remains the exact algebraic derivation of the numerical value from the Recognition Composition Law.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.