实时指标

生态状态仪表板

实时验证覆盖率、定理指标和公理 soundness 报告。

概览指标

包总数

2

模块总数

63

可信模块

61

声明总数

1016

审计覆盖状态

可信成功率

96.8%

声明类型分布

定理: 750
定义: 210
归纳类型: 18
公理: 38

逻辑可靠性报告

NPA 确保数学逻辑保持一致。白名单公理表示标准逻辑规则，例如选择、公理化命题外延等。若注入自定义未验证公理，策略违规会发出提醒。

状态良好。所有已注册包均未检测到策略违规。