公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,完整可执行库存恢复为 0。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。
odkcollect-Rep1:设置行不能按 Checkbox/ModelAction 合并
同类型、同资源或同ModelAction不能证明控制的是同一个配置项;保留祖先路径、行上下文、checked与真实结果。
关联范围:page-context supplemental observation; not a certified entry occurrence。探索性复核,未作人类金标。
source g15s66

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

同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另见清单。