用 TLA+ 规范替代提示词：构建 AI 编程时代的系统蓝图

作者在 Mulga 实践使用 TLA+ 作为 AI 编程的系统规范工具，以替代自然语言提示，确保团队对系统行为有清晰、可验证的理解。以 AWS EBS API 为例，作者用约 400 行 TLA+ 代码描述了卷生命周期状态机，比 AWS 官方文档更简洁且无歧义。