公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。

Wikipedia — Search：Ⅰ开启与Ⅲ查询依赖必须分开

原图联合删边两个Rep各恢复5节点，只有部分属于本轮确认搜索发生。去明确返回后为12/8节点，同时产生边界扩张和初始不可达问题。 不支持“去Back越大越好”。

入口、提交和复用

Ⅰ：首页Search Wikipedia提示框/父卡片、Search导航tab、文章页搜索按钮。Rep1 29次/19源；Rep2 55次/35源，包含本轮核实的父卡片5次。未携 planned input text，功能开启不保证每次成功。

Ⅲ真实例：Rep2 g5e49:53，SearchActivity search_src_text，MODEL_CLICK g5a362，g5s30 → g5s32（No results），原输入 planned_input_text=5526295120276113567104.7007441。这是字段点击并注入查询的复合动作，不是Ⅰ入口。

核对源码 MonkeySourceApe.java:503–509 与 MonkeySourceApeInput.java:80–99,130–146：点击可doInput，成功sendText路径不自动追加Enter，失败fallback才生成KEYCODE_ENTER。归档不足以认证一个独立提交按钮或单独IME提交事件；报告保留“Ⅲ查询依赖操作”措辞，不伪造提交证据。

Places search与编辑器Link会复用SearchActivity；前者数据域不同，后者依赖编辑上下文。均保持待确认，不因同Target/同资源ID合并Ⅰ。加入pending敏感性原图变6/6，C交集仍3/5，只说明结构扩张，不能证明同功能。

B恢复的是什么，遗漏的是什么

Rep1原图5节点：3在C，另 g34s153 LanguagesListActivity、g44s219 WikipediaLanguagesActivity（后者缺图），是语言配置可选扩展。去返回12节点只与C重叠6；额外MainActivity节点 g63s371,g63s372,g69s448,g69s449 的代表图是Search landing上的历史/清空/移除邻域。这是共享范围争议，不能一律算完全无关功能。

Rep2原图5节点均在C；去返回8节点，7在C，另 g93s547 是PageActivity文章阅读，属于本轮定义下的结果消费/阅读移交，构成明确越界。

原图仍遗漏C的23/34个State。比如Rep2 root g36s163 --g86e1396 (Navigate up; g86e1396:1708)--> g86s414 --g87e1434 (Clear query; :1755)--> g86s411。这是两条各有确认执行的聚合图路径，不声称同次连续发生；后退返回到共享搜索状态能维持可达性。

Rep1仍可到 g41s212 的路径：g3s20 --g60e731--> g60s331 --g61e754--> g61s336 --g61e755--> g61s337 --g61e756 (Link)--> g41s212。前两边为More options/Edit article，最后是编辑器Link；中间 g61e755 没有可精确关联的确认执行。它是有效图上反例，但不是完整真实连续轨迹。这说明共享组件/未纳入独立入口的上下文，以及拓扑与确认历史缺口都会使组删边不能隔离。

去返回还会在删Ⅰ入口前就使Rep2五个C节点 g5s30,g70s323,g70s324,g90s474,g90s475 不可达，不能把它们记作联合删边恢复。去返回后的Root不重选，不能用新的任意Root掩盖这个问题。

分支汇合和C边界

Rep1两个入口目标 g38s204 --g54e651--> g42s213、g38s205 --g42e389--> g42s213 汇合；汇合Header的4-State子树为 g40s209,g41s211,g42s213,g55s301。它能识别汇合后必经片段，却不能向上支配两个分支，也不会自动识别所有搜索State。里面C外节点不自动当误收，保留GUI审核。

Rep2真实发生 g87e1432:1752：进入 g86s411，选择Help结果/namespace，Clear query、Clear history、namespace切换等在 g86s411,g86s413,g86s414 间走动，最后 g87e1440:1761 点语言EN到WikipediaLanguagesActivity，C在此移交停止；完整9步可点看。另有进入PageActivity的结果打开：它是搜索的结果消费端，不把整个后续阅读都吞入搜索核心。

Rep1/Rep2的完整State/Action后缀没有重复两次的组，不等于没有重复搜索。Ⅰ开启和组件State反复出现，但查询内容/路径变化；不能仅以入口次数断言轨迹相同或无收益。

六口径中的本案例主结果

Rep1 可审核清单

原始 Root：g0s0, g3s18, g3s20, g44s222, g52s273, g58s319, g69s451, g78s501。

A Header g41s212 真实归档代表图；成员 g41s212。

C 参考：g33s149, g35s174, g38s204, g38s205, g41s212, g42s213, g42s214, g48s254, g52s279, g53s284, g53s285, g53s286, g53s287, g53s288, g55s301, g55s302, g57s310, g62s343, g62s344, g63s381, g68s440, g68s441, g69s447, g77s497, g77s498, g77s499。

B 原图 失可达：g33s149, g34s153, g38s204, g44s219, g77s497。

B 原图 C 中仍未恢复：g35s174, g38s205, g41s212, g42s213, g42s214, g48s254, g52s279, g53s284, g53s285, g53s286, g53s287, g53s288, g55s301, g55s302, g57s310, g62s343, g62s344, g63s381, g68s440, g68s441, g69s447, g77s498, g77s499。

B 原图 C 外成员：g34s153, g44s219。

