Run run_0c300af1c9614168998ce1f37b6aadfe；审核step 172，request semantic-4，version 12，State/Action g12s50/g12a427；确认执行step 246，transition g12e200:243，native history position 242。
模型为什么选它： Witness为h1=Informac (step166), h2=Informac (step169)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=NO，wire等价id=[]。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p3 | 166 | DIFFERENT_OPERATION | 0.8573341071605682 | False |
| p4 | 169 | DIFFERENT_OPERATION | 0.9170657396316528 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
未发现决策之前同Run等价成功操作；不等于证明Pure永远无法执行。
执行后： 同Run首次METHOD观测窗口2s=1、10s=1、下次动作前=1。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 这是第一次已观察Lock Probe，不是普通APE操作。模型当时只对比两次Información；执行后打开密码设置窗口，其历史后来成为h5。