TDD 测试工作流

运行 TDD 工作流——编写失败测试、实现代码、验证结果。遇到 Bug 时使用 Prove-It 模式，确保修复有效性。