bpc-oss/dsh-verification--packages-dsh-verification ↗★ 0
@bpc-oss/dsh-verification
Verification engine for DeepSeek Harness: claim -> evidence -> verdict -> completion gate (ported from Bobby's conscience layer)
安装
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:bpc-oss/dsh-verification#e817abed50aa9c42682b639978120670a2aedb8d&path:packages/dsh-verification说明文档
阅读完整 README ↗配置（选录；完整见 presets 与 src/index.ts）
mode:advisory（默认，记录+放行，never-deny）/enforce（验收/评测显式开启；无契约时仅 写入类工具 deny missing_contract，只读工具 read/grep/glob 永不拦）binderFamilyFallback（默认true）：file 族 AC 精确 selector 无有效证据时，允许用作用域内 同族真实文件证据（file_diff/file_exists/quote_with_location 互认）兜底裁决（裁决 detail 注明， 可审计），避免"交付物由 write/edit 产生而 selector 冻结成 glob/read"导致的假阴性；安全严格场景可关maxCapturedEvidence（200）/maxCapturedBytes（20MB）——超限写 durable capture-failure，gate fail closedcompletionPermitTtlMs（30s，冻结进 configHash；replay TTL 由 SessionEvent envelope 权威派生）intent.contractOrigin:independent-capture/human-confirmed（人类确认复用 dsh approval 通道）intent.consensusCount: 0..3（>1 开启 Bobby structured-consensus 多数决）intent.readOnlyToolAllowlist：只读工具显式表（DSH 真实名）；拦截已改为只作用于intent.writeTools（明确写入类：edit/write/shell/bash/pwsh/...）。只读/未知工具永不拦