token в ответе на получение A — это монотонно возрастающий u64 для данной выдачи. С каждым получением он увеличивается.lease и предъявляет более низкий токен — благодаря этому безопасность сохраняется, даже если сервер блокировок не абсолютно консистентен.Подробное обсуждение согласованности кластера см. на странице Принцип работы.