用途：让规格成为开发的事实来源，代码是其实现。每条规范性语句获得稳定 ID，每个 ID 出现在测试中，合并门禁在两者偏离时失败。
主要能力：解析 Markdown 规格为带稳定 ID 和内容指纹的需求，并与基线对比检测漂移；用歧义检查器标记未量化形容词、被动无主体、缺少验收标准、占位符等问题；对源码树做双向覆盖率检查，发现无实现的需求和指向已删除需求的孤立标注。
使用方式：先确认完成标准、硬约束与偏好、规格读者、里程碑范围。用 spec_lint.py 检查歧义，用 spec_parse.py 提取 ID 并冻结基线，用 trace_coverage.py 做覆盖率门禁。命令示例：python3 engineering/spec-driven-workflow/scripts/spec_lint.py --spec engineering/spec-driven-workflow/assets/sample_spec.md --max-findings 0 --min-precision 0.85 --format text；python3 engineering/spec-driven-workflow/scripts/spec_parse.py --spec engineering/spec-driven-workflow/assets/sample_spec.md --baseline engineering/spec-driven-workflow/assets/sample_requirements.json --require-acceptance --format text；python3 engineering/spec-driven-workflow/scripts/trace_coverage.py --requirements engineering/spec-driven-workflow/assets/sample_requirements.json --index engineering/spec-driven-workflow/assets/sample_trace_index.json --min-coverage 1.0 --format text。
适用场景：新功能开发、修复过期规格、合并门禁、交付审计、跨团队交接、从规格生成实现。
限制：需提供规格文档、验收标准、源码树与测试套件、覆盖率门槛、基线快照和范围外需求；未提供具体收费、平台或效果信息。