Shall have

A future perfect that can usually be replaced by the present:

Buyer shall not be obligated to do X unless and until Seller shall have done Y.

or

Buyer need not do X until Seller does Y.