маловероятно, что там что-то принципиально отличающееся от AOSP

при плохом раскладе там обновлены все модули шифрования на ГОСТ, при хорошем - наняли дизайнера чтобы сделать красиво, при отличном - наняли ещё и продакта, который видит перспективу за рамками обязательных госконтрактов

Нет. Там эмулятор запускается и андроид приложения работают (якобы даже все).