Use something like 'exiftool' to dump the tags of those files. That will be informative.
Thanks for that suggestion.
In the meantime I have done a brute force visual survey of Show Track Info screens for dozens and dozens and dozens of tracks, and what I have observed so far has been 100% consistent.
With MP3s and AIFFs:"[Tracknum] x/n" is always displayed.
"[Discnum] x/n" is always displayed if Disc Number and Disc Total are present in the track's ID3 tags.
With AACs and ALACs:"[Tracknum] x/n" is never displayed - it's always "[Tracknum] x".
"[Discnum] x/n" is never displayed. If Disc Number and Disc Total are present in the track's ID3 tags, only "[Discnum] x" is displayed.
I don't think I have any WAVs or FLACs in my music library, but that raises the question: Does Rockbox recognize additional ID3 Tag search keys beyond those that are specified on the Tagcache Database Format page? In my first post I was looking for something for Disc Total. Now I'm also looking for something for File Format. I know that I could search file names for ".wav" or ".m4a", but ".m4a" is used for both AAC and ALAC (which leads me to believe that Rockbox is getting and caching a File Type tag from the track file and not just using the file's extension).
Again, thanks.