Record the Dev-side W12 verification results

Why: W12 requires the Dev candidate verification (test/build/backend-pg) recorded as evidence in the increment D card.
Evidence: make test exit 0 (555 tests), make build exit 0, make test-backend-pg exit 0 against the isolated PG (w12pg @127.0.0.1:8897) after one pgbus fanout flake (isolated rerun PASS); receipts under ~/.cache/agent-system-dev/agent-exec-receipts/.
Impact: Task card only.
Refs: stage-5 plan W12
This commit is contained in:
2026-10-22 09:57:00 +00:00
parent 5692e47efd
commit 332f6b4c0f
@@ -98,5 +98,10 @@
## W12 已完成项(2026-10-22)
- Dev 候选 5692e47e:`make test` exit 0(555 tests OK/skipped 18,make evidence 收据 ~/.cache/agent-system-dev/agent-exec-receipts/w12-dev-test.json)。
- Dev `make build` exit 0(bin/agent-system v0.4.0-1856-g5692e47e + storage-migrate)。
- Dev `make test-backend-pg` exit 0 @隔离 PG(svc.sh w12pg @127.0.0.1:8897 + redis 6399,实例在主检出 runtime/w12pg 保留复用);attempt1 的 pgbus TestNotifyListenerFanout 为并发 flake(隔离单测 PASS,attempt2 全绿);收据 w12-dev-pg2.json(flake)/w12-dev-pg3.json(绿)。
- 环境注意:worktree 深路径下 PG Unix socket 超 107 字节无法启动——隔离 PG 实例须建在短路径(主检出 runtime/)。
- RDM 候选 800edbe:`make test` 17 包全绿;`make product-smoke` PASS(root=React/未认证 401/7×rdm.inspect.* enabled,合成凭据)。
- 待办:Dev make test/build、test-backend-pg(隔离 PG)、auth-on 浏览器矩阵、模型 A/B(预算 0/48 未动)。