# 十条 Pure 的历史动作库存完整性

## 证据分母与等级

源访问以23,279次确认转换对应的source GUI/输入为分母；到达以同数target GUI为另一分母；决策为23,971次Selection，分别输出而不相加。只有10run的白名单完成归档，原始事件总数与确认位逐条核对。

- EXACT：同时记录完整Native动作成员、有效性与策略资格；本批为0。
- PARTIAL：至少记录真实选中的Concrete或同GUI的保留树；**可能只有一个控件**，不表示可恢复多数动作。
- INFERRED：仅有State/模型计数，无Concrete库存成员；主要是Back等无target输入。
- MISSING：没有上述两种证据；本批源访问整体为0，但“完整逐成员有效性”“未选原因”等字段在全部决策中缺失，见下表。

| App / Rep | 确认源访问 | Selection | 同GUI源树 / 比例 | 输入前已记录树 | PARTIAL | INFERRED | EXACT / MISSING |
|---|---|---|---|---|---|---|---|
| omninotes-Rep1 | 2601 | 2682 | 206 / 7.92% | 103 | 2162 | 439 | 0 / 0 |
| omninotes-Rep2 | 2356 | 2471 | 112 / 4.75% | 62 | 1896 | 460 | 0 / 0 |
| odkcollect-Rep1 | 2074 | 2208 | 14 / 0.68% | 7 | 1154 | 920 | 0 / 0 |
| odkcollect-Rep2 | 2167 | 2292 | 13 / 0.60% | 8 | 1252 | 915 | 0 / 0 |
| scarletnotes-Rep1 | 2559 | 2582 | 589 / 23.02% | 345 | 2190 | 369 | 0 / 0 |
| scarletnotes-Rep2 | 2443 | 2554 | 204 / 8.35% | 113 | 1649 | 794 | 0 / 0 |
| wikipedia-Rep1 | 2159 | 2177 | 237 / 10.98% | 127 | 2101 | 58 | 0 / 0 |
| wikipedia-Rep2 | 2285 | 2304 | 247 / 10.81% | 130 | 2198 | 87 | 0 / 0 |
| activitydiary-Rep1 | 2355 | 2397 | 273 / 11.59% | 141 | 2236 | 119 | 0 / 0 |
| activitydiary-Rep2 | 2280 | 2304 | 358 / 15.70% | 189 | 2189 | 91 | 0 / 0 |


源访问PARTIAL共19,027、INFERRED 4,252；其中确认有目标Concrete为18,926次，额外101次只有保留树而非目标Concrete。2,253/23,279=9.68%源访问有同GUI树，**不是9.68%拥有完整可执行库存**。完整库存恢复率为0/23,279。2,280份树可能重复同GUI或是target/崩溃保留，不能直接除源访问数冒充覆盖。

`GUI_logged_by_input`仅1,225，剩余同GUI树在输入/目标/崩溃回收时才写出；可事后确认同缓存树节点，但不能算在当时在线特征中已记录。截图也非原子Tree+Bitmap。逐源记录在 [source-visit-inventory.csv](analysis/source-visit-inventory.csv)；选择、到达和维度缺失统计见JSON和 [inventory-field-coverage.csv](analysis/inventory-field-coverage.csv)。

## 字段级恢复

23,971次有ModelAction总数、enabled-valid计数、unvisited IDs及选中Action信息；在2,131次（8.89%），`unvisited IDs∪selected ID`个数恰等总数，可恢复当次**完整ID集合**。不能由此获得全部类型、target Name、节点成员或逐项valid。其余使用部分ID，不从最终图补齐。

共有2,268次决策选中ModelAction的resolved_node_count>1。日志只保存数量及随机代表，不保存那些非代表兄弟节点的完整身份/逐成员有效性。selected_model_action_visits是模型生成前历史，不等于已确认Concrete覆盖。

完整Concrete库存、当前有效未试Concrete数、操作/参数/结果覆盖分母均NA。最终StateGraph、STATE_FINAL、MODEL_ACTION_FINAL只可用于事后诊断/找代表图，未用于历史库存恢复。

## 哪些功能能初步分析、哪些最缺证据

- ODK Download两个Rep关联段同GUI树均0，表单列表相关段也0；已有输入/计数足以证实重复路径与晚期首次Checkbox，不足以证明机会耗尽。Settings分别5/9份树，仍无Naming-成员-资格映射。
- ActivityDiary Add/Edit有共享控件确认与少量/较多树；可验证字段/颜色/Save样例，不能将Save的不同对象结果当覆盖完成。
- Omni Settings、Search、附件、提醒存在不均衡抽样；提醒的日期/时间与搜索MainActivity复用尤其需要分模式/边界。附件发生关联树Rep1/2为5/2，不代表同页全部可选控件。
- Scarlet CreateNote Rep1关联130份树，Rep2仅1；CreateList虽Ⅰ类入口仍pending，但已有579/351次确定页面源执行与204/61份该Activity树，可审计局部编辑而不补造入口。
- Wikipedia Search有真实控件/查询输入，媒体Gallery Rep1关联树0、Rep2为6；文章/媒体业务与网络成功没有独立结果金标。阅读、搜索和共享组件不是互斥State集合。

完整页面上下文可用性见 [activity-context-coverage.csv](analysis/activity-context-coverage.csv)，各功能见 [function-summary.csv](analysis/function-summary.csv)。所有功能均“可分析已发生事实、无法认证剩余有效动作清零”。