structure definition def or abbrev

`PhaseParams`

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

formal statement (Lean)

  20structure PhaseParams where
  21  modA : ℕ := 8

proof body

Definition body.

  22  modB : ℕ := 45
  23  coprime : Nat.Coprime modA modB := by decide
  24
  25/-- Parameters for eight‑tick gating: a chosen phase and a nonempty set of admissible windows. -/

depends on (12)

Lean names referenced from this declaration's body.

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
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
admissible in IndisputableMonolith.Information.Thermodynamics decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use
phase in IndisputableMonolith.NumberTheory.RiemannHypothesis.Wedge decl_use