公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Infomap社区不是业务功能金标；入口为Oracle Replay；未做真实设备在线验证。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。
被动事件字段与来源
机器契约：event.schema.json。JSON null、空 Activity 及 UNKNOWN 都不解释为 false 或零；事件类型决定哪些字段适用。
| 字段 | 来源及语义 |
|---|---|
| schema/run_id/event_seq | JevFlowShadow v1、配置 Run ID/Runtime 默认 ID、单流递增序号；包含未确认事件 |
| timestamp/monotonic_ns | 当前 Java 时钟；跨 Run 不以单调时钟直接比较 |
| event_kind | SELECTION、INPUT_REQUESTED/GENERATED/COMPLETED、TRANSITION、RESTART/RESET、TRACE_BOUNDARY |
| source_state/target_state | GUITree 当前绑定 State graph ID；不把终图映射回早期 |
| source_activity/target_activity | State Activity；缺失不猜测 |
| action_type/model_action_identity | 原 ModelAction 类型与 graph ID，不新定义覆盖身份 |
| transition_identity | 既有 Runtime 的真实 GUITreeTransition occurrence ID，去重键；区别聚合 edge ID |
| native_transition_identity | StateTransition graph ID，可多次访问 |
| input_id/audit_input_id | 新 flow Input 发生 ID / 既有冻结审计 ID；两者不是同一命名空间 |
| execution_confirmed | 当前 Input 完成确认且关联新观察转换；仅 COMPLETED 确认不直接增加图权重 |
| is_back/is_restart | 已有 ActionType；重启请求只作断点，非成功证明 |
| is_new_state/is_new_transition | Shadow 首次观察 Target / 首次三元组 Source+ModelAction+Target |
| native_new_state/native_new_model_action | Runtime/registry 原更新标志，与 Shadow 首见分开保存 |
| model_progress | before-input getter：selected visits/unvisited/saturated；旧归档可另含选择时页面原生摘要 |
| concrete_identity/control | 既有 evidenceAudit 缓存，只作关联事实，不重建 Concrete 库存 |
| source/target_gui_id/timestamp | 原 GUITree 标识与时间，用于连续性核验，不是截图认证 |
| history_rebuild/model_rebinding_pass | 区分无当前 Input 的历史重建与 rebinding 中真正到达的新 Input |
| dropped_before | 有界队列此前丢失数；event_seq 缺口触发分段 |
计流量条件为 TRANSITION && execution_confirmed === true && 非历史重建 && 身份齐全。重复序号内容冲突、序号倒退、相同 execution ID 的不同边直接拒绝。相同 Source/Target 多 Action 聚合 State 边，同时保留 Action 级三元边和事件。
历史Pure转换器输出的是已认证转换子流，其event_seq为1-based确认执行序号，不是原日志所有生命周期事件的序号；原日志行号保存在archive_evidence.native_event_line。新Native流的event_seq则覆盖选择/Input/边界等全部事件。两种输入共用确认事件reducer，但不能把历史转换子流冒充已经采到完整Native生命周期。
Restart/Reset 在 beforeInput(action.canStartApp()) 输出，标明 input_requested_not_execution_proof；当前最小版本不认证重启成功。原 Pure 归档不能完整还原同等生命周期，因此重启为 UNKNOWN，使用原始 GUI/State/版本/时间连续性证据分段，不能伪造重启连接。
writer 终端 region-flow-status.json 记录 offered/dropped/failed/queue_peak/writer_alive。分析器能识别已到达日志中的序号缺口，但末尾完全丢失、进程非正常终止等仍需核对该 sidecar；本轮 CLI 未自动以 sidecar 补齐或伪造事件。
入口 schema 的最小字段：group_id, run_id, function, category, source_activity, status，以及 members 中的 Source State、ModelAction、Concrete identity，或离线精确 transition_ids。oracle:true 需要显式授权开关；非 Oracle 必须记录 known_at_event_seq。所有匹配保留 provenance，UNKNOWN/Ⅲ类不强配。