Run run_2b38f68437b6480c8f26d01cec61b440；审核step 475，request semantic-9，version 20，State/Action g11s38/g11a627；确认执行step 475，transition g20e396:471，native history position 470。
模型为什么选它： Witness为h3=Diary (step264), h1=Map (step176), h2=Settings (step227)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=3；合法池含已识别等价历史=NO，wire等价id=[]。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p4 | 176 | DIFFERENT_OPERATION | 1 | False |
| p5 | 227 | DIFFERENT_OPERATION | 1 | False |
| p6 | 264 | DIFFERENT_OPERATION | 1 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
未发现决策之前同Run等价成功操作；不等于证明Pure永远无法执行。
执行后： 同Run首次METHOD观测窗口2s=270、10s=276、下次动作前=265。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 此前同Run未发现等价Statistics成功执行；本次打开StatisticsActivity。后续522/550/575等请求明确包含该输入。