Run run_d04ae609a94042e28f3ab00ddb284ca9；审核step 1454，request semantic-26，version 63，State/Action g45s294/g45a3267；确认执行step 1492，transition g63e1208:1480，native history position 1479。
模型为什么选它： Witness为h1=Лолита (step1047), h2=Лолита (step1049)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=YES，wire等价id=['h1', 'h2']。
| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p3 | 1047 | DIFFERENT_OPERATION | 0.6197376847267151 | False |
| p4 | 1049 | DIFFERENT_OPERATION | 0.6656117737293243 | False |
原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。
此前APE实际做过什么：
| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 1047 | False | g45s294/g45a3267 | 1280 | True | 1454 v63 g45s294/g45a3267 |
| 1049 | False | g45s294/g45a3267 | 1282 | True | 1454 v63 g45s294/g45a3267 |
执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。
判定与证据边界： 1047/1049目录历史已进入wire，模型均DIFFERENT。当前Early life与旧文章目录在业务上是不同文章/条目的同类跳转，应研究语义粒度；没有回写或Top3缺失证据，未重新给模型准确率标签。