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

ActivityDiary — Add Activity

两个 Rep 严格联合删边均为空；去返回也为空。 Add 的业务发生可以与编辑已有对象复用同一个 State，结构上的非排他性比入口缺一个别名更根本。

编辑已有活动绕过 Add

Rep1：g29e298:348 是主页 activity_background 的 MODEL_LONG_CLICK，g1s1 → g21s63，不是 Add 输入。g21s63 也承接确认 Add，如 g28e233:275、g29e305:356 等。删 Add 不能截断已有对象编辑路径。

Rep2：g34e540:680 long click 已有活动，g5s11 → g27s96；g5s11 本来就是归档 Root。这是单边真实确认绕行，不依赖 Back，也不是名字相同就猜测。

g21s63 代表截图是 Swimming；该 ID 的23份真实GUI快照含 Swimming、Relaxing、Officework 等对象标题。证明 State ID 未编码排他的业务发生身份。由于图片不是所有输入严格同次配对，不把它升级为 New/Edit 错误合并的因果认证。

A 会吞入退出后的页面

Rep1 g21s63 子树：g20s62,g21s63,g22s66,g46s166,g49s183。只有 g21s63 在本轮C编辑阶段参考；另外两个ManageActivity、两个MainActivity属于父页/已有对象管理等退出端。对严格Add编辑阶段，这是具体边界越界证据，不能因被支配就认为都属Add。

Rep2 g27s96 子树2节点均在C。全目标子树并集虽然增到7，只覆盖C的3/4，同时携4个C外节点；同样不能按大小选优。

分叉、共享颜色组件与语义退出

Rep1 两条路径 g21s63 --g21e112--> g17s53、g24s69 --g37e556--> g17s53 汇入颜色对话框；g17s53 是Singleton。汇合点不能向上支配不同编辑分支；同组件也可能来自编辑已有活动。

quickFixButton1 的真实GUI描述为 “Reject current edit and open existing activity with same name instead”。它在EditActivity内完成新建→编辑已有的业务移交，C明确停止；不能以Activity未变继续吞入。Rep1/Rep2分别3/7次在此边界停止。Save/Done返回主页是完成/移交，Cancel/Back也要结合实际Target，而非仅按动作类型。

Rep1/Rep2真实Add输入56/63次，来自28/31个源State。36次中的34次历史未精确映射来自这两个run（15/19），所以严格K只有27/22条边；未知并不算零或删边失败。State/ModelAction拓扑展开后，Rep2会失去 g9s27,g27s97：只有前者在C；后者缺图/未见本次发生，不能宣称误收或正确恢复。Rep1仍0。即使较宽拓扑展开也不能隔离共享编辑核心。

Rep2有5次Add输入观察仍为MainActivity，另1次结果未知；不会把63次都说成成功开启。两Rep相同完整发生后缀最多5/6次；本轮只作为轨迹证据展示，不据此评价收益。

六口径中的本案例主结果

Rep1 可审核清单

原始 Root：g1s1, g1s3, g49s177, g49s179, g49s185。

A Header g21s63 真实归档代表图；成员 g20s62, g21s63, g22s66, g46s166, g49s183。

C 参考：g17s53, g21s63, g24s69, g24s70, g29s91。

B 原图 失可达：∅。

B 原图 C 中仍未恢复：g17s53, g21s63, g24s69, g24s70, g29s91。

B 原图 C 外成员：∅。

B 去返回 失可达：∅。

B 去返回 C 中仍未恢复：g17s53, g21s63, g24s69, g24s70, g29s91。

B 去返回 C 外成员：∅。

所有Source State：g15s42, g1s1, g1s3, g1s9, g23s68, g26s73, g27s75, g27s76, g27s77, g27s79, g27s80, g27s81, g27s83, g28s89, g28s90, g29s93, g2s11, g35s117, g36s120, g37s122, g37s123, g37s124, g46s166, g48s171, g49s179, g49s185, g50s196, g8s25。入口每次Target与完整Concrete见成员表。

删边K：g21e93, g27e136, g27e144, g27e150, g28e233, g29e305, g29e316, g35e483, g36e517, g36e535, g36e540, g37e510, g37e552, g37e555, g46e829, g46e915, g48e783, g49e826, g49e833, g49e870, g49e877, g49e895, g49e909, g50e1008, g50e1025, g50e1047, g50e997。

一条删完入口仍可达的原图路径：g1s1 —[g29e298; activity_background; confirmed=6]→ g21s63 —[g21e112; edit_activity_color; confirmed=35]→ g17s53。

轨迹停止计数：

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

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

Rep2 可审核清单

原始 Root：g1s1, g31s120, g41s176, g41s178, g5s11。

A Header g27s96 真实归档代表图；成员 g27s96, g43s202。

C 参考：g27s96, g3s6, g43s202, g9s27。

B 原图 失可达：∅。

B 原图 C 中仍未恢复：g27s96, g3s6, g43s202, g9s27。

B 原图 C 外成员：∅。

B 去返回 失可达：∅。

B 去返回 C 中仍未恢复：g27s96, g3s6, g43s202, g9s27。

B 去返回 C 外成员：∅。

所有Source State：g10s28, g11s34, g15s50, g15s51, g15s52, g15s54, g15s55, g1s1, g26s92, g26s93, g26s95, g27s98, g30s108, g30s114, g30s116, g30s117, g31s120, g31s121, g35s133, g39s158, g39s159, g39s169, g41s173, g41s174, g41s176, g41s177, g41s179, g5s10, g5s11, g8s21, g9s25。入口每次Target与完整Concrete见成员表。

删边K：g10e58, g26e272, g26e283, g27e284, g27e286, g27e304, g30e363, g37e604, g37e610, g39e822, g39e869, g39e900, g39e922, g41e1003, g41e1053, g41e1061, g41e1184, g41e928, g41e968, g41e987, g43e1285, g43e1299。

一条删完入口仍可达的原图路径：g41s176 —[g42e1266; activity_background; confirmed=2]→ g27s96。

轨迹停止计数：

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

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