[alexeldeib]

I love the dual implementation, I hadn’t heard of Dafny.

Can you speak to the point about latency? I wasn’t aware it made performance guarantees

[abrahms]

OPA allows you to make API calls from it. This doesn't. This makes the latency more deterministic.

[alexeldeib]

Ah, I didn’t realize that. I was thinking in the context of pure policy evaluation. I know rego/opa had a policy performance doc so was curious. Thanks :)