GUITaboo 五App：具体功能、Probe收益与请求差异

先直接回答五个问题

1. ODK：StartLux多出来的主要是二维码扫描器内部初始化，不是表单填写。 在第7.806分钟、普通APE step317点击Project management中的容器并紧接FUZZ，至下一输入首次观察到2262个方法，其中2060个AndroidX、15个主业务前缀方法、42个其他ODK模块方法。第471.182秒出现QRCodeTabsActivity$onCreate$1.granted，随后是ScannerFragment、ZXing和Compose初始化。三组早先都触达过QRCodeTabsActivity壳页面，不能说只有StartLux打开二维码页面；真正差异是这次扫描器内部被初始化。SL对Jev的2479个独有方法中，2137个是AndroidX。没有三组成功打开具体表单并填写问题的证据。这次大增量也不是Probe动作。具体证据、截图限制

2. Wikipedia：StartLux错过了图片说明编辑和插入媒体路径。 Pure在第20.444分钟step755点击“Edit Image description”，精确后图是“Add image caption”；至下一输入首次观察1320个方法。Jev在第21.551分钟step775进入同一路径并伴随FUZZ，首次观察1505个方法；两组随后还有InsertMediaActivity，而StartLux没有。差集包含描述编辑、媒体插入、MLKit/Google数据传输初始化等。差距前5分钟就已存在，不能把全差距归因于13个Probe。13个Probe中设置、捐款选择器等有明确收益，但很多目录/搜索实例没有首次方法；整条Run的显式Probe目标导航只有6步、8.715秒，远不是503次全部导航。具体路径和覆盖曲线；13条逐条收益及导航成本

3. Omni：本轮点过录音，但没有完成历史那条“Record→Stop→附件”。 历史step521普通APE点Record，step528普通APE点Stop，随后首次观察1071个方法，其中1033个Glide；step532的精确图有null (84 KB)附件菜单。本轮StartLux早期点Grabar时权限界面被拒，记录到权限授予时已到step1286，之后没有再点Record；Pure和Jev后期在已记录权限授予后也点过Record，但都没有Stop、附件和Glide。这说明“本轮没出现Record”是错误解释；尚不能确定后期为何没有可用的Stop，缺少完整Android错误logcat。Info后发生恢复/权限授予是历史时序事实，不能升级成Info Probe促成录音的因果结论。四Run直接对照时间线

4. 150个Probe中，有可见功能收益，也有重复模板和零首次方法。 逐条核对了全部150条确认执行及另1条失败的前后图、控件、判断、Witness和执行链。45条在完成后2秒内有首次方法，72条在10秒内有，37条在下一动作前有。明确案例包括Wikipedia Jev的Places（B=1451）、SL的Donate选择器（B=517）、ActivityDiary的Statistics（Jev B=265）和Settings（SL B=308）、两模型Omni切换清单模式（各B=126）。这些数是Run内首次观察的时间关联，不是可归因给Probe的因果覆盖量。Scarlet SL的4条Probe所有默认窗口均为0，但其最终覆盖仍有提升，主要增量来自普通APE保存提醒等操作。全部151条逐条表；全部原图及完整链路；收益、重复与导航案例

5. 344与686次HTTP差异，首先来自不同轨迹下候选/Pair构造的差异，不是两套Native算法。 15条实跑JAR一致；191个Native源文件与冻结源一致。两模型共用候选门槛、Pair/Witness、聚合、Ledger和Probe实现；配置差异是Provider/模型/端点/运行身份。缓存键确实含模型及端点，缓存实例不跨条件共享。Scarlet SL的1534次入口只有259次构造，其中183次零Pair；Jev的779次入口反而构造377次，仅44次零Pair。非零构造再分为74 HTTP+2缓存，和318 HTTP+15缓存。现有记录支持差异已在候选历史与Pair阶段形成；不能从未记录的过滤细节进一步猜原因。1030份冻结请求及1974个候选聚合离线回放全部一致，未再次调用模型。代码级与运行级审查

正式结果复核

15/15正式result.json均保持valid；逐Run将完整方法签名、正式covered-methods.txt及已核验APK-wide方法清单比较，METHOD观测集合与正式名单全部一致。因此本轮这些日志能够解释完整正式方法集合，但终值来源仍是正式验收结果，不是拿logcat唯一数替换验收。构造函数签名中的<init>完整保留，纠正旧解析器遇到第一个>便截断所造成的假缺失。没有改写任何原始结果。

