the gap only the synthesis pass could see
Every lane checks its own work, and that is not review. It is consistency. A step that depends on a property holding across a whole range will pass every check run by a worker who has already assumed the property, because the assumption…