No! (This morning, UPDATER still pointed to the Dec 5 APK).
However, now it shows today's APK. Have installed it and am meeting Device Integrity again.
Thanks for drawing my attention to the update, and a Big Thank You to the XIAOMI EU team for their continous effort!