abbrev definition def or abbrev

`eightGateNeutral`

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

formal statement (Lean)

  31abbrev eightGateNeutral := SpiralField.eightGateNeutral

Definition body.

  32
  33/-- Re-export: 8-gate neutrality score (diagnostic). -/

From the project-wide theorem graph. These declarations reference this one in their body.

eightGateNeutral_shift_invariance in IndisputableMonolith.Flight.Schedule decl_use
PulseCoherence in IndisputableMonolith.Flight.SolidState.VirtualRotor decl_use
WaveformCompliance in IndisputableMonolith.Gravity.Candidates.Searl decl_use
eightGateNeutral in IndisputableMonolith.Spiral.SpiralField decl_use

Lean names referenced from this declaration's body.