{ "run_id": "run_ad46e2ac9d7e407da53250b006f6c382", "app": "omninotes", "provider": "JEV", "entry_id": "semantic-2-c1", "step": 94, "elapsed_s": 152.718, "candidate_id": "c1", "state_id": "g11s36", "model_action": "g11a293", "concrete_action": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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=1][@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']", "identity_digest": "8d478e152f06cb9f1e7d4064e69c2b04ec5de32a051771a4d033621cacff16e6", "node_path": "0-2-1-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 462, 2358, 533 ], "enabled": true, "clickable": false, "long_clickable": false }, "candidate_at_inference": { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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=\"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=1][@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 462, 2358, 533 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Númberu de notes", "content_desc": "" }, { "path": [ 1 ], "text": "Amuesa'l númberu de notes asociaes al llau de la categoría", "content_desc": "" } ], "truncated": false }, "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-2", "request_step": 94, "request_send_event": { "event": "JEV_REQUEST_SENT", "step": 94, "monotonic_ns": 1890921735443642, "wall_time_ms": 1794001874145, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": null, "request_id": "semantic-2", "review_id": "run-6b7a553aee018:semantic:5", "candidate_count": 2, "pair_count": 4, "request_bytes": 19222, "wait_mode": "synchronous", "attempt": 1, "input_fingerprint": "b6d72bd4b25e2fc3dafd8b7d20a66a456de22cdb7aa4daf662571674b752e0bd", "_line": 221 }, "decision_event": { "event": "DECISION_PROBE", "step": 94, "monotonic_ns": 1890923150085910, "wall_time_ms": 1794001875559, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "confidence": 0.94, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "b09ae33bca173e254d5d492bfddaec00bdcc5d31bd130a8ea404fc67b888602f", "concrete_identity": "8d478e152f06cb9f1e7d4064e69c2b04ec5de32a051771a4d033621cacff16e6", "decision_scope": "82687be1f0195f742bc96123e744f3cb38f9b403755dada268f634a82f7c8eb0", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-2", "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": 224 }, "decision_step": 94, "decision_wall_time_ms": 1794001875559, "model_input_cutoff_wall_ms": 1794001874145, "execute_wall_time_ms": 1794001875626, "model": "typesafe/jev-1.14", "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:typesafe/jev-1.14:incremental-candidate-closure-v2", "input_fingerprint": "b6d72bd4b25e2fc3dafd8b7d20a66a456de22cdb7aa4daf662571674b752e0bd", "evidence_view": "incremental-candidate-closure-v2", "control": "Númberu de notes (android:id/switch_widget)", "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.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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=\"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=1][@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 462, 2358, 533 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Númberu de notes", "content_desc": "" }, { "path": [ 1 ], "text": "Amuesa'l númberu de notes asociaes al llau de la categoría", "content_desc": "" } ], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "c2": { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "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=\"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=2][@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 654, 2358, 725 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Grupu ensin categoría", "content_desc": "" }, { "path": [ 1 ], "text": "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "content_desc": "" } ], "truncated": false }, "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.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "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=\"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']/*[@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 270, 2358, 341 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Menú dinámicu", "content_desc": "" }, { "path": [ 1 ], "text": "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "content_desc": "" } ], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "h2": { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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=\"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=3][@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 846, 2358, 917 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Menú de navegación al salir", "content_desc": "" }, { "path": [ 1 ], "text": "Al tocar Atrás na llista de notes, ábrese'l menú de navegación en cuenta de salir", "content_desc": "" } ], "truncated": false }, "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": [], "view": "lightweight inventory; target subtree/parent/local context only for compared candidates" } }, "pair_records": [ { "request_id": "semantic-2", "pair_id": "p1", "candidate_id": "c1", "history_id": "h1", "choice": "DIFFERENT_OPERATION", "confidence": 0.88, "probabilities": { "SAME_OPERATION": 0.07, "DIFFERENT_OPERATION": 0.92, "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-2.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.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", "probabilities": { "SAME_OPERATION": 0.07, "DIFFERENT_OPERATION": 0.92, "INSUFFICIENT_EVIDENCE": 0.01 }, "confidence": 0.88 }, "model_visible_history": { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "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=\"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']/*[@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 270, 2358, 341 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Menú dinámicu", "content_desc": "" }, { "path": [ 1 ], "text": "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "content_desc": "" } ], "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": 141, "source_gui_timestamp": 87, "current_state": "g11s36", "current_model_action": "g11a293", "current_version": 11, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-480", "history_step": 87, "history_row": { "input_id": "input-480", "step": 87, "version": "11", "elapsed_s": "144.712", "action": "MODEL_CLICK android:id/switch_widget", "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "state_id": "g11s36", "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-483.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:6698", "wall_time_ms": 1794001867620, "source_gui_id": 141, "source_gui_timestamp": 87, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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']/*[@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']", "identity_digest": "ffdf521924e21456f2e918e4c01be1397861ec5d643fe813c0dd1ae874ea6565", "node_path": "0-2-0-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 270, 2358, 341 ], "enabled": true, "clickable": false, "long_clickable": false }, "source_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "target_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "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-141-t87-481.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-142-t88-487.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 87, "abstraction_version": 11, "wall_time_ms": 1794001867620, "monotonic_ns": 1890915211296571, "gui_id": 141, "gui_timestamp": 87, "capture_phase": "history_before_input", "capture_started_ns": 1890915211297338, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890915263141712, "capture_wall_time_ms": 1794001867672, "alignment": "identity_verified", "expected_observation_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "before_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "after_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-87-gui-141-482.png", "completion_path": "jev-audit/screenshots/step-87-gui-141-482.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 88, "abstraction_version": 11, "wall_time_ms": 1794001868588, "monotonic_ns": 1890916178895011, "gui_id": 142, "gui_timestamp": 88, "capture_phase": "history_first_native_target", "capture_started_ns": 1890916178895810, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890916225385884, "capture_wall_time_ms": 1794001868635, "alignment": "identity_verified", "expected_observation_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "before_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "after_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-88-gui-142-488.png", "completion_path": "jev-audit/screenshots/step-88-gui-142-488.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-g11e75-86.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "", "node_id": 10, "resource_id": "android:id/switch_widget", "class": "android.widget.Switch", "checked": true, "selected": false, "subtree_labels": [], "sibling_labels": [ "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente" ], "parent_resource_id": "" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794001868639, "native_transition": { "event": "NATIVE_TRANSITION", "step": 88, "monotonic_ns": 1890916229537671, "wall_time_ms": 1794001868639, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "transition_id": "g11e75:86", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g11s36", "input_confirmed": true, "_line": 204 }, "native_transition_receipt": { "transition_id": "g11e75:86", "native_edge_id": "g11e75", "native_history_position": 85, "source_gui_timestamp": 87, "target_gui_timestamp": 88, "state_id": "g11s36", "model_action_id": "g11a293", "source_gui_id": 141, "target_gui_id": 142, "abstraction_version": 11, "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-g11e75-86.json" }, "target_activity_from_native": "it.feio.android.omninotes.SettingsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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']/*[@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']", "identity_digest": "ffdf521924e21456f2e918e4c01be1397861ec5d643fe813c0dd1ae874ea6565", "node_path": "0-2-0-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 270, 2358, 341 ], "enabled": true, "clickable": false, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-141-t87-481.json", "gui_id": 141, "gui_timestamp": 87, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 87, "abstraction_version": 11, "wall_time_ms": 1794001867620, "monotonic_ns": 1890915211296571, "gui_id": 141, "gui_timestamp": 87, "capture_phase": "history_before_input", "capture_started_ns": 1890915211297338, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890915263141712, "capture_wall_time_ms": 1794001867672, "alignment": "identity_verified", "expected_observation_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "before_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "after_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-87-gui-141-482.png", "completion_path": "jev-audit/screenshots/step-87-gui-141-482.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b7a553aee018", "step": 87, "abstraction_version": 11, "wall_time_ms": 1794001867620, "monotonic_ns": 1890915210468515, "input_id": "input-480", "source_gui_id": 141, "source_gui_timestamp": 87, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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']/*[@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']", "identity_digest": "ffdf521924e21456f2e918e4c01be1397861ec5d643fe813c0dd1ae874ea6565", "node_path": "0-2-0-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 270, 2358, 341 ], "enabled": true, "clickable": false, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-141-t87-481.json", "gui_id": 141, "gui_timestamp": 87, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 87, "abstraction_version": 11, "wall_time_ms": 1794001867620, "monotonic_ns": 1890915211296571, "gui_id": 141, "gui_timestamp": 87, "capture_phase": "history_before_input", "capture_started_ns": 1890915211297338, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890915263141712, "capture_wall_time_ms": 1794001867672, "alignment": "identity_verified", "expected_observation_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "before_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "after_identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-87-gui-141-482.png", "completion_path": "jev-audit/screenshots/step-87-gui-141-482.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g11e75:86", "receipt": "jev-receipts/transition-g11e75-86.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-142-t88-487.json", "gui_id": 142, "gui_timestamp": 88, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 88, "abstraction_version": 11, "wall_time_ms": 1794001868588, "monotonic_ns": 1890916178895011, "gui_id": 142, "gui_timestamp": 88, "capture_phase": "history_first_native_target", "capture_started_ns": 1890916178895810, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890916225385884, "capture_wall_time_ms": 1794001868635, "alignment": "identity_verified", "expected_observation_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "before_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "after_identity": "ea9846d2b12acec4723b5332295e275064d463fbd7222ea91cacf4bb2c0c6b5f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-88-gui-142-488.png", "completion_path": "jev-audit/screenshots/step-88-gui-142-488.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-2", "pair_id": "p2", "candidate_id": "c1", "history_id": "h2", "choice": "DIFFERENT_OPERATION", "confidence": 0.94, "probabilities": { "SAME_OPERATION": 0.03, "DIFFERENT_OPERATION": 0.96, "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-2.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.c1` 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.03, "DIFFERENT_OPERATION": 0.96, "INSUFFICIENT_EVIDENCE": 0.01 }, "confidence": 0.94 }, "model_visible_history": { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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=\"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=3][@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']", "model_action_id": "g11a293", "source_state_id": "g11s36", "bounds": [ 2236, 846, 2358, 917 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "enabled": true, "clickable": false, "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": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "" }, "labels": [ { "path": [ 0 ], "text": "Menú de navegación al salir", "content_desc": "" }, { "path": [ 1 ], "text": "Al tocar Atrás na llista de notes, ábrese'l menú de navegación en cuenta de salir", "content_desc": "" } ], "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": 146, "source_gui_timestamp": 92, "current_state": "g11s36", "current_model_action": "g11a293", "current_version": 11, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-509", "history_step": 92, "history_row": { "input_id": "input-509", "step": 92, "version": "11", "elapsed_s": "149.417", "action": "MODEL_CLICK android:id/switch_widget", "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "state_id": "g11s36", "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-512.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:7102", "wall_time_ms": 1794001872325, "source_gui_id": 146, "source_gui_timestamp": 92, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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=3][@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']", "identity_digest": "6ca6b6d8824df47a4f08daf9c7045b4c5471255d77d3cbcfd6a5bed617ea24ef", "node_path": "0-2-3-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 846, 2358, 917 ], "enabled": true, "clickable": false, "long_clickable": false }, "source_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "target_gui": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "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-146-t92-510.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-147-t93-516.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 92, "abstraction_version": 11, "wall_time_ms": 1794001872326, "monotonic_ns": 1890919916774215, "gui_id": 146, "gui_timestamp": 92, "capture_phase": "history_before_input", "capture_started_ns": 1890919916774977, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890919962288672, "capture_wall_time_ms": 1794001872371, "alignment": "identity_verified", "expected_observation_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "before_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "after_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-92-gui-146-511.png", "completion_path": "jev-audit/screenshots/step-92-gui-146-511.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 93, "abstraction_version": 11, "wall_time_ms": 1794001873101, "monotonic_ns": 1890920691765275, "gui_id": 147, "gui_timestamp": 93, "capture_phase": "history_first_native_target", "capture_started_ns": 1890920691766196, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890920730533421, "capture_wall_time_ms": 1794001873140, "alignment": "identity_verified", "expected_observation_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "before_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "after_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-93-gui-147-517.png", "completion_path": "jev-audit/screenshots/step-93-gui-147-517.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-g11e75-91.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "", "node_id": 19, "resource_id": "android:id/switch_widget", "class": "android.widget.Switch", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [ "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "parent_resource_id": "" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794001873142, "native_transition": { "event": "NATIVE_TRANSITION", "step": 93, "monotonic_ns": 1890920732539777, "wall_time_ms": 1794001873142, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "transition_id": "g11e75:91", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g11s36", "input_confirmed": true, "_line": 216 }, "native_transition_receipt": { "transition_id": "g11e75:91", "native_edge_id": "g11e75", "native_history_position": 90, "source_gui_timestamp": 92, "target_gui_timestamp": 93, "state_id": "g11s36", "model_action_id": "g11a293", "source_gui_id": 146, "target_gui_id": 147, "abstraction_version": 11, "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-g11e75-91.json" }, "target_activity_from_native": "it.feio.android.omninotes.SettingsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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=3][@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']", "identity_digest": "6ca6b6d8824df47a4f08daf9c7045b4c5471255d77d3cbcfd6a5bed617ea24ef", "node_path": "0-2-3-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 846, 2358, 917 ], "enabled": true, "clickable": false, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-146-t92-510.json", "gui_id": 146, "gui_timestamp": 92, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 92, "abstraction_version": 11, "wall_time_ms": 1794001872326, "monotonic_ns": 1890919916774215, "gui_id": 146, "gui_timestamp": 92, "capture_phase": "history_before_input", "capture_started_ns": 1890919916774977, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890919962288672, "capture_wall_time_ms": 1794001872371, "alignment": "identity_verified", "expected_observation_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "before_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "after_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-92-gui-146-511.png", "completion_path": "jev-audit/screenshots/step-92-gui-146-511.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b7a553aee018", "step": 92, "abstraction_version": 11, "wall_time_ms": 1794001872325, "monotonic_ns": 1890919916114557, "input_id": "input-509", "source_gui_id": 146, "source_gui_timestamp": 92, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g11a293", "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=3][@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']", "identity_digest": "6ca6b6d8824df47a4f08daf9c7045b4c5471255d77d3cbcfd6a5bed617ea24ef", "node_path": "0-2-3-2", "class": "android.widget.Switch", "resource_id": "android:id/switch_widget", "text": "", "content_desc": "", "bounds": [ 2236, 846, 2358, 917 ], "enabled": true, "clickable": false, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-146-t92-510.json", "gui_id": 146, "gui_timestamp": 92, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 92, "abstraction_version": 11, "wall_time_ms": 1794001872326, "monotonic_ns": 1890919916774215, "gui_id": 146, "gui_timestamp": 92, "capture_phase": "history_before_input", "capture_started_ns": 1890919916774977, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890919962288672, "capture_wall_time_ms": 1794001872371, "alignment": "identity_verified", "expected_observation_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "before_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "after_identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-92-gui-146-511.png", "completion_path": "jev-audit/screenshots/step-92-gui-146-511.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g11e75:91", "receipt": "jev-receipts/transition-g11e75-91.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-147-t93-516.json", "gui_id": 147, "gui_timestamp": 93, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b7a553aee018", "step": 93, "abstraction_version": 11, "wall_time_ms": 1794001873101, "monotonic_ns": 1890920691765275, "gui_id": 147, "gui_timestamp": 93, "capture_phase": "history_first_native_target", "capture_started_ns": 1890920691766196, "activity": "it.feio.android.omninotes.SettingsActivity", "capture_finished_ns": 1890920730533421, "capture_wall_time_ms": 1794001873140, "alignment": "identity_verified", "expected_observation_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "before_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "after_identity": "3c9a4d050b202d09ac264e3f8a31052925c71da3e14a0079e8a91237db90a9be", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-93-gui-147-517.png", "completion_path": "jev-audit/screenshots/step-93-gui-147-517.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": 141, "source_gui_timestamp": 87, "current_state": "g11s36", "current_model_action": "g11a293", "current_version": 11, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h2": { "source_tree": 146, "source_gui_timestamp": 92, "current_state": "g11s36", "current_model_action": "g11a293", "current_version": 11, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true } }, "pair_cache_hit": false, "candidate_decision": { "candidate_id": "c1", "aggregate_choice": "PROMOTE", "aggregate_confidence": 0.94, "parsed_outcome": "PROBE", "ledger_status": "STAGED", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "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": "82687be1f0195f742bc96123e744f3cb38f9b403755dada268f634a82f7c8eb0", "selection_at_execution": { "event": "SELECTION_DECISION", "step": 94, "monotonic_ns": 1890923159778462, "wall_time_ms": 1794001875569, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "snapshot_reason": "selection", "state_visits": 8, "state_first_seen": 86, "state_last_seen": 94, "state_saturated": false, "state_saturation": 0.85714287, "native_state_saturated": false, "native_unsaturated_model_action_count": 1, "model_action_count": 7, "enabled_valid_action_count": 7, "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": "g11a298", "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": 2, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=2236,462,2358,533", "selected_resolved_node_count": 4, "_line": 231 }, "prior_same_identity_ledger_events": [], "execution_state_id": "g11s36", "execution_model_action": "g11a293", "lifecycle": { "DECISION_PROBE": { "event": "DECISION_PROBE", "step": 94, "monotonic_ns": 1890923150085910, "wall_time_ms": 1794001875559, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "confidence": 0.94, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "b09ae33bca173e254d5d492bfddaec00bdcc5d31bd130a8ea404fc67b888602f", "concrete_identity": "8d478e152f06cb9f1e7d4064e69c2b04ec5de32a051771a4d033621cacff16e6", "decision_scope": "82687be1f0195f742bc96123e744f3cb38f9b403755dada268f634a82f7c8eb0", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-2", "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": 224 }, "SEMANTIC_DECISION_STORED": { "event": "SEMANTIC_DECISION_STORED", "step": 94, "monotonic_ns": 1890923150695020, "wall_time_ms": 1794001875560, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "decision_role": "candidate_decision", "ledger_status": "PROBE", "input_signature": "b09ae33bca173e254d5d492bfddaec00bdcc5d31bd130a8ea404fc67b888602f", "input_fingerprint": "b6d72bd4b25e2fc3dafd8b7d20a66a456de22cdb7aa4daf662571674b752e0bd", "concrete_identity": "8d478e152f06cb9f1e7d4064e69c2b04ec5de32a051771a4d033621cacff16e6", "decision_scope": "82687be1f0195f742bc96123e744f3cb38f9b403755dada268f634a82f7c8eb0", "_line": 226 }, "PROBE_BOUND": { "event": "PROBE_BOUND", "step": 94, "monotonic_ns": 1890923159361748, "wall_time_ms": 1794001875568, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "confidence": 0.94, "choice": "PROMOTE", "source": "semantic_sync", "input_signature": "b09ae33bca173e254d5d492bfddaec00bdcc5d31bd130a8ea404fc67b888602f", "decision_scope": "82687be1f0195f742bc96123e744f3cb38f9b403755dada268f634a82f7c8eb0", "concrete_identity": "8d478e152f06cb9f1e7d4064e69c2b04ec5de32a051771a4d033621cacff16e6", "_line": 228 }, "PROBE_SELECTED": { "event": "PROBE_SELECTED", "step": 94, "monotonic_ns": 1890923159412390, "wall_time_ms": 1794001875569, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "confidence": 0.94, "choice": "PROMOTE", "source": "semantic_sync", "_line": 229 }, "PROBE_INPUT_GENERATED": { "event": "PROBE_INPUT_GENERATED", "step": 94, "monotonic_ns": 1890923217279035, "wall_time_ms": 1794001875626, "abstraction_version": 11, "state_id": null, "model_action_id": null, "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "event_count": 2, "_line": 232 }, "PROBE_INPUT_COMPLETED": { "event": "PROBE_INPUT_COMPLETED", "step": 94, "monotonic_ns": 1890923245225317, "wall_time_ms": 1794001875654, "abstraction_version": 11, "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-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "_line": 233 }, "PROBE_EXECUTED": { "event": "PROBE_EXECUTED", "step": 95, "monotonic_ns": 1890923970961509, "wall_time_ms": 1794001876380, "abstraction_version": 11, "state_id": "g11s36", "model_action_id": "g11a293", "entry_id": "semantic-2-c1", "request_id": "semantic-2", "candidate_id": "c1", "confidence": 0.94, "choice": "PROMOTE", "transition_id": "g11e75:93", "target_state": "g11s36", "input_confirmed": true, "_line": 235 } }, "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:224", "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:226", "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:228", "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:229", "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:232", "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:233", "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:235" }, "confirmed_inputs_before_decision": 92, "exact_identity_prior_input_ids": [], "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [ "input-251", "input-310", "input-391", "input-480", "input-509" ], "before": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "4dd0e3ed9c43e0874ed2358715533d4a3dd044f7214df02bdeb1231416ff9c7a", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "after": { "activity": "it.feio.android.omninotes.SettingsActivity", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "identity": "4b23f4cce06e8a376e065f5254b5afa05b51a112247180075679d509e3d080ee", "controls": [ { "label": "#47b2d09b", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 2400, 402 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 402, 2400, 594 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 594, 2400, 786 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 786, 2400, 978 ] } ] }, "new_state": false, "new_model_action": false, "target_state": "g11s36", "new_methods_2s": 0, "new_methods_10s": 21, "new_methods_before_next_action": 0, "new_methods_input_start_to_next_action": 0, "execution_observation": "打开显示笔记数量开关；仍在导航设置。", "following_actions": [ { "input_id": "input-534", "step": 95, "version": 11, "elapsed_s": 153.541, "wall_time_ms": 1794001876449, "next_input_wall_ms": 1794001877248, "input_completed_wall_ms": 1794001876488, "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": "g11a293", "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=2][@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": "g11s36", "source_gui_id": 149, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "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:7326", "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-535.json" }, { "input_id": "input-541", "step": 96, "version": 11, "elapsed_s": 154.34, "wall_time_ms": 1794001877248, "next_input_wall_ms": 1794001878172, "input_completed_wall_ms": 1794001877287, "input_confirmed": true, "action": "MODEL_CLICK #47b2d09b", "action_type": "MODEL_CLICK", "text": "#47b2d09b", "content_desc": "Desplazarse hacia arriba", "resource_id": "", "model_action_id": "g11a292", "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": "g11s36", "source_gui_id": 150, "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": [ "#47b2d09b", "Navegación", "Menú dinámicu", "Los elementos del menú que nu ns'usen, anúbrense automáticamente", "Númberu de notes", "Amuesa'l númberu de notes asociaes al llau de la categoría", "Grupu ensin categoría", "Amiesta un elementu nuevu al menú de navegación pa les notes ensin categoría", "Menú de navegación al salir", "Al tocar \"Atrás\" na llista de notes, ábrese'l menú de navegación en cuenta de salir" ], "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:7400", "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-542.json" }, { "input_id": "input-546", "step": 97, "version": 11, "elapsed_s": 155.264, "wall_time_ms": 1794001878172, "next_input_wall_ms": 1794001879592, "input_completed_wall_ms": 1794001878202, "input_confirmed": true, "action": "MODEL_CLICK Datos", "action_type": "MODEL_CLICK", "text": "Datos", "content_desc": "", "resource_id": "android:id/title", "model_action_id": "g7a235", "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=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"android:id/title\"][@text=\"Datos\"][@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": "g7s28", "source_gui_id": 151, "activity": "it.feio.android.omninotes.SettingsActivity", "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:7477", "observed_methods_until_next": 4, "category_counts": { "app_domain": 3, "third_party": 1 }, "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-547.json" }, { "input_id": "input-551", "step": 98, "version": 11, "elapsed_s": 156.684, "wall_time_ms": 1794001879592, "next_input_wall_ms": 1794001880954, "input_completed_wall_ms": 1794001879618, "input_confirmed": true, "action": "MODEL_CLICK Llimpiar", "action_type": "MODEL_CLICK", "text": "Llimpiar", "content_desc": "", "resource_id": "android:id/title", "model_action_id": "g11a303", "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=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"android:id/title\"][@text=\"Llimpiar\"][@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": "g11s37", "source_gui_id": 155, "activity": "it.feio.android.omninotes.SettingsActivity", "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:7576", "observed_methods_until_next": 4, "category_counts": { "app_domain": 4 }, "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-552.json" }, { "input_id": "input-556", "step": 99, "version": 11, "elapsed_s": 158.046, "wall_time_ms": 1794001880954, "next_input_wall_ms": 1794001883040, "input_completed_wall_ms": 1794001880986, "input_confirmed": true, "action": "MODEL_CLICK CONFIRMA", "action_type": "MODEL_CLICK", "text": "CONFIRMA", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/md_buttonDefaultPositive", "model_action_id": "g11a305", "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.TextView\"][@resource-id=\"it.feio.android.omninotes:id/md_buttonDefaultPositive\"][@text=\"CONFIRMA\"][@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": "g11s38", "source_gui_id": 159, "activity": "it.feio.android.omninotes.SettingsActivity", "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:7653", "observed_methods_until_next": 13, "category_counts": { "app_domain": 6, "third_party": 7 }, "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-557.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-g11e75-93.json", "screenshots": { "before_screenshot": { "local": "screenshots/semantic-2-c1-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-94-gui-148-525.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794001875625 }, "after_screenshot": { "local": "screenshots/semantic-2-c1-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-95-gui-149-531.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794001876378 } }, "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_ad46e2ac9d7e407da53250b006f6c382/probes/semantic-2-c1.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-2.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-2.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-2.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-g11e75-93.json" }, "frozen_receipts_sha256": { "request-receipt.json": "40b685457ab997c1d16d0f8754c6eceecc56b1f3a370afcbf9b3c7d107dd1f28", "response-receipt.json": "19999966ffa99740ea7b96f93f108875134973e27a82ad56045ec9ffde6ff02c", "model-input.json": "990bddfca8248c94cfc2c683d91bdb74c87c98625d8baa00cd09f70921381b56", "local-audit-not-sent-to-model.json": "f4147672e0b2a5535167a8b1643f6740f28e55791b6aa8c76dce0bb03081753c" } }