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

真实执行流量图：原始转换与时间连续性分开

所有角色/功能标签继承既有离线审阅，未经人工金标确认；本轮没有调用新语义模型。计数为真实确认执行，不把拓扑边计作频次。

构造与守恒

第六轮events.jsonl只保留已确认input链；本轮再次逐条比对白名单原始Native事件（原文件行号），共23,279条。每条保留Source、ModelAction、Concrete digest/fullName、实际Target、Native时间/step/事件序号、input/receipt路径与GUI标识。analysis/traces/<run>.jsonl是全部动作级序列；analysis/action-edges/按Source/ModelAction/Target/type聚合；analysis/edges/按State对计真实次数。每run边权和等于确认执行数；没有用UTG边的final visits累加替代执行。

V使用原生裸State ID（包含已退役的历史ID），不是收尾State过滤后子集。Graph.java:199–200只更新新分配ID的版本前缀；getOrCreateState:247–269复用现存对象，State counter不因版本变化重置。因此版本是元数据，不把同一现存State在每个版本复制。另运行version-scoped敏感性，完整partition在run-summary/version_sensitivity；两种口径不强行alias。新ID/新转换不一定代表新业务行为，可能受APE抽象变化影响。

Back、Self-loop和重启

• G1：每个确认GUI转换权重1，保留MODEL_BACK和Self-loop。
• G2：仅明确MODEL_BACK乘0.25，其余1；不是证明0.25最佳，仅固定敏感性。
• G3：仅去明确MODEL_BACK；用于反证，不作为默认清洗。
• 点击Navigate up、工具栏返回、未知图标没有统一可靠返回分类，保留原Action/type并标导航语义UNKNOWN。没有把同Activity转换都判内部或所有Back都判退出。
• 真实执行中没有可单独认证的restart转换链；重启次数NA，不能宣称0。断点可能来自未记录操作、重启、GUI更替或抽象变化，不一律叫Reset。

相邻执行须同时满足：Native order连续、时间递增、前Target=后Source、GUI ID与GUI timestamp连续、前观察版本=后input版本。失败即分段；分段不造一条target→nextsource边，但保留各自已认证转换。总段数见上表。NativeTransition中的refinement=false不代表抽象版本从未变化。

时间、新发现与删失

预算分母是确认GUI执行条数，不是全部Monkey输入数或墙钟总耗时。source∈R的动作计预算；Source在外、Target在内的确认边计进入。离开后同一认证段再进才计保守重入；段首内部为左删失，段末未见退出为右删失。完整停留为有确认入/出边的Source动作数，含离开动作。另保留所有观测片段长度与删失数量，不能用完整样本均值替代全部停留。

Native new_state原样保留。首次Transition用按时间首次 (raw Source, ModelAction, raw Target)，另报State对首次，不能当独立业务分支数。新ModelAction为原生事件标志；饱和/未访问来自输入前同State、同版本Selection快照，不从收尾图回填。

新增State同时报告来源归集与目标是否仍在R。 从R中的动作到区域外新State仍是留出新增事实；不把它追认成旧区域成员，也不丢弃以制造零收益。完整库存/Concrete覆盖NA。

来源与审计

白名单与读取SHA · 代码版本 · 源码摘录 · 数值验收。GUI像素衍生图、原件SHA与对齐限制见 image-index。