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

odkcollect-Rep1:设置行不能按 Checkbox/ModelAction 合并

同类型、同资源或同ModelAction不能证明控制的是同一个配置项;保留祖先路径、行上下文、checked与真实结果。

关联范围:page-context supplemental observation; not a certified entry occurrence。探索性复核,未作人类金标。

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

source g15s66

真实归档source GUI
unverified
同GUI ID/timestamp的审计关联;不是原子Tree+Bitmap,不认证当次控件框对齐
jev-audit/screenshots/step-263-gui-379-1389.png

target g15s66

真实归档target GUI
unverified_state_representative
同State历史代表图;不是当次执行截图,虚线框只作bounds投影
ape-state-screenshots/g15s66-263.png
Run
odkcollect-Rep1
功能入口组/页面
odkcollect.settings
真实入口
NA:仅上下文,不认证Ⅰ入口
确认执行
g15e183:262
Source / Target
g15s66 → g15s66
Activity
org.odk.collect.android.preferences.screens.ProjectPreferencesActivity → org.odk.collect.android.preferences.screens.ProjectPreferencesActivity
Action / ModelAction
MODEL_CLICK / g15a554
Resource ID
android:id/checkbox
text / desc
/
class / path
android.widget.CheckBox / 0-0-1-2-2
局部Concrete新颖性
True
新ID转换
True
原生新State
False
库存证据
PARTIAL
完整有效Concrete / 精确剩余
MISSING / NA

输入前匹配的 Selection

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

{
  "event": "SELECTION_DECISION",
  "step": 263,
  "monotonic_ns": 1589576268107728,
  "wall_time_ms": 1793700463073,
  "abstraction_version": 15,
  "state_id": "g15s66",
  "model_action_id": "g15a554",
  "snapshot_reason": "selection",
  "state_visits": 1,
  "state_first_seen": 263,
  "state_last_seen": 263,
  "state_saturated": false,
  "state_saturation": 0,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 3,
  "model_action_count": 3,
  "enabled_valid_action_count": 3,
  "unsaturated_model_action_count": 3,
  "unvisited_model_action_count": 3,
  "effective_unvisited_model_action_count": 3,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 3,
  "enabled_valid_unvisited_action_count": 3,
  "unvisited_model_action_ids": "g15a553,g15a554,g15a555",
  "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.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.CheckBox|text=|resource_id=android:id/checkbox|bounds=912,796,1038,922",
  "selected_resolved_node_count": 1,
  "event_line": 677
}

证据定位

原始input/receipt/transition JSONL,第 54 行。原始input SHA c5613a20d71ffca4c9ec09f4178b0fa72af0702f059750eb88a2eff5dfa79e24;receipt SHA cdb7df9c1510e4f18323f5a7e5d9f6e7af0fcd5b5f45813fdde70826757f32fa。公开路径脱敏会改变副本字节,公开SHA另见清单。