falsification
plain-language theorem explainer
The declaration supplies the concrete falsification criteria for the Earth-Brain resonance model. Cosmologists and experimentalists cite it when testing Schumann harmonic matches or EEG band overlaps against RS predictions. It is realized as a direct structure instantiation carrying default string assertions for the theorem status and deviation thresholds.
Claim. The falsification criteria assert that the frequency formula $f(n)=(4n-1)φ+3$ is a mathematical theorem from the Recognition Composition Law alone, that all five Schumann harmonics lie within 0.06 Hz of the predicted values, and that the model is falsified by any measured harmonic deviating more than 0.5 Hz or by failure of the EEG band overlaps.
background
The EarthBrainResonance module derives Schumann frequencies from RS-forced quantities: φ from T6 self-similarity and D=3 from T8. The FalsificationCriteria structure encodes the master theorem that f(n)=(4n−1)φ+3 follows with zero free parameters, together with match statements and explicit falsifier conditions for both Schumann data and EEG band boundaries. Upstream, FalsificationCriteria defines the structural field as the claim that the formula is unfalsifiable and the schumann_falsifier field as the >0.5 Hz deviation rule.
proof idea
One-line definition that instantiates the FalsificationCriteria structure with its default string values for theorem status, measurement match, and falsifier conditions.
why it matters
This definition supplies the falsification interface consumed by 26 downstream declarations, including DarkEnergyFalsifier, InflationFalsifier, EtaFalsifier, and isWaterFalsified. It closes the master theorem for Earth-Brain resonance by linking the T6/T8 forcing chain to concrete observational tests, exactly as required by the module's claim hygiene section.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.