ReadonlynoteHow to interpret a post-lock re-sweep and a read taken under the lock.
ReadonlyproofWhat a proof actually is.
ReadonlyreachableThe fence states an empty work set is reachable from.
ReadonlyreadingHow to interpret point-in-time readings while draining still admits work. Rows can enter or leave, but an empty result cannot over-count work.
The rule an operator reads an empty inventory under.