待验证50% 置信事实精确时间
作者将χ1=1.03时SPreCap-e03优于SELU的结果标记为假设（hypothesis），因为这是次要测试，需要独立验证。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/27
首次发现
有效期至：2027/1/25
来源
涉及实体
相关事实
待验证F/V/O 三态分离的证据分级思路借鉴需求工程中「假设-事实」分离理念，与 IEEE 829 测试文档标准对「测试依据」的要求一致64% 相似待验证证据验证器通过独立复现故障、对比环境和关联近期变更三种检查来验证领先假设63% 相似待验证北京大学董彬教授、刘若川院士团队利用自主开发的SHEAF框架对三维Ghys猜想证明进行了形式化验证，确认其严格正确性，通过Lean检验。62% 相似待验证第三个检查点验证确定性评分函数：同一cassette喂给评分器两次，输出哈希必须一致。62% 相似待验证自编测试通过不等于原版行为已经对照通过，自编测试只能验证理解的逻辑是自洽的，无法保证与原版在所有情况下行为一致62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1102905API
curl https://kongchang.com/api/v1/knowledge/claims/1102905MCP
get_claim(id=1102905)