IndisputableMonolith.Safety.DampeningField
The Safety.DampeningField module defines the Governor function that triggers phase slip delta_phi whenever RPM exceeds a preset limit. It depends directly on the VacuumPump module modeling entropic energy generation. The module contains only definitions and no proofs.
claimGovernor function: if RPM exceeds limit then introduce phase slip $\delta_\phi$.
background
The module sits in the Safety domain and imports Mathlib together with IndisputableMonolith.Energy.VacuumPump. The upstream VacuumPump module states: "RS Hypothesis: Vacuum Pump (Entropic Energy Generation). This module formalizes the thermodynamics of a Metric Engine acting as a generator. The Mechanism: Entropic Pumping. Standard thermodynamics: Work → Heat (Entropy Increase). RS thermodynamics: Ordering Vacuum → Heat Absorption (Entropy Decrease)." Sibling definitions in the same module include Governor, Efficiency and DetuningStopsRunaway.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the safety interface required for controlled operation of the entropic generator formalized in VacuumPump. No direct parent theorems are listed among the used_by edges.
scope and limits
- Does not contain any theorems or proofs.
- Does not specify numerical values for RPM limit or delta_phi.
- Does not connect to the phi-ladder or T5-T8 forcing chain.