This looks pretty interesting. The idea of having a verification layer for agent-generated code makes sense as things get more automated. One thing I’ve noticed with LLM systems is that even when things pass tests, they can still behave unpredictably at runtime. Curious if OQP is mostly focused on pre-merge verification, or if you’re thinking about handling runtime behavior as well?