公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，完整可执行库存恢复为 0。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。
结论：功能入口＋动作机会＋历史结果值得验证，当前数据尚不能认证机会耗尽
本轮核对十条完成Pure的23,279确认执行、23,971 Selection与2,280份抽样GUI树；深审40个冻结功能×run组、1,967入口发生、160前缀检查点。未修改正式代码或实验；探索性标签不是人工金标。
Q1. APE是否具备完整可执行Concrete库存？
没有一个统一、已逐成员验证并经过所有选择策略的Concrete全集。 它有完整State ModelAction数组，以及每个动作当前Naming匹配的resolvedNodes，随机代表resolvedNode与单个绑定GUITreeAction。全部新ModelAction会先解析/验证代表，enabled-valid和priority随后按代表更新；策略顺序/路径/随机选择仍会再改变可选范围。文本参数在选择后才具体化，不能把控件数等同全部输入/结果空间。
Q2. 十条归档能恢复多少历史动作机会？
完整有效Concrete库存恢复0；部分证据19,027次，模型推断4,252次。 2,253次source有同GUI树，其中1,225在输入前已写出；它们仍缺ModelAction映射、逐成员valid和未选原因。2,131个Selection可从unvisited∪selected恢复完整ModelAction ID，并不补齐Concrete。
| App / Rep | 确认源访问 | Selection | 同GUI源树 / 比例 | 输入前已记录树 | PARTIAL | INFERRED | EXACT / MISSING |
|---|---|---|---|---|---|---|---|
| omninotes-Rep1 | 2601 | 2682 | 206 / 7.92% | 103 | 2162 | 439 | 0 / 0 |
| omninotes-Rep2 | 2356 | 2471 | 112 / 4.75% | 62 | 1896 | 460 | 0 / 0 |
| odkcollect-Rep1 | 2074 | 2208 | 14 / 0.68% | 7 | 1154 | 920 | 0 / 0 |
| odkcollect-Rep2 | 2167 | 2292 | 13 / 0.60% | 8 | 1252 | 915 | 0 / 0 |
| scarletnotes-Rep1 | 2559 | 2582 | 589 / 23.02% | 345 | 2190 | 369 | 0 / 0 |
| scarletnotes-Rep2 | 2443 | 2554 | 204 / 8.35% | 113 | 1649 | 794 | 0 / 0 |
| wikipedia-Rep1 | 2159 | 2177 | 237 / 10.98% | 127 | 2101 | 58 | 0 / 0 |
| wikipedia-Rep2 | 2285 | 2304 | 247 / 10.81% | 130 | 2198 | 87 | 0 / 0 |
| activitydiary-Rep1 | 2355 | 2397 | 273 / 11.59% | 141 | 2236 | 119 | 0 / 0 |
| activitydiary-Rep2 | 2280 | 2304 | 358 / 15.70% | 189 | 2189 | 91 | 0 / 0 |
完整Model/成员/有效性/策略层分别见字段矩阵。所有精确剩余Concrete、操作覆盖率均NA；缺失从不填零。
Q3. 哪些功能最明显重复？
ODK Download 121/109次，Rep2 80%后21次S/T/C全零、相同完整路径最多64次；ODK列表入口同样高度重复。Scarlet空态新建27/134次，Rep2后26次三类新增零、相同路径最多66次，但Rep1晚期仍有2新State/26新转换/88新局部Concrete。Omni Rep1附件晚期零增量而Rep2仍新增，不能跨Rep推广。AD Add/Edit与Wiki Search反复进入，仍有新操作和结果。
没有完整当前库存，以上只能认证“已观察重复/低新增”，没有任何功能可被认证为机会很少或清零。ODK Rep1长期State不新后，g16e255:1978 Download → g16e256:1979 Checkbox仍首次执行局部Concrete并产生新转换；过去未访问模型提示有预警价值。
Q4. 跨State/入口能共享到什么程度？
共享有来源时间的操作样例可以。AD L1跨入口先有样例98/74次，其中35/50次后来得到先前另一入口没见过Target；相同Save在Add/Edit对象上结果不同。字段/颜色可提供共享GUI操作证据，Save/Delete/QuickFix、对象、输入值及结果需分开。
ODK Rep2两个不同配置Checkbox是同State/ModelAction/resource但不同祖先行、不同兄弟标题；不能合并为一个已试Toggle。Scarlet动态块、Omni多语言/提醒、Wiki查询/文章也分别保留模式/对象差异。现有同Activity+精确identity索引适合找操作先例，不能证明功能/结果等价；相似结构仅是待审候选。
Q5. 动作库存比State计数提供什么新证据？
有明确新增价值，但本批只能验证部分价值。 State零增量掩盖首次控件尝试、新转换、不同Save结果；历史unvisited模型提示可指出未验证机会。58个最近5次new_state为零的重叠检查点，后来18个仍有新State、40个新转换、30个新Concrete；三指标都零的29点仍有15点新转换、5点新Concrete。不是独立准确率或正式阈值。
完整当时库存本可回答“哪些有效控件还没试”，现在没有这个分母。截图按钮、最终ModelAction集合与后来未出现新发现都不能填补它。其他App的动态实例又可能制造Concrete新颖性，必须联合参数、结果和模式。
Q6. 最少新增什么能力？
在StatefulAgent.resolveNewAction评分后/选择前，被动冻结State.actions与当前resolved节点缓存、代表、tree/timestamp/version、valid/enabled/priority/访问状态；在实际选择路径记录真实触达与绑定变化；复用现有input_id、注入确认与transition结果链。节点保留祖先/行上下文、checked、动态值与参数/对象模式证据；未知不强推断。
非代表验证为NOT_EVALUATED、旧缓存为STALE、未走到策略为NOT_EVALUATED，不通过额外resolver/RNG/策略重跑“制造完整库存”。字段与JSON Schema见 最小Shadow设计。这是数据采集提案，没有实施。
下一阶段最小机制假设与停止边界
支持下一阶段验证“入口发生＋缓存动作机会观察＋带模式/对象/参数的确认操作/结果账本”，保留Dominator作为局部结构线索。首先检验Shadow能否覆盖实际当轮成员、是否能预警留出首次操作/新结果，以及跨入口共享会不会掩盖结果差异；不再用静态子树直接定义充分性。
当前研究只证明重复事实、部分机会提示和操作/结果必须分层，不证明安全禁用。未尝试的后续机会仍未验证；没有业务成功/方法增益全量证据，不能承诺预测完全充分。调查与设计到此停止，未加采集、Locator、阈值或SUPPRESS规则。