I worked together with Jeff on Pasti support some years ago - mostly as tester + some Pasti specs. He abandoned whole thing because it was very hard to deal with - partially because format self, + because lack of complete documentation.
Supporting variable bitrates is possible only with USB HxC, and many protections use that way
Considering F1 GP circuits - may be that TOS version is problem. You need to try it with different TOS versions in emulator(s), + setting RAM to 512K or 1MB.
Famous Schrodinger's cat hypothetical experiment says that cat is dead or alive until we open box and see condition of poor animal, which deserved better logic. Cat is always in some certain state - regardless from is observer able or not to see what the state is.