# 重复功能的逐案例历史追踪

所有“历史可见”均指决策时输入，不用事后完整日志假装模型当时见过。原始request、pair、GUI及执行回执来自既有审查，未调用模型。本文的功能对应是研究分析，不是写回训练金标。

![Statistics与多语言Lock原始前后GUI拼图](evidence/gui-cases.jpg)

## 核心判定

- Statistics564：有原生记录、有后续合法读取证据；与475原生State作用域不同，未进当前Pool，非Top3漏选。
- Statistics1201：请求早在1072，按当时只有Edit Activities918的合法池PROMOTE，已接受结果稍后兑现；排除项在1072的逐对象当前映射未归档，不能全部确定到某个refinement步骤。
- Omni246/664/1531三次都是Probe，均进入Lock密码设置窗口。后两次历史在Pool但多语言字面排序未选中；不是历史缺失。
- Scarlet130、Wikipedia1492：历史已经发给模型；讨论可见Evidence和语义边界，而非回写/Top3。


## omninotes / STARTLUX / step 246 / Bloquiar

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](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-4-c2/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-4-c2/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

未发现决策之前同Run等价成功操作；不等于证明Pure永远无法执行。

**执行后：** 同Run首次METHOD观测窗口2s=1、10s=1、下次动作前=1。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-4-c2-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-4-c2-after.png)

**判定与证据边界：** 这是第一次已观察Lock Probe，不是普通APE操作。模型当时只对比两次Información；执行后打开密码设置窗口，其历史后来成为h5。

## omninotes / STARTLUX / step 664 / ລັອກ

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](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-35-c2/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-35-c2/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](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总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-35-c2-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-35-c2-after.png)

**判定与证据边界：** 历史Lock已进入合法池，但未选进wire。已恢复的原始标签为Bloquiar/ລັອກ，当前候选换了语言；相似度字面得分同为12，时序/多样性决定Top3。执行后打开同类密码设置窗口；没有证据说已完成加密。

## omninotes / STARTLUX / step 1531 / Lock

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](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-103-c2/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_0c300af1c9614168998ce1f37b6aadfe/semantic-103-c2/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](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总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-103-c2-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_0c300af1c9614168998ce1f37b6aadfe/screenshots/semantic-103-c2-after.png)

**判定与证据边界：** 历史Lock已进入合法池，但未选进wire。已恢复的原始标签为Bloquiar/ລັອກ，当前候选换了语言；相似度字面得分同为12，时序/多样性决定Top3。执行后打开同类密码设置窗口；没有证据说已完成加密。

## activitydiary / JEV / step 264 / Diary

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 264，request `semantic-4`，version 16，State/Action `g11s38/g11a627`；确认执行step 264，transition `g16e228:263`，native history position 262。

**模型为什么选它：** Witness为h1=Map (step176), h2=Settings (step227)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p1 | 176 | DIFFERENT_OPERATION | 0.97 | False |
| p2 | 227 | DIFFERENT_OPERATION | 1 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-4-c1/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-4-c1/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 142 | False | g13s49/g13a696 | 163 | False | 564 v23 g13s49/g13a696; 649 v24 g13s49/g13a696 |

**执行后：** 同Run首次METHOD观测窗口2s=3、10s=8、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-4-c1-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-4-c1-after.png)

**判定与证据边界：** 已有相关普通/Probe历史不在当前合法池。其它请求能见到这些历史，且执行时State不同；因没有此review所有排除项的当前映射，精确排除原因部分UNKNOWN，不能概称Probe未回写。

## activitydiary / JEV / step 475 / Statistics

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](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-9-c2/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-9-c2/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

未发现决策之前同Run等价成功操作；不等于证明Pure永远无法执行。

**执行后：** 同Run首次METHOD观测窗口2s=270、10s=276、下次动作前=265。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-9-c2-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-9-c2-after.png)

**判定与证据边界：** 此前同Run未发现等价Statistics成功执行；本次打开StatisticsActivity。后续522/550/575等请求明确包含该输入。

## activitydiary / JEV / step 564 / Statistics

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 564，request `semantic-15`，version 23，State/Action `g13s49/g13a696`；确认执行step 564，transition `g23e472:557`，native history position 556。

