Building a Deterministic Spec-Driven Development (SDD) Agent for GitHub Copilot

构建了一个本地 Spec‑Driven Development（SDD）代理，通过 SHA‑256 加密合同和严格的验证门（循环检测、风格遵循、覆盖率阈值）来确保 GitHub Copilot 生成的代码可验证且可靠。