Kondratyev/light-verify-loops archive