pith. sign in
module module high

IndisputableMonolith.Energy.VacuumPump

show as:
view Lean formalization →

VacuumPump module encodes the entropic pump condition for Recognition Science energy systems. Negative vacuum entropy change forces environmental cooling via the virtual rotor mechanism. Metric engine designers cite it when mapping phased-array field dynamics to thermodynamic outputs. The module imports the VirtualRotor hypothesis and states the cooling implication directly without internal derivations.

claimThe entropic pump condition states that if $dS_ {vacuum} < 0$ then $dQ_ {env} < 0$, realized through the phased-array virtual rotor that generates an effective rotating field.

background

Recognition Science treats energy extraction in open systems that couple to the vacuum through phi-spiral structures. The VacuumPump module introduces the entropic pump as the link between vacuum entropy reduction and environmental heat removal. It rests on the upstream VirtualRotor module, which defines a ring of stationary coils pulsed in sequence to produce a rotating magnetic field that mimics a physical φ-spiral rotor without spinning mass.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the thermodynamic condition required by the downstream Safety.DampeningField module. That module warns that if P_out exceeds P_drive the excess feeds back into the rotation, producing runaway v → v + dv. VacuumPump therefore fills the energy extraction step that precedes safety governor design in open metric engines.

scope and limits

used by (1)

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

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)