# 新增事实怎样算｜列表长度还缺去重与缺口对应证据

作者：种树的人

原文：https://zhongshuderen.pages.dev/library/three-role-context-delta/

材料时点：原程序包：2026-08-21；静态阅读整理：2026-10-12

研究状态：历史实现与测试范围｜本轮未运行原代码或验证外部服务

原增量函数把传入签名列表长度同时作为可证明新事实数和解决缺口数；测试只检查空列表情形。

## 所读实现实际做了什么

新事实函数取得签名列表长度n，并把可证明新事实数、解决缺口的新事实数都设为n，未解决的新事实数固定为0。基线哈希、补证哈希和缺口编号被保存，但函数体没有比较旧新事实或逐项核验签名与缺口的关系。

这不说明传入列表必然错误；它说明“输入已经去重且每项确实解决缺口”仍需要上游证据。仅凭这个函数返回n，不能完成那层证明。

## 测试与上下文也有自己的范围

所读单元测试传入空签名、空缺口，只断言两个计数都是0，没有覆盖重复签名、非空但不解决缺口或错误来源的情况。

上下文编译器输出的是单位数量、来源标识与包哈希组成的描述文本。所读函数没有把每个证据单元的完整内容编进输出，不能据此确认必要事实召回或模型可见证据已经齐全。

## 本页证据的范围

本页根据冻结历史包的所选源码、测试正文与原报告整理。对代码行为的判断来自静态阅读，没有在本轮导入、执行或重跑原程序；报告中的运行次数是原报告记载。

这里没有证明后来版本、真实外部接入或当前研究业务的状态，也没有把旧包里的施工、删除、权限或资源指令当作本网站的执行授权。

## 整理依据

- 三林飞V4.14.2原始程序包｜原8月21日工程报告与所选源码
- 本轮只读32份报告、产物、实现与测试文件；未核全部336个目录项

## 相关研究

- [三角色研究系统｜沿源码、产物和测试读懂能力边界](https://zhongshuderen.pages.dev/library/three-role-implementation-reading-map/)
- [三林飞研究架构：取证、叙事与呈现的角色划分](https://zhongshuderen.pages.dev/library/three-role-research-design/)
- [研究上下文整理：事实增量、去重与来源回链](https://zhongshuderen.pages.dev/library/linfei-context-provenance/)
- [事件去重与观点保留：转载次数不等于独立证据](https://zhongshuderen.pages.dev/library/event-views-dedup/)