No it isn't, that's what limit orders are for. There's still the exact same counterparty risk there anyway, in the form of USDC. Circle is another big dodgy centralized provider. The major critical flaw with all this defi stuff is that it can only reliably trade cryptos for other cryptos. Once you actually try to get any of it out into real assets, the counterparty risk immediately comes back again. No crypto defi stuff can ever solve that. The idea is just bad, it's a scam from the very beginning.
In the world with a Recorder of Deeds, Atrium is screwed, and FX might be screwed, but John Doe is easily confirmed as the owner of 123 Main.
It sounds like people here gave their coins to FX, so that the "deed" shows FX "owns" the coin. In effect, they destroyed the 'trustless' part of the equation. And then SBF violated the trust.
So, the next innovation seems to be a blockchain that shows an owner and an agent?
Think of it like HTTPS. Nobody can sneak anything into the request, but the counterparty you're contacting could still be a fraud.