待验证50% 置信事实精确时间

Squadra 的 prove 命令记录检查结果和文件指纹。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/13

首次发现

有效期至：2027/1/11

来源

当AI编码代理说"测试通过"时，它到底测了哪些文件？

涉及实体

相关事实

待验证工具能够验证一份文档的论断是否与其所引用的来源相符，进行文档内部一致性核查73% 相似待验证证据是持久记录，包含适用了什么标准、检查了什么、发现了什么、问题如何解决，让信任可见且可审计。68% 相似待验证审计级对抗测试证据应包含被测系统精确版本标识、测试用例版本快照、通过失败判定量化标准及完整测试时间戳67% 相似待验证形式化验证通过Curry-Howard同构将证明检查还原为完全机械化的类型检查过程66% 相似待验证验证工具是否真正读取AGENTS.md文件可以通过写入一条明显规则并观察AI生成代码是否遵循来测试65% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1015293

API

curl https://kongchang.com/api/v1/knowledge/claims/1015293

MCP

get_claim(id=1015293)