[top256]

Yes exactly and that was the hard part (extract and verify the invariants). Still it's surprising because llm needs to be able to do that for any complex code.

What you wrote is great can I copy/paste it in the blog post? (Referring you of course)

[farkin88]

For sure. Feel free to copy/paste it. Great blog by the way. Will keep any eye out more of your posts.