Skip to content

perf(verification): bound full runs and reduce test setup - #72

Merged
wefio merged 1 commit into
mainfrom
codex/verification-150s
Sep 24, 2026
Merged

wefio merged 1 commit into
mainfrom
codex/verification-150s

Conversation

@wefio

@wefio wefio commented Sep 24, 2026 •

Copy link
Copy Markdown
Owner

变更描述

What:把 agent:verify 的 150 秒设置落实为整次调用的截止时间,并降低完整验证中重复检查和测试资源准备的开销。

Why:原实现对串行子命令分别计时,整次运行可能超过 150 秒;静态检查重复执行、部分测试建立了断言并不需要的文件或 Git 仓库。

Changes:

  • 增加外层 watchdog 和共享剩余时间;超时记录未完成证据并使结果失败。
  • 将完整验证的静态门禁展开为可归因的原子检查,在构建与打包屏障后对安全的检查做有界并行;产品测试仍在静态阶段之后运行。
  • 按断言需要选择内存 SQLite、文件数据库或真实 Git;缩减只验证路由失败的夹具开销,保留真实边界的代表测试。
  • 给覆盖率运行增加非零行覆盖率证据检查,并新增验证影响探针、回归测试和中英决策记录。

干净检出(Node v24.19.0 / Windows)上的 agent:verify --full --require-clean 覆盖本 PR 的 31 个改动文件:13 个阻断检查、1536 个产品测试全部通过,整次调用耗时 93.3 秒。verify:product-ci 通过同一批 1536 个测试,整体行覆盖率 85.16%;verify:static、docs:check、git diff --check 也通过。实验中的 77 秒结果来自另一工作树,不用作本提交的计时结论。


未验证项

Not verified:未运行 Windows chaos 套件,也未在非 Windows 平台验证。Research characterization 和 Node 22 compatibility 已在 CI 通过。夹具缩减在单文件上有可重复收益,但现有配对全量样本未证明它单独带来整体提速。150 秒是失败截止时间,不保证所有机器都能在截止前完成全部检查。


完成检查项

本地质量检查

  • npm run verify:static 通过
  • npm run test:product 通过(完整 agent:verify 已运行同一命令)
  • 依赖/lockfile 未修改;完整验证中的 check:lock 通过
  • 子包未修改;完整验证中的 verify:packages 通过
  • npm run docs:check 通过;决策记录已更新
  • ## 未验证项 已填写
  • 完整验证中的 complexity:gate 通过
  • 未提交可再生产物;独立工作树干净

RCP(Repository Control Plane)

  • 首个实质写入前登记了 repo-development in-flight goal,PR 创建且 CI 通过后已 resolve
  • agent:verify --full --require-clean <改动路径> 通过,receipt 覆盖全部 31 个文件和改动路由
  • nmg-rcp forge-status --pr 72 --json 的已运行 checks 全为 SUCCESS;Windows chaos 按配置 SKIPPED
  • 只提交本 PR 拥有的文件,独立工作树无其他改动

CI 完成确认

  • nmg-rcp forge-status 的 All checks passed 为 SUCCESS
  • CodeFactor 通过
  • Static job 通过

Enforce a 150-second whole-run deadline, remove duplicate static checks, and run safe static checks concurrently. Match test fixtures to the resource their assertions observe while keeping product coverage and full-gate evidence explicit. Record measured gains and rejected scheduling candidates.
@wefio
wefio marked this pull request as ready for review September 24, 2026 13:17
@wefio
wefio merged commit fd6fb09 into main Sep 24, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant