{ "run_id": "run_2b38f68437b6480c8f26d01cec61b440", "app": "activitydiary", "provider": "JEV", "entry_id": "semantic-21-c5", "step": 649, "elapsed_s": 945.598, "candidate_id": "c5", "state_id": "g13s49", "model_action": "g13a696", "concrete_action": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_map\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Map\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "49a2ba29102ca479201c0c6b51d512e0a0b549ef072937b4e24a9fad26da6a58", "node_path": "0-5-0-0-4-4", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Map", "content_desc": "", "bounds": [ 42, 956, 693, 1017 ], "enabled": true, "clickable": true, "long_clickable": false }, "candidate_at_inference": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Map", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 4, "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_map\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Map\"][@content-desc=\"\"][@index=4][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 956, 693, 1017 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Map", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_map", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_map" }, "labels": [], "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-21", "request_step": 649, "request_send_event": { "event": "JEV_REQUEST_SENT", "step": 649, "monotonic_ns": 1895384196468230, "wall_time_ms": 1794006336445, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": null, "request_id": "semantic-21", "review_id": "run-6bafbac0ab868:semantic:90", "candidate_count": 1, "pair_count": 3, "request_bytes": 20274, "wait_mode": "synchronous", "attempt": 1, "input_fingerprint": "74e8495af7c2d0d4c78208a8f0eb30c49df70155aa44ea2362a521f6d84bb42d", "_line": 1890 }, "decision_event": { "event": "DECISION_PROBE", "step": 649, "monotonic_ns": 1895385419275837, "wall_time_ms": 1794006337668, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "confidence": 0.98, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "04a3f3e4fe3be4d09ef90a09e9cbed66ff95d9de0b3671113e3373aed751bf10", "concrete_identity": "49a2ba29102ca479201c0c6b51d512e0a0b549ef072937b4e24a9fad26da6a58", "decision_scope": "4ab589add6c05e3d07afd77128a74543bcef97de7b8b40d6c2576468edb0e5c6", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-21", "aggregation_policy": "exploratory-top3-v1", "total_history": 4, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 4, "selected_history": 3, "comparison_count": 3, "same_count": 0, "different_count": 3, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 3, "low_confidence_count": 0, "full_history_compared": false, "exploratory": true, "_line": 1893 }, "decision_step": 649, "decision_wall_time_ms": 1794006337668, "model_input_cutoff_wall_ms": 1794006336445, "execute_wall_time_ms": 1794006337726, "model": "typesafe/jev-1.14", "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:typesafe/jev-1.14:incremental-candidate-closure-v2", "input_fingerprint": "74e8495af7c2d0d4c78208a8f0eb30c49df70155aa44ea2362a521f6d84bb42d", "evidence_view": "incremental-candidate-closure-v2", "control": "Map", "model_visible_state": { "evidence_schema": "history-pairwise-offline-v1-20261031:incremental-candidate-closure-v2", "pages": { "page1": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "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": "de.rampro.activitydiary.ui.main.MainActivity", "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": "de.rampro.activitydiary.ui.main.MainActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } }, "page4": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } } }, "candidates": { "c5": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Map", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 4, "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_map\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Map\"][@content-desc=\"\"][@index=4][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 956, 693, 1017 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Map", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_map", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_map" }, "labels": [], "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.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select Activity", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 578, 693, 704 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select Activity", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_main", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_main" }, "labels": [], "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.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 704, 693, 830 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_diary", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_diary" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "h3": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statistics", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 3, "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 830, 693, 891 ], "source_page_id": "page4", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statistics", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_statistics", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_statistics" }, "labels": [], "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": [ [ "c1", "MODEL_CLICK", "android.widget.TextView", "de.rampro.activitydiary:id/action_add_activity", "", true ], [ "c2", "MODEL_CLICK", "android.widget.AutoCompleteTextView", "de.rampro.activitydiary:id/search_src_text", "7B1FA2", true ], [ "c3", "MODEL_LONG_CLICK", "android.widget.AutoCompleteTextView", "de.rampro.activitydiary:id/search_src_text", "7B1FA2", true ], [ "c4", "MODEL_SCROLL_LEFT_RIGHT", "androidx.recyclerview.widget.RecyclerView", "de.rampro.activitydiary:id/design_navigation_view", "", true ] ], "view": "lightweight inventory; target subtree/parent/local context only for compared candidates" } }, "pair_records": [ { "request_id": "semantic-21", "pair_id": "p1", "candidate_id": "c5", "history_id": "h1", "choice": "DIFFERENT_OPERATION", "confidence": 0.97, "probabilities": { "SAME_OPERATION": 0.01, "DIFFERENT_OPERATION": 0.98, "INSUFFICIENT_EVIDENCE": 0.01 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-21.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.c5` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "probabilities": { "SAME_OPERATION": 0.01, "DIFFERENT_OPERATION": 0.98, "INSUFFICIENT_EVIDENCE": 0.01 }, "confidence": 0.97 }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select Activity", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 578, 693, 704 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select Activity", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": true, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_main", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_main" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "offline_only_provenance": { "source_tree": 152, "source_gui_timestamp": 131, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-696", "history_step": 131, "history_row": { "input_id": "input-696", "step": 131, "version": "13", "elapsed_s": "220.14", "action": "MODEL_CLICK Select A", "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "state_id": "g13s49", "activity": "de.rampro.activitydiary.ui.main.MainActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-699.json", "observed_methods_until_next": "12", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:10999", "wall_time_ms": 1794005612268, "source_gui_id": 152, "source_gui_timestamp": 131, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select A", "content_desc": "", "bounds": [ 42, 578, 693, 704 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#d88171fb", "Activity Diary", "What are you doing?", "Add Activity", "Search…", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics" ], "identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "controls": [ { "label": "#d88171fb", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "Search…", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#8fb7fa14", "Activity Diary", "What are you doing?", "Add Activity", "Search…", "Clear query", "Cleaning", "Cinema", "Relaxing", "Officework", "Cooking", "Gardening", "Sleeping" ], "identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "controls": [ { "label": "#8fb7fa14", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "Search…", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 0, 189, 234, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 234, 189, 543, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 543, 189, 822, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 822, 189, 1125, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 1125, 189, 1490, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 1490, 189, 1786, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 1786, 189, 2139, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 2139, 189, 2400, 891 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 12, 497, 54, 582 ] }, { "label": "Cleaning", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 246, 497, 531, 582 ] }, { "label": "Cinema", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 555, 497, 810, 582 ] }, { "label": "Relaxing", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 834, 497, 1113, 582 ] }, { "label": "Officework", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 1137, 497, 1478, 582 ] }, { "label": "Cooking", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 1502, 497, 1774, 582 ] }, { "label": "Gardening", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 1798, 497, 2127, 582 ] }, { "label": "Sleeping", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 2151, 497, 2400, 582 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-152-t131-697.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-153-t132-703.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 131, "abstraction_version": 13, "wall_time_ms": 1794005612271, "monotonic_ns": 1894660022864005, "gui_id": 152, "gui_timestamp": 131, "capture_phase": "history_before_input", "capture_started_ns": 1894660022864919, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894660089238046, "capture_wall_time_ms": 1794005612338, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-131-gui-152-698.png", "completion_path": "jev-audit/screenshots/step-131-gui-152-698.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 132, "abstraction_version": 13, "wall_time_ms": 1794005613251, "monotonic_ns": 1894661002106786, "gui_id": 153, "gui_timestamp": 132, "capture_phase": "history_first_native_target", "capture_started_ns": 1894661002107528, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894661045384515, "capture_wall_time_ms": 1794005613294, "alignment": "identity_verified", "expected_observation_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "before_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "after_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-132-gui-153-704.png", "completion_path": "jev-audit/screenshots/step-132-gui-153-704.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g13e111-131.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Select Activity", "node_id": 16, "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "checked": true, "selected": false, "subtree_labels": [], "sibling_labels": [], "parent_resource_id": "de.rampro.activitydiary:id/nav_main" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794005613301, "native_transition": { "event": "NATIVE_TRANSITION", "step": 132, "monotonic_ns": 1894661052141429, "wall_time_ms": 1794005613301, "abstraction_version": 13, "state_id": "g13s49", "model_action_id": "g13a696", "transition_id": "g13e111:131", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g13s50", "input_confirmed": true, "_line": 358 }, "native_transition_receipt": { "transition_id": "g13e111:131", "native_edge_id": "g13e111", "native_history_position": 130, "source_gui_timestamp": 131, "target_gui_timestamp": 132, "state_id": "g13s49", "model_action_id": "g13a696", "source_gui_id": 152, "target_gui_id": 153, "abstraction_version": 13, "source_activity": "de.rampro.activitydiary.ui.main.MainActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g13e111-131.json" }, "target_activity_from_native": "de.rampro.activitydiary.ui.main.MainActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select A", "content_desc": "", "bounds": [ 42, 578, 693, 704 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-152-t131-697.json", "gui_id": 152, "gui_timestamp": 131, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 131, "abstraction_version": 13, "wall_time_ms": 1794005612271, "monotonic_ns": 1894660022864005, "gui_id": 152, "gui_timestamp": 131, "capture_phase": "history_before_input", "capture_started_ns": 1894660022864919, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894660089238046, "capture_wall_time_ms": 1794005612338, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-131-gui-152-698.png", "completion_path": "jev-audit/screenshots/step-131-gui-152-698.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6bafbac0ab868", "step": 131, "abstraction_version": 13, "wall_time_ms": 1794005612268, "monotonic_ns": 1894660019502903, "input_id": "input-696", "source_gui_id": 152, "source_gui_timestamp": 131, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Select A", "content_desc": "", "bounds": [ 42, 578, 693, 704 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-152-t131-697.json", "gui_id": 152, "gui_timestamp": 131, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 131, "abstraction_version": 13, "wall_time_ms": 1794005612271, "monotonic_ns": 1894660022864005, "gui_id": 152, "gui_timestamp": 131, "capture_phase": "history_before_input", "capture_started_ns": 1894660022864919, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894660089238046, "capture_wall_time_ms": 1794005612338, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-131-gui-152-698.png", "completion_path": "jev-audit/screenshots/step-131-gui-152-698.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g13e111:131", "receipt": "jev-receipts/transition-g13e111-131.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-153-t132-703.json", "gui_id": 153, "gui_timestamp": 132, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 132, "abstraction_version": 13, "wall_time_ms": 1794005613251, "monotonic_ns": 1894661002106786, "gui_id": 153, "gui_timestamp": 132, "capture_phase": "history_first_native_target", "capture_started_ns": 1894661002107528, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894661045384515, "capture_wall_time_ms": 1794005613294, "alignment": "identity_verified", "expected_observation_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "before_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "after_identity": "861dfc1120d331b06da29e0eb62a63ccd14dcaf2752b53d68b932628295cfe4a", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-132-gui-153-704.png", "completion_path": "jev-audit/screenshots/step-132-gui-153-704.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-21", "pair_id": "p2", "candidate_id": "c5", "history_id": "h2", "choice": "DIFFERENT_OPERATION", "confidence": 0.98, "probabilities": { "SAME_OPERATION": 0, "DIFFERENT_OPERATION": 0.99, "INSUFFICIENT_EVIDENCE": 0.01 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-21.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.c5` 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, "DIFFERENT_OPERATION": 0.99, "INSUFFICIENT_EVIDENCE": 0.01 }, "confidence": 0.98 }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 704, 693, 830 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_diary", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_diary" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "offline_only_provenance": { "source_tree": 163, "source_gui_timestamp": 142, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-759", "history_step": 142, "history_row": { "input_id": "input-759", "step": 142, "version": "13", "elapsed_s": "232.539", "action": "MODEL_CLICK Diary", "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "state_id": "g13s49", "activity": "de.rampro.activitydiary.ui.main.MainActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-762.json", "observed_methods_until_next": "56", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:12007", "wall_time_ms": 1794005624667, "source_gui_id": 163, "source_gui_timestamp": 142, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "content_desc": "", "bounds": [ 42, 704, 693, 830 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#e193a0fa", "Activity Diary", "What are you doing?", "Add Activity", "Search…", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics" ], "identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "controls": [ { "label": "#e193a0fa", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "Search…", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "labels": [ "#dd0f6cde", "Diary", "Search", "TODAY", "Start: 2026.11.07 18:50", "End: 2026.12.03 06:50 (26d)", "Gardening", "Start: 2026.11.07 06:53", "Since a few seconds" ], "identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "controls": [ { "label": "#dd0f6cde", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 2273, 63, 2400, 189 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 189, 2400, 693 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 693, 2400, 1017 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-163-t142-760.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-167-t143-766.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 142, "abstraction_version": 13, "wall_time_ms": 1794005624668, "monotonic_ns": 1894672419251943, "gui_id": 163, "gui_timestamp": 142, "capture_phase": "history_before_input", "capture_started_ns": 1894672419252689, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894672472503405, "capture_wall_time_ms": 1794005624721, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-142-gui-163-761.png", "completion_path": "jev-audit/screenshots/step-142-gui-163-761.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 143, "abstraction_version": 13, "wall_time_ms": 1794005626189, "monotonic_ns": 1894673940544896, "gui_id": 167, "gui_timestamp": 143, "capture_phase": "history_first_native_target", "capture_started_ns": 1894673940545554, "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "capture_finished_ns": 1894673984647937, "capture_wall_time_ms": 1794005626233, "alignment": "identity_verified", "expected_observation_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "before_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "after_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-143-gui-167-767.png", "completion_path": "jev-audit/screenshots/step-143-gui-167-767.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g13e122-142.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Diary", "node_id": 17, "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [], "parent_resource_id": "de.rampro.activitydiary:id/nav_diary" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794005626240, "native_transition": { "event": "NATIVE_TRANSITION", "step": 143, "monotonic_ns": 1894673991096727, "wall_time_ms": 1794005626240, "abstraction_version": 13, "state_id": "g13s49", "model_action_id": "g13a696", "transition_id": "g13e122:142", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g13s52", "input_confirmed": true, "_line": 381 }, "native_transition_receipt": { "transition_id": "g13e122:142", "native_edge_id": "g13e122", "native_history_position": 141, "source_gui_timestamp": 142, "target_gui_timestamp": 143, "state_id": "g13s49", "model_action_id": "g13a696", "source_gui_id": 163, "target_gui_id": 167, "abstraction_version": 13, "source_activity": "de.rampro.activitydiary.ui.main.MainActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g13e122-142.json" }, "target_activity_from_native": "de.rampro.activitydiary.ui.history.HistoryActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "content_desc": "", "bounds": [ 42, 704, 693, 830 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-163-t142-760.json", "gui_id": 163, "gui_timestamp": 142, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 142, "abstraction_version": 13, "wall_time_ms": 1794005624668, "monotonic_ns": 1894672419251943, "gui_id": 163, "gui_timestamp": 142, "capture_phase": "history_before_input", "capture_started_ns": 1894672419252689, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894672472503405, "capture_wall_time_ms": 1794005624721, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-142-gui-163-761.png", "completion_path": "jev-audit/screenshots/step-142-gui-163-761.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6bafbac0ab868", "step": 142, "abstraction_version": 13, "wall_time_ms": 1794005624667, "monotonic_ns": 1894672418634161, "input_id": "input-759", "source_gui_id": 163, "source_gui_timestamp": 142, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Diary", "content_desc": "", "bounds": [ 42, 704, 693, 830 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-163-t142-760.json", "gui_id": 163, "gui_timestamp": 142, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 142, "abstraction_version": 13, "wall_time_ms": 1794005624668, "monotonic_ns": 1894672419251943, "gui_id": 163, "gui_timestamp": 142, "capture_phase": "history_before_input", "capture_started_ns": 1894672419252689, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1894672472503405, "capture_wall_time_ms": 1794005624721, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-142-gui-163-761.png", "completion_path": "jev-audit/screenshots/step-142-gui-163-761.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g13e122:142", "receipt": "jev-receipts/transition-g13e122-142.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-167-t143-766.json", "gui_id": 167, "gui_timestamp": 143, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 143, "abstraction_version": 13, "wall_time_ms": 1794005626189, "monotonic_ns": 1894673940544896, "gui_id": 167, "gui_timestamp": 143, "capture_phase": "history_first_native_target", "capture_started_ns": 1894673940545554, "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "capture_finished_ns": 1894673984647937, "capture_wall_time_ms": 1794005626233, "alignment": "identity_verified", "expected_observation_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "before_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "after_identity": "8e229afe1b9d11a0a8797ba715c243d7ddd16ffa749734827b43a5bde6dea5ea", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-143-gui-167-767.png", "completion_path": "jev-audit/screenshots/step-143-gui-167-767.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-21", "pair_id": "p3", "candidate_id": "c5", "history_id": "h3", "choice": "DIFFERENT_OPERATION", "confidence": 0.98, "probabilities": { "SAME_OPERATION": 0.01, "DIFFERENT_OPERATION": 0.99, "INSUFFICIENT_EVIDENCE": 0 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-21.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.c5` the same application-function operation as executed action at `executed_actions.h3`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "probabilities": { "SAME_OPERATION": 0.01, "DIFFERENT_OPERATION": 0.99, "INSUFFICIENT_EVIDENCE": 0 }, "confidence": 0.98 }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statistics", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 3, "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@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": "g13a696", "source_state_id": "g13s49", "bounds": [ 42, 830, 693, 891 ], "source_page_id": "page4", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statistics", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_statistics", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "androidx.appcompat.widget.LinearLayoutCompat", "resource_id": "de.rampro.activitydiary:id/nav_statistics" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "offline_only_provenance": { "source_tree": 655, "source_gui_timestamp": 564, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-3063", "history_step": 564, "history_row": { "input_id": "input-3063", "step": 564, "version": "23", "elapsed_s": "848.244", "action": "MODEL_CLICK Statisti", "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "state_id": "g13s49", "activity": "de.rampro.activitydiary.ui.main.MainActivity", "probe": "True", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3064.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:53844", "wall_time_ms": 1794006240372, "source_gui_id": 655, "source_gui_timestamp": 564, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statisti", "content_desc": "", "bounds": [ 42, 830, 693, 891 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#d4d83f8a", "Activity Diary", "What are you doing?", "Add Activity", "Search…", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics" ], "identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "controls": [ { "label": "#d4d83f8a", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "Search…", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "labels": [ "#dd0f6cde", "Statistics", "All" ], "identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "controls": [ { "label": "#dd0f6cde", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/timeframeSpinner", "class": "android.widget.Spinner", "bounds": [ 0, 215, 2400, 278 ] }, { "label": "All", "resource_id": "android:id/text1", "class": "android.widget.TextView", "bounds": [ 0, 218, 2274, 275 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-655-t564-3060.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-656-t565-3069.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 564, "abstraction_version": 23, "wall_time_ms": 1794006240331, "monotonic_ns": 1895288082158412, "gui_id": 655, "gui_timestamp": 564, "capture_phase": "before_input_generation", "capture_started_ns": 1895288082161581, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1895288122494470, "capture_wall_time_ms": 1794006240371, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-564-gui-655-3062.png", "completion_path": "jev-audit/screenshots/step-564-gui-655-3062.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g13a696|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true } ], "resolved_node_count": 3, "selected_concrete": { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false }, "execution_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,830,693,891" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 565, "abstraction_version": 23, "wall_time_ms": 1794006241588, "monotonic_ns": 1895289339692417, "gui_id": 656, "gui_timestamp": 565, "capture_phase": "first_observed_target", "capture_started_ns": 1895289339697135, "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "capture_finished_ns": 1895289392649409, "capture_wall_time_ms": 1794006241641, "alignment": "identity_verified", "expected_observation_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "before_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "after_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-565-gui-656-3068.png", "completion_path": "jev-audit/screenshots/step-565-gui-656-3068.png.json", "status": "capture_queued", "side": "target" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g23e472-557.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Statistics", "node_id": 18, "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [], "parent_resource_id": "de.rampro.activitydiary:id/nav_statistics" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1794006241644, "native_transition": { "event": "NATIVE_TRANSITION", "step": 565, "monotonic_ns": 1895289395747429, "wall_time_ms": 1794006241644, "abstraction_version": 23, "state_id": "g13s49", "model_action_id": "g13a696", "transition_id": "g23e472:557", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g20s125", "input_confirmed": true, "_line": 1566 }, "native_transition_receipt": { "transition_id": "g23e472:557", "native_edge_id": "g23e472", "native_history_position": 556, "source_gui_timestamp": 564, "target_gui_timestamp": 565, "state_id": "g13s49", "model_action_id": "g13a696", "source_gui_id": 655, "target_gui_id": 656, "abstraction_version": 23, "source_activity": "de.rampro.activitydiary.ui.main.MainActivity", "execution_branch": "COMMON", "input_confirmed": true, "probe_source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 564, "abstraction_version": 23, "wall_time_ms": 1794006240331, "monotonic_ns": 1895288082158412, "gui_id": 655, "gui_timestamp": 564, "capture_phase": "before_input_generation", "capture_started_ns": 1895288082161581, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1895288122494470, "capture_wall_time_ms": 1794006240371, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-564-gui-655-3062.png", "completion_path": "jev-audit/screenshots/step-564-gui-655-3062.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g13a696|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true } ], "resolved_node_count": 3, "selected_concrete": { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false }, "execution_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,830,693,891" }, "probe_target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 565, "abstraction_version": 23, "wall_time_ms": 1794006241588, "monotonic_ns": 1895289339692417, "gui_id": 656, "gui_timestamp": 565, "capture_phase": "first_observed_target", "capture_started_ns": 1895289339697135, "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "capture_finished_ns": 1895289392649409, "capture_wall_time_ms": 1794006241641, "alignment": "identity_verified", "expected_observation_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "before_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "after_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-565-gui-656-3068.png", "completion_path": "jev-audit/screenshots/step-565-gui-656-3068.png.json", "status": "capture_queued", "side": "target" }, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g23e472-557.json" }, "target_activity_from_native": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statisti", "content_desc": "", "bounds": [ 42, 830, 693, 891 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-655-t564-3060.json", "gui_id": 655, "gui_timestamp": 564, "snapshot_phase": "review_source_before_submit" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 564, "abstraction_version": 23, "wall_time_ms": 1794006240331, "monotonic_ns": 1895288082158412, "gui_id": 655, "gui_timestamp": 564, "capture_phase": "before_input_generation", "capture_started_ns": 1895288082161581, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1895288122494470, "capture_wall_time_ms": 1794006240371, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-564-gui-655-3062.png", "completion_path": "jev-audit/screenshots/step-564-gui-655-3062.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g13a696|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true } ], "resolved_node_count": 3, "selected_concrete": { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false }, "execution_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,830,693,891" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "probe_input", "run_id": "run-6bafbac0ab868", "step": 564, "abstraction_version": 23, "wall_time_ms": 1794006240372, "monotonic_ns": 1895288123495654, "input_id": "input-3063", "entry_id": "semantic-15-c3", "request_id": "semantic-15", "candidate_id": "c3", "source_gui_id": 655, "source_gui_timestamp": 564, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Statisti", "content_desc": "", "bounds": [ 42, 830, 693, 891 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": true, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-655-t564-3060.json", "gui_id": 655, "gui_timestamp": 564, "snapshot_phase": "review_source_before_submit" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 564, "abstraction_version": 23, "wall_time_ms": 1794006240331, "monotonic_ns": 1895288082158412, "gui_id": 655, "gui_timestamp": 564, "capture_phase": "before_input_generation", "capture_started_ns": 1895288082161581, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1895288122494470, "capture_wall_time_ms": 1794006240371, "alignment": "identity_verified", "expected_observation_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "before_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "after_identity": "da5748fc00783a4e787ef4e83f3fa4b64092e8fa7e4dd915bbee669321172e3f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-564-gui-655-3062.png", "completion_path": "jev-audit/screenshots/step-564-gui-655-3062.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g13a696|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@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']", "identity_digest": "a056bf374d38c818e5b37c2364138b50e62d056423387e8754e2828eb35a696d", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@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": "9be2320f162555bd051273c31e041094b0b2a6ddfc107964dccbee679c874e3b", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true } ], "resolved_node_count": 3, "selected_concrete": { "key": "g13a696|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 891 ], "action_type": "MODEL_CLICK", "model_action_id": "g13a696", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_statistics\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Statisti\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e5a29f61fe3d7123bc8ae6cee725a7870e0ebc1b9730f9929a2f1e20f3adcbc", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false }, "execution_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Statisti|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,830,693,891" } }, "transitions": [ { "transition_id": "g23e472:557", "receipt": "jev-receipts/transition-g23e472-557.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-656-t565-3069.json", "gui_id": 656, "gui_timestamp": 565, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6bafbac0ab868", "step": 565, "abstraction_version": 23, "wall_time_ms": 1794006241588, "monotonic_ns": 1895289339692417, "gui_id": 656, "gui_timestamp": 565, "capture_phase": "first_observed_target", "capture_started_ns": 1895289339697135, "activity": "de.rampro.activitydiary.ui.statistics.StatisticsActivity", "capture_finished_ns": 1895289392649409, "capture_wall_time_ms": 1794006241641, "alignment": "identity_verified", "expected_observation_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "before_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "after_identity": "df9ac04d7460f147cf552320fea541b6c84a551009b048e50184fbd62bab3389", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-565-gui-656-3068.png", "completion_path": "jev-audit/screenshots/step-565-gui-656-3068.png.json", "status": "capture_queued", "side": "target" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } } ], "history_coverage": { "legal_history_count": 4, "complete": true, "history_collection_complete": true, "recoverable_history_count": 4, "selected_history": 3, "selected_history_ids": [ "h1", "h2", "h3" ], "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": 152, "source_gui_timestamp": 131, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h2": { "source_tree": 163, "source_gui_timestamp": 142, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h3": { "source_tree": 655, "source_gui_timestamp": 564, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h4": { "source_tree": 727, "source_gui_timestamp": 636, "current_state": "g13s49", "current_model_action": "g13a696", "current_version": 24, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true } }, "pair_cache_hit": false, "candidate_decision": { "candidate_id": "c5", "aggregate_choice": "PROMOTE", "aggregate_confidence": 0.98, "parsed_outcome": "PROBE", "ledger_status": "STAGED", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "aggregation_policy": "exploratory-top3-v1", "total_history": 4, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 4, "selected_history": 3, "comparison_count": 3, "same_count": 0, "different_count": 3, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 3, "low_confidence_count": 0, "full_history_compared": false, "exploratory": true }, "aggregation_replay": "PROMOTE", "source_identity": "4ab589add6c05e3d07afd77128a74543bcef97de7b8b40d6c2576468edb0e5c6", "selection_at_execution": { "event": "SELECTION_DECISION", "step": 649, "monotonic_ns": 1895385438575085, "wall_time_ms": 1794006337687, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "snapshot_reason": "selection", "state_visits": 16, "state_first_seen": 127, "state_last_seen": 649, "state_saturated": false, "state_saturation": 0.8181818, "native_state_saturated": false, "native_unsaturated_model_action_count": 2, "model_action_count": 11, "enabled_valid_action_count": 11, "unsaturated_model_action_count": 2, "unvisited_model_action_count": 2, "effective_unvisited_model_action_count": 2, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 2, "enabled_valid_unvisited_action_count": 2, "unvisited_model_action_ids": "g13a688,g13a697", "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=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Map|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,956,693,1017", "selected_resolved_node_count": 4, "_line": 1898 }, "prior_same_identity_ledger_events": [], "execution_state_id": "g13s49", "execution_model_action": "g13a696", "lifecycle": { "DECISION_PROBE": { "event": "DECISION_PROBE", "step": 649, "monotonic_ns": 1895385419275837, "wall_time_ms": 1794006337668, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "confidence": 0.98, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "04a3f3e4fe3be4d09ef90a09e9cbed66ff95d9de0b3671113e3373aed751bf10", "concrete_identity": "49a2ba29102ca479201c0c6b51d512e0a0b549ef072937b4e24a9fad26da6a58", "decision_scope": "4ab589add6c05e3d07afd77128a74543bcef97de7b8b40d6c2576468edb0e5c6", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-21", "aggregation_policy": "exploratory-top3-v1", "total_history": 4, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 4, "selected_history": 3, "comparison_count": 3, "same_count": 0, "different_count": 3, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 3, "low_confidence_count": 0, "full_history_compared": false, "exploratory": true, "_line": 1893 }, "SEMANTIC_DECISION_STORED": { "event": "SEMANTIC_DECISION_STORED", "step": 649, "monotonic_ns": 1895385419878965, "wall_time_ms": 1794006337668, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "decision_role": "candidate_decision", "ledger_status": "PROBE", "input_signature": "04a3f3e4fe3be4d09ef90a09e9cbed66ff95d9de0b3671113e3373aed751bf10", "input_fingerprint": "74e8495af7c2d0d4c78208a8f0eb30c49df70155aa44ea2362a521f6d84bb42d", "concrete_identity": "49a2ba29102ca479201c0c6b51d512e0a0b549ef072937b4e24a9fad26da6a58", "decision_scope": "4ab589add6c05e3d07afd77128a74543bcef97de7b8b40d6c2576468edb0e5c6", "_line": 1894 }, "PROBE_BOUND": { "event": "PROBE_BOUND", "step": 649, "monotonic_ns": 1895385438121631, "wall_time_ms": 1794006337687, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "confidence": 0.98, "choice": "PROMOTE", "source": "semantic_sync", "input_signature": "04a3f3e4fe3be4d09ef90a09e9cbed66ff95d9de0b3671113e3373aed751bf10", "decision_scope": "4ab589add6c05e3d07afd77128a74543bcef97de7b8b40d6c2576468edb0e5c6", "concrete_identity": "49a2ba29102ca479201c0c6b51d512e0a0b549ef072937b4e24a9fad26da6a58", "_line": 1895 }, "PROBE_SELECTED": { "event": "PROBE_SELECTED", "step": 649, "monotonic_ns": 1895385438172216, "wall_time_ms": 1794006337687, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "confidence": 0.98, "choice": "PROMOTE", "source": "semantic_sync", "_line": 1896 }, "PROBE_INPUT_GENERATED": { "event": "PROBE_INPUT_GENERATED", "step": 649, "monotonic_ns": 1895385477795429, "wall_time_ms": 1794006337726, "abstraction_version": 24, "state_id": null, "model_action_id": null, "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "event_count": 2, "_line": 1899 }, "PROBE_INPUT_COMPLETED": { "event": "PROBE_INPUT_COMPLETED", "step": 649, "monotonic_ns": 1895385507940775, "wall_time_ms": 1794006337756, "abstraction_version": 24, "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-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "_line": 1900 }, "PROBE_EXECUTED": { "event": "PROBE_EXECUTED", "step": 650, "monotonic_ns": 1895386731378395, "wall_time_ms": 1794006338980, "abstraction_version": 24, "state_id": "g13s49", "model_action_id": "g13a696", "entry_id": "semantic-21-c5", "request_id": "semantic-21", "candidate_id": "c5", "confidence": 0.98, "choice": "PROMOTE", "transition_id": "g24e521:642", "target_state": "g13s49", "input_confirmed": true, "_line": 1902 } }, "lifecycle_refs": { "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1893", "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1894", "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1895", "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1896", "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1899", "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1900", "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1902" }, "confirmed_inputs_before_decision": 641, "exact_identity_prior_input_ids": [ "input-958" ], "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [ "input-696", "input-759", "input-958", "input-1228", "input-1428", "input-1606", "input-2223", "input-2369", "input-2601", "input-3063", "input-3134", "input-3149", "input-3159", "input-3424", "input-3439" ], "before": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#d88171fb", "Activity Diary", "What are you doing?", "Add Activity", "7B1FA2", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map" ], "identity": "357b61394cef49c0e5d893e5f1e19c13cf202d6d258309d80dafd6d9ef254b70", "controls": [ { "label": "#d88171fb", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "7B1FA2", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 956 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 956, 693, 1017 ] } ] }, "after": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#d88171fb", "Activity Diary", "What are you doing?", "Add Activity", "7B1FA2", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map" ], "identity": "357b61394cef49c0e5d893e5f1e19c13cf202d6d258309d80dafd6d9ef254b70", "controls": [ { "label": "#d88171fb", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 189 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 2252, 63, 2400, 189 ] }, { "label": "7B1FA2", "resource_id": "de.rampro.activitydiary:id/search_src_text", "class": "android.widget.AutoCompleteTextView", "bounds": [ 1433, 78, 2126, 173 ] }, { "label": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "class": "android.widget.ImageView", "bounds": [ 2126, 63, 2231, 189 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 578, 693, 704 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 704, 693, 830 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 830, 693, 956 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 956, 693, 1017 ] } ] }, "new_state": false, "new_model_action": false, "target_state": "g13s49", "new_methods_2s": 0, "new_methods_10s": 1, "new_methods_before_next_action": 0, "new_methods_input_start_to_next_action": 0, "execution_observation": "Map 输入被确认，但后图仍为主页面与侧栏，只有空白/缺失活动提示；本次没有观察到地图页。", "following_actions": [ { "input_id": "input-3515", "step": 650, "version": 24, "elapsed_s": 946.862, "wall_time_ms": 1794006338990, "next_input_wall_ms": 1794006338991, "input_completed_wall_ms": 1794006339021, "input_confirmed": true, "action": "MODEL_CLICK Add Activity", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "model_action_id": "g13a688", "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=\"de.rampro.activitydiary:id/action_add_activity\"][@text=\"\"][@content-desc=\"Add Activity\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g13s49", "source_gui_id": 741, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "activity_evidence": "GUI receipt", "labels": [ "#d88171fb", "Activity Diary", "What are you doing?", "Add Activity", "7B1FA2", "Clear query", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map" ], "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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:60653", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3516.json" }, { "input_id": "other-3518", "step": 650, "version": 24, "elapsed_s": 946.863, "wall_time_ms": 1794006338991, "next_input_wall_ms": 1794006349181, "input_completed_wall_ms": null, "input_confirmed": false, "action": "FUZZ FUZZ", "action_type": "FUZZ", "text": null, "content_desc": null, "resource_id": null, "model_action_id": null, "concrete_identity": null, "state_id": "g13s49", "source_gui_id": null, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "activity_evidence": null, "labels": null, "probe": false, "strategy": "EARLY_STAGE", "context": "exploration", "native_branch": "Local Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:60653", "observed_methods_until_next": 1, "category_counts": { "third_party": 1 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3520.json" }, { "input_id": "input-3524", "step": 651, "version": 24, "elapsed_s": 957.053, "wall_time_ms": 1794006349181, "next_input_wall_ms": 1794006350399, "input_completed_wall_ms": 1794006349206, "input_confirmed": true, "action": "MODEL_CLICK Delete activity", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Delete activity", "resource_id": "de.rampro.activitydiary:id/action_edit_delete", "model_action_id": "g20a1552", "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=\"de.rampro.activitydiary:id/action_edit_delete\"][@text=\"\"][@content-desc=\"Delete activity\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g20s117", "source_gui_id": 742, "activity": "de.rampro.activitydiary.ui.generic.EditActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:60758", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3525.json" }, { "input_id": "input-3529", "step": 652, "version": 24, "elapsed_s": 958.271, "wall_time_ms": 1794006350399, "next_input_wall_ms": 1794006351670, "input_completed_wall_ms": 1794006350689, "input_confirmed": true, "action": "MODEL_BACK NA", "action_type": "MODEL_BACK", "text": null, "content_desc": null, "resource_id": null, "model_action_id": "g13a697", "concrete_identity": null, "state_id": "g13s49", "source_gui_id": 743, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "probe": false, "strategy": "EARLY_STAGE", "context": "exploration", "native_branch": "Local Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:60836", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3530.json" }, { "input_id": "input-3534", "step": 653, "version": 24, "elapsed_s": 959.542, "wall_time_ms": 1794006351670, "next_input_wall_ms": 1794006352586, "input_completed_wall_ms": 1794006351704, "input_confirmed": true, "action": "MODEL_CLICK Clear query", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Clear query", "resource_id": "de.rampro.activitydiary:id/search_close_btn", "model_action_id": "g13a691", "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.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/action_filter\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageView\"][@resource-id=\"de.rampro.activitydiary:id/search_close_btn\"][@text=\"\"][@content-desc=\"Clear query\"][@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": "g13s49", "source_gui_id": 744, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:60932", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3535.json" } ], "execution_receipt": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g24e521-642.json", "screenshots": { "before_screenshot": { "local": "screenshots/semantic-21-c5-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/screenshots/step-649-gui-740-3507.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794006337724 }, "after_screenshot": { "local": "screenshots/semantic-21-c5-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/screenshots/step-650-gui-741-3513.png", "alignment": "identity_verified", "capture_wall_time_ms": 1794006338976 } }, "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_2b38f68437b6480c8f26d01cec61b440/probes/semantic-21-c5.json", "source_references": { "request": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-request-semantic-21.json", "response": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-21.json", "local_audit": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/reviews/semantic-21.json", "execution": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g24e521-642.json" }, "frozen_receipts_sha256": { "request-receipt.json": "d554ca536d308a587ac6b0ef057199cda8df1b42c2edd3e72250df0d8187cbdf", "response-receipt.json": "c507f768b28b89415048a9479bb5c42dec1bc86589fc902d768507c8479e3853", "model-input.json": "5cafae4560b4977df991d54d651ece7564468fdb3b12699224f3a7f57d36e136", "local-audit-not-sent-to-model.json": "635c6f97a23fcd9149e378905dc4f454c764394f89767e006c2ca7eb35fc9740" } }