Матемаг
Никаких противоречий!
Все изменения, вытекающие из ООС - это к ООС. А к АУ всё остальное.
Если из АУ вытекает некоторый ООС, причём, вытекает в кадре, то это не ООС.
То есть, я исхожу из простого принципа: какие изменения корневые, начальные, а какие лишь их следствия. Вот корневые требуют метки.