We state the :
"LAPBERTRAND is clever engineering, but the spectral method assumes equidistribution of residues in a way that’s not proven. They’re essentially guessing where primes should be, then verifying. That’s not a constructive proof — yet." LAPBERTRAND