If I have an unknown file format and
- someone can still run the program and save any number of files
- someone can modify all options of the program individually
- it is known that the file format does not use compression
- it is known that the file format does not use encryption
- it doesn't seem to have a checksum
- I have "unlimited" money to pay someone
is it then guaranteed that someone can reverse engineer the file format?