Hard Guarantees at a Measured Price: Entropy-Stable Learned Finite Volumes for Compressible Flow