CoolingSignature
plain-language theorem explainer
CoolingSignature encodes the entropic cooling requirement for a Searl Effect device by requiring its operating temperature to lie strictly below ambient. Researchers examining spiral-field propulsion candidates would cite this as an observable RS falsifier that distinguishes vacuum ordering from conventional ohmic heating. The definition consists of a single inequality on two real parameters with no further reduction steps.
Claim. The cooling signature holds precisely when the device temperature satisfies $T_mathrm{device} < T_mathrm{ambient}$.
background
The Searl module treats rotating magnetic rollers on a ring as a candidate for metric engineering through geometric resonance in the recognition field. RS predicts entropic cooling via J-cost reduction in high-coherence regions, where the system absorbs entropy and lowers local temperature rather than dissipating it as heat. The module isolates three signatures: thrust, cooling, and self-acceleration, with cooling serving as the direct falsifier against ohmic warming.
proof idea
The definition is a direct one-line comparison that sets CoolingSignature equal to the strict inequality between the two real inputs. No lemmas or tactics are invoked; the body is the literal predicate T_device < T_ambient.
why it matters
This definition supplies the cooling clause among the three core claims of the Searl Effect hypothesis, providing the interface for the 8-gate neutrality condition referenced in the module. It anchors the RS prediction of J-cost reduction inside coherent regions and the eight-tick octave structure for waveform compliance. As a definition it closes the observational test for the spiral-field candidate without introducing new hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.