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

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分母和吞入阅读