公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,完整可执行库存恢复为 0。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。

跨 State、跨入口历史可以共享到什么程度

现有机制,不新增语义身份系统

原生 Graph.nameToActions、StateActionDiffer 是抽象Name与Type层的选择历史;Jev的 ConcreteActionIdentity 则是 actionType+fullName。JevRegistry.hasExactExecution:359–366 与 hasRelatedConcreteExecution:369–386 分别提供当前State/action匹配和同Activity精确identity存在性。不能因为同名资源或同ModelAction就共享,属性相似排序也不会把当前历史池自动扩为完整功能池。

本轮L1使用输入时version+State+ModelAction+Concrete;L2为同Activity+精确identity。它们是保守离线证据键,不等同于Native refinement后对象重映射的全量模拟。L3结构/模板候选只在页面与原件中展示,不把它当覆盖事实。

时间有序的跨入口操作/结果

以下只统计40个深审入口组内:某次操作之前,其他入口组已有相同键的确认记录;不是全App共享率或错误率。

Run L1 有先前其他入口操作 / 未见过Target L2 有先前其他入口操作 / 未见过Target
omninotes-Rep1 71 / 16 159 / 78
omninotes-Rep2 17 / 15 51 / 46
odkcollect-Rep1 0 / 0 0 / 0
odkcollect-Rep2 0 / 0 0 / 0
scarletnotes-Rep1 5 / 1 40 / 35
scarletnotes-Rep2 29 / 3 70 / 30
wikipedia-Rep1 0 / 0 7 / 7
wikipedia-Rep2 0 / 0 9 / 9
activitydiary-Rep1 98 / 35 192 / 127
activitydiary-Rep2 74 / 50 160 / 136

ActivityDiary复现最明确。Add/Edit后续在L1有98/74次操作可检索先前另一入口样例,其中35/50次得到该另一入口此前未见Target。操作样例可复用,创建/编辑、对象与保存结果不能因此判充分。Rep1 g28e189:231 编辑 → g28e190:232 Save → g28s87,与 g28e233:275 Add → g28e234:276 Save → g28s90,相同编辑State/控件仍结果不同。Rep2 g27e277:2208 Save停留编辑State,不能把Save视为统一退出。

颜色选择、字段焦点与对话框操作可以提供“已执行过该GUI操作”的样例;输入值、初始值、对象、创建/编辑模式必须保留。Save/Delete/QuickFix属于结果敏感动作,不能共享成对象结果覆盖。

反例和跨App限制

可以安全共享的是有来源、有时间的已确认操作事实;是否可代表当前模式、对象、参数及结果,需要额外对应证据。属性/结构相似而身份不同的成员先保留候选,不用LLM强制等价。本轮未调用研究模型。