待验证50% 置信事实精确时间
npm 包的 provenance 证明基于 Sigstore，可追溯包由哪条 CI 流水线、哪个 commit 构建。
1
来源数
50%
置信度
长期有效
时效性
2026/10/26
首次发现
来源
涉及实体
相关事实
待验证发布提交带有 GPG 签名，配合 npm provenance 机制可追溯包来源，使用方可验证所安装的包由该仓库 CI 产出。71% 相似待验证PAANI目前验证的是模型精度和板载执行能力，真实水域的碰撞规避能力仍需进一步验证62% 相似待验证该混合验证方法被嵌入Extract-Verify-Proof自动形式化流水线中，形成从自然语言提取、验证到证明生成的完整链路。60% 相似待验证Anthropic的证明流水线为：开源库加Faust测试编译成RISC-V可执行文件，叠加上FreeRTOS的RISC-V与操作系统形式语义以及不崩溃性质，机械生成规格，由Claude写证明，交给Rocq内核检查。59% 相似待验证类型化证书与可重放轨迹的机制把验证重心从相信模型自述转移到检查可复现的证据，据原文所述确实有效59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1100545API
curl https://kongchang.com/api/v1/knowledge/claims/1100545MCP
get_claim(id=1100545)