Нет. Ранобе Прогрессива - это именно расширенная версия основной серии новелл САО, тома 1-2, 8 (частично). Именно расширенная и дополненная, а не противоречащая история. Единственная точка пересечения изданной части новелл САО и САО: Прогрессив - это как раз Ария в Беззвездной Ночи, которая тоже никак не может противоречить новеллам САО, просто потому что она была основой САО еще до издания в виде ранобе, пока тот был просто веб-новеллой, а уже в процессе подготовки к изданию арка была урезана и в таком виде вошла в состав новелл САО. А уже в САО: Прогрессив пошла в полной версии, став первой половиной первого тома.
И до тех пор пока Кавахара не накосячит с более поздними томами, случайно или намеренно переделав события к примеру Красноносого Оленя - это будет именно расширенной версией САО, арки Айнкрад. Но вроде бы пока вышедшие тома Прогрессива так далеко не зашли еще.

Противоречием тут было бы, к примеру, убийство Асуны на первом же этаже. Ну или введение персонажа Мито, как случилиось в данном мувике. Так получается альтернативная история, которую потом либо надо исправлять костылями, либо дописывать альтернативную историю с вообще черт знает какой концовкой.