Apageoflove/DSH-changeproof

README 摘要

DSH-changeproof（变更证明 ChangeProof） DeepSeek Harness（DSH）插件：代码改动后，确认改动的行真的被测试覆盖到。 解决的问题 "测试通过"不等于"改动被验证"： - 改的是 A 文件，测试跑的是 B 文件，全绿但改动没被测到； - 测试跑了，但只执行到改动行的一部分，剩余行没测到，照样报通过； - 验证完成后代码又被修改，旧结论仍然有效，无人察觉。 插件做三件事： 1. 关联测试 ：根据代码引用关系，找出与本次改动相关的测试（不是全量跑，也不是猜）； 2. 行级核对 ：执行测试后逐行核对，改动行未被执行到则不予通过，并明确指出未覆盖的行； 3. 结论过期 ：证据绑定代码指纹，代码一变，旧结论自动失效。 结论状态： VERIFIED （通过）、 PARTIAL （部分覆盖）、 FAILED （测试失败）、 STALE （结论过期）、 UNVERIFIED （无有效证据）、 NOT APPLICABLE （无可验证内容）。 底线： 没有覆盖证据，或证据与当前代码不一致，一律不给 VERIFIED。 部署到 DSH 以下步骤在 Windows 实测通过（macOS / Linux 命令相同）。 前提 - Node.js ≥ 24（DSH 要求 ^22.19 =24 ） - pnpm 11.7（ npm install -g [email protected] ） - Git 1. 获取 DSH 源码 2. 构建 DSH 3. 构建插件 4. 安装到 profile 5. 验证安装 6. 使用 模型修改代码后会自动调用 changeproof verify 验证（插件自带工作流规则，无需手动触发）。 卸载 分发 - 对方获得插件目录后按步骤 4 add 本地路径； - 发布到 npm 后（暂未发布）： pnpm dsh plugin add dsh-changeproof 。 独立使用（不装 DSH） verify 不带 --yes 仅打印将执行的命令，确认后加 --yes 才执行。 被验证项目的配置 项目根目录放置 .changeproof.yml ： 字段说明见 docs/configuration.md。 技术要点 - 技术栈 ：TypeScript / Node.js（≥20.11）/ ESM；测试用 vitest + fast-check；覆盖率适配 Istanbul（vitest/jest）与 coverage.py（pytest） - 架构 ：Host（分析、执行、证据存储）与 DSH 绑定层分离——绑定层在 src/host/adapters/dsh/ 单目录，其余代码零 DSH 依赖；同时提供独立 CLI，不装 DSH 也能用 - 影响解析 ：四级来源（配置显式映射 → 历史覆盖记录 → 静态 import gra…

分类