UVCutoffFalsifier
plain-language theorem explainer
The structure encodes the conditions that would falsify the natural ultraviolet cutoff derived from Recognition Science discreteness at the tau_0 scale. A QFT researcher testing regularization mechanisms would cite these criteria to specify empirical failure modes. It packages three propositions on spacetime continuity, trans-cutoff observations, and phi-ladder running into a single inconsistency statement.
Claim. Let $C$ assert spacetime continuity below the $tau_0$ scale, $T$ assert observation of physics beyond the cutoff, and $P$ assert failure of phi-ladder running of couplings. The structure asserts $C lor T lor P to bot$.
background
The QFT module derives an ultraviolet cutoff from Recognition Science discreteness. Spacetime is discrete at the tau_0 scale, so momenta cannot exceed p_max = hbar / tau_0; this regularizes all loop integrals. The upstream scale definition supplies the phi-ladder via phi^k for natural number k, while the Spacetime definition supplies the standard 4D manifold.
proof idea
This is a structure definition that directly assembles the three falsification propositions and their implication to falsehood. No lemmas are applied; it packages the conditions stated in the module documentation.
why it matters
The definition supplies the falsification criteria for the UV cutoff claim in QFT-013. It connects the Recognition Science discreteness hypothesis to empirical tests via the phi-ladder and tau_0 scale, supporting the module's target of a first-principles regularization paper. It touches the open question of how continuous-spacetime observations would refute the cutoff.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.