Cosmology Eta Bexact Rung Derivation Chirality Product Equals Gap Minus One

The chirality bridge

The baryon-to-photon ratio is a cosmological number that describes how much ordinary matter exists compared to light in the universe. In the Recognition Science framework, this ratio is tied to an integer rung on a ladder of powers of the golden ratio. The specific rung for the baryon-to-photon ratio is the integer -44. The declaration chirality_product_equals_gap_minus_one is a proved theorem that establishes one of the structural routes to this integer.

The theorem connects two apparently unrelated counts. The first is the number of bit flips in a Gray code, a binary counting system where consecutive values differ by exactly one bit. For the first step of the code on three bits, this flip count is 4. The second count is a torsion gap, a measure of periodic structure in a filtration, which for the relevant pair is 11. The theorem proves that the product of these two numbers, 4 times 11, equals 44. This is exactly one less than the consciousness gap, a framework term for the product of the number of degrees of freedom and the number of parity states in a recognition event, which at three spatial dimensions equals 45.

The statement is not a definition or a guess. It is a theorem in the framework's machine-checked library of formal theorems, meaning it is derived from prior definitions and proofs using only the standard axioms of the underlying logic. The theorem is one of several routes that all converge on the same integer -44 for the rung. Another route derives -44 from the number of degrees of freedom in three dimensions, and a third route derives it from the count of fermionic degrees of freedom in the Standard Model. The chirality theorem is the bridge that shows the Gray code flip count and the torsion gap together reproduce the same gap-minus-one structure.

The theorem does not claim that the baryon-to-photon ratio itself has been measured to be exactly -44. The measured value is a physical observation, while this theorem is a structural result within the framework. The theorem also does not claim that the Gray code or the torsion filtration are physical objects in the universe. They are mathematical structures used in the framework's derivation. The convergence of the three routes is presented as a non-trivial result, not as a statistical fit, but the framework can still be falsified at any of the named structural inputs.

/-- The chirality flip-count × torsion product equals the gap minus the
    active edge. This is a non-trivial structural identity at D = 3:

      bitFlipCount(0) × |torsionGap(0,1)| = consciousnessGap(D) − A

    LHS comes from the Gray code on Q₃ × CW filtration torsion.
    RHS comes from the gap-from-dimension formula D²(D+2) − 1.
    Both equal 44 at D = 3. -/
theorem chirality_product_equals_gap_minus_one :
    ((bitFlipCount 0 : ℤ) * (torsionGap 0 1).natAbs)
      = (Foundation.GapDerivation.consciousnessGap Foundation.GapDerivation.D : ℤ)
        - Foundation.GapDerivation.A := by
  have hflip : bitFlipCount 0 = 4 := bit0_flips_four
  have htor : (torsionGap 0 1).natAbs = 11 := by native_decide
  have hgap : (Foundation.GapDerivation.consciousnessGap Foundation.GapDerivation.D : ℤ) = 45 := by
    exact_mod_cast Foundation.GapDerivation.gap_at_D3
  rw [hflip, htor, hgap]
  decide

/-- The chirality flip-count × torsion product equals the gap minus the
    active edge. This is a non-trivial structural identity at D = 3:

      bitFlipCount(0) × |torsionGap(0,1)| = consciousnessGap(D) − A

    LHS comes from the Gray code on Q₃ × CW filtration torsion.
    RHS comes from the gap-from-dimension formula D²(D+2) − 1.
    Both equal 44 at D = 3. -/
theorem chirality_product_equals_gap_minus_one :
    ((bitFlipCount 0 : ℤ) * (torsionGap 0 1).natAbs)
      = (Foundation.GapDerivation.consciousnessGap Foundation.GapDerivation.D : ℤ)
        - Foundation.GapDerivation.A := by
  have hflip : bitFlipCount 0 = 4 := bit0_flips_four
  have htor : (torsionGap 0 1).natAbs = 11 := by native_decide
  have hgap : (Foundation.GapDerivation.consciousnessGap Foundation.GapDerivation.D : ℤ) = 45 := by
    exact_mod_cast Foundation.GapDerivation.gap_at_D3
  rw [hflip, htor, hgap]
  decide

/-- **CONVERGENCE THEOREM A=B**: The gap-from-dimension and chirality
    routes agree at D = 3. -/
theorem routes_AB_agree :
    eta_B_rung_from_dimension Foundation.GapDerivation.D = eta_B_rung_from_chirality := by
  rw [eta_B_rung_from_dimension_at_D3, eta_B_rung_from_chirality_eq]

/-- **CONVERGENCE THEOREM A=C**: The gap-from-dimension and fermionic
    DOF routes agree at D = 3. -/
theorem routes_AC_agree :
    eta_B_rung_from_dimension Foundation.GapDerivation.D = eta_B_rung_from_fermionic := by
  rw [eta_B_rung_from_dimension_at_D3, eta_B_rung_from_fermionic_eq]

/-- **CONVERGENCE THEOREM B=C**: The chirality and fermionic DOF routes
    agree at D = 3. -/
theorem routes_BC_agree :
    eta_B_rung_from_chirality = eta_B_rung_from_fermionic := by
  rw [eta_B_rung_from_chirality_eq, eta_B_rung_from_fermionic_eq]

What this page does not claim

The theorem does not claim the baryon-to-photon ratio has been measured to be exactly -44. The theorem does not claim the Gray code or the torsion filtration are physical objects in the universe. The theorem does not claim the three routes are statistically independent derivations.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Cosmology/EtaBExactRungDerivation.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: