verify

Walks every value, checking what open deliberately did not.

Four claims per block: the values ascend and do not repeat, there are as many of them as the directory declares, runs are separated, and the encoding in use is the one the writer would have chosen. The last is what keeps "equal ordinals encode to identical bytes" true of files as well as of writers — a block that decodes correctly but was encoded wastefully would break the property without breaking a single answer.

Throws