异常、缺失和不能下结论的地方

5条跨细化版本Probe保留原校验warning

App/条件 entry / 选择step 输入版本→确认版本
Wikipedia SL semantic-6-c1 /615 33→35
ActivityDiary SL semantic-31-c2 /608 29→31
ActivityDiary Jev semantic-25-c7 /977 27→28
ActivityDiary Jev semantic-29-c2 /1125 31→32
ActivityDiary Jev semantic-246-c2 /1637 33→35

五条Bound、Selected、InputGenerated、InputCompleted、Executed均在;完成与确认之间有SEMANTIC_CONTEXT_INVALIDATED reason=model_version_changed。例如Wikipedia615完成v33,随后v34、v35上下文失效,616的Native Transition和Probe确认在v35。原事件及行号。现有jev_metrics严格同版本校验标warning,因此保留自动异常,不回写“完全无warning”,也不改已通过的正式Run验收。

截图并非全部与目标identity完全一致

150确认Probe的前图均为identity_verified,148条后图也如此;Omni SL825和Wikipedia SL1450后图标为gui_drift。原图存在,文字/GUI/执行证据仍保留,但不将后图宣称为和Native Transition目标identity完全一致的精确截图。HTML/CSV/JSON均保留对齐标记,逐条观察明确注明。完整逐条图文

普通操作125案例使用最终图模型关联截图;部分只有早期同State代表图。每张图旁标实际拍摄step和是否精确;没有扫描器瞬间图、没有某次Record瞬间图时,不用邻近代表图填补。ODK批次后的Project management菜单图不能证明扫码成功。

ODK Jev还有1条失败Probe,不混入150确认

step389的PROBE_EXECUTION_FAILED及具体原因/截图/后续动作单列在逐条表和对应Run的probes.json。执行选择总数可以大于确认数;失败不被静默丢弃或算成成功。没有为它重跑实验。

Omni录音与外部Wikipedia界面

早期权限界面被APE拒绝、恢复后grant RECORD_AUDIO、历史Stop后附件及Glide均有原始行或图。本轮Pure/Jev授予之后也尝试Record,却没有Stop;完整Android媒体错误logcat和初始完整权限快照缺失,底层失败原因NA。Info Probe在历史step439本身失败,只能记录随后恢复时授予权限,不能称Info功能完成、更不能归因。四Run时间线

Jev Omni step193、5:31.329确有Wikipedia EditHistoryListActivity及实际selectButton输入,随后重启Omni。不是Omni新功能;也没有证据证明为何外部任务被拉到前台。该step方法新增还包含恢复启动,不归给外部页面。精确193图及executor;全部App外输入。这项补充观察未擅自改正式有效性定义。

ActivityDiary领先中有错误处理库

SL603点“放弃当前编辑并打开同名已有活动”的quickFixButton1后,精确604为unexpected error错误报告界面;233首次方法全是183 ACRA+50 Kotlin,SL对Jev独有集合中的274个是ACRA。原生文本#349d1369不能当作颜色控件名称;源GUI与content-desc证实真正控件含义,前图本身缺失。App崩溃/错误和基础设施失败按既定口径分开,不凭覆盖高就称操作更成功。功能解释

方法和窗口限制

本轮当前15条完整METHOD集合和正式covered名单一致,但“首次”仍是日志首次观察;不能证明每个更早的重复METHOD都未丢失。没有完整记录时,方法时间和窗口必须NA或观察下界,不能填0。移除METHOD和formal-start的合成缺失证据回归已验证全部窗口NA、正式覆盖数不被重算。缺失证据测试

默认锚点在输入完成,输入期间可能已有方法;2s/10s包含后续动作。Scarlet Add Item的A10=352但B=0、后续Back=348,是不能把A10直接叫Probe收益的具体反例。多Probe重叠A10直接相加8452,按Run+方法union只有8220;二者都不是因果净收益。

Provider审查边界

Native191文件与冻结源一致;服务侧当前dirty的jevfmt.py却与冻结source不同,不当作实跑服务代码证据。保存请求和真实Native答案聚合回放完整;不证明两服务内部token渲染相同,也不是候选历史全链反事实回放。前置过滤逐项原因没有全量日志,0 Pair不再硬拆成想象中的排除原因。

通用监听器还要核对Controller最终状态:worker先写ZIP,Controller可能随后因sticky Provider身份漂移作无效覆盖。仅看ZIP valid不足以作为未来自动比较门禁;新增可选只读controller.sqlite3最终状态/SHA门禁,不修改原ZIP、不改平台。接入和限制