odkcollect JEV step405 Auto send
run_b4871490b9e84bbcb1a9b3464ca596fd · 第9.53分钟 · 请求step402 / 决策step402 / 执行step405 · REPEATED_SUPPORTED · 证据HIGH · 深入复核
一、模型为什么选择它
Native按exploratory-top3-v1聚合：没有confidence>0.5的SAME，存在可信DIFFERENT（p3 对step394=0.980000），因此PROMOTE。模型未返回自然语言理由；这里解释可复核的判断与聚合，不推测模型内心原因。
当前审核范围 g14s66 / g14a345；合法历史1条，比较1条。Pair缓存命中：False。
| Pair / 历史step | 原Evidence控件 | 原回答 | confidence | 可信阈值 |
|---|---|---|---|---|
| p3 / 394 | 匿名 android.widget.LinearLayout ; 邻近标签 | DIFFERENT_OPERATION | 0.98000000 | True |
真正发送的state/questions · 原请求回执 · 原回答回执 · 本地审计（没有自动送模型）
展开原始Pair问题、回答和Witness字段
[
{
"pair_id": "p3",
"history_id": "h1",
"history_step": 394,
"history_input_id": "input-2084",
"choice": "DIFFERENT_OPERATION",
"confidence": 0.98,
"probabilities": {
"SAME_OPERATION": 0.01,
"DIFFERENT_OPERATION": 0.99,
"INSUFFICIENT_EVIDENCE": 0
},
"trusted": true,
"pair_cache_hit": false,
"original_question": {
"type": "choice",
"criteria": {
"SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.",
"DIFFERENT_OPERATION": "Different application-function operations.",
"INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably."
},
"instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c3` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
},
"original_answer": {
"type": "choice",
"choice": "DIFFERENT_OPERATION",
"probabilities": {
"SAME_OPERATION": 0.01,
"DIFFERENT_OPERATION": 0.99,
"INSUFFICIENT_EVIDENCE": 0
},
"confidence": 0.98
},
"model_visible_history": {
"class": "android.widget.LinearLayout",
"resource_id": "",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"action_type": "MODEL_CLICK",
"index": 7,
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
"model_action_id": "g14a345",
"source_state_id": "g14s66",
"bounds": [
0,
1567,
1080,
1812
],
"source_page_id": "page2",
"target_subtree": [
{
"class": "android.widget.LinearLayout",
"resource_id": "",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": []
},
{
"class": "android.widget.TextView",
"resource_id": "android:id/title",
"text": "Delete after send",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": [
0
]
},
{
"class": "android.widget.TextView",
"resource_id": "android:id/summary",
"text": "Deletes finalized forms and media after sending to server",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": [
1
]
},
{
"class": "android.widget.CheckBox",
"resource_id": "android:id/checkbox",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": true,
"selected": false,
"path": [
2
]
}
],
"subtree_truncated": false,
"parent": {
"class": "androidx.recyclerview.widget.RecyclerView",
"resource_id": "org.odk.collect.android:id/recycler_view",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": true,
"checked": false,
"selected": false
},
"local_context": {
"parent": {
"class": "androidx.recyclerview.widget.RecyclerView",
"resource_id": "org.odk.collect.android:id/recycler_view"
},
"labels": [],
"truncated": true
},
"text_source": "retained_gui_text",
"generated_image_text": false,
"snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
},
"offline_only_provenance": {
"source_tree": 543,
"source_gui_timestamp": 394,
"current_state": "g14s66",
"current_model_action": "g14a345",
"current_version": 14,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
}
]二、此前APE实际做过什么
386已打开Auto send的Off/Wifi/Cellular选择框；405再次打开同一个配置对话框。386位于另一State作用域，没有提供给402审核时的模型；仅有Delete394。
等价历史是否送入Provider wire：NO；当前Pair直接比较过的等价历史step：[]。这是wire可见性，服务端最终token渲染是否逐字段保留仍UNKNOWN。
| 此前step / UTC | 页面与控件 | 确认与目标 |
|---|---|---|
| 386 2026-11-06T18:52:22.845+00:00 | ['Auto send', 'Off'] org.odk.collect.android.preferences.screens.ProjectPreferencesActivity | Native确认=True org.odk.collect.android.preferences.screens.ProjectPreferencesActivity 保留目标GUI |
已核实等价操作的先前结果（事后证据；不等于模型Witness）
历史Witness执行后的截图（事后证据，未送模型）
三、Probe执行后发生什么
再次打开 Auto send 选项；同一选项模板。
Run内首次METHOD观察：完成后2秒=0，10秒=0，下一动作前B=0。仅时间关联；A2/A10可含后续动作。原方法完整名单及时间戳。
后续APE输入与生命周期原始事件
{
"following_actions": [
{
"input_id": "input-2167",
"step": 406,
"version": 14,
"elapsed_s": 575.915,
"wall_time_ms": 1793991190063,
"next_input_wall_ms": 1793991196302,
"input_completed_wall_ms": 1793991190092,
"input_confirmed": true,
"action": "MODEL_CLICK Off",
"action_type": "MODEL_CLICK",
"text": "Off",
"content_desc": "",
"resource_id": "android:id/text1",
"model_action_id": "g13a317",
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ListView\"][@resource-id=\"org.odk.collect.android:id/select_dialog_listview\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"android:id/text1\"][@text=\"Off\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
"state_id": "g13s59",
"source_gui_id": 555,
"activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
"activity_evidence": "GUI receipt",
"labels": [
"Auto send",
"Off",
"Wifi only",
"Cellular only",
"Wifi or cellular",
"Cancel"
],
"probe": true,
"strategy": "PROBE",
"context": "exploration",
"native_branch": "Probe",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30038",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2168.json"
},
{
"input_id": "input-2177",
"step": 407,
"version": 14,
"elapsed_s": 582.154,
"wall_time_ms": 1793991196302,
"next_input_wall_ms": 1793991197177,
"input_completed_wall_ms": 1793991196325,
"input_confirmed": true,
"action": "MODEL_CLICK android.widget.LinearLayout",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g14a345",
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
"state_id": "g14s66",
"source_gui_id": 556,
"activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
"activity_evidence": "GUI receipt",
"labels": [
"Form management",
"Form update",
"Blank form update mode",
"Manual",
"Automatic update frequency",
"Every fifteen minutes",
"Automatic download",
"Automatically download updated versions of forms",
"Hide old form versions",
"Only the newest version will appear in Fill Blank Form",
"Form submission",
"Auto send",
"Off",
"Delete after send",
"Deletes finalized forms and media after sending to server",
"Form filling",
"Constraint processing",
"Defer validation until finalized",
"High res video",
"Enable high-resolution video recordings"
],
"probe": true,
"strategy": "PROBE",
"context": "exploration",
"native_branch": "Probe",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30098",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2178.json"
},
{
"input_id": "input-2184",
"step": 408,
"version": 14,
"elapsed_s": 583.029,
"wall_time_ms": 1793991197177,
"next_input_wall_ms": 1793991198040,
"input_completed_wall_ms": 1793991197209,
"input_confirmed": true,
"action": "MODEL_CLICK Validate",
"action_type": "MODEL_CLICK",
"text": "Validate",
"content_desc": "",
"resource_id": "android:id/text1",
"model_action_id": "g13a317",
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ListView\"][@resource-id=\"org.odk.collect.android:id/select_dialog_listview\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"android:id/text1\"][@text=\"Validate\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
"state_id": "g13s59",
"source_gui_id": 557,
"activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
"activity_evidence": "GUI receipt",
"labels": [
"Constraint processing behavior",
"Validate upon forward swipe",
"Defer validation until finalized",
"Cancel"
],
"probe": false,
"strategy": "EARLY_STAGE",
"context": "navigation",
"native_branch": "Remote Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30168",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2185.json"
},
{
"input_id": "input-2193",
"step": 409,
"version": 14,
"elapsed_s": 583.892,
"wall_time_ms": 1793991198040,
"next_input_wall_ms": 1793991202371,
"input_completed_wall_ms": 1793991198075,
"input_confirmed": true,
"action": "MODEL_CLICK android:id/checkbox",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "",
"resource_id": "android:id/checkbox",
"model_action_id": "g14a346",
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckBox\"][@resource-id=\"android:id/checkbox\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
"state_id": "g14s66",
"source_gui_id": 558,
"activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
"activity_evidence": "GUI receipt",
"labels": [
"Form management",
"Form update",
"Blank form update mode",
"Manual",
"Automatic update frequency",
"Every fifteen minutes",
"Automatic download",
"Automatically download updated versions of forms",
"Hide old form versions",
"Only the newest version will appear in Fill Blank Form",
"Form submission",
"Auto send",
"Off",
"Delete after send",
"Deletes finalized forms and media after sending to server",
"Form filling",
"Constraint processing",
"Validate upon forward swipe",
"High res video",
"Enable high-resolution video recordings"
],
"probe": true,
"strategy": "PROBE",
"context": "exploration",
"native_branch": "Probe",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30230",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2194.json"
},
{
"input_id": "input-2202",
"step": 410,
"version": 14,
"elapsed_s": 588.223,
"wall_time_ms": 1793991202371,
"next_input_wall_ms": 1793991208543,
"input_completed_wall_ms": 1793991202409,
"input_confirmed": true,
"action": "MODEL_CLICK android.widget.LinearLayout",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g14a345",
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
"state_id": "g14s66",
"source_gui_id": 559,
"activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
"activity_evidence": "GUI receipt",
"labels": [
"Form management",
"Form update",
"Blank form update mode",
"Manual",
"Automatic update frequency",
"Every fifteen minutes",
"Automatic download",
"Automatically download updated versions of forms",
"Hide old form versions",
"Only the newest version will appear in Fill Blank Form",
"Form submission",
"Auto send",
"Off",
"Delete after send",
"Deletes finalized forms and media after sending to server",
"Form filling",
"Constraint processing",
"Validate upon forward swipe",
"High res video",
"Enable high-resolution video recordings"
],
"probe": true,
"strategy": "PROBE",
"context": "exploration",
"native_branch": "Probe",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30300",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2203.json"
}
],
"lifecycle": {
"DECISION_PROBE": {
"event": "DECISION_PROBE",
"step": 402,
"monotonic_ns": 1880225446222200,
"wall_time_ms": 1793991177954,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"confidence": 0.98,
"choice": "PROMOTE",
"parsed_outcome": "PROBE",
"ledger_status": "STAGED",
"decision_role": "candidate_decision",
"input_signature": "035cbbdc4c90f05ff221cda832a8209d188f45c0f4305d18e95c14f2c2d82db7",
"concrete_identity": "4687f1831776da75a1df350451a20cd7ea74e35e5b983b5aaded75fb47498d7c",
"decision_scope": "d01756f5978e76bf6e464bc397495fffb7702cc42a6e170affa1381259b03740",
"representative_model_action_id": "PROMOTE",
"decision_request_id": "semantic-13",
"aggregation_policy": "exploratory-top3-v1",
"total_history": 1,
"history_complete": true,
"unknown_mapping_count": 0,
"recoverable_history_count": 1,
"selected_history": 1,
"comparison_count": 1,
"same_count": 0,
"different_count": 1,
"insufficient_count": 0,
"trusted_same_count": 0,
"trusted_different_count": 1,
"low_confidence_count": 0,
"full_history_compared": true,
"exploratory": false,
"_line": 1329
},
"SEMANTIC_DECISION_STORED": {
"event": "SEMANTIC_DECISION_STORED",
"step": 402,
"monotonic_ns": 1880225447158637,
"wall_time_ms": 1793991177955,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"decision_role": "candidate_decision",
"ledger_status": "PROBE",
"input_signature": "035cbbdc4c90f05ff221cda832a8209d188f45c0f4305d18e95c14f2c2d82db7",
"input_fingerprint": "31521ed40491d2985bd0a9de5c177c0a54cac58fb6dbcb1c9035d1cde7ed2614",
"concrete_identity": "4687f1831776da75a1df350451a20cd7ea74e35e5b983b5aaded75fb47498d7c",
"decision_scope": "d01756f5978e76bf6e464bc397495fffb7702cc42a6e170affa1381259b03740",
"_line": 1332
},
"PROBE_BOUND": {
"event": "PROBE_BOUND",
"step": 405,
"monotonic_ns": 1880233237114041,
"wall_time_ms": 1793991185744,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"confidence": 0.98,
"choice": "PROMOTE",
"source": "semantic_sync",
"input_signature": "035cbbdc4c90f05ff221cda832a8209d188f45c0f4305d18e95c14f2c2d82db7",
"decision_scope": "d01756f5978e76bf6e464bc397495fffb7702cc42a6e170affa1381259b03740",
"concrete_identity": "4687f1831776da75a1df350451a20cd7ea74e35e5b983b5aaded75fb47498d7c",
"_line": 1371
},
"PROBE_SELECTED": {
"event": "PROBE_SELECTED",
"step": 405,
"monotonic_ns": 1880233237150874,
"wall_time_ms": 1793991185745,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"confidence": 0.98,
"choice": "PROMOTE",
"source": "semantic_sync",
"_line": 1372
},
"PROBE_INPUT_GENERATED": {
"event": "PROBE_INPUT_GENERATED",
"step": 405,
"monotonic_ns": 1880233274917987,
"wall_time_ms": 1793991185782,
"abstraction_version": 14,
"state_id": null,
"model_action_id": null,
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"event_count": 2,
"_line": 1375
},
"PROBE_INPUT_COMPLETED": {
"event": "PROBE_INPUT_COMPLETED",
"step": 405,
"monotonic_ns": 1880233302223832,
"wall_time_ms": 1793991185810,
"abstraction_version": 14,
"state_id": null,
"model_action_id": null,
"input_phase": "input_injected",
"event_count": 2,
"injected_success": 2,
"injected_failed": 0,
"discarded": 0,
"unreported": 0,
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"_line": 1376
},
"PROBE_EXECUTED": {
"event": "PROBE_EXECUTED",
"step": 406,
"monotonic_ns": 1880234023705213,
"wall_time_ms": 1793991186531,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"entry_id": "semantic-13-c3",
"request_id": "semantic-13",
"candidate_id": "c3",
"confidence": 0.98,
"choice": "PROMOTE",
"transition_id": "g14e251:401",
"target_state": "g13s59",
"input_confirmed": true,
"_line": 1378
}
},
"selection_at_execution": {
"event": "SELECTION_DECISION",
"step": 405,
"monotonic_ns": 1880233237400680,
"wall_time_ms": 1793991185745,
"abstraction_version": 14,
"state_id": "g14s66",
"model_action_id": "g14a345",
"snapshot_reason": "selection",
"state_visits": 12,
"state_first_seen": 370,
"state_last_seen": 405,
"state_saturated": false,
"state_saturation": 0.6666667,
"native_state_saturated": false,
"native_unsaturated_model_action_count": 1,
"model_action_count": 9,
"enabled_valid_action_count": 7,
"unsaturated_model_action_count": 1,
"unvisited_model_action_count": 3,
"effective_unvisited_model_action_count": 3,
"effective_state_saturated": false,
"local_probe_action_count": 0,
"navigation_action_count": 1,
"enabled_valid_unvisited_action_count": 1,
"unvisited_model_action_ids": "g14a351,g14a352,g14a353",
"selection_strategy": "PROBE",
"selection_context": "exploration",
"selection_buffer_size_after": 0,
"selected_model_action_type": "MODEL_CLICK",
"selected_model_action_saturated": true,
"selected_model_action_unvisited": false,
"selected_effective_unvisited": false,
"selected_navigation_target": false,
"selected_model_action_visits": 4,
"selected_action_fingerprint": "type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,1375,1080,1567",
"selected_resolved_node_count": 7,
"_line": 1374
}
}四、是否值得PROMOTE
完整已保存历史支持此前已尝试等价功能；不能自动归为模型错误。
疑似主要环节：HISTORY_SCOPE；wire关系审查：UNKNOWN。
冻结实现：Registry历史范围（315–342） · Top3（210–230）及聚合（146–178） · Ledger pending与确认（235–285） · Probe调度机会（415–468）。源码行号是原文件行号，GUI历史与源码解释分别有边界。
即便新功能也只证明此次Probe填补了该Run当时的遗漏；正常APE仍可经后续Epsilon等策略选到，不能推出Pure永远不会执行。全部事实与原始位置 · 本Run完整保留输入历史