1. 简介
5. 第一部分：基础
6. 1. 1. 核心理念：为什么类型优于测试
10. 第二部分：核心模式
11. 2. 2. 类型化命令接口：请求决定响应
12. 3. 3. 单次使用类型：通过所有权提供密码学级保证
13. 4. 4. 能力令牌：零成本权限证明
14. 5. 5. 协议状态机：面向真实硬件的 Type-State
15. 6. 6. 量纲分析：让编译器检查单位
16. 7. 7. 已验证边界：解析，而不是事后校验
17. 8. 8. 能力混入：编译期硬件契约
18. 9. 9. 用 Phantom Type 追踪资源
19. 10. 10. const fn：编译期正确性证明
20. 11. 11. Send 与 Sync：编译期并发证明
24. 第三部分：集成与实践
25. 12. 12. 综合实战：完整诊断平台
26. 13. 13. 实战演练：类型安全的 Redfish 客户端
27. 14. 14. 实战演练：类型安全的 Redfish 服务器
28. 15. 15. 来自一线的十四个技巧
29. 16. 16. 练习
33. 第四部分：参考
34. 17. 17. 速查卡
35. 18. 18. 测试类型层保证