enum error {
    no-error,

Huh? Isn't that covered by `result`? Sounds like you should take that out and return `result<_, error>` from `write-verification`.