EXACT MATHEMATICAL REPLAY

Four holds.
Five breaks.

The exact Pólya-frequency order of the Riemann kernel is four: every translation minor through order four is strictly positive, while one exact order-five minor is negative.

The boundary is the result.

ORDER 1positivestrictly positive globally
ORDER 2positivestrictly positive globally
ORDER 3positivestrictly positive globally
ORDER 4positivestrictly positive globally
ORDER 5negativeone exact witness stops the extension

Why it is different

The investigation stopped being a regional atlas and became a replayable boundary. The paper, exact arithmetic, frozen witness, and proof assistant all state the same result: four survives globally; five fails exactly.

  • Global proof of strict PF4 for the Riemann kernel
  • Exact negative PF5 witness and replayable arithmetic certificates
  • Lean 4 theorem checking the frozen target
  • Public repository and DOI-backed permanent archive
Inspect the proof and replay machineryOpen the permanent release
← See both simulations
PF4 / EXACT BOUNDARY / PUBLIC RECEIPTSReturn home