EML-A2EML_PRIME_RESIDUAL_BENCHMARK_PASScandidate benchmarkno RH claim

EML Prime Residual Benchmark

A fixed-fixture grammar scan over the Chebyshev psi residual, comparing one EML-shaped frequency parameter with a profiled standard trigonometric basis.

Samples
800
x range
4-120
Primes <= x max
30
Known gamma1
14.134725
single_eml_frequency1 grammar nodes1 params

EML-shaped scan

Best gamma
14.087044
MSE
5.339289
Error vs gamma1
0.047682
profiled_sqrt_cos_sin5 grammar nodes3 params

Standard profiled scan

Best gamma
13.929465
MSE
5.253005
Error vs gamma1
0.205260
interpretation

On this fixed psi(x)-x fixture, the EML-shaped one-parameter scan lands closer to the first known zeta-zero frequency; the profiled standard basis has lower MSE because it fits two amplitudes at each frequency.

EML closer: truestandard lower MSE: truenull acceptable: true
controls
ControlEML gammaStandard gammaStatus
shuffled_residual25.5882355.000000context_only
gaussian_bumps5.9637055.000000context_only
non-claims
  • This benchmark does not prove RH.
  • This benchmark does not discover zeta zeros.
  • This benchmark does not prove an EML grammar theorem.
  • This benchmark does not promote any Atlas entry publicly.
  • This benchmark does not change Forge/compiler behavior.
  • Null results are acceptable for future runs.