We are missing test coverage of the BufferPool error path where the integrity check of on-disk data fails. We should add a backend test that injects read errors of the following kinds:
- Truncated files
- Corrupted files
- Inaccessible/removed files
I wrote a prototype of the tests and confirmed that there are some bugs in this area.