[business-logic] verify_coverage_gap: verifiedPkgs never written; multi-path verify commands only take first ./; bare 'go test' (scope .) covers nothing

[topcheer]

独立复核已实证（双确认，3 个同族缺陷合并立案）。

位置: internal/agent/verify_coverage_gap.go

1. verifiedPkgs 只声明从未写入（:59 声明；checkCoverage ~:109-169 全程只读）

• 场景：依次运行 go test ./internal/agent/ → go test ./internal/config/，第二次警告称 internal/agent "remains UNVERIFIED"（实测 verifiedPkgs size=0）。逐包验证是合法策略却被连续误报，并消耗 warnCount 预算压掉真缺口。严重度：中。

2. scope 提取只取第一个 ./ 路径（~:288-302，遇空格截断）

• 场景：go test ./internal/agent/ ./internal/config/ 的 scope 只解析为 internal/agent，config 被误报 UNVERIFIED。严重度：中。

3. scope=="." 恒返回 false（~:421-424）

• 场景：cd 到包目录运行裸 go test，当前包确实已验证却被判零覆盖（实测 coveragePkgInScope("internal/agent", ".")==false）。严重度：中。

修复方向: checkCoverage 覆盖某包时写 verifiedPkgs；scope 改为集合收集全部 ./ token；scope "." 语义改为 cwd 包已验证。

[topcheer]

已在 commit 62ae48b 修复（3 项同族缺陷）：

1. verifiedPkgs 从未写入：checkCoverage 现在在覆盖某包时写入 verifiedPkgs，后续验证命令跳过已验证包——逐包顺序验证（合法策略）不再被连续误报 "remains UNVERIFIED"，也不浪费 warnCount 预算。
2. 多路径 scope 只取第一个：coverageExtractVerifyScopes 收集命令中全部 ./ token（go test ./a/ ./b/ 现在覆盖两个包）；./... 仍为 ALL。
3. scope "." 恒 false：裸 go test 现在通过 cwd 启发式（最近编辑的包目录）将当前包标记为已验证，不再判零覆盖。

已补 TestCoverageAbsolutePathMatchesRelativeScope（含顺序验证不重复告警）、TestCoverageMultiPathScope、TestCoverageBareGoTestCoversLastEditedPkg 回归测试。