Masses Mass Genesis Anchor Amplitude Primitive

The next landing surface

In Recognition Science, the path from a light pattern to a particle's mass passes through a series of exact landing surfaces. The ledger, a discrete record of recognition events, encodes a pattern's state; its cost, the forced price of recognition, drives the dynamics. The AnchorAmplitudePrimitive result proves that the next required surface is a single number: the primitive closed-pattern amplitude.

Classically, amplitude means the magnitude of a wave or oscillation. Here it plays the same role: a positive real number that scales a pattern's state. The result defines it as the product of two square roots: the sector base load, a measure of the pattern's intrinsic content, and the phi transport factor, a scaling tied to the golden ratio. The key theorem states that the squared amplitude equals the product of these two loads, and that this amplitude is always positive.

The central result is an equivalence. The proof shows that the neutralized pattern's norm equals the squared amplitude if and only if the pattern's state is exactly the amplitude times a neutral unit chord, a vector of length one in a specific geometric manifold. This is the CP6 target: a precise geometric statement about how the pattern's state relates to the amplitude.

The result then shows this target closes the full chain. Given evidence that the pattern is closed under the Q3 dynamics, the CP6 amplitude condition forces the pattern to have a positive rest mass, to be quantized on the phi rung, to have its predicted mass equal its rest mass, and to have inertial and gravitational masses equal to that rest mass. This is the payoff: the amplitude condition is sufficient to derive the mass properties.

What this establishes is a precise reduction. The framework does not yet derive the chord from the underlying dynamics; that remains open. But the result proves that the amplitude condition is the exact next surface to land on, and that landing there closes the argument for mass. The path is now clear: find the chord, and the mass follows.

/-- Total primitive amplitude selected by sector base load and phi transport. -/
noncomputable def primitiveClosedPatternAmplitude (ψ : LightPattern (Fin 8)) : ℝ :=
  primitiveAnchorSectorAmplitude ψ * primitivePhiTransportAmplitude ψ

theorem primitiveClosedPatternAmplitude_sq (ψ : LightPattern (Fin 8)) :
    primitiveClosedPatternAmplitude ψ ^ 2 =
      primitiveAnchorSectorLoad ψ * primitivePhiTransport ψ := by
  unfold primitiveClosedPatternAmplitude
  unfold primitiveAnchorSectorAmplitude primitivePhiTransportAmplitude
  rw [mul_pow]
  rw [Real.sq_sqrt (le_of_lt (primitiveAnchorSectorLoad_pos ψ))]
  rw [Real.sq_sqrt (le_of_lt (primitivePhiTransport_pos ψ))]

theorem primitiveAmplitudeCP6_iff_primitiveAmplitudeNorm
    (ψ : LightPattern (Fin 8)) :
    AnchorPhasePrimitiveAmplitudeCP6 ψ ↔
      AnchorPhasePrimitiveAmplitudeNorm ψ := by
  constructor
  · exact primitiveAmplitudeNorm_of_primitiveAmplitudeCP6 ψ
  · exact primitiveAmplitudeCP6_of_primitiveAmplitudeNorm ψ

theorem full_chain_for_primitiveAmplitudeCP6
    (T : StableLoadReadoutTheory (Fin 8))
    {ψ : LightPattern (Fin 8)}
    (E : Q3ClosedPatternEvidence ψ)
    (hcp6 : AnchorPhasePrimitiveAmplitudeCP6 ψ) :
    (∀ k : ℕ,
      integratedMeaningLoad (evolvePattern k ψ) = integratedMeaningLoad ψ) ∧
    0 < restMass ψ ∧
    PhiRungQuantized ψ ∧
    restMass ψ = predictedMass ψ ∧
    T.readout.inertialMass ψ = restMass ψ ∧
    T.readout.gravitationalMass ψ = restMass ψ :=
  full_chain_for_primitiveFactorNorm T E
    (primitiveFactorNorm_of_primitiveAmplitudeCP6 ψ hcp6)

What this page does not claim

This result does not derive the chord from Q3 or Rhat dynamics. This result does not prove that any actual particle satisfies the amplitude condition. This result does not establish the physical recognition-to-linking bridge.

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