> The "neither" case is excluded by the law of totality.

We literally said the same thing. It doesn't follow from antisymmetry.

My point is precisely that:

(x <= y /\ y <= x) -> x = y

does not entail

x <= y \/ y <= x

The second statement is totality/comparability, not antisymmetry.