公开研究副本:本地绝对路径、实验主机地址已脱敏。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限制
- ODK Rep2设置Checkbox:
g16e203:355与:364都为g16s67/g16a349/android:id/checkbox,但祖先路径分别0-0-1-10-2、0-0-1-7-2,同GUI树兄弟title为截断的“High res”“Delete a”。这是不同配置行,不应按ModelAction或Toggle合并。现有精确identity把二者分开,Native不提供逐具体已试分母。 - Scarlet:CreateList上下文有579/351次源执行;块的index、编辑内容与输入参数会拆分identity。相同块模板可作候选对应,移动/删除/文本值与所处Note不能当等价。Ⅰ入口尚pending,不为本研究补人工金标。
- Omni:同State的多语言Settings入口可拆为不同fullName;提醒日期与搜索输入/结果随数据变化。L2命中也可能只共享底层控件,而不是业务行为。
- Wikipedia:ⅠSearch入口与Ⅲ查询字段/提交不同;输入字段长按、Clear、结果卡、语言配置/文章阅读不可合并为一种Search执行。Gallery或主题设置的同类控件也要保留当前文章与结果上下文。
可以安全共享的是有来源、有时间的已确认操作事实;是否可代表当前模式、对象、参数及结果,需要额外对应证据。属性/结构相似而身份不同的成员先保留候选,不用LLM强制等价。本轮未调用研究模型。