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

形式化验证只能证明程序符合规约，但无法保证规约本身正确

来源数

50%

置信度

长期有效

时效性

2026/8/18

首次发现

来源

Stable URI

https://kongchang.com/claim/767760

API

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

MCP

get_claim(id=767760)