bpc-oss/dsh-verification--packages-dsh-evidence ↗★ 0
@bpc-oss/dsh-evidence
Pure types, zod schemas, and tool-record evidence derivation for the DSH verification engine (ported from Bobby)
AI 분석
核心用途是为 DSH 验证引擎提供底层的类型定义、数据校验 schema 以及从工具执行记录中提取和派生证据的逻辑。适合作为开发验证相关扩展或集成验证引擎时的底层依赖包。
설치
검증된 bundle이 없거나 호환성 검사에 실패했습니다. 먼저 저장소 설명을 읽어 주세요. 전체 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/...)。只读/未知工具永不拦