Тут нужны очень сложные асампашены конечно.
Вопрос - почему было принято решение не включать валидацию стейта до дженеса в фоне, если мы синхронизировались и знаем последний стейт но хотим убедится в его корректности?
Потому что тем, кому надо, можно просто указать флаг --no-warp
(или, как промежуточный вариант, поставить warp-barrier подальше).
А для абсолютного большинства применений указанные допущения сильно превосходят их требования безопасности.
Вот и выходит что в переусложнённом механизме нету нужды.