`RunawaySignature`

definition

show as: view math explainer →

module: IndisputableMonolith.Energy.VacuumPump
domain: Energy
line: 47 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Energy.VacuumPump on GitHub at line 47.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

Energy IndisputableMonolith.Constants.RSNativeUnits

formal source

  44/-- RS Falsifier: Runaway Acceleration.
  45    Without a load, the pump will accelerate until failure.
  46    This signature distinguishes it from conventional generators. -/
  47def RunawaySignature (load : ℝ) (rpm : ℝ) : Prop :=
  48  load = 0 → rpm > 0 -- RPM increases without bound (simplified)
  49
  50end VacuumPump
  51end Energy
  52end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.