Run run_95f70b23a59843b09110e90e309c467e;审核step 130,request semantic-2,version 21,State/Action g21s53/g21a818;确认执行step 130,transition g21e69:130,native history position 129。
模型为什么选它: Witness为h3= (step107), h4= (step120), h5= (step128);最终PROMOTE,trusted SAME=0,trusted DIFFERENT=3;合法池含已识别等价历史=YES,wire等价id=['h3', 'h4', 'h5']。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p4 | 107 | DIFFERENT_OPERATION | 0.91 | False |
| p5 | 120 | DIFFERENT_OPERATION | 0.89 | False |
| p6 | 128 | DIFFERENT_OPERATION | 0.94 | False |
原始问题及模型可见输入:request;结果链与GUI:facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么:
| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 107 | False | g21s53/g21a818 | 130 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |
| 120 | False | g21s53/g21a818 | 143 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |
| 128 | False | g21s53/g21a818 | 151 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |
执行后: 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界: 107/120/128的块菜单历史作为h3/h4/h5全部进wire,模型均回答DIFFERENT。执行后仍打开Block Text Actions。输入没有此前动作的结果页,旧菜单打开成功的事后证据不能自动当作模型已知;属于Evidence表达/语义判断待复核,不是历史回写或Top3问题。