Run run_0c300af1c9614168998ce1f37b6aadfe；审核step 1331，request semantic-103，version 14，State/Action g12s50/g12a427；确认执行step 1531，transition g12e200:1494，native history position 1493。
模型为什么选它： Witness为h1=Informac (step166), h3=Habilita (step172), h4=Vista am (step210)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=3；合法池含已识别等价历史=YES，wire等价id=[]。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p4 | 166 | DIFFERENT_OPERATION | 0.6154365837574005 | False |
| p5 | 172 | DIFFERENT_OPERATION | 0.7887062132358551 | False |
| p6 | 210 | DIFFERENT_OPERATION | 0.786137193441391 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 246 | True | g12s50/g12a427 | 331 | True | 1331 v14 g12s50/g12a427; 1134 v12 g12s50/g12a427; 995 v12 g12s50/g12a427 |
| 664 | True | g12s50/g12a427 | 770 | True | 1331 v14 g12s50/g12a427; 1134 v12 g12s50/g12a427; 995 v12 g12s50/g12a427 |
执行后： 同Run首次METHOD观测窗口2s=1、10s=1、下次动作前=1。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 历史Lock已进入合法池，但未选进wire。已恢复的原始标签为Bloquiar/ລັອກ，当前候选换了语言；相似度字面得分同为12，时序/多样性决定Top3。执行后打开同类密码设置窗口；没有证据说已完成加密。