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

Wikipedia Rep2：查询字段依赖输入参数，晚期仍有新State

操作身份、输入值、当前模式与结果必须分别保存；相同控件不代表所有结果已探索。

关联范围：entry-associated observed B segment。探索性复核，未作人类金标。

在交互查看器打开：轨迹、窗口、库存、历史检查点

source g90s493

target g90s494

Run

wikipedia-Rep2

功能入口组/页面

wikipedia.global-search

真实入口

g90e1612:1970

确认执行

g90e1616:1973

Source / Target

g90s493 → g90s494

Activity

org.wikipedia.search.SearchActivity → org.wikipedia.search.SearchActivity

Action / ModelAction

MODEL_CLICK / g90a5566

Resource ID

org.wikipedia:id/search_src_text

text / desc

Search W /

class / path

android.widget.AutoCompleteTextView / 0-0-1-0

局部Concrete新颖性

True

新ID转换

True

原生新State

True

库存证据

PARTIAL

完整有效Concrete / 精确剩余

MISSING / NA

输入前匹配的 Selection

只对齐实际选择记录，不能补齐全Concrete成员或其他动作资格。

{
  "event": "SELECTION_DECISION",
  "step": 1988,
  "monotonic_ns": 1619934783969367,
  "wall_time_ms": 1793730887880,
  "abstraction_version": 90,
  "state_id": "g90s493",
  "model_action_id": "g90a5566",
  "snapshot_reason": "selection",
  "state_visits": 3,
  "state_first_seen": 1984,
  "state_last_seen": 1988,
  "state_saturated": false,
  "state_saturation": 0.13333334,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 12,
  "model_action_count": 15,
  "enabled_valid_action_count": 14,
  "unsaturated_model_action_count": 12,
  "unvisited_model_action_count": 13,
  "effective_unvisited_model_action_count": 13,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 12,
  "enabled_valid_unvisited_action_count": 12,
  "unvisited_model_action_ids": "g90a5564,g90a5566,g90a5567,g90a5568,g90a5569,g90a5570,g90a5571,g90a5572,g90a5573,g90a5575,g90a5576,g90a5577,g90a5578",
  "selection_strategy": "EARLY_STAGE",
  "selection_context": "exploration",
  "selection_buffer_size_after": 0,
  "selected_model_action_type": "MODEL_CLICK",
  "selected_model_action_saturated": false,
  "selected_model_action_unvisited": true,
  "selected_effective_unvisited": true,
  "selected_navigation_target": true,
  "selected_model_action_visits": 0,
  "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.AutoCompleteTextView|text=Search W|resource_id=org.wikipedia:id/search_src_text|bounds=168,99,2237,193",
  "selected_resolved_node_count": 1,
  "event_line": 4797
}

真实连续 B 片段

停止原因 observed_activity_or_page_exit；不认证完整功能边界。

证据定位

原始input/receipt/transition JSONL，第 314 行。原始input SHA feb6ce9bd2944ac6c3a5d8f2bdd2741faa5c74bb1fc685aaef4ff6a5b9763adf；receipt SHA 869bc264299c31533fa7649e221272866b7ffa2053615e8c7a627a5fd05989b0。公开路径脱敏会改变副本字节，公开SHA另见清单。