当前15条均为Rep2、seed746994860、server49固定App槽位，预算3600秒，实跑JAR c08fdb34321c760112383b9afc2c11360d35f01120259492ea25d39fb95ea370；App内三条件APK/设备/seed/预算/评价协议/方法分母一致。身份逐项审查；原始身份与实跑JAR SHA。

关于此前问的Pure是否重跑：这一轮五条Pure确实是用当前JAR重新运行的，未复用旧JAR的历史Pure。 原始pure-reuse-audit.json明确记载CURRENT_JAR_RERUN；JAR类审查则显示非Jev DEX类均一致，变动限于Jev类。即：有重新运行的事实，不代表Pure算法运行逻辑被修改；当时采用的是严格同JAR配对口径。本次调查没有再次运行Pure或任何其他实验。

统一统计与证据入口

• 15条Run的动作吞吐、确认Transition、最终图、self-loop及未执行动作分布，机器表：run-statistics.csv。
• 动作分支、导航分层汇总、逐Run的action-strategy.csv、navigation.csv、state-statistics.json、state-discovery-by-version.csv。
• 每Run的method-first-seen.csv保留完整签名、原始METHOD行、设备时间、最近输入、step；全部集合差、库分类差、差集方法附近输入。
• 每Run有0–60分钟覆盖图及5/10分钟表；各App三条件图：ODK、Wikipedia、Scarlet、Omni含历史严格窗口、ActivityDiary。增长最快窗口及对应具体输入在coverage-growth-windows.csv。
• 125个普通操作截图/日志案例，其中自动选取的增长峰值案例供进一步观察，不自动作功能成功结论。图若非该步拍摄，明确标注代表State图和真实拍摄step。
• 全部Probe逐条图文、逐条文字审计、研究注释。各Run probes/*.json保留原模型判断、Pair、Witness、绑定/输入/确认、原始引用、完整方法名单和后续五次动作；probe-method-gain-methods.csv可直接按窗口取完整名单。
• 1030次Provider漏斗和代码审查、冻结请求、真实Native协议离线回放。

时间、缺失与解释边界

METHOD epoch、Native wall_time_ms、formal-start使用同一设备时间；先核对事件wall/monotonic offset，本轮各Run极差约1–2.01毫秒，再计算窗口。Host时间仅保留在收据，绝不混入Probe方法窗口。默认A2s/A10s/B从PROBE_INPUT_COMPLETED起算，另存输入开始至下一动作I窗口，以及更晚的Native确认窗口。150条的下一输入全部为MODEL普通/Probe输入，没有用下一次审核或下一截图时间代替下一动作。下一动作类型核对

“首次”严格指当前Run内日志首次观察；集合完整不额外证明系统从未丢失任何更早的重复日志。2秒/10秒窗口可能包含后续操作，B也可能含异步初始化；输入期间的方法可能早于完成锚点。一个方法在Run内只有一个首次观察时间；窗口可重叠，按Run+方法去重，不能把每个Probe的10秒新增相加后当总新增。

业务前缀沿用正式coverage config；Google、AndroidX、Glide等可识别库单列，无法明确归属的保留other_unknown，不硬算业务或第三方。方法名提示路径，只有GUI/执行结果共同支持时才写“进入功能”；扫码成功、表单填写、付款、上传、提醒实际到时响铃均没有相应证据时不作成功结论。

5条Probe跨模型细化版本输入与确认，原严格校验warning保留；实际五阶段链和model_version_changed事件完整，另列版本审查，未改正式验收。其他异常、权限缺失与外部Wikipedia界面

这是一组每App每条件单Run的观察，不能由这些轨迹差异直接排名模型能力。历史Wikipedia Pure的46.100%/42.884%已核对原始方法集合，但JAR和部分设备/seed与本轮不同，只作历史参照。历史核验

通用流程与验收

统一入口为tools/guitaboo_analyze.py，复用tools/jev_metrics.py和既有Fix A+B口径；输入单ZIP/归档目录、多条件归档或manifest，输出表、图、全部Probe链路和跨条件集合差。外部guitaboo_archive_postprocess.py在有效性收据和CRC通过后处理归档，单Run立即出报告，同App+Rep兼容三条件齐备后才比较。未修改平台worker、执行器、调度器，也未启动长期监听服务。再生命令与自动化接入

验证包括9项离线回归、移除METHOD/时间基准的合成缺失证据测试（全部窗口为NA、正式终值保留）、单真实归档连续两次处理的内容及mtime幂等、1030次Native wire回放、15/150/方法窗口守恒、报告链接和原始/用户修改完整性。最终验收明细