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

真实案例、反例与缺失

所有GUI来自真实归档，框线是记录bounds的投影；同State历史代表图、同GUI但未认证对齐的图均明确标注。图片非当次精确证据时，不从截图反推出Native候选资格。24案例由agent离线复核，非人工金标。

ODK Rep1：State 稳定后，Checkbox 仍首次执行并产生新转换

• 离线交互案例；run odkcollect-Rep1，焦点执行 g16e256:1979，入口 g16e255:1978。
• Download g16e255:1978 后一步；80%时已有未访问ModelAction提示。同Activity控件做过不等于此State上下文结果已覆盖。下载页完整GUI树缺失，剩余Concrete为NA。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g16s71 → Target g16s70；MODEL_CLICK，ModelAction g16a582；原始事件行 5913。输入/回执路径与SHA及便携原件见查看器。

ODK Rep2：晚期重复路径，库存仍缺失

• 离线交互案例；run odkcollect-Rep2，焦点执行 g11e101:1899，入口 g11e101:1899。
• 查看后续真实轨迹和80%留出；零新增是观察事实，可执行未尝试动作仍为NA。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g1s1 → Target g11s37；MODEL_CLICK，ModelAction g1a8；原始事件行 5461。输入/回执路径与SHA及便携原件见查看器。

Scarlet Rep2：空态新建高重复，不能证明机会耗尽

• 离线交互案例；run scarletnotes-Rep2，焦点执行 g66e336:2270，入口 g66e336:2270。
• 查看后续真实轨迹和80%留出；零新增是观察事实，可执行未尝试动作仍为NA。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g1s1 → Target g66s196；MODEL_CLICK，ModelAction g1a8；原始事件行 6319。输入/回执路径与SHA及便携原件见查看器。

ActivityDiary Rep1：编辑既有对象后的 Save

• 离线交互案例；run activitydiary-Rep1，焦点执行 g28e190:232，入口 g28e189:231。
• 操作身份、输入值、当前模式与结果必须分别保存；相同控件不代表所有结果已探索。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g21s63 → Target g28s87；MODEL_CLICK，ModelAction g21a752；原始事件行 566。输入/回执路径与SHA及便携原件见查看器。

ActivityDiary Rep1：同State同Save，创建结果不同

• 离线交互案例；run activitydiary-Rep1，焦点执行 g28e234:276，入口 g28e233:275。
• 操作身份、输入值、当前模式与结果必须分别保存；相同控件不代表所有结果已探索。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g21s63 → Target g28s90；MODEL_CLICK，ModelAction g21a752；原始事件行 666。输入/回执路径与SHA及便携原件见查看器。

ActivityDiary Rep2：Save 自环，不自动等于退出

• 离线交互案例；run activitydiary-Rep2，焦点执行 g27e277:2208，入口 g41e1061:2203。
• 操作身份、输入值、当前模式与结果必须分别保存；相同控件不代表所有结果已探索。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g27s96 → Target g27s96；MODEL_CLICK，ModelAction g27a1396；原始事件行 5633。输入/回执路径与SHA及便携原件见查看器。

Wikipedia Rep2：查询字段依赖输入参数，晚期仍有新State

• 离线交互案例；run wikipedia-Rep2，焦点执行 g90e1616:1973，入口 g90e1612:1970。
• 操作身份、输入值、当前模式与结果必须分别保存；相同控件不代表所有结果已探索。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g90s493 → Target g90s494；MODEL_CLICK，ModelAction g90a5566；原始事件行 4798。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep1：低State增量与后续操作/结果的对照

• 离线交互案例；run omninotes-Rep1，焦点执行 g13e427:671，入口 g2e6:669。
• 从80%以后真实发现中选取；MainActivity复用的范围仅是候选发生关联，不能把全部后续变化归因于入口功能。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g5s13 → Target g7s18；MODEL_CLICK，ModelAction g5a106；原始事件行 1703。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep2：低State增量与后续操作/结果的对照

• 离线交互案例；run omninotes-Rep2，焦点执行 g14e728:1848，入口 g0e3:1847。
• 从80%以后真实发现中选取；MainActivity复用的范围仅是候选发生关联，不能把全部后续变化归因于入口功能。
• 关联：entry-associated observed B segment；库存整体 INFERRED，完整有效成员与剩余数仍NA。
• Source g0s2 → Target g14s152；MODEL_BACK，ModelAction g0a24；原始事件行 4848。输入/回执路径与SHA及便携原件见查看器。

scarletnotes-Rep1：低State增量与后续操作/结果的对照

• 离线交互案例；run scarletnotes-Rep1，焦点执行 g41e579:1682，入口 g40e244:1627。
• 从80%以后真实发现中选取；MainActivity复用的范围仅是候选发生关联，不能把全部后续变化归因于入口功能。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g38s121 → Target g41s169；MODEL_CLICK，ModelAction g38a1593；原始事件行 3882。输入/回执路径与SHA及便携原件见查看器。

wikipedia-Rep1：低State增量与后续操作/结果的对照

• 离线交互案例；run wikipedia-Rep1，焦点执行 g80e1417:1749，入口 g80e1417:1749。
• 从80%以后真实发现中选取；MainActivity复用的范围仅是候选发生关联，不能把全部后续变化归因于入口功能。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g3s20 → Target g68s440；MODEL_CLICK，ModelAction g3a207；原始事件行 4265。输入/回执路径与SHA及便携原件见查看器。

activitydiary-Rep2：低State增量与后续操作/结果的对照

