Axis Regularity in the 5D Corridor
We study axisymmetric Navier--Stokes flow with swirl through the five-dimensional lift of the azimuthal-vorticity equation. We prove the weighted identities behind the corridor method: zero capacity of the axis, a sign-safe Hardy inequality, the exact circulation Caccioppoli formula, five-dimensional velocity recovery, a logarithmic source-mass estimate, and negative-norm compactness of the swirl source. These estimates yield a precise conditional reduction from axis regularity to a finite set of scale-uniform closure statements. We also prove that a natural weighted quartic inequality cannot provide that closure in the proposed corridor. The paper is a rigorous reduction theorem; it does not prove unconditional regularity for arbitrary swirl.