Run run_0c300af1c9614168998ce1f37b6aadfe；审核step 662，request semantic-35，version 12，State/Action g12s50/g12a427；确认执行step 664，transition g12e200:654，native history position 653。
模型为什么选它： 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.5134718716144562 | False |
| p5 | 172 | DIFFERENT_OPERATION | 0.7597518563270569 | False |
| p6 | 210 | DIFFERENT_OPERATION | 0.7623110413551331 | 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 | 662 v12 g12s50/g12a427; 807 v12 g12s50/g12a427; 494 v12 g12s50/g12a427 |
执行后： 同Run首次METHOD观测窗口2s=3、10s=3、下次动作前=3。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 历史Lock已进入合法池，但未选进wire。已恢复的原始标签为Bloquiar/ລັອກ，当前候选换了语言；相似度字面得分同为12，时序/多样性决定Top3。执行后打开同类密码设置窗口；没有证据说已完成加密。