Final update. I booted into BIOS, and the pump was running fine, albeit only 850 RPM because the PWM curve I’d set was so low at low temps the flowmeter wasn’t spinning. I ended up moving the pump to iCue and set it up with a more aggressive pump speed profile. All is well.
Thanks everyone for the advice!
If anyone is interested, here a link to the entire saga I posted this morning.