You gathered the useful information people would find interesting here.

Hello. the permanent files are the ones left after you encode the movie file, the one that is the right size to burn to disc. dvd shrink has no option to delete temporary files after burning.