OK, good news everyone. Car starts.
After a metric ****load of troubleshooting, including fuse F1.12, F2.29, the relay, several voltage and resistance readings later (we're an EE and a CS pretending to remotely understand cars here), we finally realized that connector C110? Was the issue...