> Raspberry Pi 5 variant: this is crucial, but I can’t find a good battery solution (i.e. a HAT of some kind.)

Check out the PiJuice HAT. It works great as a UPS for all RPi models.