Run run_2b38f68437b6480c8f26d01cec61b440；审核step 264，request semantic-4，version 16，State/Action g11s38/g11a627；确认执行step 264，transition g16e228:263，native history position 262。
模型为什么选它： Witness为h1=Map (step176), h2=Settings (step227)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=NO，wire等价id=[]。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p1 | 176 | DIFFERENT_OPERATION | 0.97 | False |
| p2 | 227 | DIFFERENT_OPERATION | 1 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 142 | False | g13s49/g13a696 | 163 | False | 564 v23 g13s49/g13a696; 649 v24 g13s49/g13a696 |
执行后： 同Run首次METHOD观测窗口2s=3、10s=8、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 已有相关普通/Probe历史不在当前合法池。其它请求能见到这些历史，且执行时State不同；因没有此review所有排除项的当前映射，精确排除原因部分UNKNOWN，不能概称Probe未回写。