The Dispute File Is the Spec | TinyFish