Likewise.I'd classify it as a "reasonable hypothesis based on observational evidence": I've never seen a pair of objects the game classifies as a co-orbiting planet which has a barycentre inside the larger object.
The reverse is not completely true, however, because planets can never be top-level objects, so for example a light Y-dwarf and a heavy gas giant alone in a system will always be 'sysname' and 'sysname 1' even though a pair of stars with a similar mass ratio and distance would be 'sysname A' and 'sysname B', and the same Y-dwarf and gas giant themselves in orbit around something big like a B-class star would be 'sysname 5' and 'sysname 6' binary.
This is pretty consistent with RL, though, since the barycentre of Sol-Jupiter is not within Sol, and Jupiter doesn't get to be Sol B. I suppose if it was, Mercury->Mars would be Sol A1->Sol A4, and Saturn to Neptune would be Sol AB1->Sol AB3, the way Elite Dangerous numbers objects.