公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，完整可执行库存恢复为 0。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。
最小 Native Shadow 采集设计（仅设计，未实施）
依据与最小范围
历史缺口位于“全部ModelAction已有解析缓存”到“按策略使用随机代表”之间：当前只输出模型数量及最后一个选中控件，未输出所有动作的匹配节点、资格新鲜度和策略实际触达。既有input/注入/transition足够证明已尝试事实，应复用，不复制一套执行器/数据库/身份系统。
最小新增是一次决策的被动模型/解析缓存快照 + 实际选择关联。它能补足控件机会证据，但不声称穷举所有输入字符串、动态对象或业务结果。先采Shadow，不改变排序、预算、阈值或禁用规则。
采集点与数据来源
| 点 | 真实函数/位置 | 记录内容 | 不得做的事 |
|---|---|---|---|
| S0 当前缓存快照 | StatefulAgent.resolveNewAction:840–856中adjustActionsByGUITree之后、首次选择之前；State/tree/timestamp需一致 |
newState.getActions()全部ID/type/Name/valid/enabled/priority/visited/saturation；getResolvedNodes/Node/Tree缓存、GUI与Naming/version |
不重跑resolveAction/validateNewAction、不消费RNG、不重新Naming、不抓新树 |
| S1 选择实际触达 | SataAgent.returnSelectedAction:304–318、StatefulAgent.validateNewAction:813–830原有结果返回处 |
本轮真实尝试的策略、动作、代表、已有validate结果，最终selected；未触达策略记NOT_EVALUATED | 不为了记录全部候选重新跑策略或validator；不把未选都标disabled |
| S2 输入实例 | 既有JevEvidenceAudit.beforeInput:203–216/MonkeySourceApe.generateEventsForAction:548–565 |
snapshot_id→input_id、最终代表与参数、绑定是否变化，复用生成/注入记录 | 不把S0的代表当最终输入；不新增输入计划 |
| S3 真实结果 | 既有JevRuntime.inputSummary:764–793与NATIVE_TRANSITION、transition receipt |
确认/失败/丢弃，target GUI/version/State与输入实例关联 | 不以markVisited/生成输入替代确认执行，不推定业务成功 |
S0只是当前随机代表资格的被动真值。每个resolvedNodes成员只有命名匹配；代表之外native_validation=NOT_EVALUATED。若某动作缓存tree/timestamp过期，记录STALE，而不是调用resolver刷新。需在后续设计验证已有缓存是否足够完整；不能保证单个快照等于所有潜在Concrete随机结果的已验证集合。
字段 Schema
可机器读取的 shadow-capture.schema.json 与 example 是提案示例，非采集结果。主要字段：
- envelope：schema_version、run/attempt、process_epoch、snapshot_id、step/decision_round、monotonic_ns与wall_time、event_kind。
- observation：sourceState/model_version、Activity、GUI id/timestamp、Naming id、tree observation时间、snapshot freeze/写出时间、坐标/root bounds；区分观察时刻和日志到达时刻。
- inventory coverage：完整State动作枚举是否完成、当前tree缓存成员覆盖是否完整、逐成员Native验证是否完整、策略是否仅实际触达、丢弃/截断/未知原因。没有足够证据不设complete=true。
- 每ModelAction：ID、type、targetName引用、enabled/valid、priority、visitedCount、unvisited、resolvedSaturation、resolvedTree/timestamp、selected representative node_ref、全部已缓存member_refs（不构造新
GUITreeAction）。 - 每节点：快照局部node_ref、parent_ref/index/path、class/resource、原始Native text/desc与generated_image_text标记、enabled/checkable/checked/clickable/longclick/scrollType、focus、bounds、inputText是否已计划；祖先与兄弟行上下文保留。现有Native文本会截断，不能假定其是完整对象业务键。
- identity：复用已存在的Concrete identity缓存；若要新计算
JevIdentity.fullName，放在冻结的必要字段副本上离线完成并做同版等价测试，不在热路径额外调用全局Name intern。无证据则identity=null，不能伪造精确身份。 - execution：chosen action/node/input_id、已有confirmed history引用、注入结果、transition_id/target；source与target abstraction version分别保存。历史“已执行”由输入确认事实派生，不直接复制Native visit计数。
- mode/object/input：可靠已有上下文才记来源与值；无业务object键时UNKNOWN；Add/Edit和Save/Delete保留模式、对象指纹/来源及参数。入口组/功能ID可离线关联，Native不得新增语义推断或Prompt。
完整库存与策略资格如何解释
S0可完整列出State.actions与缓存当前tree匹配成员；不等于所有GUI元素，也不等于所有成员已验证。当前Native的bounds validator本身简单，但validateNewAction包含随机解析，不能为Shadow重调它。可在离线冻结bounds上计算非空/相交派生条件，必须标DERIVED，不冒充逐成员Native执行结果。
S1只记录实际评估/拒绝、缓存复用与最终分支；未走到的动作是NOT_EVALUATED。策略先后、路径缓存、随机数与相邻State差异不允许被重新执行来“补理由”。完全枚举潜在策略选择空间不是最小Shadow目标。
开销、频率与失败
历史23971决策的ModelAction中位数9、P95=25、P99=31、最大43；选中动作成员中位1、P95=4、最大50。抽样树flag操作对中位20/P95=49，不是全State匹配成员总数。因此不能从选中成员数量精确估计全快照体积。
建议每次正常State决策冻结一个快照，内容hash/字典去重节点与长identity，仅状态/计数/代表变化记增量；保留序号和可恢复基线。示例预算假设每点10–60KiB，则约2400点/run为24–144MiB未压缩，输入结果复用既有日志；这只是容量预算，非实测。极端别名/长文本可超出，不能截断后仍声称完整。
冻结后有界队列异步序列化写本地JSONL即可，无服务/DB。队列满记drop范围、原因和completeness=false；不阻塞、不重试改变动作选择，也不能静默丢完整性。观察新增必有CPU/内存/写盘成本，不能承诺零耗时或完全不影响固定wall-clock预算内吞吐；下阶段需对照测试RNG/选择序列未被采集调用改变，并测P50/P95采集耗时、队列峰值、drop率、字节/决策与动作吞吐。这里没有启动该测试。
原始敏感字段避免采密码/认证内容；公开副本另做脱敏。对象身份无法可靠获取时保留UNKNOWN，不用文本相同猜业务对象相同。
下一阶段最小可证伪假设
“在已给定Ⅰ入口的连续发生中，完整记录当前缓存控件成员与代表资格，再与精确模式/对象/参数下的确认操作及结果关联，能比State计数更早暴露尚未尝试的机会，并区分重复GUI操作和新结果。”
先检查Shadow完整性与留出新增解释能力，特别重测ODK晚期Checkbox、AD跨模式Save、Scarlet块操作和Wiki查询；只有证据充足才讨论充分性阈值。本轮没有修改Native或实施SUPPRESS。