Ah, I didn't realize the OCC commingled everyone's orders like that. Somehow I thought they were acting as an insurer on a bunch of 1 on 1 transactions. But I'll admit my understanding is probably incorrect in light of your specific knowledge.
https://www.theocc.com/getmedia/0cdda3c2-ab81-450f-b8b8-7ce8... https://gdcdyn.interactivebrokers.com/Universal/servlet/Regi...