Uniqueness cannot simply be deleted

Here the correct degenerate gap inequality is

not (eq:gap) with one selected vector. The latter already excludes any second orthogonal ground vector.

A topologically motivated degenerate extension must add real structure, such as a restricted ground-space class and relevant local indistinguishability or boundary conditions. A universal topological correction does not repair the volume-law example.