Implementation of code generation guard-rails using Property-based Testing ala https://arxiv.org/pdf/2506.18315 - View it on GitHub