**利用ADR和合同强制约束AI生成代码中的不变量**

_Enforcing Invariants in AI-Generated Code with ADRs and Contracts_

> AI生成的代码看似正确但可能暗中违反系统约束。本文介绍如何通过架构决策记录（ADR）和RFC 2119关键词（如SHALL/MUST）将关键规则编码为不可绕过的不变量，确保AI代理在生成代码时严格遵守既定架构约束。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：tip
- **发布时间**：2026-07-01 01:22（北京时间）
- **原文**：[打开原文](https://bitbytebit.substack.com/p/enforcing-invariants-in-ai-generated)