"With this simple modification to triple-entry bookkeeping, validators can vote explicitly to resolve any number of conflicting realities with near-perfect theoretical efficiency."