Enforcing Invariants in AI-Generated Code with ADRs and Contracts | Dark Hacker News