@bpc-oss/dsh-verification

Verification engine for DeepSeek Harness: claim -> evidence -> verdict -> completion gate (ported from Bobby's conscience layer)

AI 분석

核心用途是为 DSH 提供行为合规性验证与拦截能力，通过比对工具执行证据与契约进行裁决。适合需要对 Agent 写入操作进行严格安全限制或自动化验收评测的场景。

패키지

@bpc-oss/dsh-verification

버전

1.0.0

라이선스

Apache-2.0

최근 업데이트

2026. 8. 18.

配置（选录；完整见 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 closed
completionPermitTtlMs（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/...）。只读/未知工具永不拦