AI 编程

两段可复制的骨架：一条从 CLAUDE.md 或 AGENTS.md 开始的项目指令加载链，以及一份每次覆盖写的 SESSION_HANDOFF.md 会话交接文件。

AI 协作项目的文档并非越多越好。本文从加载、执行与时效三道关，说明如何设计可验证的指令加载链，区分测试命令、本地 hook 与 CI 硬门禁，并维护不过期的会话交接。

AI 正在改变工程师的任务组合，但现有证据不足以宣布代码作者已经消失。本文把“约束设计者”限定为一种能力重心：定义问题、配置上下文与权限、审查小批变化、建立保证证据并从运行反馈中修正规范，同时说明阅读、调试和实现能力为何仍然重要。

控制复杂或生成式软件不能只靠逐行阅读，也不能只看测试是否通过。本文以转账系统为例，建立需求、契约、性质测试、实现分析、形式验证与运行监控组成的六层证据体系，说明每种方法各自能证明什么。

AI 生成代码可能让系统增长快于团队理解，但“不知道每一行”并不等于失控。本文把认知债定义为安全修改所需知识与团队实际可调用知识之间的缺口，区分技术债、理解债和意图债，并提出识别、度量与偿还方法。