The Gödel–Heisenberg Horizon: Axiomatic Saturation and the Informational Inaccessibility of Counterexamples to the Riemann Hypothesis

This is Version 2 of a project that began with an initial preprint (Hayoun, March 2026, DOI: 10.5281/zenodo.19352656), which presented an argument for the confirmed undecidability of the Riemann Hypothesis. On further review, that conclusion was found to be overstated: the central technical step conflates two distinct notions of complexity (Kolmogorov complexity of a witness versus the proof-length cost of verifying it), and the argument in fact establishes a conditional obstruction, not a proof. A first revision (April 2026, DOI: 10.5281/zenodo.19552490) corrected this framing and introduced the Gödel–Heisenberg Horizon as a generalization of the underlying idea. This Version 2 substantially restructures and condenses that revision into two clearly separated parts — a mathematically self-contained core (Part I) and an explicitly labeled philosophical extension (Part II) — with the scope of what is and is not established stated plainly throughout.