Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?

The fact that the description is AI slop doesn't inspire confidence in the results.