dsh-research-report

更多介绍

dsh-research-report 的可信度来自三件事：证据不可变、核查可重算、缺口不隐藏。

证据账本 ——内容寻址快照存储（ /objects/ + JSONL 日志）。同一内容只存一份；快照不可变；每次读取都重算哈希——篡改或删除会被发现，而不是被信任。 - claim ↔ 证据绑定 ——claim 登记时声明其依赖的证据 id；账本保存绑定关系与每一次核查结论（最新为准）。 - 字节级核查 ——claim 文本中的每个数字与引文子串都必须能在其绑定快照中字面定位。无绑定证据或无核查字面量 → unverified；证据存在但不足以证实或证伪声称字面量 → insufficient；标签在快照中对应不同数值（且声称值不存在）→ disproven；快照被篡改/缺失 → contradicted。不做语义理解、不做向量相似——只做可审计的字节核对。 - 可选数字核查桥 ——当 claim 引用 workspace 内结构化数据集（CSV/JSON）且 dsh-data-quality 已挂载时，经其冻结的 verifyCitations 契约做容差核对；数据集不一致即证伪该 claim。 - DOI 证据（零网络） ——DOI 源做确定性语法校验（10.xxxx/xxxx 结构 + 前缀白名单 + DOI 字符集）；非法 DOI 响亮失败。可选期刊/年份元数据被接受；requireJournalMetadata 仅在启用时门禁学术 DOI 证据。 - 版本化封存报告 —— / / /report.md + manifest.json + verification.jsonl + disconfirmation.jsonl；封印哈希 = manifest 的 SHA-256，manifest 内含报告哈希、全部证据哈希与各审计日志哈希。 - 交付前重审计与封存拦截 ——封存前对每条绑定证据的 claim 离线重跑一次核查并写入 verification.jsonl；verdict drift、绑定证据被篡改/缺失、或审计日志序列化失败都会拦截封存（响亮失败，无 tunable）。 - 证伪账本 ——每条被证伪（disproven）或矛盾（contradicted）的 claim 记录进 disconfirmation.jsonl（claim + 证据引用 + 原因），并在报告的「证伪记录」附录列明。 - 负知识 ——被证伪的 claim 按其内容哈希记入 disproofs.jsonl；同一文本在证据未变时被复报会被强制置回 disproven，证据变化后才允许重新核验。 - 只读 verifier 回环 ——封存后先跑确定性兜底 verifySealedReport（零网络零模型）：重算封印与审计哈希、逐 claim 复核，把 machine-check 段落写入 verifier-note.md；挂载 ctx.jobs 时再派生只读 verifier job（模型复核为增强，绝不替代）。 - 会话锚定证据 ——evidence add 支持可选 sessionRef（sessionId + eventRange，格式校验响亮失败）；锚点入账并在附录 B、manifest、verification.jsonl 登记。会话锚定证据诚实判…