• 离线交互案例；run activitydiary-Rep2，焦点执行 g41e1006:1455，入口 g41e1006:1455。
• 从80%以后真实发现中选取；MainActivity复用的范围仅是候选发生关联，不能把全部后续变化归因于入口功能。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g39s159 → Target g16s59；MODEL_LONG_CLICK，ModelAction g39a2190；原始事件行 3767。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep1：set-reminder 的动作证据缺口

• 离线交互案例；run omninotes-Rep1，焦点执行 g10e331:426，入口 g10e289:422。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g10s67 → Target g10s83；MODEL_CLICK，ModelAction g10a587；原始事件行 1076。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep2：set-reminder 的动作证据缺口

• 离线交互案例；run omninotes-Rep2，焦点执行 g14e486:1370，入口 g8e125:1337。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g8s48 → Target g14s130；MODEL_CLICK，ModelAction g8a463；原始事件行 3592。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep1：attachment 的动作证据缺口

• 离线交互案例；run omninotes-Rep1，焦点执行 g14e516:1787，入口 g16e782:1784。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g11s88 → Target g10s36；MODEL_BACK，ModelAction g11a882；原始事件行 4600。输入/回执路径与SHA及便携原件见查看器。

omninotes-Rep2：attachment 的动作证据缺口

• 离线交互案例；run omninotes-Rep2，焦点执行 g10e425:1227，入口 g10e425:1227。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g10s100 → Target g10s106；MODEL_CLICK，ModelAction g10a954；原始事件行 3236。输入/回执路径与SHA及便携原件见查看器。

wikipedia-Rep1：article-gallery 的动作证据缺口

• 离线交互案例；run wikipedia-Rep1，焦点执行 g69e1212:1456，入口 g69e1205:1449。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g49s259 → Target g69s458；MODEL_CLICK，ModelAction g49a2954；原始事件行 3524。输入/回执路径与SHA及便携原件见查看器。

wikipedia-Rep2：article-gallery 的动作证据缺口

• 离线交互案例；run wikipedia-Rep2，焦点执行 g14e127:138，入口 g14e127:138。
• 同GUI树若存在可复核节点属性，但未记录完整Naming→ModelAction→逐成员有效性→策略资格；没有树时只展示选中动作和代表截图。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g14s76 → Target g14s78；MODEL_CLICK，ModelAction g14a810；原始事件行 305。输入/回执路径与SHA及便携原件见查看器。

scarletnotes-Rep1：CreateList 局部编辑，入口分组仍待确认

• 离线交互案例；run scarletnotes-Rep1，焦点执行 g44e564:2531，入口 NA/未确认。
• 这是已确认执行的列表编辑页面上下文，不补造Ⅰ类入口。动态块、字段和输入值不能按同一ModelAction抹平。
• 关联：page-context supplemental observation; not a certified entry occurrence；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g44s187 → Target g44s187；MODEL_CLICK，ModelAction g44a2448；原始事件行 5784。输入/回执路径与SHA及便携原件见查看器。

scarletnotes-Rep2：CreateList 局部编辑，入口分组仍待确认

• 离线交互案例；run scarletnotes-Rep2，焦点执行 g68e464:1006，入口 NA/未确认。
• 这是已确认执行的列表编辑页面上下文，不补造Ⅰ类入口。动态块、字段和输入值不能按同一ModelAction抹平。
• 关联：page-context supplemental observation; not a certified entry occurrence；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g68s204 → Target g68s205；MODEL_CLICK，ModelAction g68a2541；原始事件行 2528。输入/回执路径与SHA及便携原件见查看器。

odkcollect-Rep1：设置行不能按 Checkbox/ModelAction 合并

• 离线交互案例；run odkcollect-Rep1，焦点执行 g15e183:262，入口 NA/未确认。
• 同类型、同资源或同ModelAction不能证明控制的是同一个配置项；保留祖先路径、行上下文、checked与真实结果。
• 关联：page-context supplemental observation; not a certified entry occurrence；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g15s66 → Target g15s66；MODEL_CLICK，ModelAction g15a554；原始事件行 678。输入/回执路径与SHA及便携原件见查看器。

odkcollect-Rep2：设置行不能按 Checkbox/ModelAction 合并

• 离线交互案例；run odkcollect-Rep2，焦点执行 g16e203:364，入口 g11e141:351。
• 同类型、同资源或同ModelAction不能证明控制的是同一个配置项；保留祖先路径、行上下文、checked与真实结果。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g16s67 → Target g16s67；MODEL_CLICK，ModelAction g16a349；原始事件行 964。输入/回执路径与SHA及便携原件见查看器。

ODK Rep2：同ModelAction的不同配置行 High res

• 离线交互案例；run odkcollect-Rep2，焦点执行 g16e203:355，入口 g11e141:351。
• g16s67/g16a349/android:id/checkbox相同，祖先行index分别10与7，记录的兄弟title不同。两次均有同GUI树；同ModelAction不能替代逐Concrete操作覆盖。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g16s67 → Target g16s67；MODEL_CLICK，ModelAction g16a349；原始事件行 942。输入/回执路径与SHA及便携原件见查看器。

ODK Rep2：同ModelAction的不同配置行 Delete a

• 离线交互案例；run odkcollect-Rep2，焦点执行 g16e203:364，入口 g11e141:351。
• g16s67/g16a349/android:id/checkbox相同，祖先行index分别10与7，记录的兄弟title不同。两次均有同GUI树；同ModelAction不能替代逐Concrete操作覆盖。
• 关联：entry-associated observed B segment；库存整体 PARTIAL，完整有效成员与剩余数仍NA。
• Source g16s67 → Target g16s67；MODEL_CLICK，ModelAction g16a349；原始事件行 964。输入/回执路径与SHA及便携原件见查看器。