Enforcing Invariants in AI-Generated Code with ADRs and Contracts · HackerLangs