Specifically crafted .mp4 file named .vlc is not recognized by the media library
VLC-iOS downloads media with no file extension as .vlc and saves them in the designated Documents folder indexed by medialibrary. When doing so with .mp4 media that is not a playlist, the medialibrary will silently ignore the file and not index it.
Sample file shared privately.