DeepSeek V4.1 Flash runs p-queue issue #177 unattended: 304/304 tests pass

jiangkoumo @jiangkoumo_Originally posted 2026.10.23

Open original on X

1. p-queue #177 实测覆盖了什么 环境：sindresorhus/p-queue @7f272ab，任务是一个真实未关闭的 issue #177（运行时修改 interval / intervalCap）。Pi 1.3.0 + pi-subagents 0.79.2，模型用 DeepSeek v4.1 flash，RPC 模式无人值守跑。origin 是本地 bare 仓库，gh 是记录型 shim，没有真推到 GitHub。 覆盖的是 feature 流程的完整链路： • how 调研：并行探索代码再汇总 • arena：多个方案候选 + 交叉评审 • poteto-agent 在独立 worktree 里写代码（用 code 角色配的模型） • comment-sicko 只读审阅，多轮挑问题、修正 • writer-gate 合入：实测中拦下过一次不稳定测试（303/304） • Conventional commits，PR 按上游模板写 Why / What changed / Scope / Tradeoffs / Blast Radius / Verification • 授权边界：只推授权的分支，不 force、不 merge 结果：在独立 clone 上复跑 npm test（xo + 测试 + tsc + tsd）304/304 通过。 另外在 p-queue 上单独测了形式化验证：生成 verify-rate-limit 技能（TLA+ 模型 + 代码形状/行为检查），手动注入 bug 能抓到，恢复后通过；完成门有轮数上限，最新一轮 15 分钟、3 次检查后正常收尾。 2. 怎么跟上游同步、保证不回归 结构上就是为同步设计的： • upstream/ 存上游原文快照，固定在某个 commit（现在是 eb4db2b5，即 pstack 0.15.30），每个文件的指纹记在 docs/upstream-inventory.json • skills/ 和 agents/ 不手改，由生成器从上游原文 + adapters/pi 适配层生成 • docs/port-map.json 逐项写明 ported 还是 substitute，以及原因 同步流程（从 0.15.25 升到 0.15.30 就是这么做的）：换快照 pin → 重新生成 → 看指纹 diff 知道上游改了哪些文件 → 新增内容补适配和 port-map → 跑门禁 → 只针对变化的部分做实测 → 更新 CHANGELOG 和 THIRD_PARTY_NOTICES。 门禁（每次 push 和发版都跑）： • check:generate：校验上游指纹和生成产物一致，现在 131 项，有漂移直接失败 • check:fidelity：句子级对比上游原文，整体保留率不低于 94%、每个移植文件不低于 70%，防止改着改着把上游内容改丢 • npm test：模式持久化、loop 状态机、生成器、writer-gate、verifier 沙箱、形式化完成门等行为测试 还没做到的：上游更新目前靠人工发现；真仓库 E2E 和实时路由测试还是手动跑。