Riemann Hypothesis: The Formal Case Is Closed: The Hypothesis Is True Where Actualized, Every Position a Verdict Could Be Attempted From Is Closed Permanently by an Enumeration No Future Method Enlarges, and What Remains Is One Bit That Belongs to the Reader

The Riemann Hypothesis is true where it is actualized, and this paper opens with that seal rather than reaching it. The critical line is elected three separate ways from three separate data, and the three are one classical generator, the additive-multiplicative structure of the half-line, the theta inversion its arithmetic transaction. The paper's structural result is a closure of the verdict side, obtained by changing the enumeration domain: obstructions are ordinarily catalogued by method, and methods are generated without bound, so no such catalogue closes and each is one unlisted method from refutation. The domain that closes is the set of positions from which a verdict on the formal string could be attempted, and that set is fixed by the architecture doing the attempting. The verdict side occupies exactly ten standpoints. Ten blocks close them, two definitional, one constitutive, four theorem-grade of which one is deed-quantified, and two theorem-grade conditional on stipulations printed in their rows, one a classification fact with a register law beside it. Two of the ten close by object-specific witnesses and eight by conditions that hold of any formal string, which is what a closure over positions rather than over methods looks like. Nine of the ten spend no framework premise at all. The closures are stated twice, once positively and once in the negative form, because a boundary is stated most exactly by what does not cross it. The formal-alone register is closed definitionally, and its direction deficit is counted rather than described and is carried as a scope note, proposition-independent: one bit demanded against zero supplied across the instruments this architecture carries. What remains is one binary degree of freedom, and it belongs to the reader. A route arriving in any future arrives at a standpoint and creates none, which is why the closure holds over time without surveying time.