Perfect, thanks.
Also, I observed what I previously thought was “double counting” again:
Here the “Other” and “Heat Pump” are almost the same number, and “Other” is really big. Besides the heat pump, the only loads that I have capable of getting close to 5kW are the dryer and stove (neither of which were being used at the time).
I was able to do a rough estimate from the usage graph in sense (the peak from 8-8:30 is about 12 kW, and from 8:30-9 it’s about 2.5 kW which works out to about 7.25 kWh for the 8-9am hour).

This corresponds very close to what my utility reported for total usage (via my smart meter).

So Sense reported the correct amount of power that was used (it’s not a double counting error). I assume it must be power that the heat pump was using, except that all goes through the one circuit with the attached flex sensors…
… and I just realized what it has to be. There is one other big circuit in my panel - the water heater. But it’s a heat pump water heater and is so efficient that when it can be bothered to turn on it only uses about 250W.
I recently changed it’s schedule so that it’s turned off at night until 8am. It was cold that morning, and the water in the tank must have gotten cold enough that the water heater decided to get a boost from the resistive elements. (I was wondering if it would save power to turn it off at night. I guess the answer to that is “not if the heating elements turn on”).
So yeah, looks like everything’s working as intended. It’s amazing what you can figure out when you have some data to look at!