experimentalStatus
plain-language theorem explainer
This definition assembles a list of three experimental anchors for the baryon asymmetry derivation in Recognition Science. A cosmologist studying baryogenesis from the eight-tick phase structure would cite it to check consistency with Planck data and observed CP violation. The definition constructs the list directly from three EtaFalsifier records without further computation.
Claim. The experimental status is the list of pairs recording potential falsifier type and status: ⟨η measurement, (6.10 ± 0.04) × 10^{-10}⟩, ⟨CP violation, observed in K, B, D mesons⟩, ⟨φ connection, φ^{-47} gives right order of magnitude⟩.
background
The module COS-007 targets derivation of the baryon-to-photon ratio η ≈ 6.1 × 10^{-10} from Recognition Science's φ-structure via intrinsic asymmetry in the 8-tick phase and CP violation from the ledger. EtaFalsifier is the structure that records a falsification type (String) and its current status (String). Upstream results include the dimensionless bridge K = φ^{1/2} from Constants, the structure of nuclear densities and photon fluxes from NucleosynthesisTiers, and the J-cost structure from PhiForcingDerived.
proof idea
This is a direct definition that enumerates three EtaFalsifier structures with their respective falsifier types and status strings.
why it matters
This definition anchors the COS-007 target of deriving η from the φ-structure and eight-tick asymmetry (T7) to current data. It supports the Sakharov conditions listed in the module and connects to the phi forcing chain in the foundation. No downstream theorems reference it yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.