The predicates "pass" and "fail" are binary antonyms because:

They describe the same relationship when mentioned in the opposite order.

Between them, they exhaust all the relevant possibilities.

Both "pass" and "fail" belong to the open-ended English achievement system.

These two predicates are at opposite ends of a continuous scale of values.