agent-spec 1.2.0

Intent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code
# Summary

[前言](preface.md)

# 第一部分 入门

- [意图编译器是什么]ch01-intent-compiler.md
- [安装与第一个合同]ch02-first-contract.md
- [七步工作流]ch03-seven-steps.md

# 第二部分 合同

- [合同四要素]ch04-four-elements.md
- [场景 DSL 与测试绑定]ch05-scenario-dsl.md
- [质量门:lint]ch06-lint.md
- [验证与重试:lifecycle]ch07-lifecycle.md
- [边界、守卫与符号]ch08-boundaries-guard.md
- [验收与追溯]ch09-acceptance.md

# 第三部分 意图编译

- [从 PRD 到需求 IR]ch10-intake.md
- [治理与三轴状态]ch11-governance.md
- [计划与工作单元]ch12-planning.md
- [溯源与重放]ch13-provenance.md
- [编译束与代码绑定]ch14-compile-bind.md

# 第四部分 知识与生态

- [KLL 与 liveness]ch15-kll.md
- [Rust Atlas]ch16-atlas.md
- [Live Wiki 与 MCP]ch17-wiki-mcp.md

# 第五部分 理念与架构

- [设计哲学]ch18-philosophy.md
- [架构全景]ch19-architecture.md

---

[附录 A 命令速查表](appendix-a-commands.md)
[附录 B 场景 DSL 参考卡](appendix-b-dsl.md)
[附录 C 本书的 Spec(自举)](appendix-c-dogfood.md)
[附录 D 端到端轨迹](appendix-d-traces.md)