They are. But US30 is a 24 hours traded asset. It's still possible that a trade is not opened when liquidity is low, like just after a weekend, or when the server is briefly down. So this situation can always happen, but Zorro will always get in sync again when new positions open or close.