theorem proved term proof

`pmns_theta13_born_forced`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 256theorem pmns_theta13_born_forced :
 257    sin2_theta13_pred = reactor_weight := by

proof body

Term-mode proof.

 258  unfold sin2_theta13_pred
 259  rfl
 260
 261/-! ## CP Violation and Jarlskog Invariant -/
 262
 263/-- **THEOREM: CP Phase from Eight-Tick Cycle**
 264    The CP-violating phase δ arises from the fundamental phase increment of the
 265    8-tick cycle. Each tick contributes π/4 to the global phase.
 266    The maximum CP violation occurs at δ = π/2 (two ticks shift).
 267    - Tick 1: π/4 (π/2 phase difference between complex states).
 268    - Tick 2: π/2 (maximal orthogonality). -/

depends on (21)

Lean names referenced from this declaration's body.

Cycle in IndisputableMonolith.Algebra.LedgerAlgebra decl_use
of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
tick in IndisputableMonolith.Constants decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
phase in IndisputableMonolith.Foundation.EightTick decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Tick in IndisputableMonolith.Foundation.TimeEmergence decl_use
Phase in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
Tick in IndisputableMonolith.Masses.Ribbons decl_use
Tick in IndisputableMonolith.Masses.Ribbons.Tick decl_use
Tick in IndisputableMonolith.Measurement.RSNative.Core decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use
phase in IndisputableMonolith.NumberTheory.RiemannHypothesis.Wedge decl_use
sin2_theta13_pred in IndisputableMonolith.Physics.MixingDerivation decl_use
reactor_weight in IndisputableMonolith.Physics.MixingGeometry decl_use
two in IndisputableMonolith.QFT.SpinStatistics decl_use
Phase in IndisputableMonolith.RRF.Hypotheses.EightTick decl_use