读取功能覆盖、代码覆盖、失败 regression 和验证计划，定位真正阻碍 signoff 的覆盖缺口，生成可执行的 test/constraint/checker 补强方案。