OK, the AC is fixed! It was the thermostat, which I wish I had thought to change, but I wouldn’t be able to safely do the thing the HVAC guy did where he manually ran the condenser with a jumper thing, which is how he figured out it was the thermostat. We can actually relax this weekend, maybe?