[amelius]

I'm only ever switching to a new filesystem if its correctness has been formally verified.

[tutfbhuf]

For which filesystems is that case?

[amelius]

None. But the tools are there, so it should be possible.