I think I fixed this inadvertently while getting another file to decode properly; at any rate, it decodes and plays fine on my computer (Mac OS X 10.10, VLC 2.21, Java 1.8.0_60) with today's 0.5.4 release of TivoLibre. Diff also doesn't show any differences between the file generated by tivodecode-ng and TivoLibre. Not sure what the problem was, though, and that's going to irk me. I really appreciate you testing this out on a wider selection of files than I have available. If you find any more that don't decode properly, please let me know.