dsh-verify-cheap

改完代码之后，验证往往要么太重（一上来就全量测试），要么太轻（断言永远过不了、固定 sleep 猜时机）。dsh-verify-cheap 是一个可安装的 DSH 插件，把包内的 skills/ 注册为技能根，让 agent 在需要「确认改动是否成立」时，有一份统一的中文技能正文可依：用仍能得出明确结论的最低成本手段完成验证。

技能的核心是一套 L0–L3 成本阶梯——从静态检查、探针、单个测试套件到全量运行，并说明典型耗时、适用场景，以及按「改的是行为还是表现」如何选档。它还强调几条会直接影响结论可信度的纪律：不要用固定延时糊弄后台作业，改用条件轮询与超时；断言必须能失败，优先断言具体取值；耗时必须实测，并关注外部总时长与脚本内计时的差距（常见是句柄或定时器仍挂在事件循环上）。每次验证建议记录档位、实测耗时与能否再降一档，成本表落在仓库根 .verify-cost.md，读代码读不出来的事实则沉淀进仓库长期索引，而不是散落在阶段笔记里。

插件附带 wait-until.mjs 与 measure-runtime.mjs 两个仅依赖 Node 内建模块的脚本，可脱离 DSH 单独使用：前者做条件轮询与超时，后者做分段计时与内外时长对比。技能也写明何时不该从低档试探——例如触及公共代码或构建配置可直接上 L3，安全、并发、时序类改动静态检查置信度低时宜从 L2 起步。

适合在 DSH 里做 agent 工作流、希望验证步骤可复现、可降本、可留痕的团队与个人；尤其适合已经习惯让模型跑测试或探针，却希望它先想清楚「这一档够不够」再动手的人。