Masses Mass Genesis Integrated Load Integrated Meaning Load Eq Of Evolve Pattern

Evolution and the ledger

A pattern's integrated meaning-load, the total weight of meaning carried by its active sites, is conserved under evolution. The theorem integratedMeaningLoad_eq_of_evolvePattern proves that evolving a pattern by any number of steps leaves its total load exactly the same. This is a conservation law: the total meaning-load of a pattern is an invariant of its own dynamics.

The proof is a chain of equalities. First, the total load is defined as a finite sum over the pattern's support, the set of sites where it is active. Second, the load at each site is shown to be unchanged by evolution, because evolution only cyclically shifts the local window of the pattern, and the neutralization operation that defines site load is invariant under such shifts. Third, the support itself is unchanged by evolution. Therefore the sum, and hence the total load, is unchanged.

In Recognition Science, this is the algebraic load layer of mass genesis. It establishes a necessary condition for a pattern to be a mass candidate: its total meaning-load must be conserved. It does not, by itself, identify this load with the phi-ladder mass law. The connection between the load and the actual mass spectrum is a separate, later step in the framework.

The theorem is part of a certificate, a bundled collection of properties that the load layer must satisfy. This certificate includes non-negativity of site and total loads, and the equivalence between a zero total load and the absence of any non-trivial load. The conservation law is the final piece, guaranteeing that the load is a stable quantity under the pattern's own evolution.

What this means for a reader: within the framework, the total meaning-load of a pattern is a well-defined, conserved quantity. It is a candidate for a physical invariant, but the leap from this algebraic invariant to the observed masses of particles is not made here. That leap is a separate hypothesis, to be tested against the measured particle spectrum.

theorem integratedMeaningLoad_eq_of_evolvePattern
    (ψ : LightPattern Λ) (k : ℕ) :
    integratedMeaningLoad (evolvePattern k ψ) = integratedMeaningLoad ψ :=
  integratedMeaningLoad_eq_of_sameLoadOnSupport
    (sameLoadOnSupport_evolvePattern ψ k)

theorem siteMeaningLoad_evolvePattern
    (ψ : LightPattern Λ) (k : ℕ) (x : Λ) :
    siteMeaningLoad (evolvePattern k ψ) x = siteMeaningLoad ψ x := by
  unfold siteMeaningLoad evolvePattern
  exact IndisputableMonolith.Gravity.LightMeaningProcessingBridge.cyclicShift_iter_preserves_meaningLoad
    (ψ.window x) k

theorem sameLoadOnSupport_evolvePattern
    (ψ : LightPattern Λ) (k : ℕ) :
    SameLoadOnSupport (evolvePattern k ψ) ψ := by
  constructor
  · rfl
  · intro x _hx
    exact siteMeaningLoad_evolvePattern ψ k x

theorem integratedLoadCert : IntegratedLoadCert where
  site_nonneg := siteMeaningLoad_nonneg
  load_nonneg := integratedMeaningLoad_nonneg
  zero_iff_no_nontrivial := integratedMeaningLoad_zero_iff_not_nontrivial
  positive_iff_nontrivial := integratedMeaningLoad_pos_iff_nontrivial
  rhat_invariant := integratedMeaningLoad_eq_of_evolvePattern

What this page does not claim

The theorem does not identify the load with the phi-ladder mass law. The theorem does not claim that the total meaning-load is a physical observable. The theorem does not specify how the support of a pattern is determined.

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/Masses/MassGenesis/IntegratedLoad.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: