omninotes STARTLUX step846 ເພີ່ມທາງລັດ
run_0c300af1c9614168998ce1f37b6aadfe · 第22.44分钟 · 请求step846 / 决策step846 / 执行step846 · UNKNOWN · 证据INSUFFICIENT_FOR_GLOBAL_NOVELTY · 结构化审查
一、模型为什么选择它
Native按exploratory-top3-v1聚合：没有confidence>0.5的SAME，存在可信DIFFERENT（p1 对step482=0.814972；p2 对step662=0.878158；p3 对step166=0.726038），因此PROMOTE。模型未返回自然语言理由；这里解释可复核的判断与聚合，不推测模型内心原因。
当前审核范围 g12s50 / g12a427；合法历史19条，比较3条。Pair缓存命中：False。
| Pair / 历史step | 原Evidence控件 | 原回答 | confidence | 可信阈值 |
|---|---|---|---|---|
| p1 / 482 | ເພີ່ມໂຕເຕືອນຄວາມຈຳ | DIFFERENT_OPERATION | 0.81497157 | True |
| p2 / 662 | ປິດການໃຊ້ງານລາຍການແບບເລືອກ | DIFFERENT_OPERATION | 0.87815797 | True |
| p3 / 166 | Información | DIFFERENT_OPERATION | 0.72603792 | True |
真正发送的state/questions · 原请求回执 · 原回答回执 · 本地审计（没有自动送模型）
展开原始Pair问题、回答和Witness字段
[
{
"pair_id": "p1",
"history_id": "h7",
"history_step": 482,
"history_input_id": "input-2667",
"choice": "DIFFERENT_OPERATION",
"confidence": 0.8149715662002563,
"probabilities": {
"SAME_OPERATION": 0.08420518040657043,
"DIFFERENT_OPERATION": 0.8766477108001709,
"INSUFFICIENT_EVIDENCE": 0.03914706036448479
},
"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.c1` the same application-function operation as executed action at `executed_actions.h7`? 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",
"confidence": 0.8149715662002563,
"probabilities": {
"SAME_OPERATION": 0.08420518040657043,
"DIFFERENT_OPERATION": 0.8766477108001709,
"INSUFFICIENT_EVIDENCE": 0.03914706036448479
}
},
"model_visible_history": {
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "ເພີ່ມໂຕເຕືອນຄວາມຈຳ",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"action_type": "MODEL_CLICK",
"index": 0,
"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=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/title\"][@text=\"ເພີ່ມໂຕເ\"][@content-desc=\"\"][@index=0][@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": "g12a427",
"source_state_id": "g12s50",
"bounds": [
597,
129,
1028,
186
],
"source_page_id": "page8",
"target_subtree": [
{
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "ເພີ່ມໂຕເຕືອນຄວາມຈຳ",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": []
}
],
"subtree_truncated": false,
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": "",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false
},
"local_context": {
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": ""
},
"labels": [],
"truncated": false
},
"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": 582,
"source_gui_timestamp": 482,
"current_state": "g12s50",
"current_model_action": "g12a427",
"current_version": 12,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
},
{
"pair_id": "p2",
"history_id": "h14",
"history_step": 662,
"history_input_id": "input-3703",
"choice": "DIFFERENT_OPERATION",
"confidence": 0.8781579732894897,
"probabilities": {
"SAME_OPERATION": 0.04696592316031456,
"DIFFERENT_OPERATION": 0.9187719821929932,
"INSUFFICIENT_EVIDENCE": 0.03426205366849899
},
"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.c1` the same application-function operation as executed action at `executed_actions.h14`? 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",
"confidence": 0.8781579732894897,
"probabilities": {
"SAME_OPERATION": 0.04696592316031456,
"DIFFERENT_OPERATION": 0.9187719821929932,
"INSUFFICIENT_EVIDENCE": 0.03426205366849899
}
},
"model_visible_history": {
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "ປິດການໃຊ້ງານລາຍການແບບເລືອກ",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"action_type": "MODEL_CLICK",
"index": 0,
"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=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/title\"][@text=\"ປິດການ\"][@content-desc=\"\"][@index=0][@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": "g12a427",
"source_state_id": "g12s50",
"bounds": [
463,
129,
1028,
186
],
"source_page_id": "page15",
"target_subtree": [
{
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "ປິດການໃຊ້ງານລາຍການແບບເລືອກ",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": []
}
],
"subtree_truncated": false,
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": "",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false
},
"local_context": {
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": ""
},
"labels": [],
"truncated": false
},
"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": 768,
"source_gui_timestamp": 662,
"current_state": "g12s50",
"current_model_action": "g12a427",
"current_version": 12,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
},
{
"pair_id": "p3",
"history_id": "h1",
"history_step": 166,
"history_input_id": "input-924",
"choice": "DIFFERENT_OPERATION",
"confidence": 0.7260379195213318,
"probabilities": {
"SAME_OPERATION": 0.13481266796588898,
"DIFFERENT_OPERATION": 0.8173586130142212,
"INSUFFICIENT_EVIDENCE": 0.047828685492277145
},
"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.c1` 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",
"confidence": 0.7260379195213318,
"probabilities": {
"SAME_OPERATION": 0.13481266796588898,
"DIFFERENT_OPERATION": 0.8173586130142212,
"INSUFFICIENT_EVIDENCE": 0.047828685492277145
}
},
"model_visible_history": {
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "Información",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"action_type": "MODEL_CLICK",
"index": 3,
"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=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/title\"][@text=\"Informac\"][@content-desc=\"\"][@index=3][@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": "g12a427",
"source_state_id": "g12s50",
"bounds": [
480,
507,
1028,
564
],
"source_page_id": "page2",
"target_subtree": [
{
"class": "android.widget.TextView",
"resource_id": "it.feio.android.omninotes:id/title",
"text": "Información",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"path": []
}
],
"subtree_truncated": false,
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": "",
"text": "",
"content_desc": "",
"enabled": true,
"clickable": false,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false
},
"local_context": {
"parent": {
"class": "android.widget.LinearLayout",
"resource_id": ""
},
"labels": [],
"truncated": false
},
"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": 238,
"source_gui_timestamp": 166,
"current_state": "g12s50",
"current_model_action": "g12a427",
"current_version": 12,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
}
]二、此前APE实际做过什么
实际报告已添加快捷方式，与提醒/清单/Info是独立业务命令；无桌面图核验系统快捷方式。它是首次可明确复核的该命令，但没有完整早期菜单GUI排除所有既有同功能，故全局首次UNKNOWN。
等价历史是否送入Provider wire：UNKNOWN；当前Pair直接比较过的等价历史step：[]。这是wire可见性，服务端最终token渲染是否逐字段保留仍UNKNOWN。
NA：没有足以可靠裁定全局首次或重复的已核实等价历史。不能把未检索到当成未执行。
三、Probe执行后发生什么
Add shortcut 后出现快捷方式已添加的提示；只能证明应用报告成功，没有桌面截图验证。
Run内首次METHOD观察：完成后2秒=14，10秒=27，下一动作前B=14。仅时间关联；A2/A10可含后续动作。原方法完整名单及时间戳。
后续APE输入与生命周期原始事件
{
"following_actions": [
{
"input_id": "input-4754",
"step": 847,
"version": 12,
"elapsed_s": 1347.442,
"wall_time_ms": 1793991823712,
"next_input_wall_ms": 1793991825664,
"input_completed_wall_ms": 1793991824771,
"input_confirmed": true,
"action": "MODEL_LONG_CLICK ລາຍການ",
"action_type": "MODEL_LONG_CLICK",
"text": "ລາຍການ",
"content_desc": "",
"resource_id": "",
"model_action_id": "g12a1128",
"concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_root\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"it.feio.android.omninotes:id/detail_content_card\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/content_wrapper\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_content\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.EditText\"][@resource-id=\"\"][@text=\"ລາຍການ\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
"state_id": "g12s112",
"source_gui_id": 959,
"activity": "it.feio.android.omninotes.MainActivity",
"activity_evidence": "GUI receipt",
"labels": [
"ທາງລັດຖືກເພີ່ມໄປຍັງໜ້າຈໍຫຼັກ",
"#5de74622",
"ໄຟລ໌ແນບ",
"Category",
"Add tags",
"ແບ່ງປັນ",
"ໂຕເລືອກອື່ນ",
"-5954394.84",
"ສ້າງເມື່ອ: moments ago",
"ປັບປຸງເມື່ອ: moments ago",
"ການແຈ້ງເຕືອນ",
"ເພີ່ມໂຕເຕືອນຄວາມຈຳ",
"11/7/26 2:59 AM ",
"ລາຍການໃໝ່"
],
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "Local Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:65577",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-4755.json"
},
{
"input_id": "input-4759",
"step": 848,
"version": 12,
"elapsed_s": 1349.394,
"wall_time_ms": 1793991825664,
"next_input_wall_ms": 1793991828404,
"input_completed_wall_ms": 1793991827320,
"input_confirmed": true,
"action": "MODEL_CLICK -5954394",
"action_type": "MODEL_CLICK",
"text": "-5954394",
"content_desc": "",
"resource_id": "it.feio.android.omninotes:id/detail_title",
"model_action_id": "g12a1122",
"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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_root\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.EditText\"][@resource-id=\"it.feio.android.omninotes:id/detail_title\"][@text=\"-5954394\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
"state_id": "g12s112",
"source_gui_id": 960,
"activity": "it.feio.android.omninotes.MainActivity",
"activity_evidence": "GUI receipt",
"labels": [
"#8919d946",
"ໄຟລ໌ແນບ",
"Category",
"Add tags",
"ແບ່ງປັນ",
"ໂຕເລືອກອື່ນ",
"-5954394.84",
"ສ້າງເມື່ອ: moments ago",
"ປັບປຸງເມື່ອ: moments ago",
"ການແຈ້ງເຕືອນ",
"ເພີ່ມໂຕເຕືອນຄວາມຈຳ",
"11/7/26 2:59 AM ",
"ລາຍການໃໝ່"
],
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "Local Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:65652",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-4761.json"
},
{
"input_id": "input-4765",
"step": 849,
"version": 12,
"elapsed_s": 1352.134,
"wall_time_ms": 1793991828404,
"next_input_wall_ms": 1793991829328,
"input_completed_wall_ms": 1793991828439,
"input_confirmed": true,
"action": "MODEL_CLICK Add tags",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "Add tags",
"resource_id": "it.feio.android.omninotes:id/menu_tag",
"model_action_id": "g12a1120",
"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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"it.feio.android.omninotes:id/menu_tag\"][@text=\"\"][@content-desc=\"Add tags\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
"state_id": "g12s112",
"source_gui_id": 961,
"activity": "it.feio.android.omninotes.MainActivity",
"activity_evidence": "exact source_gui_id transition receipt",
"labels": null,
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "Local Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:65732",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-4766.json"
},
{
"input_id": "input-4770",
"step": 850,
"version": 12,
"elapsed_s": 1353.058,
"wall_time_ms": 1793991829328,
"next_input_wall_ms": 1793991830231,
"input_completed_wall_ms": 1793991829353,
"input_confirmed": true,
"action": "MODEL_CLICK android.widget.CheckBox",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g12a1129",
"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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_root\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"it.feio.android.omninotes:id/detail_content_card\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/content_wrapper\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_content\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckBox\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
"state_id": "g12s112",
"source_gui_id": 962,
"activity": "it.feio.android.omninotes.MainActivity",
"activity_evidence": "exact source_gui_id transition receipt",
"labels": null,
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "Local Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:65803",
"observed_methods_until_next": 11,
"category_counts": {
"third_party": 6,
"other_unknown": 5
},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-4771.json"
},
{
"input_id": "input-4775",
"step": 851,
"version": 12,
"elapsed_s": 1353.961,
"wall_time_ms": 1793991830231,
"next_input_wall_ms": 1793991830232,
"input_completed_wall_ms": 1793991830270,
"input_confirmed": true,
"action": "MODEL_CLICK ໄຟລ໌ແນບ",
"action_type": "MODEL_CLICK",
"text": "",
"content_desc": "ໄຟລ໌ແນບ",
"resource_id": "it.feio.android.omninotes:id/menu_attachment",
"model_action_id": "g12a1118",
"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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"it.feio.android.omninotes:id/menu_attachment\"][@text=\"\"][@content-desc=\"ໄຟລ໌ແນບ\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
"state_id": "g12s112",
"source_gui_id": 963,
"activity": "it.feio.android.omninotes.MainActivity",
"activity_evidence": null,
"labels": null,
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "Local Greedy",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:65884",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-4776.json"
}
],
"lifecycle": {
"DECISION_PROBE": {
"event": "DECISION_PROBE",
"step": 846,
"monotonic_ns": 1880869944844126,
"wall_time_ms": 1793991822354,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"confidence": 0.8781579732894897,
"choice": "PROMOTE",
"parsed_outcome": "PROBE",
"ledger_status": "STAGED",
"decision_role": "candidate_decision",
"input_signature": "6d18a6ffaac7477505a6a878b9b8597b4d779a6725125ce42eb6b076a3f6f76b",
"concrete_identity": "6471bc89967cb9bf8079facb1d7f99e8f8851b150493645cbb09ee4fdb2618e5",
"decision_scope": "6f3562c572ac88d124674fd6944dfacb11f82af16ab58ad941e539371fc7d42a",
"representative_model_action_id": "PROMOTE",
"decision_request_id": "semantic-49",
"aggregation_policy": "exploratory-top3-v1",
"total_history": 19,
"history_complete": true,
"unknown_mapping_count": 0,
"recoverable_history_count": 19,
"selected_history": 3,
"comparison_count": 3,
"same_count": 0,
"different_count": 3,
"insufficient_count": 0,
"trusted_same_count": 0,
"trusted_different_count": 3,
"low_confidence_count": 0,
"full_history_compared": false,
"exploratory": true,
"_line": 3030
},
"SEMANTIC_DECISION_STORED": {
"event": "SEMANTIC_DECISION_STORED",
"step": 846,
"monotonic_ns": 1880869945563634,
"wall_time_ms": 1793991822355,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"decision_role": "candidate_decision",
"ledger_status": "PROBE",
"input_signature": "6d18a6ffaac7477505a6a878b9b8597b4d779a6725125ce42eb6b076a3f6f76b",
"input_fingerprint": "1192db7df9339093bf36bac431c38bd6043be63b7dbdb7870d19589662d492b4",
"concrete_identity": "6471bc89967cb9bf8079facb1d7f99e8f8851b150493645cbb09ee4fdb2618e5",
"decision_scope": "6f3562c572ac88d124674fd6944dfacb11f82af16ab58ad941e539371fc7d42a",
"_line": 3032
},
"PROBE_BOUND": {
"event": "PROBE_BOUND",
"step": 846,
"monotonic_ns": 1880869969292604,
"wall_time_ms": 1793991822378,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"confidence": 0.8781579732894897,
"choice": "PROMOTE",
"source": "semantic_sync",
"input_signature": "6d18a6ffaac7477505a6a878b9b8597b4d779a6725125ce42eb6b076a3f6f76b",
"decision_scope": "6f3562c572ac88d124674fd6944dfacb11f82af16ab58ad941e539371fc7d42a",
"concrete_identity": "6471bc89967cb9bf8079facb1d7f99e8f8851b150493645cbb09ee4fdb2618e5",
"_line": 3034
},
"PROBE_SELECTED": {
"event": "PROBE_SELECTED",
"step": 846,
"monotonic_ns": 1880869969342695,
"wall_time_ms": 1793991822378,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"confidence": 0.8781579732894897,
"choice": "PROMOTE",
"source": "semantic_sync",
"_line": 3035
},
"PROBE_INPUT_GENERATED": {
"event": "PROBE_INPUT_GENERATED",
"step": 846,
"monotonic_ns": 1880870038048782,
"wall_time_ms": 1793991822447,
"abstraction_version": 12,
"state_id": null,
"model_action_id": null,
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"event_count": 2,
"_line": 3038
},
"PROBE_INPUT_COMPLETED": {
"event": "PROBE_INPUT_COMPLETED",
"step": 846,
"monotonic_ns": 1880870061617401,
"wall_time_ms": 1793991822471,
"abstraction_version": 12,
"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-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"_line": 3039
},
"PROBE_EXECUTED": {
"event": "PROBE_EXECUTED",
"step": 847,
"monotonic_ns": 1880871297742821,
"wall_time_ms": 1793991823707,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"entry_id": "semantic-49-c1",
"request_id": "semantic-49",
"candidate_id": "c1",
"confidence": 0.8781579732894897,
"choice": "PROMOTE",
"transition_id": "g12e551:833",
"target_state": "g12s112",
"input_confirmed": true,
"_line": 3041
}
},
"selection_at_execution": {
"event": "SELECTION_DECISION",
"step": 846,
"monotonic_ns": 1880869969735716,
"wall_time_ms": 1793991822379,
"abstraction_version": 12,
"state_id": "g12s50",
"model_action_id": "g12a427",
"snapshot_reason": "selection",
"state_visits": 20,
"state_first_seen": 166,
"state_last_seen": 846,
"state_saturated": false,
"state_saturation": 0.5,
"native_state_saturated": false,
"native_unsaturated_model_action_count": 1,
"model_action_count": 2,
"enabled_valid_action_count": 2,
"unsaturated_model_action_count": 1,
"unvisited_model_action_count": 1,
"effective_unvisited_model_action_count": 1,
"effective_state_saturated": false,
"local_probe_action_count": 0,
"navigation_action_count": 1,
"enabled_valid_unvisited_action_count": 1,
"unvisited_model_action_ids": "g12a428",
"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": 19,
"selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=ເພີ່ມທາງ|resource_id=it.feio.android.omninotes:id/title|bounds=463,381,1028,438",
"selected_resolved_node_count": 8,
"_line": 3037
}
}四、是否值得PROMOTE
无法可靠裁定相对整个Run决策前历史的功能新颖性。
疑似主要环节：UNKNOWN；wire关系审查：DISTINCT_COMPARATORS_VALID。
冻结实现：Registry历史范围（315–342） · Top3（210–230）及聚合（146–178） · Ledger pending与确认（235–285） · Probe调度机会（415–468）。源码行号是原文件行号，GUI历史与源码解释分别有边界。
即便新功能也只证明此次Probe填补了该Run当时的遗漏；正常APE仍可经后续Epsilon等策略选到，不能推出Pure永远不会执行。全部事实与原始位置 · 本Run完整保留输入历史