Can you expand a little? What you’re suggesting sounds a bit like program verification, or at least program analysis. But what properties are you checking? I h

Can you expand a little? What you’re suggesting sounds a bit like program verification, or at least program analysis. But what properties are you checking? I have written many program analyses (though never any for C#; I’ll have to check it out), and my experience is that they are quite challenging to write. Many are research-level CS, so well outside the skill set of your average vibe coder. I’m wondering if you have some insight about LLM generated code that has not occurred to me…