Imagine you've compressed a city map into a JPEG. The original has street names, park boundaries, one-way arrows — rich directional information. The JPEG keeps the pixel colors but loses the vector metadata. Now someone hands you only the JPEG and asks: can you recover which streets were one-way? That's the structural problem Corichi tackles here. Quantum theory compresses classical phase space into a Hilbert space of states; the "one-way arrows" are the gauge directions — degenerate symplectic directions along first-class constraint surfaces. The question is whether the quantum theory, taken as fundamental, retains enough structure to reconstruct those directions. The committed claim: for a nonnegative master constraint operator whose classical zero set forms a Morse–Bott critical manifold, the gauge distribution is fully determined by the linearized Hamiltonian flow of the master function. Specifically, the image of that linearized flow equals the symplectic orthogonal complement of the zero set, and coisotropy (the hallmark of first-class constraints) is equivalent to this linearization squaring to zero. This is a clean geometric theorem, not a numerical result — it gives necessary and sufficient conditions. The paper sits inside the master-constraint programme initiated by Thiemann around 2003–2006, which replaces a system of first-class constraints with a single positive-semidefinite master operator. The programme's selling point for loop quantum gravity is operational: one self-adjoint operator is easier to handle than an algebra of constraints. But a persistent worry has been whether collapsing many constraints into one loses the gauge structure. Corichi's theorem says it doesn't — not because the master remembers the individual constraints, but because the zero-level-set geometry forces the gauge directions to reappear in the dynamics. Three concrete consequences follow. First, for quadratic master functions the spectral bottom of the quantum operator is (ℏ/2)Tr₊L, where L encodes the transverse Hessian. When the zero set is first-class (coisotropic), there's no offset of order ℏ — the offset is ℏ². This cleanly explains a numerical puzzle observed in earlier tests of the master-constraint programme, where first-class and non-first-class systems showed different ℏ-scaling of ground-state energies. Second, the gauge distribution shows up as the image of the second time derivative of the covariance matrix of a semiclassical wavepacket — a quantity accessible to bounded observables, meaning in principle measurable without leaving the quantum framework. Third, two worked models demonstrate these results exactly: coupled oscillators at fixed total energy give exact master evolution and covariance shear, while the non-Abelian SL(2,ℝ) model yields essential self-adjointness, a finite-time propagation estimate, and the spectral bottom ℏ²/2. The validation regime is mathematical proof, not simulation or experiment. The core theorem (Theorem 3.1 and its corollaries) is proved within symplectic geometry using standard Morse–Bott theory. The two model systems are solved exactly — no numerical approximation. This is the gold standard for a mathematical physics paper: the claims are either true or false, not "within 3% of baseline." The integrity concern, such as it is, lies in the gap between finite-dimensional toy models and the infinite-dimensional field-theoretic setting of actual quantum gravity. The obvious next experiment is extending these results to infinite-dimensional constraint surfaces — the setting of loop quantum gravity's Hamiltonian constraint. Corichi doesn't do this, and the honest read is option (a): the functional-analytic obstacles are genuinely hard. Morse–Bott theory on infinite-dimensional manifolds is a live research frontier, not a routine extension. The SL(2,ℝ) model is non-Abelian but still finite-dimensional. Getting from here to full LQG requires either new functional-analytic machinery or a regularization strategy that preserves the Morse–Bott structure. For the broader quantum gravity community, the practical upshot is a sharpened diagnostic: if your master constraint has a Morse–Bott zero set, you can check coisotropy by computing a single linearization and testing whether it squares to zero. The ℏ-vs-ℏ² spectral offset becomes a litmus test for whether your constraint algebra is truly first-class at the quantum level. These are tools, not just theorems — they give practitioners something to compute on new models.