**模型为什么选它：** Witness为h1=Select A (step131), h2=Diary (step142)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p1 | 131 | DIFFERENT_OPERATION | 0.98 | False |
| p2 | 142 | DIFFERENT_OPERATION | 1 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-15-c3/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-15-c3/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 475 | True | g11s38/g11a627 | 560 | False | 575 v23 g11s38/g11a627; 550 v22 g11s38/g11a627; 522 v21 g11s38/g11a627 |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-15-c3-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-15-c3-after.png)

**判定与证据边界：** 475的Probe历史确实存在并被读取；与当前review不同State。575的同版本23记录将旧tree560定位为g11s38/g11a627，当前564是g13s49/g13a696，故在Registry按State分组阶段就已隔离。

## activitydiary / JEV / step 649 / Map

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 649，request `semantic-21`，version 24，State/Action `g13s49/g13a696`；确认执行step 649，transition `g24e521:642`，native history position 641。

**模型为什么选它：** Witness为h1=Select A (step131), h2=Diary (step142), h3=Statisti (step564)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=3；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p1 | 131 | DIFFERENT_OPERATION | 0.97 | False |
| p2 | 142 | DIFFERENT_OPERATION | 0.98 | False |
| p3 | 564 | DIFFERENT_OPERATION | 0.98 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-21-c5/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-21-c5/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 176 | False | g11s38/g11a627 | 206 | False | 709 v24 g11s38/g11a627; 575 v23 g11s38/g11a627; 550 v22 g11s38/g11a627 |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=1、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-21-c5-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-21-c5-after.png)

**判定与证据边界：** 已有相关普通/Probe历史不在当前合法池。其它请求能见到这些历史，且执行时State不同；因没有此review所有排除项的当前映射，精确排除原因部分UNKNOWN，不能概称Probe未回写。

## activitydiary / JEV / step 977 / Diary

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 975，request `semantic-25`，version 27，State/Action `g16s85/g16a1206`；确认执行step 977，transition `g28e751:966`，native history position 965。

**模型为什么选它：** Witness为h2=Add Acti (step407), h1=Privacy  (step295)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=2；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p3 | 295 | DIFFERENT_OPERATION | 1 | False |
| p4 | 407 | DIFFERENT_OPERATION | 0.98 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-25-c7/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-25-c7/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 142 | False | g13s49/g13a696 | 163 | False | 649 v24 g13s49/g13a696; 564 v23 g13s49/g13a696 |
| 264 | True | g11s38/g11a627 | 318 | False | 709 v24 g11s38/g11a627; 575 v23 g11s38/g11a627; 550 v22 g11s38/g11a627 |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=3、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-25-c7-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-25-c7-after.png)

**判定与证据边界：** 已有相关普通/Probe历史不在当前合法池。其它请求能见到这些历史，且执行时State不同；因没有此review所有排除项的当前映射，精确排除原因部分UNKNOWN，不能概称Probe未回写。

## activitydiary / JEV / step 1201 / Statistics

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 1072，request `semantic-29`，version 31，State/Action `g16s84/g16a1199`；确认执行step 1201，transition `g32e905:1186`，native history position 1185。

**模型为什么选它：** Witness为h1=Edit Act (step918)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=1；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p3 | 918 | DIFFERENT_OPERATION | 1 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-29-c3/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-29-c3/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 475 | True | g11s38/g11a627 | 560 | False | 1405 v33 g11s38/g11a627; 709 v24 g11s38/g11a627; 1520 v33 g11s38/g11a627 |
| 564 | True | g13s49/g13a696 | 655 | False | 649 v24 g13s49/g13a696 |
| 1026 | False | g16s85/g16a1206 | 1129 | False | 1252 v32 g16s85/g16a1206 |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-29-c3-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-29-c3-after.png)

**判定与证据边界：** PROMOTE来自1072，并非1201新发请求或129步HTTP等待。合法池只有Edit Activities918，Statistics旧记录不在池内；缺1072排除项映射快照，不能逐个断言三次旧执行具体怎样被refinement隔离。

## activitydiary / JEV / step 1284 / Map

Run `run_2b38f68437b6480c8f26d01cec61b440`；审核step 1284，request `semantic-78`，version 32，State/Action `g16s84/g16a1199`；确认执行step 1284，transition `g32e949:1269`，native history position 1268。

