前言¶
DSH 理念是“一切皆插件”。在智能体开发中，记录的授权决策与其对应的效果信封是否一致，是验证系统状态的关键边界。该插件提供离线、确定性证明，用于核验两者是否匹配。
插件简介¶
该插件由 dongsheng123132 维护，旨在检查授权/效果信封的一致性。它检测拒绝动作的效果、从未结算的授权动作、请求/状态/策略不匹配、缺失确认、重复幂等性摘要、重复以及证据乱序等情况。
核心能力¶
- 一致性检查：检查授权/效果信封的一致性。
- 异常检测：
- 检测拒绝动作的效果。
- 检测从未结算的授权动作。
- 检测请求/状态/策略不匹配。
- 检测缺失确认。
- 检测重复幂等性摘要。
- 检测重复。
- 检测证据乱序。 - 报告机制：报告基于内容寻址，发布后通过回读进行验证。
工具支持¶
插件提供多种工具用于检查与验证：
CLI 工具¶
dsh_decision_effect_inspectdsh_decision_effect_verify
MCP 工具¶
decision_effect_inspect_inline：接受内联 JSON，无法选择文件系统路径。decision_effect_verify_inline：接受内联 JSON。
文件工具特性¶
文件工具接受工作区相对路径，拒绝遍历和符号链接，限制输入大小，仅写入指定 artifact 目录下，原子发布，并通过回读验证。
安装¶
通过 DSH 插件管理器安装：
dsh plugin --profile web add github:dongsheng123132/dsh-decision-effect-proof#COMMIT
典型用法¶
检查证据¶
dsh-decision-effect-proof inspect examples/decision-effects.
验证一致性¶
dsh-decision-effect-proof verify examples/decision-effects. artifacts
适用场景与注意事项¶
该插件旨在检查明确的“无体证据”，以验证其他层无法暗示的更窄边界。它不证明效果发生，只证明收据内部一致。
重要说明：
- 该插件不是审批引擎、策略评估器、动作运行时、签名格式或提示包装器。
- 决定或强制执行访问的插件是 dsh-user-approval、dsh-auto-approval、dsh-tiered-approval 和 dsh-permission-rules。
- 安全边界在 SECURITY.md 中记录。
总结¶
该插件为 DSH 开发者提供了一种严谨的方法来验证授权决策与效果信封的一致性，确保系统状态的可靠性。
