Исправление CryNet, (текущая версия) :
при этом заставляет вручную оповещать фреймворк об изменениях через setState
Не совсем. Часть DOM-а может перерисоваться и без использования state.
В остальном он точно так же ходит по всему поддереву, вычисляя свойства заново и синхронизируя DOM при расхождениях
При этом перерисовка DOM-а коснётся только изменённого элемента, а не всего блока. Если, например, у тебя есть десяток li в списке и изменился только один, то перерисуется только один.
Исходная версия CryNet, :
при этом заставляет вручную оповещать фреймворк об изменениях через setState
Не совсем. Часть DOM-а может перерисоваться и без использования state.