{ "run_id": "run_200afe1a53af49e489506f56987c30c6", "app": "activitydiary", "provider": "STARTLUX", "entry_id": "semantic-31-c1", "step": 571, "elapsed_s": 907.015, "candidate_id": "c1", "state_id": "g18s77", "model_action": "g18a1139", "concrete_action": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "node_path": "0-5-0-0-6-6", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Edit Act", "content_desc": "", "bounds": [ 42, 1229, 693, 1355 ], "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": "Edit Activities", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 6, "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 1229, 693, 1355 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Edit Activities", "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_activity_manager", "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_activity_manager" }, "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-31", "request_step": 571, "request_send_event": { "event": "JEV_REQUEST_SENT", "step": 571, "monotonic_ns": 1880373958565220, "wall_time_ms": 1793991326207, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": null, "request_id": "semantic-31", "review_id": "run-6ad5dbcce02e9:semantic:89", "candidate_count": 2, "pair_count": 6, "request_bytes": 29382, "wait_mode": "synchronous", "attempt": 1, "input_fingerprint": "684831edd0231394e7d728886bae0b642856df463f16b0c14c23e0a447e1dd88", "_line": 1811 }, "decision_event": { "event": "DECISION_PROBE", "step": 571, "monotonic_ns": 1880374825127568, "wall_time_ms": 1793991327074, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "confidence": 0.9193848669528961, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "194f4c66fdea6d48291978ac1da603e2e60711c43665f552f7771dfe2c08d919", "concrete_identity": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "decision_scope": "3a6dbcd2806e59e2aff4e3e7d6b20a581ab24841457c1023933bf61fc00753bb", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-31", "aggregation_policy": "exploratory-top3-v1", "total_history": 7, "history_complete": false, "unknown_mapping_count": 1, "recoverable_history_count": 7, "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": 1814 }, "decision_step": 571, "decision_wall_time_ms": 1793991327074, "model_input_cutoff_wall_ms": 1793991326207, "execute_wall_time_ms": 1793991327169, "model": "StartLux-Decision-4B", "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:StartLux-Decision-4B:incremental-candidate-closure-v2", "input_fingerprint": "684831edd0231394e7d728886bae0b642856df463f16b0c14c23e0a447e1dd88", "evidence_view": "incremental-candidate-closure-v2", "control": "Edit Activities", "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": { "c1": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Edit Activities", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 6, "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 1229, 693, 1355 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Edit Activities", "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_activity_manager", "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_activity_manager" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "c2": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Settings", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 8, "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_settings\"][@text=\"\"][@content-desc=\"\"][@index=8][@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=\"Settings\"][@content-desc=\"\"][@index=8][@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 1400, 693, 1526 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "Settings", "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_settings", "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_settings" }, "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": "About", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 9, "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 1526, 693, 1652 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "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_about", "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_about" }, "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='false']/*[@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 725, 693, 851 ], "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": "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='false']/*[@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 599, 693, 725 ], "source_page_id": "page4", "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" } }, "page_operation_context": { "columns": [ "id", "action_type", "class", "resource_id", "text_max64", "enabled" ], "actions": [], "view": "lightweight inventory; target subtree/parent/local context only for compared candidates" } }, "pair_records": [ { "request_id": "semantic-31", "pair_id": "p1", "candidate_id": "c1", "history_id": "h1", "choice": "DIFFERENT_OPERATION", "confidence": 0.9193848669528961, "probabilities": { "SAME_OPERATION": 0.032246366143226624, "DIFFERENT_OPERATION": 0.9462565779685974, "INSUFFICIENT_EVIDENCE": 0.021496962755918503 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-31.json", "original_question": { "type": "choice", "criteria": { "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.", "DIFFERENT_OPERATION": "Different application-function operations.", "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably." }, "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "confidence": 0.9193848669528961, "probabilities": { "SAME_OPERATION": 0.032246366143226624, "DIFFERENT_OPERATION": 0.9462565779685974, "INSUFFICIENT_EVIDENCE": 0.021496962755918503 } }, "model_visible_history": { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 9, "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 1526, 693, 1652 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "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_about", "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_about" }, "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": 326, "source_gui_timestamp": 255, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-1389", "history_step": 255, "history_row": { "input_id": "input-1389", "step": 255, "version": "18", "elapsed_s": "407.795", "action": "MODEL_CLICK About", "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "state_id": "g18s77", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-1392.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:25887", "wall_time_ms": 1793990827949, "source_gui_id": 326, "source_gui_timestamp": 255, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "content_desc": "", "bounds": [ 42, 1526, 693, 1652 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#3e6b9b65", "Activity Diary", "What are you doing?", "Add Activity", "Search", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map", "Edit Activities", "Settings", "About", "Privacy Policy" ], "identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "controls": [ { "label": "#3e6b9b65", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 935, 73, 1080, 199 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 808, 73, 935, 199 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ] }, { "label": "Edit Activities", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ] }, { "label": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ] }, { "label": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ] }, { "label": "Privacy Policy", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.generic.AboutActivity", "labels": [ "#87f83ae2", "About", "Logo of activitydiary", "Activity Diary\n\nversion 1.4.2\n\nLicense\n\nActivity Diary is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License\n\nThis program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.\n\nPrivacy Policy\n\nActivity Diary and its authors have a deep interest to respect your privacy. The nature of this app is to track and store your activites and where and how you do them. Nevertheless it is your data in your hands and is not transmitted to any server or external party by the app without your explicit request. Read the full privacy policy.\n\nContact\n\nFor bugs and suggestions use the issue tacker, preferably in English language.\n\nSource code can be found on Github.\n\nSupport\n\nIn case you want to support the development of Activity Diary consider discussing issues on github, translating on crowdin or donation on Liberapay.\n\nContributors\n\nRaphael Mack (developer)\n\nMurtala Umar (Indonesian translation)\n\nTommaso and Tiwi90 (Italian translation)\n\nJC Abuyot (Graphics)\n\nBc. Ondrej Janitor\n\nViktor Fedenyov (Russian translation)\n\nSam Partee\n\nWe are looking forward to mention your name in this list, too.\n\nLibraries\n\nThe following libraries are used by this application and licensed under the named licenses:\n\nMPAndroidChart by Philipp Jahoda, license APACHE-2.0\n\nosmdroid, license APACHE-2.0\n\nAndroid Material Color Picker Dialog by Simone Pessotto, license APACHE-2.0\n\nACRA - Application Crash Reports for Android, license APACHE-2.0\n\nPicasso, license APACHE-2.0\n\nappcompat, cardview, constraint-layout, recyclerview, material, preference, exifinterface, lifecycle license APACHE-2.0\n\n" ], "identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "controls": [ { "label": "#87f83ae2", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-326-t255-1390.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-327-t256-1396.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 255, "abstraction_version": 18, "wall_time_ms": 1793990827950, "monotonic_ns": 1879875701515976, "gui_id": 326, "gui_timestamp": 255, "capture_phase": "history_before_input", "capture_started_ns": 1879875701517123, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879875756956373, "capture_wall_time_ms": 1793990828006, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-255-gui-326-1391.png", "completion_path": "jev-audit/screenshots/step-255-gui-326-1391.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 256, "abstraction_version": 18, "wall_time_ms": 1793990828914, "monotonic_ns": 1879876665466652, "gui_id": 327, "gui_timestamp": 256, "capture_phase": "history_first_native_target", "capture_started_ns": 1879876665467286, "activity": "de.rampro.activitydiary.ui.generic.AboutActivity", "capture_finished_ns": 1879876707506107, "capture_wall_time_ms": 1793990828956, "alignment": "identity_verified", "expected_observation_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "before_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "after_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-256-gui-327-1397.png", "completion_path": "jev-audit/screenshots/step-256-gui-327-1397.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g18e204-252.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "About", "node_id": 29, "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_about" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1793990828958, "native_transition": { "event": "NATIVE_TRANSITION", "step": 256, "monotonic_ns": 1879876709279621, "wall_time_ms": 1793990828958, "abstraction_version": 18, "state_id": "g18s77", "model_action_id": "g18a1139", "transition_id": "g18e204:252", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g17s73", "input_confirmed": true, "_line": 700 }, "native_transition_receipt": { "transition_id": "g18e204:252", "native_edge_id": "g18e204", "native_history_position": 251, "source_gui_timestamp": 255, "target_gui_timestamp": 256, "state_id": "g18s77", "model_action_id": "g18a1139", "source_gui_id": 326, "target_gui_id": 327, "abstraction_version": 18, "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g18e204-252.json" }, "target_activity_from_native": "de.rampro.activitydiary.ui.generic.AboutActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "content_desc": "", "bounds": [ 42, 1526, 693, 1652 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-326-t255-1390.json", "gui_id": 326, "gui_timestamp": 255, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 255, "abstraction_version": 18, "wall_time_ms": 1793990827950, "monotonic_ns": 1879875701515976, "gui_id": 326, "gui_timestamp": 255, "capture_phase": "history_before_input", "capture_started_ns": 1879875701517123, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879875756956373, "capture_wall_time_ms": 1793990828006, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-255-gui-326-1391.png", "completion_path": "jev-audit/screenshots/step-255-gui-326-1391.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6ad5dbcce02e9", "step": 255, "abstraction_version": 18, "wall_time_ms": 1793990827949, "monotonic_ns": 1879875700431127, "input_id": "input-1389", "source_gui_id": 326, "source_gui_timestamp": 255, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "class": "android.widget.CheckedTextView", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "text": "About", "content_desc": "", "bounds": [ 42, 1526, 693, 1652 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-326-t255-1390.json", "gui_id": 326, "gui_timestamp": 255, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 255, "abstraction_version": 18, "wall_time_ms": 1793990827950, "monotonic_ns": 1879875701515976, "gui_id": 326, "gui_timestamp": 255, "capture_phase": "history_before_input", "capture_started_ns": 1879875701517123, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879875756956373, "capture_wall_time_ms": 1793990828006, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-255-gui-326-1391.png", "completion_path": "jev-audit/screenshots/step-255-gui-326-1391.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g18e204:252", "receipt": "jev-receipts/transition-g18e204-252.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-327-t256-1396.json", "gui_id": 327, "gui_timestamp": 256, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 256, "abstraction_version": 18, "wall_time_ms": 1793990828914, "monotonic_ns": 1879876665466652, "gui_id": 327, "gui_timestamp": 256, "capture_phase": "history_first_native_target", "capture_started_ns": 1879876665467286, "activity": "de.rampro.activitydiary.ui.generic.AboutActivity", "capture_finished_ns": 1879876707506107, "capture_wall_time_ms": 1793990828956, "alignment": "identity_verified", "expected_observation_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "before_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "after_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-256-gui-327-1397.png", "completion_path": "jev-audit/screenshots/step-256-gui-327-1397.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-31", "pair_id": "p2", "candidate_id": "c1", "history_id": "h2", "choice": "DIFFERENT_OPERATION", "confidence": 0.8284763097763062, "probabilities": { "SAME_OPERATION": 0.08132216334342957, "DIFFERENT_OPERATION": 0.8856508731842041, "INSUFFICIENT_EVIDENCE": 0.03302692994475365 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-31.json", "original_question": { "type": "choice", "criteria": { "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.", "DIFFERENT_OPERATION": "Different application-function operations.", "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably." }, "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h2`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "confidence": 0.8284763097763062, "probabilities": { "SAME_OPERATION": 0.08132216334342957, "DIFFERENT_OPERATION": 0.8856508731842041, "INSUFFICIENT_EVIDENCE": 0.03302692994475365 } }, "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='false']/*[@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 725, 693, 851 ], "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": 329, "source_gui_timestamp": 258, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-1408", "history_step": 258, "history_row": { "input_id": "input-1408", "step": 258, "version": "18", "elapsed_s": "411.171", "action": "MODEL_CLICK Diary", "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "state_id": "g18s77", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-1411.json", "observed_methods_until_next": "55", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:26244", "wall_time_ms": 1793990831325, "source_gui_id": 329, "source_gui_timestamp": 258, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "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, 725, 693, 851 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#d6a135b6", "Activity Diary", "What are you doing?", "Add Activity", "Search", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map", "Edit Activities", "Settings", "About", "Privacy Policy" ], "identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "controls": [ { "label": "#d6a135b6", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 935, 73, 1080, 199 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 808, 73, 935, 199 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ] }, { "label": "Edit Activities", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ] }, { "label": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ] }, { "label": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ] }, { "label": "Privacy Policy", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "labels": [ "#87f83ae2", "Diary", "Search", "TODAY", "Start: 2026.11.07 02:47", "Since a few seconds", "Swimming", "Start: 2026.11.07 02:46", "End: 2026.11.07 02:47 (8 sec)", "Cooking", "End: 2026.11.07 02:46 (16 sec)", "Cinema", "End: 2026.11.07 02:46 (5 sec)", "End: 2026.11.07 02:46 (0 sec)" ], "identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "controls": [ { "label": "#87f83ae2", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 953, 73, 1080, 199 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 210, 1080, 636 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 636, 1080, 978 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 978, 1080, 1320 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 1320, 1080, 1662 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 1662, 1080, 2004 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 2004, 1080, 2337 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-329-t258-1409.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-333-t259-1415.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 258, "abstraction_version": 18, "wall_time_ms": 1793990831325, "monotonic_ns": 1879879076862460, "gui_id": 329, "gui_timestamp": 258, "capture_phase": "history_before_input", "capture_started_ns": 1879879076863141, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879879123784057, "capture_wall_time_ms": 1793990831372, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-258-gui-329-1410.png", "completion_path": "jev-audit/screenshots/step-258-gui-329-1410.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 259, "abstraction_version": 19, "wall_time_ms": 1793990833732, "monotonic_ns": 1879881483039976, "gui_id": 333, "gui_timestamp": 259, "capture_phase": "history_first_native_target", "capture_started_ns": 1879881483040676, "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "capture_finished_ns": 1879881525548788, "capture_wall_time_ms": 1793990833774, "alignment": "identity_verified", "expected_observation_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "before_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "after_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-259-gui-333-1416.png", "completion_path": "jev-audit/screenshots/step-259-gui-333-1416.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g19e206-255.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Diary", "node_id": 23, "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": 1793990833784, "native_transition": { "event": "NATIVE_TRANSITION", "step": 259, "monotonic_ns": 1879881534972454, "wall_time_ms": 1793990833784, "abstraction_version": 19, "state_id": "g18s77", "model_action_id": "g18a1139", "transition_id": "g19e206:255", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g19s79", "input_confirmed": true, "_line": 709 }, "native_transition_receipt": { "transition_id": "g19e206:255", "native_edge_id": "g19e206", "native_history_position": 254, "source_gui_timestamp": 258, "target_gui_timestamp": 259, "state_id": "g18s77", "model_action_id": "g18a1139", "source_gui_id": 329, "target_gui_id": 333, "abstraction_version": 19, "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g19e206-255.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": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "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, 725, 693, 851 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-329-t258-1409.json", "gui_id": 329, "gui_timestamp": 258, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 258, "abstraction_version": 18, "wall_time_ms": 1793990831325, "monotonic_ns": 1879879076862460, "gui_id": 329, "gui_timestamp": 258, "capture_phase": "history_before_input", "capture_started_ns": 1879879076863141, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879879123784057, "capture_wall_time_ms": 1793990831372, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-258-gui-329-1410.png", "completion_path": "jev-audit/screenshots/step-258-gui-329-1410.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6ad5dbcce02e9", "step": 258, "abstraction_version": 18, "wall_time_ms": 1793990831325, "monotonic_ns": 1879879076070678, "input_id": "input-1408", "source_gui_id": 329, "source_gui_timestamp": 258, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "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, 725, 693, 851 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-329-t258-1409.json", "gui_id": 329, "gui_timestamp": 258, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 258, "abstraction_version": 18, "wall_time_ms": 1793990831325, "monotonic_ns": 1879879076862460, "gui_id": 329, "gui_timestamp": 258, "capture_phase": "history_before_input", "capture_started_ns": 1879879076863141, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1879879123784057, "capture_wall_time_ms": 1793990831372, "alignment": "identity_verified", "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-258-gui-329-1410.png", "completion_path": "jev-audit/screenshots/step-258-gui-329-1410.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g19e206:255", "receipt": "jev-receipts/transition-g19e206-255.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-333-t259-1415.json", "gui_id": 333, "gui_timestamp": 259, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 259, "abstraction_version": 19, "wall_time_ms": 1793990833732, "monotonic_ns": 1879881483039976, "gui_id": 333, "gui_timestamp": 259, "capture_phase": "history_first_native_target", "capture_started_ns": 1879881483040676, "activity": "de.rampro.activitydiary.ui.history.HistoryActivity", "capture_finished_ns": 1879881525548788, "capture_wall_time_ms": 1793990833774, "alignment": "identity_verified", "expected_observation_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "before_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "after_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-259-gui-333-1416.png", "completion_path": "jev-audit/screenshots/step-259-gui-333-1416.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-31", "pair_id": "p3", "candidate_id": "c1", "history_id": "h3", "choice": "DIFFERENT_OPERATION", "confidence": 0.6385331749916077, "probabilities": { "SAME_OPERATION": 0.1877916157245636, "DIFFERENT_OPERATION": 0.7590221166610718, "INSUFFICIENT_EVIDENCE": 0.05318621173501015 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-31.json", "original_question": { "type": "choice", "criteria": { "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.", "DIFFERENT_OPERATION": "Different application-function operations.", "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably." }, "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.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", "confidence": 0.6385331749916077, "probabilities": { "SAME_OPERATION": 0.1877916157245636, "DIFFERENT_OPERATION": 0.7590221166610718, "INSUFFICIENT_EVIDENCE": 0.05318621173501015 } }, "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='false']/*[@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": "g18a1139", "source_state_id": "g18s77", "bounds": [ 42, 599, 693, 725 ], "source_page_id": "page4", "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": 521, "source_gui_timestamp": 432, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-2349", "history_step": 432, "history_row": { "input_id": "input-2349", "step": 432, "version": "22", "elapsed_s": "667.513", "action": "MODEL_CLICK Select A", "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "state_id": "g18s77", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-2350.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:42936", "wall_time_ms": 1793991087667, "source_gui_id": 521, "source_gui_timestamp": 432, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "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, 599, 693, 725 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#df61f5b6", "Activity Diary", "What are you doing?", "Add Activity", "Search", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map", "Edit Activities", "Settings", "About", "Privacy Policy" ], "identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "controls": [ { "label": "#df61f5b6", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 943, 73, 1080, 199 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 816, 73, 943, 199 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ] }, { "label": "Edit Activities", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ] }, { "label": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ] }, { "label": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ] }, { "label": "Privacy Policy", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ] } ] }, "target_gui": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#8690306c", "Activity Diary", "What are you doing?", "Add Activity", "Search", "#18616e3b", "#6bedd736", "Cooking", "Statistics", "Note", "Pictures", "STATISTICS", "NOTE", "PICTURES", "Cinema" ], "identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "controls": [ { "label": "#8690306c", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 943, 73, 1080, 199 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 816, 73, 943, 199 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/activity_background", "class": "android.widget.RelativeLayout", "bounds": [ 12, 225, 1038, 351 ] }, { "label": "#18616e3b", "resource_id": "de.rampro.activitydiary:id/fab_attach_picture", "class": "android.widget.ImageButton", "bounds": [ 697, 662, 844, 809 ] }, { "label": "#6bedd736", "resource_id": "de.rampro.activitydiary:id/fab_edit_note", "class": "android.widget.ImageButton", "bounds": [ 891, 662, 1038, 809 ] }, { "label": "Cooking", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 12, 245, 284, 330 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 0, 735, 296, 935 ] }, { "label": "", "resource_id": "de.rampro.activitydiary:id/select_card_view", "class": "android.widget.FrameLayout", "bounds": [ 0, 935, 279, 1135 ] }, { "label": "STATISTICS", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 77, 369, 278, 420 ] }, { "label": "NOTE", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 490, 369, 585, 420 ] }, { "label": "Cooking", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 12, 792, 284, 877 ] }, { "label": "Cinema", "resource_id": "de.rampro.activitydiary:id/activity_name", "class": "android.widget.TextView", "bounds": [ 12, 992, 267, 1077 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-521-t432-2346.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-522-t433-2355.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 432, "abstraction_version": 22, "wall_time_ms": 1793991087622, "monotonic_ns": 1880135373226036, "gui_id": 521, "gui_timestamp": 432, "capture_phase": "before_input_generation", "capture_started_ns": 1880135373227984, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880135415337232, "capture_wall_time_ms": 1793991087664, "alignment": "identity_verified", "expected_observation_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "before_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "after_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-432-gui-521-2348.png", "completion_path": "jev-audit/screenshots/step-432-gui-521-2348.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true }, { "key": "g18a1139|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "7e2c1b0803b87e1a2a0792e5a78f4fb2d3679c74b474c9205d070bed21c0b089", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Map", "text": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "526c96d2163fc7387fcd18c5775391b14ce84353a2d28760023f733bedd3dd31", "node_path": "0-5-0-0-4-4", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Add Acti", "text": "Add Acti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_add_activity\"][@text=\"\"][@content-desc=\"\"][@index=5][@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=\"Add Acti\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "4ba2eace42a4ef455714077bcd3b3e69c3350111dc830ff24b55892b28ff5c9f", "node_path": "0-5-0-0-5-5", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Edit Act", "text": "Edit Act", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "node_path": "0-5-0-0-6-6", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Settings", "text": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_settings\"][@text=\"\"][@content-desc=\"\"][@index=8][@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=\"Settings\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e066f9c059d4c5219b5fb54300c2a6236e763c7e38c8571f9c064196c83cf2b", "node_path": "0-5-0-0-8-8", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|About", "text": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Privacy ", "text": "Privacy ", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_privacy\"][@text=\"\"][@content-desc=\"\"][@index=10][@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=\"Privacy \"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208", "node_path": "0-5-0-0-10-10", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false } ], "resolved_node_count": 9, "selected_concrete": { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "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=Select A|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,599,693,725" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 433, "abstraction_version": 22, "wall_time_ms": 1793991088886, "monotonic_ns": 1880136637136957, "gui_id": 522, "gui_timestamp": 433, "capture_phase": "first_observed_target", "capture_started_ns": 1880136637139886, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880136688091848, "capture_wall_time_ms": 1793991088937, "alignment": "identity_verified", "expected_observation_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "before_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "after_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-433-gui-522-2354.png", "completion_path": "jev-audit/screenshots/step-433-gui-522-2354.png.json", "status": "capture_queued", "side": "target" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g22e356-427.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Select Activity", "node_id": 22, "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": 1793991088941, "native_transition": { "event": "NATIVE_TRANSITION", "step": 433, "monotonic_ns": 1880136692159568, "wall_time_ms": 1793991088941, "abstraction_version": 22, "state_id": "g18s77", "model_action_id": "g18a1139", "transition_id": "g22e356:427", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g22s93", "input_confirmed": true, "_line": 1285 }, "native_transition_receipt": { "transition_id": "g22e356:427", "native_edge_id": "g22e356", "native_history_position": 426, "source_gui_timestamp": 432, "target_gui_timestamp": 433, "state_id": "g18s77", "model_action_id": "g18a1139", "source_gui_id": 521, "target_gui_id": 522, "abstraction_version": 22, "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-6ad5dbcce02e9", "step": 432, "abstraction_version": 22, "wall_time_ms": 1793991087622, "monotonic_ns": 1880135373226036, "gui_id": 521, "gui_timestamp": 432, "capture_phase": "before_input_generation", "capture_started_ns": 1880135373227984, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880135415337232, "capture_wall_time_ms": 1793991087664, "alignment": "identity_verified", "expected_observation_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "before_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "after_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-432-gui-521-2348.png", "completion_path": "jev-audit/screenshots/step-432-gui-521-2348.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true }, { "key": "g18a1139|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "7e2c1b0803b87e1a2a0792e5a78f4fb2d3679c74b474c9205d070bed21c0b089", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Map", "text": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "526c96d2163fc7387fcd18c5775391b14ce84353a2d28760023f733bedd3dd31", "node_path": "0-5-0-0-4-4", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Add Acti", "text": "Add Acti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_add_activity\"][@text=\"\"][@content-desc=\"\"][@index=5][@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=\"Add Acti\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "4ba2eace42a4ef455714077bcd3b3e69c3350111dc830ff24b55892b28ff5c9f", "node_path": "0-5-0-0-5-5", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Edit Act", "text": "Edit Act", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "node_path": "0-5-0-0-6-6", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Settings", "text": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_settings\"][@text=\"\"][@content-desc=\"\"][@index=8][@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=\"Settings\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e066f9c059d4c5219b5fb54300c2a6236e763c7e38c8571f9c064196c83cf2b", "node_path": "0-5-0-0-8-8", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|About", "text": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Privacy ", "text": "Privacy ", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_privacy\"][@text=\"\"][@content-desc=\"\"][@index=10][@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=\"Privacy \"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208", "node_path": "0-5-0-0-10-10", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false } ], "resolved_node_count": 9, "selected_concrete": { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "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=Select A|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,599,693,725" }, "probe_target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 433, "abstraction_version": 22, "wall_time_ms": 1793991088886, "monotonic_ns": 1880136637136957, "gui_id": 522, "gui_timestamp": 433, "capture_phase": "first_observed_target", "capture_started_ns": 1880136637139886, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880136688091848, "capture_wall_time_ms": 1793991088937, "alignment": "identity_verified", "expected_observation_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "before_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "after_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-433-gui-522-2354.png", "completion_path": "jev-audit/screenshots/step-433-gui-522-2354.png.json", "status": "capture_queued", "side": "target" }, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g22e356-427.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": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "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, 599, 693, 725 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-521-t432-2346.json", "gui_id": 521, "gui_timestamp": 432, "snapshot_phase": "review_source_before_submit" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 432, "abstraction_version": 22, "wall_time_ms": 1793991087622, "monotonic_ns": 1880135373226036, "gui_id": 521, "gui_timestamp": 432, "capture_phase": "before_input_generation", "capture_started_ns": 1880135373227984, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880135415337232, "capture_wall_time_ms": 1793991087664, "alignment": "identity_verified", "expected_observation_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "before_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "after_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-432-gui-521-2348.png", "completion_path": "jev-audit/screenshots/step-432-gui-521-2348.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true }, { "key": "g18a1139|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "7e2c1b0803b87e1a2a0792e5a78f4fb2d3679c74b474c9205d070bed21c0b089", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Map", "text": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "526c96d2163fc7387fcd18c5775391b14ce84353a2d28760023f733bedd3dd31", "node_path": "0-5-0-0-4-4", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Add Acti", "text": "Add Acti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_add_activity\"][@text=\"\"][@content-desc=\"\"][@index=5][@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=\"Add Acti\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "4ba2eace42a4ef455714077bcd3b3e69c3350111dc830ff24b55892b28ff5c9f", "node_path": "0-5-0-0-5-5", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Edit Act", "text": "Edit Act", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "node_path": "0-5-0-0-6-6", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Settings", "text": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_settings\"][@text=\"\"][@content-desc=\"\"][@index=8][@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=\"Settings\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e066f9c059d4c5219b5fb54300c2a6236e763c7e38c8571f9c064196c83cf2b", "node_path": "0-5-0-0-8-8", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|About", "text": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Privacy ", "text": "Privacy ", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_privacy\"][@text=\"\"][@content-desc=\"\"][@index=10][@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=\"Privacy \"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208", "node_path": "0-5-0-0-10-10", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false } ], "resolved_node_count": 9, "selected_concrete": { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "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=Select A|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,599,693,725" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "probe_input", "run_id": "run-6ad5dbcce02e9", "step": 432, "abstraction_version": 22, "wall_time_ms": 1793991087667, "monotonic_ns": 1880135418510531, "input_id": "input-2349", "entry_id": "semantic-19-c1", "request_id": "semantic-19", "candidate_id": "c1", "source_gui_id": 521, "source_gui_timestamp": 432, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "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, 599, 693, 725 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": true, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-521-t432-2346.json", "gui_id": 521, "gui_timestamp": 432, "snapshot_phase": "review_source_before_submit" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 432, "abstraction_version": 22, "wall_time_ms": 1793991087622, "monotonic_ns": 1880135373226036, "gui_id": 521, "gui_timestamp": 432, "capture_phase": "before_input_generation", "capture_started_ns": 1880135373227984, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880135415337232, "capture_wall_time_ms": 1793991087664, "alignment": "identity_verified", "expected_observation_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "before_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "after_identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-432-gui-521-2348.png", "completion_path": "jev-audit/screenshots/step-432-gui-521-2348.png.json", "status": "capture_queued", "side": "source", "concrete_actions": [ { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": true }, { "key": "g18a1139|Diary", "text": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937", "node_path": "0-5-0-0-2-2", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Statisti", "text": "Statisti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "7e2c1b0803b87e1a2a0792e5a78f4fb2d3679c74b474c9205d070bed21c0b089", "node_path": "0-5-0-0-3-3", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Map", "text": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "526c96d2163fc7387fcd18c5775391b14ce84353a2d28760023f733bedd3dd31", "node_path": "0-5-0-0-4-4", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Add Acti", "text": "Add Acti", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_add_activity\"][@text=\"\"][@content-desc=\"\"][@index=5][@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=\"Add Acti\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "4ba2eace42a4ef455714077bcd3b3e69c3350111dc830ff24b55892b28ff5c9f", "node_path": "0-5-0-0-5-5", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Edit Act", "text": "Edit Act", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "node_path": "0-5-0-0-6-6", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Settings", "text": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_settings\"][@text=\"\"][@content-desc=\"\"][@index=8][@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=\"Settings\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "0e066f9c059d4c5219b5fb54300c2a6236e763c7e38c8571f9c064196c83cf2b", "node_path": "0-5-0-0-8-8", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|About", "text": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@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=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee", "node_path": "0-5-0-0-9-9", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false }, { "key": "g18a1139|Privacy ", "text": "Privacy ", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_privacy\"][@text=\"\"][@content-desc=\"\"][@index=10][@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=\"Privacy \"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "identity_digest": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208", "node_path": "0-5-0-0-10-10", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "is_probe": false } ], "resolved_node_count": 9, "selected_concrete": { "key": "g18a1139|Select A", "text": "Select A", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ], "action_type": "MODEL_CLICK", "model_action_id": "g18a1139", "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='false']/*[@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": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522", "node_path": "0-5-0-0-1-1", "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=Select A|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,599,693,725" } }, "transitions": [ { "transition_id": "g22e356:427", "receipt": "jev-receipts/transition-g22e356-427.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-522-t433-2355.json", "gui_id": 522, "gui_timestamp": 433, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6ad5dbcce02e9", "step": 433, "abstraction_version": 22, "wall_time_ms": 1793991088886, "monotonic_ns": 1880136637136957, "gui_id": 522, "gui_timestamp": 433, "capture_phase": "first_observed_target", "capture_started_ns": 1880136637139886, "activity": "de.rampro.activitydiary.ui.main.MainActivity", "capture_finished_ns": 1880136688091848, "capture_wall_time_ms": 1793991088937, "alignment": "identity_verified", "expected_observation_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "before_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "after_identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16", "width": 1080, "height": 2400, "path": "jev-audit/screenshots/step-433-gui-522-2354.png", "completion_path": "jev-audit/screenshots/step-433-gui-522-2354.png.json", "status": "capture_queued", "side": "target" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } } ], "history_coverage": { "legal_history_count": 7, "complete": false, "history_collection_complete": false, "recoverable_history_count": 7, "selected_history": 3, "selected_history_ids": [ "h1", "h2", "h3" ], "unknown_mapping_count": 1, "mapping_basis": "live confirmedInputs; current State/ModelAction object links and node Name", "context_recoverable": true }, "all_scope_history_provenance_offline_only": { "h1": { "source_tree": 326, "source_gui_timestamp": 255, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h2": { "source_tree": 329, "source_gui_timestamp": 258, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h3": { "source_tree": 521, "source_gui_timestamp": 432, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h4": { "source_tree": 550, "source_gui_timestamp": 455, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h5": { "source_tree": 562, "source_gui_timestamp": 467, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h6": { "source_tree": 593, "source_gui_timestamp": 498, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h7": { "source_tree": 643, "source_gui_timestamp": 548, "current_state": "g18s77", "current_model_action": "g18a1139", "current_version": 26, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true } }, "pair_cache_hit": false, "candidate_decision": { "candidate_id": "c1", "aggregate_choice": "PROMOTE", "aggregate_confidence": 0.9193848669528961, "parsed_outcome": "PROBE", "ledger_status": "STAGED", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "aggregation_policy": "exploratory-top3-v1", "total_history": 7, "history_complete": false, "unknown_mapping_count": 1, "recoverable_history_count": 7, "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": "3a6dbcd2806e59e2aff4e3e7d6b20a581ab24841457c1023933bf61fc00753bb", "selection_at_execution": { "event": "SELECTION_DECISION", "step": 571, "monotonic_ns": 1880374877188178, "wall_time_ms": 1793991327126, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "snapshot_reason": "selection", "state_visits": 12, "state_first_seen": 255, "state_last_seen": 571, "state_saturated": false, "state_saturation": 0.8, "native_state_saturated": false, "native_unsaturated_model_action_count": 1, "model_action_count": 5, "enabled_valid_action_count": 5, "unsaturated_model_action_count": 1, "unvisited_model_action_count": 1, "effective_unvisited_model_action_count": 1, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 1, "enabled_valid_unvisited_action_count": 1, "unvisited_model_action_ids": "g18a1140", "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": 8, "selected_action_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Edit Act|resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,1229,693,1355", "selected_resolved_node_count": 9, "_line": 1821 }, "prior_same_identity_ledger_events": [], "execution_state_id": "g18s77", "execution_model_action": "g18a1139", "lifecycle": { "DECISION_PROBE": { "event": "DECISION_PROBE", "step": 571, "monotonic_ns": 1880374825127568, "wall_time_ms": 1793991327074, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "confidence": 0.9193848669528961, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "194f4c66fdea6d48291978ac1da603e2e60711c43665f552f7771dfe2c08d919", "concrete_identity": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "decision_scope": "3a6dbcd2806e59e2aff4e3e7d6b20a581ab24841457c1023933bf61fc00753bb", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-31", "aggregation_policy": "exploratory-top3-v1", "total_history": 7, "history_complete": false, "unknown_mapping_count": 1, "recoverable_history_count": 7, "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": 1814 }, "SEMANTIC_DECISION_STORED": { "event": "SEMANTIC_DECISION_STORED", "step": 571, "monotonic_ns": 1880374825480151, "wall_time_ms": 1793991327074, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "decision_role": "candidate_decision", "ledger_status": "PROBE", "input_signature": "194f4c66fdea6d48291978ac1da603e2e60711c43665f552f7771dfe2c08d919", "input_fingerprint": "684831edd0231394e7d728886bae0b642856df463f16b0c14c23e0a447e1dd88", "concrete_identity": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "decision_scope": "3a6dbcd2806e59e2aff4e3e7d6b20a581ab24841457c1023933bf61fc00753bb", "_line": 1816 }, "PROBE_BOUND": { "event": "PROBE_BOUND", "step": 571, "monotonic_ns": 1880374876894047, "wall_time_ms": 1793991327125, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "confidence": 0.9193848669528961, "choice": "PROMOTE", "source": "semantic_sync", "input_signature": "194f4c66fdea6d48291978ac1da603e2e60711c43665f552f7771dfe2c08d919", "decision_scope": "3a6dbcd2806e59e2aff4e3e7d6b20a581ab24841457c1023933bf61fc00753bb", "concrete_identity": "48e8c26830edd8ae32ee1a90c7dc81e9f76ee09ec1425c04faca48bb4dafedb1", "_line": 1818 }, "PROBE_SELECTED": { "event": "PROBE_SELECTED", "step": 571, "monotonic_ns": 1880374876939409, "wall_time_ms": 1793991327125, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "confidence": 0.9193848669528961, "choice": "PROMOTE", "source": "semantic_sync", "_line": 1819 }, "PROBE_INPUT_GENERATED": { "event": "PROBE_INPUT_GENERATED", "step": 571, "monotonic_ns": 1880374921518188, "wall_time_ms": 1793991327170, "abstraction_version": 26, "state_id": null, "model_action_id": null, "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "event_count": 2, "_line": 1822 }, "PROBE_INPUT_COMPLETED": { "event": "PROBE_INPUT_COMPLETED", "step": 571, "monotonic_ns": 1880374957889559, "wall_time_ms": 1793991327206, "abstraction_version": 26, "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-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "_line": 1823 }, "PROBE_EXECUTED": { "event": "PROBE_EXECUTED", "step": 572, "monotonic_ns": 1880376432921597, "wall_time_ms": 1793991328681, "abstraction_version": 26, "state_id": "g18s77", "model_action_id": "g18a1139", "entry_id": "semantic-31-c1", "request_id": "semantic-31", "candidate_id": "c1", "confidence": 0.9193848669528961, "choice": "PROMOTE", "transition_id": "g26e438:561", "target_state": "g26s115", "input_confirmed": true, "_line": 1825 } }, "lifecycle_refs": { "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1814", "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1816", "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1818", "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1819", "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1822", "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1823", "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:1825" }, "confirmed_inputs_before_decision": 560, "exact_identity_prior_input_ids": [], "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [ "input-135", "input-211", "input-1324", "input-1389", "input-1408", "input-1736", "input-2091", "input-2349", "input-2414", "input-2479", "input-2543", "input-2704", "input-2988" ], "before": { "activity": "de.rampro.activitydiary.ui.main.MainActivity", "labels": [ "#df61f5b6", "Activity Diary", "What are you doing?", "Add Activity", "Search", "Logo of activitydiary", "Select Activity", "Diary", "Statistics", "Map", "Edit Activities", "Settings", "About", "Privacy Policy" ], "identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04", "controls": [ { "label": "#df61f5b6", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 935, 73, 1080, 199 ] }, { "label": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "class": "android.widget.ImageView", "bounds": [ 808, 73, 935, 199 ] }, { "label": "Select Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 599, 693, 725 ] }, { "label": "Diary", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 725, 693, 851 ] }, { "label": "Statistics", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 851, 693, 977 ] }, { "label": "Map", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 977, 693, 1103 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1103, 693, 1229 ] }, { "label": "Edit Activities", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1229, 693, 1355 ] }, { "label": "Settings", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1400, 693, 1526 ] }, { "label": "About", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1526, 693, 1652 ] }, { "label": "Privacy Policy", "resource_id": "de.rampro.activitydiary:id/design_menu_item_text", "class": "android.widget.CheckedTextView", "bounds": [ 42, 1652, 693, 1778 ] } ] }, "after": { "activity": "de.rampro.activitydiary.ui.generic.ManageActivity", "labels": [ "#87f83ae2", "Manage activities", "Add Activity", "Show Deleted" ], "identity": "6361d310615593491babec13d6f426b1aac46ddc128b99fbd5e5319c745a26cf", "controls": [ { "label": "#87f83ae2", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 63, 147, 210 ] }, { "label": "Add Activity", "resource_id": "de.rampro.activitydiary:id/action_add_activity", "class": "android.widget.TextView", "bounds": [ 784, 73, 932, 199 ] }, { "label": "Show Deleted", "resource_id": "de.rampro.activitydiary:id/action_show_hide_deleted", "class": "android.widget.TextView", "bounds": [ 932, 73, 1080, 199 ] } ] }, "new_state": true, "new_model_action": true, "target_state": "g26s115", "new_methods_2s": 13, "new_methods_10s": 14, "new_methods_before_next_action": 12, "new_methods_input_start_to_next_action": 12, "execution_observation": "Edit Activities 打开 Manage activities；截图列表为空，仅有添加与显示已删除按钮。", "following_actions": [ { "input_id": "input-3117", "step": 572, "version": 26, "elapsed_s": 908.572, "wall_time_ms": 1793991328726, "next_input_wall_ms": 1793991329654, "input_completed_wall_ms": 1793991328755, "input_confirmed": true, "action": "MODEL_CLICK #87f83ae2", "action_type": "MODEL_CLICK", "text": "#87f83ae2", "content_desc": "Navigate up", "resource_id": "", "model_action_id": "g26a1579", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Navigate up\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g26s115", "source_gui_id": 676, "activity": "de.rampro.activitydiary.ui.generic.ManageActivity", "activity_evidence": "GUI receipt", "labels": [ "#87f83ae2", "Manage activities", "Add Activity", "Show Deleted" ], "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:56935", "observed_methods_until_next": 2, "category_counts": { "app_domain": 2 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3118.json" }, { "input_id": "input-3122", "step": 573, "version": 26, "elapsed_s": 909.5, "wall_time_ms": 1793991329654, "next_input_wall_ms": 1793991330565, "input_completed_wall_ms": 1793991329689, "input_confirmed": true, "action": "MODEL_CLICK Search", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Search", "resource_id": "de.rampro.activitydiary:id/search_button", "model_action_id": "g26a1567", "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_button\"][@text=\"\"][@content-desc=\"Search\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g26s114", "source_gui_id": 677, "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:57012", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3123.json" }, { "input_id": "input-3127", "step": 574, "version": 26, "elapsed_s": 910.411, "wall_time_ms": 1793991330565, "next_input_wall_ms": 1793991332516, "input_completed_wall_ms": 1793991331640, "input_confirmed": true, "action": "MODEL_LONG_CLICK Search…", "action_type": "MODEL_LONG_CLICK", "text": "Search…", "content_desc": "", "resource_id": "de.rampro.activitydiary:id/search_src_text", "model_action_id": "g25a1554", "concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/action_filter\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.AutoCompleteTextView\"][@resource-id=\"de.rampro.activitydiary:id/search_src_text\"][@text=\"Search…\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']", "state_id": "g25s111", "source_gui_id": 678, "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:57092", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3128.json" }, { "input_id": "input-3132", "step": 575, "version": 26, "elapsed_s": 912.362, "wall_time_ms": 1793991332516, "next_input_wall_ms": 1793991335017, "input_completed_wall_ms": 1793991333874, "input_confirmed": true, "action": "MODEL_CLICK Search…", "action_type": "MODEL_CLICK", "text": "Search…", "content_desc": "", "resource_id": "de.rampro.activitydiary:id/search_src_text", "model_action_id": "g25a1553", "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=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.AutoCompleteTextView\"][@resource-id=\"de.rampro.activitydiary:id/search_src_text\"][@text=\"Search…\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']", "state_id": "g25s111", "source_gui_id": 679, "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:57156", "observed_methods_until_next": 0, "category_counts": {}, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3134.json" }, { "input_id": "input-3138", "step": 576, "version": 26, "elapsed_s": 914.863, "wall_time_ms": 1793991335017, "next_input_wall_ms": 1793991335998, "input_completed_wall_ms": 1793991335038, "input_confirmed": true, "action": "MODEL_CLICK