{ "run_id": "run_ad46e2ac9d7e407da53250b006f6c382", "app": "omninotes", "provider": "JEV", "entry_id": "semantic-6-c3", "step": 266, "elapsed_s": 441.427, "candidate_id": "c3", "state_id": "g1s16", "model_action": "g1a121", "concrete_action": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Dir a la\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "node_path": "0-1-2", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir a la", "content_desc": "", "bounds": [ 70, 1282, 1010, 1408 ], "enabled": true, "clickable": true, "long_clickable": false }, "candidate_at_inference": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir a la primera ensin marcar", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 2, "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=\"it.feio.android.omninotes: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=\"Dir a la\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1282, 1010, 1408 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir a la primera ensin marcar", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "probe_executed": true, "request_id": "semantic-6", "request_step": 228, "request_send_event": { "event": "JEV_REQUEST_SENT", "step": 228, "monotonic_ns": 1891148713313124, "wall_time_ms": 1794002101122, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": null, "request_id": "semantic-6", "review_id": "run-6b7a553aee018:semantic:22", "candidate_count": 3, "pair_count": 6, "request_bytes": 24762, "wait_mode": "synchronous", "attempt": 1, "input_fingerprint": "a1153f9860fb06befc2d104b6ccaae65cfeb3ecec98932c1a945c7dc1a0f2242", "_line": 609 }, "decision_event": { "event": "DECISION_PROBE", "step": 228, "monotonic_ns": 1891150218341694, "wall_time_ms": 1794002102627, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "confidence": 0.83, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "bb740af2ee7070fa9dcf0b450a349cee2b23acac3ab34abec2584741bd994ca7", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "decision_scope": "911877aae53e022a5deb22fbf2f6854b24356f3e9341c70f2fc1d61a1c1b3368", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-6", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false, "_line": 614 }, "decision_step": 228, "decision_wall_time_ms": 1794002102627, "model_input_cutoff_wall_ms": 1794002101122, "execute_wall_time_ms": 1794002164335, "model": "typesafe/jev-1.14", "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:typesafe/jev-1.14:incremental-candidate-closure-v2", "input_fingerprint": "a1153f9860fb06befc2d104b6ccaae65cfeb3ecec98932c1a945c7dc1a0f2242", "evidence_view": "incremental-candidate-closure-v2", "control": "Dir a la primera ensin marcar", "model_visible_state": { "evidence_schema": "history-pairwise-offline-v1-20261031:incremental-candidate-closure-v2", "pages": { "page1": { "activity": "it.feio.android.omninotes.SettingsActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } }, "page2": { "activity": "it.feio.android.omninotes.SettingsActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } }, "page3": { "activity": "it.feio.android.omninotes.SettingsActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } } }, "candidates": { "c1": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Caltener posición", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "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=\"it.feio.android.omninotes: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=\"Caltener\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1030, 1010, 1156 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Caltener posición", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "c2": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir al final de la llista", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 1, "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=\"it.feio.android.omninotes: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=\"Dir al f\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1156, 1010, 1282 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir al final de la llista", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "c3": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir a la primera ensin marcar", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 2, "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=\"it.feio.android.omninotes: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=\"Dir a la\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1282, 1010, 1408 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Dir a la primera ensin marcar", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" } }, "executed_actions": { "h1": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep position", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "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=\"it.feio.android.omninotes: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=\"Keep pos\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1002, 1010, 1128 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep position", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "h2": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabilitáu", "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=\"it.feio.android.omninotes: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=\"Deshabil\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 943, 1010, 1069 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabilitáu", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "labels": [], "truncated": true }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" } }, "page_operation_context": { "columns": [ "id", "action_type", "class", "resource_id", "text_max64", "enabled" ], "actions": [ [ "c4", "MODEL_CLICK", "android.widget.Button", "android:id/button2", "CANCELAR", true ] ], "view": "lightweight inventory; target subtree/parent/local context only for compared candidates" } }, "pair_records": [ { "request_id": "semantic-6", "pair_id": "p5", "candidate_id": "c3", "history_id": "h1", "choice": "DIFFERENT_OPERATION", "confidence": 0.72, "probabilities": { "SAME_OPERATION": 0.18, "DIFFERENT_OPERATION": 0.81, "INSUFFICIENT_EVIDENCE": 0.01 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-6.json", "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.18, "DIFFERENT_OPERATION": 0.81, "INSUFFICIENT_EVIDENCE": 0.01 }, "confidence": 0.72 }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep position", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "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=\"it.feio.android.omninotes: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=\"Keep pos\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 1002, 1010, 1128 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep position", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "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": 86, "source_gui_timestamp": 51, "current_state": "g1s16", "current_model_action": "g1a121", "current_version": 15, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-275", "history_step": 51, "history_row": { "input_id": "input-275", "step": 51, "version": "4", "elapsed_s": "89.898", "action": "MODEL_CLICK Keep pos", "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "state_id": "g1s16", "activity": "it.feio.android.omninotes.SettingsActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-278.json", "observed_methods_until_next": "6", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:3631", "wall_time_ms": 1794001812806, "source_gui_id": 86, "source_gui_timestamp": 51, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Keep pos\"][@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']", "identity_digest": "086fb2030f99154786ca228d045a0791d43318acd7290b47740cca0bce7f87eb", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep pos", "content_desc": "", "bounds": [ 70, 1002, 1010, 1128 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "What to do when an item is checked?", "Keep position", "Move to the end of the list", "Move to the end of unchecked items", "CANCEL" ], "identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "controls": [ { "label": "Keep position", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1002, 1010, 1128 ] }, { "label": "Move to the end of the list", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1128, 1010, 1254 ] }, { "label": "Move to the end of unchecked items", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1254, 1010, 1380 ] }, { "label": "CANCEL", "resource_id": "android:id/button2", "class": "android.widget.Button", "bounds": [ 779, 1391, 978, 1517 ] } ] }, "target_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Behaviors", "Checklists", "Keep position", "Instant search", "Swipe notes", "Swipe on notes to perform actions", "Swipe to trash", "Swiping notes with finger will trash them", "Automatic location", "Automatically adds location to new notes", "Video attachments", "Maximum allowed size in MB: not set" ], "identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 1080, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 1080, 543 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 543, 1080, 735 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 735, 1080, 927 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 927, 1080, 1119 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 1119, 1080, 1311 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/gui/gui-86-t51-276.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/gui/gui-87-t52-282.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 51, "abstraction_version": 4, "wall_time_ms": 1794001812807, "monotonic_ns": 1890860397460093, "gui_id": 86, "gui_timestamp": 51, "capture_phase": "history_before_input", "capture_started_ns": 1890860397460952, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890860450107773, "capture_wall_time_ms": 1794001812859, "alignment": "identity_verified", "expected_observation_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "before_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "after_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-51-gui-86-277.png", "completion_path": "jev-audit/screenshots/step-51-gui-86-277.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 52, "abstraction_version": 4, "wall_time_ms": 1794001813769, "monotonic_ns": 1890861359738179, "gui_id": 87, "gui_timestamp": 52, "capture_phase": "history_first_native_target", "capture_started_ns": 1890861359739021, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890861413971109, "capture_wall_time_ms": 1794001813823, "alignment": "identity_verified", "expected_observation_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "before_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "after_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-52-gui-87-283.png", "completion_path": "jev-audit/screenshots/step-52-gui-87-283.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/executions/transition-g4e43-51.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Keep position", "node_id": 4, "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "checked": true, "selected": false, "subtree_labels": [], "sibling_labels": [ "Move to the end of the list", "Move to the end of unchecked items" ], "parent_resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794001813828, "native_transition": { "event": "NATIVE_TRANSITION", "step": 52, "monotonic_ns": 1890861419364786, "wall_time_ms": 1794001813828, "abstraction_version": 4, "state_id": "g1s16", "model_action_id": "g1a121", "transition_id": "g4e43:51", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g4s21", "input_confirmed": true, "_line": 125 }, "native_transition_receipt": { "transition_id": "g4e43:51", "native_edge_id": "g4e43", "native_history_position": 50, "source_gui_timestamp": 51, "target_gui_timestamp": 52, "state_id": "g1s16", "model_action_id": "g1a121", "source_gui_id": 86, "target_gui_id": 87, "abstraction_version": 4, "source_activity": "it.feio.android.omninotes.SettingsActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g4e43-51.json" }, "target_activity_from_native": "it.feio.android.omninotes.SettingsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Keep pos\"][@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']", "identity_digest": "086fb2030f99154786ca228d045a0791d43318acd7290b47740cca0bce7f87eb", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep pos", "content_desc": "", "bounds": [ 70, 1002, 1010, 1128 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-86-t51-276.json", "gui_id": 86, "gui_timestamp": 51, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 51, "abstraction_version": 4, "wall_time_ms": 1794001812807, "monotonic_ns": 1890860397460093, "gui_id": 86, "gui_timestamp": 51, "capture_phase": "history_before_input", "capture_started_ns": 1890860397460952, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890860450107773, "capture_wall_time_ms": 1794001812859, "alignment": "identity_verified", "expected_observation_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "before_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "after_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-51-gui-86-277.png", "completion_path": "jev-audit/screenshots/step-51-gui-86-277.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b7a553aee018", "step": 51, "abstraction_version": 4, "wall_time_ms": 1794001812806, "monotonic_ns": 1890860396888378, "input_id": "input-275", "source_gui_id": 86, "source_gui_timestamp": 51, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Keep pos\"][@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']", "identity_digest": "086fb2030f99154786ca228d045a0791d43318acd7290b47740cca0bce7f87eb", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Keep pos", "content_desc": "", "bounds": [ 70, 1002, 1010, 1128 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-86-t51-276.json", "gui_id": 86, "gui_timestamp": 51, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 51, "abstraction_version": 4, "wall_time_ms": 1794001812807, "monotonic_ns": 1890860397460093, "gui_id": 86, "gui_timestamp": 51, "capture_phase": "history_before_input", "capture_started_ns": 1890860397460952, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890860450107773, "capture_wall_time_ms": 1794001812859, "alignment": "identity_verified", "expected_observation_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "before_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "after_identity": "09e5d8f989d65690303090c956caf6ccd1efa2999d5ec0dbe56e539dae2e9338", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-51-gui-86-277.png", "completion_path": "jev-audit/screenshots/step-51-gui-86-277.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g4e43:51", "receipt": "jev-receipts/transition-g4e43-51.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-87-t52-282.json", "gui_id": 87, "gui_timestamp": 52, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 52, "abstraction_version": 4, "wall_time_ms": 1794001813769, "monotonic_ns": 1890861359738179, "gui_id": 87, "gui_timestamp": 52, "capture_phase": "history_first_native_target", "capture_started_ns": 1890861359739021, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890861413971109, "capture_wall_time_ms": 1794001813823, "alignment": "identity_verified", "expected_observation_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "before_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "after_identity": "2856f7289516cffdfff9f63d7f339f43cd4afcc6a475e2d6bb21690eef9b0f32", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-52-gui-87-283.png", "completion_path": "jev-audit/screenshots/step-52-gui-87-283.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-6", "pair_id": "p6", "candidate_id": "c3", "history_id": "h2", "choice": "DIFFERENT_OPERATION", "confidence": 0.83, "probabilities": { "SAME_OPERATION": 0.09, "DIFFERENT_OPERATION": 0.89, "INSUFFICIENT_EVIDENCE": 0.02 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-6.json", "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.h2`? 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.09, "DIFFERENT_OPERATION": 0.89, "INSUFFICIENT_EVIDENCE": 0.02 }, "confidence": 0.83 }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabilitáu", "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=\"it.feio.android.omninotes: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=\"Deshabil\"][@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']", "model_action_id": "g1a121", "source_state_id": "g1s16", "bounds": [ 70, 943, 1010, 1069 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabilitáu", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.ListView", "resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "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": 286, "source_gui_timestamp": 208, "current_state": "g1s16", "current_model_action": "g1a121", "current_version": 15, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-1158", "history_step": 208, "history_row": { "input_id": "input-1158", "step": 208, "version": "15", "elapsed_s": "359.174", "action": "MODEL_CLICK Deshabil", "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "state_id": "g1s16", "activity": "it.feio.android.omninotes.SettingsActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1161.json", "observed_methods_until_next": "3", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:15889", "wall_time_ms": 1794002082082, "source_gui_id": 286, "source_gui_timestamp": 208, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Deshabil\"][@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']", "identity_digest": "de292ea255d7b84cc313b21a65da15cc7397222cb770b2ba28a1b73d6cd87ae1", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabil", "content_desc": "", "bounds": [ 70, 943, 1010, 1069 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "Colores de l'aplicación", "Deshabilitáu", "Namái la tira", "Namái llistáu de notes", "Completu", "CANCELAR" ], "identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "controls": [ { "label": "Deshabilitáu", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 943, 1010, 1069 ] }, { "label": "Namái la tira", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1069, 1010, 1195 ] }, { "label": "Namái llistáu de notes", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1195, 1010, 1321 ] }, { "label": "Completu", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1321, 1010, 1447 ] }, { "label": "CANCELAR", "resource_id": "android:id/button2", "class": "android.widget.Button", "bounds": [ 724, 1458, 978, 1584 ] } ] }, "target_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Interfaz", "Llingua", "Spanish (Pseudo-Accents)", "Colores de l'aplicación", "Deshabilitáu", "Botón d'aición flotante", "Toque curtiu, camuda les opciones", "Axuntos na parte inferior", "Amuesa los ficheros axuntos debaxo del conteníu de la nota", "Formatu de la data", "Les dates amuésense nun formatu más detalláu" ], "identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 1080, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 1080, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 1080, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 1080, 1021 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 1021, 1080, 1213 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/gui/gui-286-t208-1159.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/gui/gui-287-t209-1165.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 208, "abstraction_version": 15, "wall_time_ms": 1794002082083, "monotonic_ns": 1891129673851230, "gui_id": 286, "gui_timestamp": 208, "capture_phase": "history_before_input", "capture_started_ns": 1891129673856586, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1891129742711442, "capture_wall_time_ms": 1794002082152, "alignment": "identity_verified", "expected_observation_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "before_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "after_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-208-gui-286-1160.png", "completion_path": "jev-audit/screenshots/step-208-gui-286-1160.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 209, "abstraction_version": 15, "wall_time_ms": 1794002082865, "monotonic_ns": 1891130455980592, "gui_id": 287, "gui_timestamp": 209, "capture_phase": "history_first_native_target", "capture_started_ns": 1891130455981522, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1891130496518455, "capture_wall_time_ms": 1794002082906, "alignment": "identity_verified", "expected_observation_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "before_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "after_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-209-gui-287-1166.png", "completion_path": "jev-audit/screenshots/step-209-gui-287-1166.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/executions/transition-g15e170-205.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Deshabilitáu", "node_id": 4, "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [ "Namái la tira", "Namái llistáu de notes", "Completu" ], "parent_resource_id": "it.feio.android.omninotes:id/select_dialog_listview" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794002082909, "native_transition": { "event": "NATIVE_TRANSITION", "step": 209, "monotonic_ns": 1891130499670052, "wall_time_ms": 1794002082909, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "transition_id": "g15e170:205", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g15s61", "input_confirmed": true, "_line": 554 }, "native_transition_receipt": { "transition_id": "g15e170:205", "native_edge_id": "g15e170", "native_history_position": 204, "source_gui_timestamp": 208, "target_gui_timestamp": 209, "state_id": "g1s16", "model_action_id": "g1a121", "source_gui_id": 286, "target_gui_id": 287, "abstraction_version": 15, "source_activity": "it.feio.android.omninotes.SettingsActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g15e170-205.json" }, "target_activity_from_native": "it.feio.android.omninotes.SettingsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Deshabil\"][@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']", "identity_digest": "de292ea255d7b84cc313b21a65da15cc7397222cb770b2ba28a1b73d6cd87ae1", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabil", "content_desc": "", "bounds": [ 70, 943, 1010, 1069 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-286-t208-1159.json", "gui_id": 286, "gui_timestamp": 208, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 208, "abstraction_version": 15, "wall_time_ms": 1794002082083, "monotonic_ns": 1891129673851230, "gui_id": 286, "gui_timestamp": 208, "capture_phase": "history_before_input", "capture_started_ns": 1891129673856586, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1891129742711442, "capture_wall_time_ms": 1794002082152, "alignment": "identity_verified", "expected_observation_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "before_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "after_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-208-gui-286-1160.png", "completion_path": "jev-audit/screenshots/step-208-gui-286-1160.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b7a553aee018", "step": 208, "abstraction_version": 15, "wall_time_ms": 1794002082082, "monotonic_ns": 1891129673344487, "input_id": "input-1158", "source_gui_id": 286, "source_gui_timestamp": 208, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g1a121", "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=\"it.feio.android.omninotes: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=\"Deshabil\"][@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']", "identity_digest": "de292ea255d7b84cc313b21a65da15cc7397222cb770b2ba28a1b73d6cd87ae1", "node_path": "0-1-0", "class": "android.widget.CheckedTextView", "resource_id": "android:id/text1", "text": "Deshabil", "content_desc": "", "bounds": [ 70, 943, 1010, 1069 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-286-t208-1159.json", "gui_id": 286, "gui_timestamp": 208, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 208, "abstraction_version": 15, "wall_time_ms": 1794002082083, "monotonic_ns": 1891129673851230, "gui_id": 286, "gui_timestamp": 208, "capture_phase": "history_before_input", "capture_started_ns": 1891129673856586, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1891129742711442, "capture_wall_time_ms": 1794002082152, "alignment": "identity_verified", "expected_observation_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "before_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "after_identity": "d4e8dbae01e9269df4f9854c2707a54fb2816b4e559ee676d275dc9816e20674", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-208-gui-286-1160.png", "completion_path": "jev-audit/screenshots/step-208-gui-286-1160.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g15e170:205", "receipt": "jev-receipts/transition-g15e170-205.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-287-t209-1165.json", "gui_id": 287, "gui_timestamp": 209, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 209, "abstraction_version": 15, "wall_time_ms": 1794002082865, "monotonic_ns": 1891130455980592, "gui_id": 287, "gui_timestamp": 209, "capture_phase": "history_first_native_target", "capture_started_ns": 1891130455981522, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1891130496518455, "capture_wall_time_ms": 1794002082906, "alignment": "identity_verified", "expected_observation_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "before_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "after_identity": "bb9b0c8aa6756274f01238eb2ffa36e3f3a5a6471d229659a543e0da75ef3206", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-209-gui-287-1166.png", "completion_path": "jev-audit/screenshots/step-209-gui-287-1166.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } } ], "history_coverage": { "legal_history_count": 2, "complete": true, "history_collection_complete": true, "recoverable_history_count": 2, "selected_history": 2, "selected_history_ids": [ "h1", "h2" ], "unknown_mapping_count": 0, "mapping_basis": "live confirmedInputs; current State/ModelAction object links and node Name", "context_recoverable": true }, "all_scope_history_provenance_offline_only": { "h1": { "source_tree": 86, "source_gui_timestamp": 51, "current_state": "g1s16", "current_model_action": "g1a121", "current_version": 15, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h2": { "source_tree": 286, "source_gui_timestamp": 208, "current_state": "g1s16", "current_model_action": "g1a121", "current_version": 15, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true } }, "pair_cache_hit": false, "candidate_decision": { "candidate_id": "c3", "aggregate_choice": "PROMOTE", "aggregate_confidence": 0.83, "parsed_outcome": "PROBE", "ledger_status": "STAGED", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false }, "aggregation_replay": "PROMOTE", "source_identity": "911877aae53e022a5deb22fbf2f6854b24356f3e9341c70f2fc1d61a1c1b3368", "selection_at_execution": { "event": "SELECTION_DECISION", "step": 266, "monotonic_ns": 1891211869897510, "wall_time_ms": 1794002164279, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "snapshot_reason": "selection", "state_visits": 6, "state_first_seen": 44, "state_last_seen": 266, "state_saturated": false, "state_saturation": 0.6666667, "native_state_saturated": false, "native_unsaturated_model_action_count": 1, "model_action_count": 3, "enabled_valid_action_count": 3, "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": "g1a123", "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=it.feio.android.omninotes.SettingsActivity|class=android.widget.CheckedTextView|text=Dir a la|resource_id=android:id/text1|bounds=70,1282,1010,1408", "selected_resolved_node_count": 3, "_line": 847 }, "prior_same_identity_ledger_events": [], "execution_state_id": "g1s16", "execution_model_action": "g1a121", "lifecycle": { "DECISION_PROBE": { "event": "DECISION_PROBE", "step": 228, "monotonic_ns": 1891150218341694, "wall_time_ms": 1794002102627, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "confidence": 0.83, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "bb740af2ee7070fa9dcf0b450a349cee2b23acac3ab34abec2584741bd994ca7", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "decision_scope": "911877aae53e022a5deb22fbf2f6854b24356f3e9341c70f2fc1d61a1c1b3368", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-6", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false, "_line": 614 }, "SEMANTIC_DECISION_STORED": { "event": "SEMANTIC_DECISION_STORED", "step": 228, "monotonic_ns": 1891150219733446, "wall_time_ms": 1794002102629, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "decision_role": "candidate_decision", "ledger_status": "PROBE", "input_signature": "bb740af2ee7070fa9dcf0b450a349cee2b23acac3ab34abec2584741bd994ca7", "input_fingerprint": "a1153f9860fb06befc2d104b6ccaae65cfeb3ecec98932c1a945c7dc1a0f2242", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "decision_scope": "911877aae53e022a5deb22fbf2f6854b24356f3e9341c70f2fc1d61a1c1b3368", "_line": 617 }, "PROBE_NAVIGATION_ELIGIBILITY": { "event": "PROBE_NAVIGATION_ELIGIBILITY", "step": 250, "monotonic_ns": 1891182967933383, "wall_time_ms": 1794002135377, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "confidence": 0.83, "reason": "already_navigated_to_source", "navigation": false, "confidence_pass": true, "source_valid": true, "same_state_confirmed": false, "related_execution_suppressed": false, "navigation_arrived": true, "_line": 775 }, "PROBE_NAVIGATION_SELECTED": { "event": "PROBE_NAVIGATION_SELECTED", "step": 242, "monotonic_ns": 1891171405515928, "wall_time_ms": 1794002123815, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "confidence": 0.83, "path_id": "p41", "source": "native_remote_path", "_line": 722 }, "PROBE_NAVIGATION_ARRIVED": { "event": "PROBE_NAVIGATION_ARRIVED", "step": 243, "monotonic_ns": 1891172410426368, "wall_time_ms": 1794002124820, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "confidence": 0.83, "path_id": "p41", "arrived": true, "reason": "arrived", "last_availability": "node_absent_or_ambiguous", "binding_reason": "target_node_absent", "source_match_count": 1, "target_match_count": 0, "audit_path": "jev-audit/navigation/event-1371.json", "_line": 726 }, "PROBE_BOUND": { "event": "PROBE_BOUND", "step": 266, "monotonic_ns": 1891211869222318, "wall_time_ms": 1794002164278, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "confidence": 0.83, "choice": "PROMOTE", "source": "semantic_sync", "input_signature": "bb740af2ee7070fa9dcf0b450a349cee2b23acac3ab34abec2584741bd994ca7", "decision_scope": "911877aae53e022a5deb22fbf2f6854b24356f3e9341c70f2fc1d61a1c1b3368", "concrete_identity": "a3bc66a7e7f65de3e294cfce9fefa17e33f9cbac0a5b9b8e063197cf9e6fa8d6", "_line": 844 }, "PROBE_SELECTED": { "event": "PROBE_SELECTED", "step": 266, "monotonic_ns": 1891211869302686, "wall_time_ms": 1794002164278, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "confidence": 0.83, "choice": "PROMOTE", "source": "semantic_sync", "_line": 845 }, "PROBE_INPUT_GENERATED": { "event": "PROBE_INPUT_GENERATED", "step": 266, "monotonic_ns": 1891211928391385, "wall_time_ms": 1794002164338, "abstraction_version": 15, "state_id": null, "model_action_id": null, "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "event_count": 2, "_line": 848 }, "PROBE_INPUT_COMPLETED": { "event": "PROBE_INPUT_COMPLETED", "step": 266, "monotonic_ns": 1891211960279138, "wall_time_ms": 1794002164369, "abstraction_version": 15, "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-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "_line": 849 }, "PROBE_EXECUTED": { "event": "PROBE_EXECUTED", "step": 267, "monotonic_ns": 1891212704719173, "wall_time_ms": 1794002165114, "abstraction_version": 15, "state_id": "g1s16", "model_action_id": "g1a121", "entry_id": "semantic-6-c3", "request_id": "semantic-6", "candidate_id": "c3", "confidence": 0.83, "choice": "PROMOTE", "transition_id": "g4e43:263", "target_state": "g4s21", "input_confirmed": true, "_line": 851 } }, "lifecycle_refs": { "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:614", "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:617", "PROBE_NAVIGATION_ELIGIBILITY": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:775", "PROBE_NAVIGATION_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:722", "PROBE_NAVIGATION_ARRIVED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:726", "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:844", "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:845", "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:848", "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:849", "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-events.jsonl:851" }, "confirmed_inputs_before_decision": 224, "exact_identity_prior_input_ids": [], "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [ "input-275", "input-460", "input-1158", "input-1236" ], "before": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "¿Qué quies facer cuando s'esbille un elementu?", "Caltener posición", "Dir al final de la llista", "Dir a la primera ensin marcar", "CANCELAR" ], "identity": "d73b924a01abd36c4912170faf7628a6308872aec6d1677080088b592081e425", "controls": [ { "label": "Caltener posición", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1030, 1010, 1156 ] }, { "label": "Dir al final de la llista", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1156, 1010, 1282 ] }, { "label": "Dir a la primera ensin marcar", "resource_id": "android:id/text1", "class": "android.widget.CheckedTextView", "bounds": [ 70, 1282, 1010, 1408 ] }, { "label": "CANCELAR", "resource_id": "android:id/button2", "class": "android.widget.Button", "bounds": [ 724, 1419, 978, 1545 ] } ] }, "after": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Comportamientos", "Llistes de verificación", "Dir a la primera ensin marcar", "Gueta nel intre", "Pasar notes", "Pase de notes pa facer aiciones", "Mover a la papelera", "Al pasar el deu peles notes, archivaránse", "Llocalización automática", "Amiesta automáticamente la llocalización a les notes nueves", "Axuntos de videu", "Tamañu máximu permitíu en MB: Video\n " ], "identity": "b8f618b01af2d5e3b565ba229b6fdfba2cc586dd83c495a11f909d002f620f51", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 1080, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 1080, 543 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 543, 1080, 735 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 735, 1080, 927 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 927, 1080, 1162 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 1162, 1080, 1397 ] } ] }, "new_state": false, "new_model_action": false, "target_state": "g4s21", "new_methods_2s": 0, "new_methods_10s": 2, "new_methods_before_next_action": 0, "new_methods_input_start_to_next_action": 0, "execution_observation": "选择“移至首个未勾选项”，返回行为设置；与228为同一选项模板。", "following_actions": [ { "input_id": "input-1510", "step": 267, "version": 15, "elapsed_s": 442.293, "wall_time_ms": 1794002165201, "next_input_wall_ms": 1794002166042, "input_completed_wall_ms": 1794002165236, "input_confirmed": true, "action": "MODEL_CLICK android:id/switch_widget", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "android:id/switch_widget", "model_action_id": "g4a150", "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.recyclerview.widget.RecyclerView\"][@resource-id=\"it.feio.android.omninotes:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Switch\"][@resource-id=\"android:id/switch_widget\"][@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": "g4s21", "source_gui_id": 351, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "#47b2d09b", "Comportamientos", "Llistes de verificación", "Dir a la primera ensin marcar", "Gueta nel intre", "Pasar notes", "Pase de notes pa facer aiciones", "Mover a la papelera", "Al pasar el deu peles notes, archivaránse", "Llocalización automática", "Amiesta automáticamente la llocalización a les notes nueves", "Axuntos de videu", "Tamañu máximu permitíu en MB: Video\n " ], "probe": true, "strategy": "PROBE", "context": "exploration", "native_branch": "Probe", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:21521", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1511.json" }, { "input_id": "input-1517", "step": 268, "version": 15, "elapsed_s": 443.134, "wall_time_ms": 1794002166042, "next_input_wall_ms": 1794002168428, "input_completed_wall_ms": 1794002166069, "input_confirmed": true, "action": "MODEL_CLICK android.widget.LinearLayout", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g4a151", "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.recyclerview.widget.RecyclerView\"][@resource-id=\"it.feio.android.omninotes:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@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='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g4s21", "source_gui_id": 352, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "#47b2d09b", "Comportamientos", "Llistes de verificación", "Dir a la primera ensin marcar", "Gueta nel intre", "Pasar notes", "Pase de notes pa facer aiciones", "Mover a la papelera", "Al pasar el deu peles notes, archivaránse", "Llocalización automática", "Amiesta automáticamente la llocalización a les notes nueves", "Axuntos de videu", "Tamañu máximu permitíu en MB: Video\n " ], "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:21596", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1518.json" }, { "input_id": "input-1526", "step": 269, "version": 15, "elapsed_s": 445.52, "wall_time_ms": 1794002168428, "next_input_wall_ms": 1794002169334, "input_completed_wall_ms": 1794002168453, "input_confirmed": true, "action": "MODEL_CLICK CANCELAR", "action_type": "MODEL_CLICK", "text": "CANCELAR", "content_desc": "", "resource_id": "android:id/button2", "model_action_id": "g1a122", "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=\"it.feio.android.omninotes:id/buttonPanel\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"android:id/button2\"][@text=\"CANCELAR\"][@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']", "state_id": "g1s16", "source_gui_id": 353, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "¿Qué quies facer cuando s'esbille un elementu?", "Caltener posición", "Dir al final de la llista", "Dir a la primera ensin marcar", "CANCELAR" ], "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:21670", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1527.json" }, { "input_id": "input-1531", "step": 270, "version": 15, "elapsed_s": 446.426, "wall_time_ms": 1794002169334, "next_input_wall_ms": 1794002170257, "input_completed_wall_ms": 1794002169369, "input_confirmed": true, "action": "MODEL_CLICK #47b2d09b", "action_type": "MODEL_CLICK", "text": "#47b2d09b", "content_desc": "Desplazarse hacia arriba", "resource_id": "", "model_action_id": "g4a149", "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.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Desplazarse hacia arriba\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g4s21", "source_gui_id": 354, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "probe": false, "strategy": "USE_BUFFER", "context": "exploration", "native_branch": "USE_BUFFER", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:21729", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1532.json" }, { "input_id": "input-1536", "step": 271, "version": 15, "elapsed_s": 447.349, "wall_time_ms": 1794002170257, "next_input_wall_ms": 1794002171299, "input_completed_wall_ms": 1794002170336, "input_confirmed": true, "action": "MODEL_CLICK android.widget.LinearLayout", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g15a597", "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.recyclerview.widget.RecyclerView\"][@resource-id=\"it.feio.android.omninotes:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@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']", "state_id": "g15s64", "source_gui_id": 355, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "#3430747b", "Axustes", "Interfaz", "Navegación", "Comportamientos", "Notificaciones", "Privacidá", "Beta", "Opt-In", "Soscribise al programa beta pa caltenese al día coles caberes carauterístiques", "Ayuda", "Manual en llinia", "App tour", "Amosáime les instrucciones de l'aplicación otra vegada", "Tocante a", "Rexistru de cambeos", "6.3.1", "Estadístiques", "Información" ], "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:21840", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1539.json" } ], "execution_receipt": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/executions/transition-g4e43-263.json", "screenshots": { "before_screenshot": { "local": "screenshots/semantic-6-c3-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/screenshots/step-266-gui-350-1500.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794002164333 }, "after_screenshot": { "local": "screenshots/semantic-6-c3-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/screenshots/step-267-gui-351-1507.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794002165110 } }, "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_ad46e2ac9d7e407da53250b006f6c382/probes/semantic-6-c3.json", "source_references": { "request": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/semantic-request-semantic-6.json", "response": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-6.json", "local_audit": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/reviews/semantic-6.json", "execution": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/executions/transition-g4e43-263.json" }, "frozen_receipts_sha256": { "request-receipt.json": "cf695fbef4e8d71d84a88727d5272a68028d41f49f91f4ae9f63b311a9bc1f28", "response-receipt.json": "b70d3d33a445dc189c73b334c2e990a93f55e7378d0524140c8e15059c185937", "model-input.json": "fc9c13dbd58ff15c951e4de34148ca82339e3f52ccc7de04c96c2cd4c9612525", "local-audit-not-sent-to-model.json": "fd0e5652e666d3ae25ae2a092748de66039fdf91214fed74399f224f86bb9281" } }