What if the option writer doesn fulfill their obligation?
Exchange traded options are guaranteed by the clearing corporation (the OCC in the US). The clearing corporation becomes the buyer to every seller and the seller to every buyer. This is called the principle of substitution, the clearing corporation becomes your substitute counterparty. When a trade is matched there are actually two contracts created, one between the buyer and the clearing corporation, and one between the clearing corporation and the writer.
