概览
dsh-proof
README / ZH
插件文档
目录摘要
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义;完整 README 请查看源仓库。
在 GitHub 阅读完整 READMELIMITATIONS
已知限制
- **Deny list must match the deployment's tools** — `tools.restrict` fails loud on unknown names, so a mismatched default blocks verifier startup. The exact mutating-tool set is deployment-specific and is resolved at first install. - **No evidence normalization** — the verifier gathers evidence itself; this plugin does not re-implement diff/test/typecheck/lint. A deployment wanting specific evidence channels should extend `verifierPrompt`. - **Best-effort spawn** — a provider that is absent or rejects the request degrades to a no-op (logged), rather than failing the user's turn.
