证据缺口与结论边界
没缺的材料
150/150确认Probe均能关联原网络请求/响应、实际Native wire、候选、Witness来源、PROMOTE及Ledger/Bound/Selected/输入完成/执行确认事件。103个唯一请求、378个候选Witness比较；聚合重放均PROMOTE，全部Pair cache hit=False。前后截图300张沿用既有审计，保留alignment与gui_drift标记，不把所有图说成精确Transition目标。
历史GUI不是全量保存
| Run / 条件 | 保留输入 | Native确认输入 | 具有完整GUI包数量 | 缺source GUI的MODEL输入 |
|---|---|---|---|---|
| run_0c300af1c9614168998ce1f37b6aadfe (omninotes/STARTLUX) | 2262 | 2107 | 349 | 1811 |
| run_200afe1a53af49e489506f56987c30c6 (activitydiary/STARTLUX) | 2174 | 2067 | 321 | 1773 |
| run_2b38f68437b6480c8f26d01cec61b440 (activitydiary/JEV) | 1855 | 1766 | 435 | 1360 |
| run_2f3e76962d00482f8d64ce83ca4d873f (wikipedia/JEV) | 2257 | 2183 | 212 | 1983 |
| run_4c508e1625894546a49a3ca708ce967b (odkcollect/STARTLUX) | 2538 | 2279 | 30 | 2346 |
| run_90be2cba06ed490eb48e0c51795875ef (scarletnotes/STARTLUX) | 2359 | 2123 | 317 | 1895 |
| run_95f70b23a59843b09110e90e309c467e (scarletnotes/JEV) | 1682 | 1621 | 629 | 1009 |
| run_ad46e2ac9d7e407da53250b006f6c382 (omninotes/JEV) | 2248 | 2043 | 258 | 1862 |
| run_b4871490b9e84bbcb1a9b3464ca596fd (odkcollect/JEV) | 2518 | 2275 | 59 | 2310 |
| run_d04ae609a94042e28f3ab00ddb284ca9 (wikipedia/STARTLUX) | 2214 | 2152 | 272 | 1889 |
Native源/目标Activity与输入通常仍在，但完整历史GUI很稀疏；一个GUI包也可被多个输入引用，因此此表不是GUI覆盖百分比。Anonymous FrameLayout、重复列表索引、截断Native文本不能单独恢复业务角色。84条全局新颖性UNKNOWN不被0填充。
模型实际可见的范围
审计基准是当时真正发送的body.state/questions，每条保留model-input.json；本地audit/provenance、完整Run历史、执行后截图不是模型自动可见。Witness的历史执行ID和step来自本地provenance关联，很多没有作为同样字段发给模型，报告不混为一谈。
Provider服务端最终token/prompt渲染快照不足。本地dirty services/startlux/startlux_decision/jevfmt.py不是实跑部署证明，未拿它重造输入。本报告wire充分性仍保留“服务端是否逐字段保留”的UNKNOWN，9个语义可疑项不能当最终人工错误金标。
模型只返回choice、confidence、概率，没有自然语言理由。我们只能说明所比较的功能与什么Pair触发Native PROMOTE，不能恢复模型的内心推理。
三个不同的历史截止点
主表显式分model_input_cutoff、decision和execute时间。previous_equivalent_execution只使用模型输入冻结前已确认的等价尝试；同一次请求先执行的其他候选、pending期间普通动作另列。例如1492的1454动作发生在同请求输入冻结后，不作为输入已见历史；Omni825的807只用于执行时重复判断。
全部这类比较用Native同一时间基准；方法窗口直接复用已验收分析器的时钟对齐结果，不以Host/设备墙钟裸值跨时钟相减。App界面显示的日期/时间也不作为排序时钟。
“确认输入”不是“业务完成”
旧actions.csv的input_confirmed实际上来自input_injected生命周期，不能拿它替代真实Native Transition。新抽取读取jev-receipts/transition-*.json并对源GUI ID+timestamp及step关联；10Run逐项confirmed_retained_inputs与原Native确认事件数一致。主表的历史明确给execution_confirmed、target GUI是否保留及confirmation时刻。目标GUI缺失时，只能支持同一操作曾被尝试，不能伪造保存、付款、录音或地图加载成功。
功能判断的剩余争议
- 普通空笔记Info与清单Completed统计可能是模式分支；656保留UNKNOWN。
- 同一设置的不同枚举值、开/关方向、布局排序及入口可见性按v2不能机械合并；大量Omni/ODK此类条目UNKNOWN。
- 825当前按单条/多条普通数据集合的归档模板处理，若研究者将bulk处理单列独立分支，需另裁定。
- 文章目录标题/章节定位的粒度、跨语言菜单解释及查询前缀操作仍是AI研究判断，9条可疑语义项不自动成为人类金标。
- 没有足够强证据的“全Run首次独立功能且B0”案例，没有为了展示需求伪造。
方法与性能
2s/10s/B是已保存METHOD流的Run内首次观测；输入完成前的方法另有I窗口。日志完整性标记不承诺静态APK所有方法完整可见；不替换正式APK-wide覆盖。零方法不能单独决定功能价值。性能计时缺口、重叠与无法分解FUZZ内部详见专项埋点限制。