Thanks Laura - though the paper uses "non-causal" in a different sense than causal inference in statistics. Here it means the verification relation itself is structurally non-causal: the verifier cannot affect what it verifies without collapsing the distinction it exists to draw. Worth a read if you're curious about the architectural side.