OK. The code that calculates margin requirements is smart enough to aggregate legs into positions.
The automatic liquidation code, it appears, views one's account as an collection of unrelated legs. When it gets control, it randomly liquidates one or more legs and, in all likelihood...