predictions
plain-language theorem explainer
Recognition Science supplies a natural UV cutoff at the discreteness scale tau_0, yielding five concrete predictions for QFT observables. High-energy physicists and quantum gravity modelers would cite this list when evaluating regularization schemes against dimensional or Pauli-Villars methods. The declaration is a plain list definition with no computational steps.
Claim. The ultraviolet cutoff induced by Recognition Science discreteness at scale $tau_0$ produces the following predictions: absence of trans-Planckian modes, corrections to the dispersion relation $E^2 = p^2 + m^2$ at high momenta, modifications to the cosmic ray spectrum near the GZK cutoff, a minimum mass for black hole formation tied to $tau_0$, and finite calculable loop corrections.
background
The QFT module derives the ultraviolet cutoff from spacetime discreteness at the tau_0 scale, bounding momenta by p_max = hbar / tau_0 and thereby regularizing loop integrals without arbitrary parameters. Upstream anchors include the Physical structure on bridge data, which requires positive c, hbar, and G, and the spectral emergence definition E(D) = D * 2^(D-1) for edges in D-dimensional cubes. The local setting is QFT-013, whose core insight is that Recognition Science discreteness supplies a first-principles cutoff unlike artificial regulators.
proof idea
The definition constructs a list of five strings that directly enumerate the predictions stated in the doc-comment. No lemmas are applied; the body is a literal list assignment.
why it matters
This definition collects the empirical consequences of the RS UV cutoff and supports the module's comparison table, which marks RS as the only fundamental regularization. It aligns with the forcing chain landmarks T5 J-uniqueness and T8 D = 3 by grounding the cutoff in phi-ladder discreteness. The entry touches the open question of quantitative dispersion corrections and feeds the major paper claim on natural regularization.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.