已读代码究竟做了什么
新增事实模块直接把传入事实签名的数量记为可证明新事实数，也记为满足缺口的新事实数；所读单元测试只检查空列表得到零。
展开依据和细节
单独看这个模块与已读测试，尚不能证明非空事实与具体缺口已经逐项对应。调用方是否事先完成严格筛选，需要回到完整调用链核对；这里不据一个片段断言整个工程必然出错。
关系库里也能看到同样的区别
AI应用节点新增公司映射后，目标识别缺口被记为填补，但收入占比和业绩兑现仍然开放。公司名单变丰富，不能替实际受益机制完成证明。
展开依据和细节
本页记录的是可核查的方法问题，没有运行原模块、制造新回测结果或追加原项目任务。
整理依据与来源
- 三林飞新增事实模块与已读空输入测试｜2026-08-21