omninotes / STARTLUX_PAIRWISE / run_0c300af1c9614168998ce1f37b6aadfe

正式结果 valid=True；10209/36503。Run目录保留原始数据，分析只读。

选择 2170，普通 2139，Probe选择 31，确认Probe 31；确认Transition 2107。 最终State 156，ModelAction 1722，边 935；模型版本不会直接相加。 审核入口 1041，Pair构造 121，HTTP 97，Pair缓存回复 11，消费 108。 普通/工具导航总数 655；有明确Probe目标的remote路径 14；不能用Remote Greedy次数替代Probe导航。

时间基准：Native wall_time_ms 与 METHOD 均为设备epoch；formal-start也是设备时间。Host时间不进入动作窗口。 事件wall/monotonic offset极差 1.34619140625 ms；首次METHOD集合与正式覆盖名单一致=True。 默认2s/10s和下一动作前窗口从PROBE_INPUT_COMPLETED开始；另存input-start至下一动作和确认事件后的窗口。前者会漏掉输入注入期间已执行的方法，后者更晚，均不假称因果。 缺日志时：正式覆盖方法但没有METHOD时间的行保留NA，窗口为观察下界；不改正式覆盖终值。

逐条截图审计；覆盖曲线；Probe新增分布。

证据限制

• 未发现解析/集合不一致；业务成功仍需要具体GUI与操作证据。