Comment by nixon_why69

I'm flabbergasted at this comment.

Are you maintaining a list of all invariants you want QA'd by the LLM after each change? How many tokens does this process take?