dsh-lint-loop — v0.7.0 Evidence Integrity

DeepSeek Harness 的变更感知质量闭环。

Fix what the agent broke. Ignore what was already broken. Prove the change is clean.

修复 Agent 本轮引入的问题，忽略历史债务，并明确证明本轮变更验证了什么。

Quality Loop 在首次编辑前捕获基线，只让可归因的新增问题触发修复与续轮。编辑后给出快速 lint 增量；任务完成前验证类型和受影响测试，用 Quality Receipt 说明实际检查了什么。

v0.7.0 — Evidence Integrity。 完整参数见 English README。

新增有时间、条目数和字节预算的只读内容检查点，覆盖 shell/bash/pwsh、自定义脚本、 新增、删除和跨目录重命名（保守表示为删除＋新增）。保留 edit/write 的历史债务保护和 有界安全修复。执行窗口中观察到变更，不等于证明由 Agent 写入；外部或归因不确定的 变更纳入验证范围，但不自动修复，也不计为 Agent 的新增回归或修复成绩。

Quality Receipt 新增 evidenceCoverage：记录范围、排除目录、SHA-256 内容标识、 归因、实际结果、资源预算和缺口。DSH 文件工具的真实 before/after 与检查点比对； quality_receipt 会检查已保存回执是否过期。证据缺失、不完整或过期时不会返回 CLEAN。

安装已发布版本：

dsh plugin --profile web add [email protected]

架构与实验 · 验证记录 · 真实 DSH 生命周期演示。

以下为上一版本 v0.6.0 的安装方式与历史演示：

dsh plugin --profile web add [email protected]

把 web 替换为实际 profile。桌面端可让 plugin_manager 安装并启用已发布 bundle。独立 Demo 与复现步骤。

• 只处理新增回归：旧 lint、类型错误和失败测试继续记录，不要求顺带清理。
• 两条通道：编辑后快速 lint 反馈与安全修复，完成前有界验证 lint 增量、类型和受影响测试。
• 可核对的证明：回执列出实际命令、执行用例、修复、历史债务，以及无法验证的部分。

桌面实测：保留 17 个旧 lint 问题，安全修复 2 个新增回归，受影响测试 12/12，lint / 类型 / 测试均为 clean。 首次基线跑了 15/15；源码修复前后逐字节一致。原始回执与运行来源。

30 秒 GIF 是真实已保存工具结果的原生窗口导览，并非连续实时录像。MP4、原始帧与录制脚本。展示的是普通 Receipt 详情，独立 Quality Bar 尚未上线。

使用项目已安装的 linter、TypeScript 与测试工具；插件不捆绑这些依赖。

两条通道

• Fast Lane：现有编辑 → lint delta → 提示反馈；lint_repair 最多两轮，修复仅限本轮新增/改变的 lint 问题。
• Completion Lane：awaited agent/turn-stopping checkpoint 或 quality_verify，验证 lint delta、每个 Node package 的 typecheck 与 impacted tests。第一次编辑前进行一次有预算的类型/测试基线扫描，之后保留原始基线。最多两次强制继续，复验保留整轮文件集合。

历史错误被忽略不等于仓库没有错误。只有完整且可比的检查没有新增问题，才能得到 clean；无法证明的部分显示 incomplete，默认 gate 不会因证据缺失而要求清理历史代码。

Before / after

编辑前：旧 lint warning、旧 TS2322、旧 migration test 失败
Agent 修改 parser.ts：引入可修复 lint 错误、返回类型错误、parser test 失败

普通 wrapper：旧 lint + 新 lint 混在一起，lint 通过便可能交付
Quality Loop：安全修复新 lint → 检测新类型/测试失败 → 有上限地要求修复
修复后：历史债务仍保留，Receipt 显示本轮 clean 和真实测试范围

模式

模式	完成验证	总扫描预算
fast	lint；明确跳过类型/测试，完整质量 verdict 为 incomplete	60s
balanced（默认）	lint delta、package typecheck、受影响测试与保守降级	60s
strict	lint delta、package typecheck、仓库 package 测试套件	120s

- id: lint-loop
  config:
    mode: balanced

原有配置兼容；高级字段覆盖 preset。新增 completionChecks、qualityTimeoutMs、qualityMaxFiles（2000）、qualityMaxChecks（32）。Node 22/24 与现有 DSH 0.1/0.2 peer 范围保留。

Evidence Integrity 另有 trackingTimeoutMs（每次只读扫描 2000ms）、trackingMaxBytes（共享 32MiB） 和 trackingMaxFileBytes（单文件 2MiB）。达到预算会明确标记证据不完整；不会缩小范围后宣称 CLEAN。

工具与 UI

新增 quality_verify（只读完整验证）和 quality_receipt（读取最后回执）；保留 lint_status、lint_repair、lint_diagnostics、lint_workspace_errors、lint_fix。

quality_verify / quality_receipt 通过普通 DSH 工具结果展示结构化回执。纯 Host 展示适配保留 running / clean / regression / failed、文件数量和三个检查状态。桌面/Web Quality Bar 延后：已审计的 DSH 0.2 桌面客户端不消费 Host presentCall / presentResult，专用界面需要客户端集成。v0.6 不加入客户端 bundle 或 UI hack。自动 gate 保存结果，调用 quality_receipt 可读取。

UI 审计与后续截图说明 · 实际桌面回执

正常完成、模型报错或取消任务都会清理本轮基线和修复预算，取消未完成检查，保留最后一份回执。下一轮重新捕获基线，避免限流中断后混入上一轮记录。补分号不会把同一个类型错误重复计入修复数量。

Impacted tests 与安全

第一版支持本地 Vitest 与 Jest JSON reporter。跟踪传递的相对 import/re-export、.js → .ts 和直接修改的测试。不能证明测试关系时跑 package；动态依赖、workspace alias、配置/fixture/setup 或自定义发现规则变化时扩大到仓库 packages。预算不足仍显示 incomplete。node:test、自定义命令链、非 Node 框架和 TypeScript project-reference build 暂不自动证明。

Typecheck 用文件 + TS code + message 多重集比较，忽略行号漂移；测试用 suite + fullName + failure signature 比较，旧失败症状改变也算新 regression。Receipt 包含实际命令、执行测试、基线、债务、自动/Agent 修复、轮次与耗时。

eslint/biome/ruff 的文件修复跳过历史可修复债务，验证失败或产生新 lint 时回滚。自动 Go/Rust package/crate fixer 因可能修改邻居/manifest/lockfile 而跳过；诊断和显式独立 fixer API 保留。已有 baseline 的 lint_fix 也遵守 regression-only；无 baseline 的独立调用保持旧的显式清理用法。

边界与限制

仅归因成功 DSH edit/write 与兼容 fs-intent；shell/custom-tool 编辑、删除与并发外部修改不保证完整归因。Flaky tests 可能形成 regression；检查本身可能有副作用。没有 LLM review、需求管理、安全扫描、coverage/CI 平台，也不强依赖其他插件。

dsh-doublecheck 管交付纪律和需求；dsh-test-runner 管通用测试执行；dsh-review-loop 管人的增量 diff review；本插件证明 本轮 Agent 变更没有引入新的质量问题。

架构审计 · 候选版本验证记录

pnpm install --frozen-lockfile
pnpm typecheck
pnpm test
pnpm build

MIT License