Comment by fn-mote

Is there any chance of proving a filesystem is correct?

Is this one simple enough that it won’t have bugs??

Given the issues with well-known filesystems like ZFS and BetterFS, why shouldn’t I expect data-losing bugs in this one?