B 去返回 失可达：g33s149, g34s153, g35s174, g38s204, g44s219, g57s310, g63s371, g63s372, g69s447, g69s448, g69s449, g77s497。

B 去返回 C 中仍未恢复：g38s205, g41s212, g42s213, g42s214, g48s254, g52s279, g53s284, g53s285, g53s286, g53s287, g53s288, g55s301, g55s302, g62s343, g62s344, g63s381, g68s440, g68s441, g77s498, g77s499。

B 去返回 C 外成员：g34s153, g44s219, g63s371, g63s372, g69s448, g69s449。

所有Source State：g0s0, g34s156, g35s178, g36s187, g38s203, g3s18, g3s20, g3s24, g44s222, g46s243, g4s37, g52s273, g52s278, g54s292, g54s294, g63s370, g68s438, g69s450, g77s496。入口每次Target与完整Concrete见成员表。

删边K：g33e236, g35e328, g38e371, g38e376, g41e384, g48e506, g52e566, g53e586, g53e590, g53e602, g54e638, g54e650, g55e655, g57e666, g63e876, g63e916, g68e1139, g69e1170, g69e1174, g69e1250, g69e1255, g77e1384, g80e1417, g80e1420, g83e1590, g83e1630, g86e1703。

一条删完入口仍可达的原图路径：g3s20 —[g35e330; #ea770a11; confirmed=1]→ g35s174。

轨迹停止计数：

历史功能State 27，收尾精确参考 26；观察在功能内发生 24 次；明确边界结束 22 次。未知/截断没有补成完整业务轨迹。

交互查看本案例；逐次轨迹；所有真实图路径证据。

Rep2 可审核清单

原始 Root：g0s0, g13s66, g36s163, g39s172, g3s10, g41s189, g4s25, g72s343, g80s376。

A Header g26s116 真实归档代表图；成员 g26s116, g27s118, g70s323, g70s324。

C 参考：g14s75, g26s116, g27s119, g27s120, g27s121, g27s122, g27s123, g29s130, g32s144, g39s177, g3s11, g41s192, g41s193, g41s198, g41s199, g48s233, g48s234, g53s254, g5s29, g5s30, g5s32, g70s323, g70s324, g82s391, g83s395, g83s396, g86s411, g86s413, g86s414, g86s426, g86s431, g90s470, g90s474, g90s475, g90s478, g90s493, g90s494, g93s523, g93s557。

B 原图 失可达：g27s119, g3s11, g41s192, g90s478, g93s523。

B 原图 C 中仍未恢复：g14s75, g26s116, g27s120, g27s121, g27s122, g27s123, g29s130, g32s144, g39s177, g41s193, g41s198, g41s199, g48s233, g48s234, g53s254, g5s29, g5s30, g5s32, g70s323, g70s324, g82s391, g83s395, g83s396, g86s411, g86s413, g86s414, g86s426, g86s431, g90s470, g90s474, g90s475, g90s493, g90s494, g93s557。

B 原图 C 外成员：∅。

B 去返回 失可达：g14s75, g27s119, g3s11, g41s192, g82s391, g90s478, g93s523, g93s547。

B 去返回 C 中仍未恢复：g26s116, g27s120, g27s121, g27s122, g27s123, g29s130, g32s144, g39s177, g41s193, g41s198, g41s199, g48s233, g48s234, g53s254, g5s29, g5s30, g5s32, g70s323, g70s324, g83s395, g83s396, g86s411, g86s413, g86s414, g86s426, g86s431, g90s470, g90s474, g90s475, g90s493, g90s494, g93s557。

B 去返回 C 外成员：g93s547。

所有Source State：g13s63, g13s66, g13s71, g14s75, g36s164, g39s175, g39s176, g39s177, g39s181, g3s10, g3s15, g41s189, g41s206, g4s19, g4s20, g4s21, g4s22, g4s25, g53s254, g53s262, g5s28, g68s317, g70s327, g72s343, g72s344, g75s355, g80s379, g86s410, g86s430, g86s434, g8s44, g90s469, g90s485, g93s543, g93s555。入口每次Target与完整Concrete见成员表。

删边K：g26e214, g27e221, g27e229, g39e380, g3e12, g41e428, g41e448, g44e516, g44e533, g48e609, g4e33, g4e38, g53e717, g53e766, g53e770, g54e772, g70e929, g70e931, g70e945, g70e962, g71e978, g71e979, g72e1007, g75e1021, g75e1027, g81e1229, g82e1261, g82e1266, g83e1286, g83e1290, g86e1340, g86e1409, g87e1421, g87e1432, g90e1504, g90e1526, g90e1534, g90e1541, g90e1612, g93e1681, g93e1779, g93e1780, g93e1794, g93e1821, g93e1829。

一条删完入口仍可达的原图路径：g13s66 —[g41e486; page_save Save; confirmed=1]→ g13s70 —[g13e108; title Remove f; confirmed=1]→ g13s71 —[g14e125; #547956c0; confirmed=1]→ g14s75。

轨迹停止计数：

历史功能State 39，收尾精确参考 39；观察在功能内发生 51 次；明确边界结束 47 次。未知/截断没有补成完整业务轨迹。

交互查看本案例；逐次轨迹；所有真实图路径证据。