待验证50% 置信事实精确时间
在 ZEHN Core 的图中，每条边物理上都是 RELATES 类型，语义类型存储在 r.rel_type 属性中，查询 :DEPENDS_ON 会返回空。
1
来源数
50%
置信度
长期有效
时效性
2026/10/18
首次发现
来源
涉及实体
相关事实
待验证具体类型（如Int、Bool）的Kind是*（现已更名为Type）。60% 相似待验证Kind描述的是类型的形状，而类型类描述的是类型的能力，两者处于不同的抽象层级。59% 相似待验证typesafe-ai 通过对模型输出定义 Zod Schema 或 TypeScript 接口，在编译期捕获数据结构不匹配问题，而非运行时才报错59% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证57% 相似待验证当WHERE条件或JOIN两端数据类型不匹配时会发生隐式类型转换，导致索引失效并执行全表扫描，查询复杂度从O(log n)退化为O(n)57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1063251API
curl https://kongchang.com/api/v1/knowledge/claims/1063251MCP
get_claim(id=1063251)