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

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

核心判定

• 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=[]。

原始问题及模型可见输入：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。

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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=3、10s=3、下次动作前=3。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 历史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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=1、10s=1、下次动作前=1。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 历史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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=3、10s=8、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 已有相关普通/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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

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

执行后： 同Run首次METHOD观测窗口2s=270、10s=276、下次动作前=265。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 此前同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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=1、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 已有相关普通/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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=3、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 已有相关普通/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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 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=[]。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 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']。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

判定与证据边界： 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']。

原始问题及模型可见输入：request；结果链与GUI：facts。完整原始Pair问题、答案概率、所有近邻查询记录保存在evidence/history-case-traces.json对应Run/step行。

此前APE实际做过什么：

执行后： 同Run首次METHOD观测窗口2s=0、10s=0、下次动作前=0。这些不是APK-wide总覆盖或严格因果增量。

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