Every correction I made to my spec added a requirement. The retired rows were still being counted.

The specification here is append-only. You never edit a row. To change one you retire the old row,...