Explain the theorem excited_jcost from IndisputableMonolith.Physics.RecognitionHamiltonianSpectrum.

The theorem excited_jcost is a proved statement in the Recognition Hamiltonian Spectrum module. It asserts that excited sectors of the Hamiltonian Ĥ_RS on H_RS carry strictly positive J-cost: for any real r satisfying 0 < r and r ≠ 1, Jcost(r) > 0. This follows directly from the positivity of the underlying J-cost function away from the unit equilibrium. It is contrasted with the vacuum sector, where vacuum_jcost establishes Jcost(1) = 0. The module further records that there are exactly five canonical spectral sectors via spectralSectorCount, and that a positive spectral gap exists on any discretized lattice with spacing a > 0, witnessed by lattice_gap_witness. These facts are collected into the certificate hamiltonianSpectrumCert. The result is a THEOREM with zero sorries and zero axioms in the supplied module.