这是归档研究查看器，未修改在线机制。PARTIAL 不表示完整可执行库存；截图上的按钮也不自动是 APE 候选。功能关联与分类为可审核推断，未经人类金标确认。跨 State 精确操作历史不等于结果等价。
曲线为 B 片段所涉及执行的原生新State、首次ID转换、首次局部Concrete累计观察；不是业务功能数。MainActivity 复用与边界缺口会造成归集不确定性。
所选输入之前的动作证据
该 State 的既有确认 Concrete 操作
同 GUI Tree 节点观察
历史前缀与留出验证
跨入口共享：操作事实与结果必须分开
可复核证据与范围
研究说明 · 源码审计 · 十 run 库存完整性 · Shadow 字段设计 · 完整操作/结果账本