Run run_2b38f68437b6480c8f26d01cec61b440；审核step 1072，request semantic-29，version 31，State/Action g16s84/g16a1199；确认执行step 1201，transition g32e905:1186，native history position 1185。
模型为什么选它： Witness为h1=Edit Act (step918)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=1；合法池含已识别等价历史=NO，wire等价id=[]。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p3 | 918 | DIFFERENT_OPERATION | 1 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 475 | True | g11s38/g11a627 | 560 | False | 1405 v33 g11s38/g11a627; 709 v24 g11s38/g11a627; 1520 v33 g11s38/g11a627 |
| 564 | True | g13s49/g13a696 | 655 | False | 649 v24 g13s49/g13a696 |
| 1026 | False | g16s85/g16a1206 | 1129 | False | 1252 v32 g16s85/g16a1206 |
执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： PROMOTE来自1072，并非1201新发请求或129步HTTP等待。合法池只有Edit Activities918，Statistics旧记录不在池内；缺1072排除项映射快照，不能逐个断言三次旧执行具体怎样被refinement隔离。