# THE RH AUDIT · STATUS MAP AND HONEST HARVEST
### What is real, what is ghost, what is open
## Status
RH is open. Unproven, not sealed, not broken, with no proven barrier standing between it and a proof. What follows is a Type-S structural description of that open position, accurate and stable, carrying no theorem about RH’s truth or its provability. This record seals the description. It does not seal RH.
## The three objects (keep them three)
A. The exhibited equivalences. RH if and only if the conservation law holds on the odd eigenspace, RH if and only if the Weil functional is positive semidefinite, RH if and only if every Li coefficient is nonnegative, RH if and only if any self-adjoint operator carries the zeros as its spectrum. Each is a proven theorem about the shape of RH. None is a proof of RH. These sit in the planar lock.
B. The interior proof. The unexhibited completion of A, the positivity actually shown, or the natural operator actually constructed from inside. A real derivation not yet performed, not shown impossible. Interior to the field, the completion of the planar lock’s own material.
C. The exterior phantom. The operator imagined as a detached object standing outside the field, the afterimage of the thinking process. Non-existable as that exterior object, a category error, genuinely path-less. This is the ghost. The audit discards it. It is not the third axis, and the proof never runs through it.
A is exhibited. B is unexhibited. C is non-existable. The distinction between B and C is the spine of the whole audit: unexhibited is not non-existable.
## The two-axis lock (rank two, current, real)
V_F axis, the formal-structural warrant: the equivalences of A, the conservation law, the absoluteness of RH as a Π₁ arithmetic statement fixed by the standard numbers. Real, populated, proven.
V_E axis, the empirical-thermodynamic warrant: the Montgomery-Odlyzko pair correlation placing the zeros on the spectrum of a random self-adjoint operator from the ensemble without time-reversal symmetry, ten trillion zeros verified on the line, the spectral physical models.
These two converge. The convergence is a rank-two lock. It is real, and it is the signature of a proposition structurally understood and empirically certain and still unproven. It is not a GOL. A GOL is rank three, the Gram determinant strictly positive, and a configuration spanning only two dimensions has determinant zero. Placeholder here means not yet a GOL, and it means nothing more.
## The third axis is open and unwalled
The third axis is B, the interior proof, unexhibited. And here is the finding of this session. RH has no proven V_F ceiling. P vs NP has real ones, relativization, natural proofs, algebrization, theorems that whole classes of method cannot resolve it. RH has nothing of the kind, no independence result, no barrier theorem, no proven obstruction. So the ceiling once posited for RH is itself a ghost. There is no wall.
A rank-two lock with an open third axis is a way-station, not a terminus. The ghost is the wall, not RH. No proven obstruction stands between RH and a proof. The two-axis lock is where RH sits now, not where RH is sentenced to stay.
## RH cannot be ceiling-trapped (the Π₁ guard)
RH is Π₁. Were anyone to prove, against all present knowledge, that RH is independent of the axioms, a false Π₁ statement would carry a finite counterexample a sound theory would catch, so independence forces truth. The strongest possible ceiling would not trap RH in the unknown. It would resolve RH as true. For a Π₁ statement there is no door marked trapped-and-unknown. RH is provable, or in the one exotic case independent and therefore true.
## Verdict and typing
RH: open. The map above is a Type-S structural description, accurate and stable, carrying no theorem in any direction. The two-axis lock is real. The third axis, the proof, is unexhibited and unwalled. The phantom is path-less and is not the third axis. The placeholder is current, not terminal.
## What this does not claim
It does not prove RH true. It does not prove RH false. It does not prove RH unprovable, and the absence of a proven ceiling is the removal of the one thing that could ground unprovability, so it cuts against an unprovability reading, not toward it. It does not call the two-axis lock a GOL. It does not seal RH. It records, exactly, an open position, with the real parts named real and the ghost named ghost.