公开副本:本地路径及实验主机已脱敏;图片/数据拆为站内资源。原报告中的校验哈希对应本地原件,不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。
A / B / C 结果对照
以下数值是State集合大小、与C发生参考的交集及遗漏,不是语义准确率;C外节点依GUI区分共享、可选扩展、明确其他阶段和未知。所有节点的布尔成员身份在 state-method-membership.csv。
| 案例 |
Ⅰ输入次数 |
源 State |
删边数 |
C 参考 |
A 大小/交集 |
B 原图 大小/交集 |
B 去返回 大小/交集 |
| odkcollect-Rep1 |
121 |
1 |
4 |
9 |
4 / 4 |
0 / 0 |
0 / 0 |
| odkcollect-Rep2 |
109 |
3 |
4 |
5 |
2 / 2 |
0 / 0 |
0 / 0 |
| activitydiary-Rep1 |
56 |
28 |
27 |
5 |
5 / 1 |
0 / 0 |
0 / 0 |
| activitydiary-Rep2 |
63 |
31 |
22 |
4 |
2 / 2 |
0 / 0 |
0 / 0 |
| wikipedia-Rep1 |
29 |
19 |
27 |
26 |
1 / 1 |
5 / 3 |
12 / 6 |
| wikipedia-Rep2 |
55 |
35 |
45 |
39 |
4 / 3 |
5 / 5 |
8 / 7 |
给A更有利的对照与B敏感性
| 案例 |
口径 |
大小 |
与C交集 |
C遗漏 |
C外需审核 |
| odkcollect-Rep1 |
A上轮Header |
4 |
4 |
5 |
0 |
| odkcollect-Rep1 |
A附近最佳 |
4 |
4 |
5 |
0 |
| odkcollect-Rep1 |
A所有Target子树并集 |
6 |
6 |
3 |
0 |
| odkcollect-Rep1 |
B原图 |
0 |
0 |
9 |
0 |
| odkcollect-Rep1 |
B去返回 |
0 |
0 |
9 |
0 |
| odkcollect-Rep1 |
B展开ModelAction |
0 |
0 |
9 |
0 |
| odkcollect-Rep1 |
B加入pending |
0 |
0 |
9 |
0 |
| odkcollect-Rep2 |
A上轮Header |
2 |
2 |
3 |
0 |
| odkcollect-Rep2 |
A附近最佳 |
2 |
2 |
3 |
0 |
| odkcollect-Rep2 |
A所有Target子树并集 |
3 |
3 |
2 |
0 |
| odkcollect-Rep2 |
B原图 |
0 |
0 |
5 |
0 |
| odkcollect-Rep2 |
B去返回 |
0 |
0 |
5 |
0 |
| odkcollect-Rep2 |
B展开ModelAction |
0 |
0 |
5 |
0 |
| odkcollect-Rep2 |
B加入pending |
0 |
0 |
5 |
0 |
| activitydiary-Rep1 |
A上轮Header |
5 |
1 |
4 |
4 |
| activitydiary-Rep1 |
A附近最佳 |
5 |
1 |
4 |
4 |
| activitydiary-Rep1 |
A所有Target子树并集 |
8 |
3 |
2 |
5 |
| activitydiary-Rep1 |
B原图 |
0 |
0 |
5 |
0 |
| activitydiary-Rep1 |
B去返回 |
0 |
0 |
5 |
0 |
| activitydiary-Rep1 |
B展开ModelAction |
0 |
0 |
5 |
0 |
| activitydiary-Rep1 |
B加入pending |
0 |
0 |
5 |
0 |
| activitydiary-Rep2 |
A上轮Header |
2 |
2 |
2 |
0 |
| activitydiary-Rep2 |
A附近最佳 |
2 |
2 |
2 |
0 |
| activitydiary-Rep2 |
A所有Target子树并集 |
7 |
3 |
1 |
4 |
| activitydiary-Rep2 |
B原图 |
0 |
0 |
4 |
0 |
| activitydiary-Rep2 |
B去返回 |
0 |
0 |
4 |
0 |
| activitydiary-Rep2 |
B展开ModelAction |
2 |
1 |
3 |
1 |
| activitydiary-Rep2 |
B加入pending |
0 |
0 |
4 |
0 |
| wikipedia-Rep1 |
A上轮Header |
1 |
1 |
25 |
0 |
| wikipedia-Rep1 |
A附近最佳 |
4 |
2 |
24 |
2 |
| wikipedia-Rep1 |
A所有Target子树并集 |
30 |
13 |
13 |
17 |
| wikipedia-Rep1 |
B原图 |
5 |
3 |
23 |
2 |
| wikipedia-Rep1 |
B去返回 |
12 |
6 |
20 |
6 |
| wikipedia-Rep1 |
B展开ModelAction |
5 |
3 |
23 |
2 |
| wikipedia-Rep1 |
B加入pending |
6 |
3 |
23 |
3 |
| wikipedia-Rep2 |
A上轮Header |
4 |
3 |
36 |
1 |
| wikipedia-Rep2 |
A附近最佳 |
4 |
4 |
35 |
0 |
| wikipedia-Rep2 |
A所有Target子树并集 |
33 |
27 |
12 |
6 |
| wikipedia-Rep2 |
B原图 |
5 |
5 |
34 |
0 |
| wikipedia-Rep2 |
B去返回 |
8 |
7 |
32 |
1 |
| wikipedia-Rep2 |
B展开ModelAction |
5 |
5 |
34 |
0 |
| wikipedia-Rep2 |
B加入pending |
6 |
5 |
34 |
1 |
附近最佳Header是用C事后选出的有利上界之一,不是在线发现正确率。全Target子树并集含未成功开启、共享或历史冲突Target,不是新算法。Rep1 Wiki附近最佳4/2、Rep2最佳4/4,仍无法代表完整功能。
图可达性分母
| 案例 |
原Root数 |
原图可达 |
去返回图先可达 |
去返回先已不可达 |
C中先已不可达 |
明确返回删边 |
| odkcollect-Rep1 |
1 |
49 |
45 |
4 |
∅ |
45 |
| odkcollect-Rep2 |
3 |
55 |
50 |
5 |
∅ |
47 |
| activitydiary-Rep1 |
5 |
110 |
107 |
3 |
∅ |
121 |
| activitydiary-Rep2 |
5 |
123 |
120 |
3 |
∅ |
95 |
| wikipedia-Rep1 |
8 |
438 |
431 |
7 |
∅ |
179 |
| wikipedia-Rep2 |
9 |
409 |
382 |
27 |
g5s30, g70s323, g70s324, g90s474, g90s475 |
211 |
B原图相对所选A的功能节点增减
| 案例 |
B新增且在C中 |
A曾覆盖而B不再包含 |
| odkcollect-Rep1 |
∅ |
g16s70, g16s72, g16s73, g16s74 |
| odkcollect-Rep2 |
∅ |
g11s38, g11s41 |
| activitydiary-Rep1 |
∅ |
g21s63 |
| activitydiary-Rep2 |
∅ |
g27s96, g43s202 |
| wikipedia-Rep1 |
g33s149, g38s204, g77s497 |
g41s212 |
| wikipedia-Rep2 |
g27s119, g3s11, g41s192, g90s478, g93s523 |
g26s116, g70s323, g70s324 |
B不是A的超集:Wiki原图虽新增3/5个C节点,也分别丢掉A曾覆盖的1/3个C节点。只能说恢复不同局部片段,不能说整体单调改进。
多源入口共同删除的实际影响
| 案例 |
全部源全删损失 |
留任一源不删的损失范围 |
影响最大的源(输入次数→留其未删的损失) |
| odkcollect-Rep1 |
0 |
0–0 |
g1s1 (121→0) |
| odkcollect-Rep2 |
0 |
0–0 |
g19s75 (5→0); g1s1 (101→0); g20s77 (3→0) |
| activitydiary-Rep1 |
0 |
0–0 |
g15s42 (1→0); g1s1 (10→0); g1s3 (2→0) |
| activitydiary-Rep2 |
0 |
0–0 |
g10s28 (1→0); g11s34 (4→0); g15s50 (1→0) |
| wikipedia-Rep1 |
5 |
2–5 |
g3s24 (2→2); g36s187 (4→4); g38s203 (4→4) |
| wikipedia-Rep2 |
5 |
2–5 |
g4s19 (3→2); g39s175 (2→4); g3s10 (1→4) |
例如Wiki R1留g3s24未删,损失由5降到2;R2留g4s19未删,也由5降到2。说明多Source联合删除确实有结构效应。ODK/Add全为0,已被其他通道或共享State遮蔽,不能据此否认多入口问题。每源单删、留一源未删和具体节点完整保存在多入口敏感性表。
逐项比较
| 问题 |
ODK |
ActivityDiary |
Wikipedia |
| A覆盖 |
4/9、2/5;并集6/9、3/5 |
选Header1/5、2/4;R1含父页/管理页 |
选Header1/26、3/39;附近最佳2/26、4/39 |
| B额外恢复 |
原图/去返回均无 |
严格主实验无;R2展开只有局部增益 |
原图交集3/26、5/39;去返回6/26、7/39 |
| 仍遗漏原因 |
Drafts/Sent观察边,单Header非必经 |
已有对象编辑替代路径、共享State、历史精确绑定缺口 |
返回路径、编辑器/Places复用、其他入口和确认历史缺口 |
| 误含/争议 |
主B空;单边反事实多出错误框需按发生看 |
A R1明确包含退出后Main/Manage;展开缺图未知 |
R1语言/历史为扩展争议;R2去返回明确含文章阅读页 |
| 分叉汇合 |
连接/错误/过滤形成多个Target,汇合点可Singleton |
不同编辑分支共用颜色组件,汇合无排他归属 |
汇合后4-State子树存在,但不能向上包含两个分支 |
| Back |
不是本批B空的必要原因;有功能内关闭浮层 |
排除不解决已有编辑入口 |
确有影响,但去除会扭曲before分母和吞入阅读 |