信任与溯源

Pangura 的证据层让分析产出可被独立核验。本页说明我们记录什么、为什么历史无法被无痕改写、以及你——或你的审计方——如何在不信任我们的前提下完成验证。

措辞纪律:我们的系统让篡改可被检测、可被定位——我们不声称篡改"不可能",也只刻画模型行为而不认证其安全。

内容标识符(CID)

每个可持久化的产物——论文 PDF、算子实现、数据集、结果——都携带一个 sha256:<64位hex> 形式的内容标识符。结构化对象先经 RFC 8785(JSON 规范化方案)标准化,逻辑相同的对象永远哈希相同。任何一个比特的改动都会改变 CID,下游引用会响亮地断裂而非静默失效。

哈希链账本

证据事件追加进一个账本,每条记录的哈希由自身内容加上前一条的哈希计算而来。因此改动任何历史行都会击断其后的全部哈希。链引入之前的历史被逐字节封存在一个冻结文件里,其整体 CID 锚定在链的首条(genesis)记录中——连链前历史也无法被悄悄改写。

验证如何进行

验证是一次确定性的重算:从 genesis 走过账本,用前一条与本条内容重算每条哈希并比对。它不需要信任 Pangura、不需要专有工具、不需要联网——程序本身就是证明。管理员可在 Engine Cockpit 的 Provenance 面板运行验证,并一键导出完整证据包(JSON),可直接交付审计方或监管者。

算子指纹

每个分析算子的身份由其声明的源文件计算出的 CID 钉扎——任何持有代码的第三方都能重算出同一指纹。Golden 测试与签署(attestation)绑定这些指纹:实现一变,指纹即变,旧证据自动失效。含 LLM 的行为型算子还额外钉扎提示词与模型版本,签署永远不会悄悄比它所签署的对象活得更久。

这一层声称什么——不声称什么

它声称:内容完整性(比特级变更检测)、只增历史(篡改可定位)、可复现的算子身份、时间顺序。它不声称:任何分析的正确性、覆盖的完备性、任何模型的安全性。证据基座让主张变得可检验;它永远不能替代检验本身。