Royce Williams on Nostr: I'd argue that verification is itself limited. Part of the OS-level verification ...

I'd argue that verification is itself limited. Part of the OS-level verification gap/problem is that the storage has regions that the OS can't reach. So an OS-level verification process is inherently incomplete.