¿Cómo es posible que falta com.google.android.documentsui en Android 13?

• Documents UI describe lo que hace esta aplicación:

El módulo DocumentsUI controla el acceso a archivos específicos para los componentes que manejan permisos de documentos (como adjuntar un archivo a un correo electrónico). Este módulo es actualizable, lo que significa que puede recibir actualizaciones de funcionalidad fuera del ciclo normal de lanzamiento de Android...El módulo DocumentsUI (com.android.documentsui) se entrega como un archivo APK y está disponible para dispositivos que ejecutan Android 10 o superior (Énfasis añadido)

Por lo tanto, es una aplicación esencial y en Pixel 6a es una aplicación del sistema como debería ser con tu dispositivo también.

• Hay múltiples informes como el tuyo con varias versiones de Redmi y las soluciones sugeridas se enumeran en orden de prioridad.

• En la sección de aplicaciones de tu dispositivo, habilita la búsqueda de aplicaciones del sistema e intenta localizar este archivo. Si está deshabilitado, habilítalo y reinicia. Deberías poder usar el reproductor de MP3. Algunos informes dicen que necesitas habilitarlo como se describe después de cada reinicio. Puede variar.

• Usa cualquier [lanzador de actividades] 2 de Play Store y busca com.android.documentsui. Crea un acceso directo para com.android.documentsui.files.LauncherActivity para iniciarlo o iniciarla directamente. Deberías estar listo para usarlo pero, al ser de Redmi, puede que te lleves una sorpresa desagradable.

• Suponiendo que esta aplicación de alguna manera se desactivó para el usuario, puedes intentar reinstalar com.android.documentsui usando el comando (fuente)

  adb shell cmd package install-existing com.android.documentsui

• Como último recurso, descarga Files by Google y reza para que resuelva tu problema

Como puedes ver en la referencia de DocumentsUI:

Importante: A partir de Android 12, la exploración de archivos a través de DocumentsUI está deshabilitada.

Lo que significa que incluso cuando esté instalado, tu reproductor de MP3 no podrá explorar archivos con esa biblioteca. El autor debe solucionar esto utilizando una nueva API para explorar tus archivos de MP3 en el dispositivo.

Ve a saber por qué Google decidió bloquear la exploración de archivos con ella, probablemente debido a su mal uso por parte de los desarrolladores, como lo hicieron al deshabilitar la API de recepción de SMS que representaba una seria amenaza para la privacidad.