So, here's what I just tried:
- closed all apps in recents
- via adb, adb shell pm clear com.miui.gallery and com.miui.mediaeditor
- adb reboot
Then, on the phone, long press gallery, info, permissions, gave location permissions. Disabled "disable permission if not used" by tapping on the left, not actually on the toggle (tapping the toggle apparently doesn't work well).
Then went to apps, searched for "editor" and gave permissions for media and audio.
For now, it works. Will update trying every 2-3 hours to see if it holds.