Cosmology Polarized Birth Domains

The birth field's three regions

In Recognition Science, a universe begins as a discrete grid of cells, each holding a charge. The ledger, a discrete record of events, installs the first configuration, called the birth field. On a two-dimensional diamond grid, this field assigns +1 to every cell on the right half, -1 to every cell on the left half, and 0 to the vertical spine between them. A three-dimensional octahedron grid gets the same split along one axis. The question is how many distinct regions this field forms, and the answer is exactly three: the positive side, the negative side, and the spine.

The number three is not a coincidence of small grids. The framework's machine-checked library of formal theorems proves that for any radius t, the number of connected monochromatic regions in the birth field is exactly 3. The proof works by assigning each cell a height that measures its distance from the three special cells (1,0), (-1,0), and (0,0). Every non-special cell has a neighbor of the same charge with strictly smaller height, so following the descent always lands on one of the three roots. Since every cell connects to a root, and the three charges are distinct, the component count is pinned at exactly 3.

This result matters because the universe grows. A grid of radius t contains roughly 2t² + 2t + 1 cells in two dimensions, a number that grows without bound. Yet the birth field's structure stays compressed into three super-regions, no matter how large t becomes. The framework calls this carried-state sub-extensivity: the cost of carrying the initial state does not scale with the volume. The theorem states that the number of components is 3 while the number of cells is at least 3t, so the fraction of components to volume tends to zero.

In Recognition Science, this is the sharpest possible compression. The framework's North-Star principle says to carry each region at the coarsest scale its recognition allows. For the birth configuration, that coarsest scale is the three regions themselves. The proof is a THEOREM in the framework's library, with zero unproved axioms beyond the standard three of the underlying type theory. It holds for both the two-dimensional diamond and the three-dimensional octahedron, and it is exact for the birth field, not an approximation.

The result does not describe what happens after birth. The live engine later diffuses the spine through forced resolution, creating additional small interface components. Those extra components are bounded by a separate interface bound, not by this theorem. The O(1) carried-state claim applies specifically to the forced conjugate-birth configuration that the shell creation installs each cadence cycle.

/-- **The polarized birth field has exactly 3 locked domains, every radius (2-D).** The upper bound
`≤ 3` (descent toward the three roots) meets the lower bound `≥ 3` (the three roots carry the three
distinct charges `+1`, `-1`, `0`, and charge is a closure invariant). So the carried state is exactly
3 for all `t ≥ 1`: the fine half, the coarse half, and the spine. -/
theorem polarized_components_eq_three (t : ℕ) (ht : 1 ≤ t) : comp (Fmono t) = 3 := by
  refine le_antisymm (polarized_components_le_three t ht) ?_
  exact three_le_comp_of_three_charges (edges t) (polarized t)
    ⟨(1, 0), by rw [mem_ball_iff]; omega⟩
    ⟨(-1, 0), by rw [mem_ball_iff]; omega⟩
    ⟨(0, 0), by rw [mem_ball_iff]; omega⟩
    (by simp only [polarized]; dsimp only; decide)
    (by simp only [polarized]; dsimp only; decide)
    (by simp only [polarized]; dsimp only; decide)

/-- **Carried-state sub-extensivity for the birth field (2-D).** The polarized diamond fills
`2t² + 2t + 1` cells (Phase 49) but is carried as exactly 3 super-regions, so the carried state times
the radius is at most the area for every `t ≥ 1`: `3 t ≤ card (ball t)`, the carried cost is `O(1)`
while the world is `Θ(t²)`. -/
theorem polarized_carried_subextensive (t : ℕ) (ht : 1 ≤ t) :
    comp (Fmono t) = 3 ∧ 3 * t ≤ (InterfaceComponentBound.Diamond.ball t).card := by
  refine ⟨polarized_components_eq_three t ht, ?_⟩
  rw [LatticeBallVolume.Diamond.card_ball]
  nlinarith [ht]

What this page does not claim

The theorem does not describe the evolution of the field after the birth configuration. The O(1) carried-state claim does not apply to the diffused spine state. This result does not derive any specific physical constant or coupling.

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/PolarizedBirthDomains.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: