Rulings

A change to what implementations must do is recorded as a ruling: what was decided, and why. A ruling is history and is never rewritten; where one turns out to be wrong, a later ruling supersedes it and says so.