**模型为什么选它：** Witness为h1=Edit Act (step918), h2=Select A (step1072), h3=Diary (step1125)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=3；合法池含已识别等价历史=NO，wire等价id=[]。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p1 | 918 | DIFFERENT_OPERATION | 0.98 | False |
| p2 | 1072 | DIFFERENT_OPERATION | 0.98 | False |
| p3 | 1125 | DIFFERENT_OPERATION | 1 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-78-c1/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_2b38f68437b6480c8f26d01cec61b440/semantic-78-c1/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 176 | False | g11s38/g11a627 | 206 | False | 1405 v33 g11s38/g11a627; 1520 v33 g11s38/g11a627; 1521 v33 g11s38/g11a627 |
| 1252 | True | g16s85/g16a1206 | 1361 | False |  |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-78-c1-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/screenshots/semantic-78-c1-after.png)

**判定与证据边界：** 1252也是Map Probe，在version32的g16s85/g16a1206执行；1284同version32审核g16s84/g16a1199。当前Pool不同，未进入Witness排序。176旧输入在1284精确映射没有直接快照。

## scarletnotes / JEV / step 130 / Add Heading… (com.bijoysingh.quicknote:id/action_move_icon)

Run `run_95f70b23a59843b09110e90e309c467e`；审核step 130，request `semantic-2`，version 21，State/Action `g21s53/g21a818`；确认执行step 130，transition `g21e69:130`，native history position 129。

**模型为什么选它：** Witness为h3= (step107), h4= (step120), h5= (step128)；最终PROMOTE，trusted SAME=0，trusted DIFFERENT=3；合法池含已识别等价历史=YES，wire等价id=['h3', 'h4', 'h5']。

| Pair | Witness step | 原始判断 | confidence | 缓存 |
|---|---|---|---|---|
| p4 | 107 | DIFFERENT_OPERATION | 0.91 | False |
| p5 | 120 | DIFFERENT_OPERATION | 0.89 | False |
| p6 | 128 | DIFFERENT_OPERATION | 0.94 | False |

原始问题及模型可见输入：[request](../guitaboo-probe-decision-review-20261107/evidence/run_95f70b23a59843b09110e90e309c467e/semantic-2-c9/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_95f70b23a59843b09110e90e309c467e/semantic-2-c9/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](evidence/history-case-traces.json)对应Run/step行。

**此前APE实际做过什么：**

| 原step | 普通/Probe原值 | 原State/Action | GUI tree | 本次Pool出现 | 邻近审核的当前映射 |
|---|---|---|---|---|---|
| 107 | False | g21s53/g21a818 | 130 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |
| 120 | False | g21s53/g21a818 | 143 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |
| 128 | False | g21s53/g21a818 | 151 | True | 130 v21 g21s53/g21a818; 132 v21 g21s53/g21a818; 134 v21 g21s53/g21a818 |

**执行后：** 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_95f70b23a59843b09110e90e309c467e/screenshots/semantic-2-c9-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_95f70b23a59843b09110e90e309c467e/screenshots/semantic-2-c9-after.png)

**判定与证据边界：** 107/120/128的块菜单历史作为h3/h4/h5全部进wire，模型均回答DIFFERENT。执行后仍打开Block Text Actions。输入没有此前动作的结果页，旧菜单打开成功的事后证据不能自动当作模型已知；属于Evidence表达/语义判断待复核，不是历史回写或Top3问题。

## wikipedia / STARTLUX / step 1492 / Early life

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](../guitaboo-probe-decision-review-20261107/evidence/run_d04ae609a94042e28f3ab00ddb284ca9/semantic-26-c2/request-receipt.json)；结果链与GUI：[facts](../guitaboo-probe-decision-review-20261107/evidence/run_d04ae609a94042e28f3ab00ddb284ca9/semantic-26-c2/facts.json)。完整原始Pair问题、答案概率、所有近邻查询记录保存在[evidence/history-case-traces.json](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总覆盖或严格因果增量。[before_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_d04ae609a94042e28f3ab00ddb284ca9/screenshots/semantic-26-c2-before.png) [after_screenshot](../guitaboo-deep-analysis-20261107-delivery/run_d04ae609a94042e28f3ab00ddb284ca9/screenshots/semantic-26-c2-after.png)

**判定与证据边界：** 1047/1049目录历史已进入wire，模型均DIFFERENT。当前Early life与旧文章目录在业务上是不同文章/条目的同类跳转，应研究语义粒度；没有回写或Top3缺失证据，未重新给模型准确率标签。