You are both exactly correct, and I have tested them by standing in there (sweating - it's hot in there in the morning when the furnace and boiler kick in) while the wife showered and I filled the sump pit from the sink.
This was very productive. I learned about them, I noticed that both shake their PVC outlets quite significantly when they shut off, and I noticed that presumably as a result of this, an elbow on the sump pit just before it joins is cracked nearly all the way through.
It dripped on me and has a one drip per 2 minute rate at this point, after I stopped using the sump pit. It drips back onto the pit itself so it's no huge deal in the short term, but obviously I'm glad to have discovered it.
While I was over there I also discovered, for the first time, that my water heater has a space heating outlet and inlet built right into it.
I feel like since it's there I ought to put it to good use. But there's no good way for me to build it in to any of my tanks without a lot of extra exposed plumbing. I think. Maybe I'll come up with something. Or maybe I'll just tear the entire rear wall out of the theater/220 room and run it through there.
Anyway, here are photos of where the two pits merge and then zoomed in on the crack, both before and after I wiped it down. I wiped it and it didn't stink, so it's not getting any backsplashing from the gross pit, which is good.
This is good news. Now I'm clear to start draining the 220 through my new 1" ID dishwasher tubing into there. That will save me tons of time.