and hands back results read from a different buffer than the one written.
**`OUTPUT_VERIFY` is fail-closed at every point it could be read.** It is filled
-with `255` at instantiation, again at the top of `verify_blocks` before the count
-check, and again by the host's `clearMemory()`. `0` means verified, so a buffer
-that was never written must never read as zero.
+with `0` at instantiation, again at the top of `verify_blocks` before the count
+check, and again by the host's `clearMemory()`. `1` means verified, so a buffer
+that was never written must read as zero.
## Wasm error reporting