{ "app": "wikipedia", "condition": "JEV_PAIRWISE", "reference": false, "run_id": "run_2f3e76962d00482f8d64ce83ca4d873f", "step": 776, "elapsed_s": "1304.364", "selection": { "event": "SELECTION_DECISION", "step": 776, "monotonic_ns": 1884650366859463, "wall_time_ms": 1793995603463, "abstraction_version": 52, "state_id": "g51s289", "model_action_id": "g51a3162", "snapshot_reason": "selection", "state_visits": 2, "state_first_seen": 775, "state_last_seen": 776, "state_saturated": false, "state_saturation": 0.2, "native_state_saturated": false, "native_unsaturated_model_action_count": 4, "model_action_count": 5, "enabled_valid_action_count": 5, "unsaturated_model_action_count": 4, "unvisited_model_action_count": 4, "effective_unvisited_model_action_count": 4, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 4, "enabled_valid_unvisited_action_count": 4, "unvisited_model_action_ids": "g51a3161,g51a3162,g51a3163,g51a3165", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_SCROLL_BOTTOM_UP", "selected_model_action_saturated": false, "selected_model_action_unvisited": true, "selected_effective_unvisited": true, "selected_navigation_target": true, "selected_model_action_visits": 0, "selected_action_fingerprint": "type=MODEL_SCROLL_BOTTOM_UP|activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ScrollView|text=|resource_id=|bounds=0,231,1080,2337", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-4128", "step": "776", "version": "52", "elapsed_s": "1304.364", "wall_time_ms": "1793995603463", "next_input_wall_ms": "1793995605334", "input_completed_wall_ms": "1793995603835", "input_confirmed": "True", "action": "MODEL_SCROLL_BOTTOM_UP android.widget.ScrollView", "action_type": "MODEL_SCROLL_BOTTOM_UP", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g51a3162", "concrete_identity": "MODEL_SCROLL_BOTTOM_UP|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']", "state_id": "g51s289", "source_gui_id": "1060", "activity": "org.wikipedia.commons.FilePageActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": "NA", "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:72444", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4129.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 777, "monotonic_ns": 1884652183611884, "wall_time_ms": 1793995605280, "abstraction_version": 52, "state_id": "g51s289", "model_action_id": "g51a3162", "transition_id": "g52e642:768", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g52s291", "input_confirmed": true }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_2f3e76962d00482f8d64ce83ca4d873f/run_2f3e76962d00482f8d64ce83ca4d873f-step-776-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/ape-state-screenshots/g51s289-775.png", "capture_step": 775, "requested_step": 776, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_2f3e76962d00482f8d64ce83ca4d873f/run_2f3e76962d00482f8d64ce83ca4d873f-step-776-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/ape-state-screenshots/g52s291-777.png", "capture_step": 777, "requested_step": 777, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:72444", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [776][Elapsed: 0000 00:21:44]", "[APE] *** INFO *** Explored 22 app activities.", "[APE] *** INFO *** Used: 31 MB, Max: 192 MB, Available: 161 MB", "[APE] *** INFO *** Recover current states and actions...", "[APE] *** INFO *** > recovered current state: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** > recovered current action: g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1203,1038,1266][]", "[APE] *** INFO *** Create state g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] for GUI tree GUITree[1057@0]@g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking new state: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] for GUI tree GUITree[1058@0]@g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] for GUI tree GUITree[1059@0]@g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] for GUI tree GUITree[1060@0]@g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] is excluded from future refresh checks.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] Action: g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][954,796,1038,859][]", "[APE] Target: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] Add target result: true", "[APE] GSTG(g52): activities (21), states (224), edges (642), unvisited actions (1930), visited actions (611)", "[APE] *** INFO *** - 0.18 34 org.wikipedia.main.MainActivity[1,763][112][S=34]", "[APE] *** INFO *** - 0.35 11 org.wikipedia.feed.configure.ConfigureActivity[675,751][65][S=11]", "[APE] *** INFO *** - 0.35 2 org.wikipedia.donate.GooglePayActivity[417,424][7][S=2]", "[APE] *** INFO *** - 0.27 9 org.wikipedia.talk.TalkTopicsActivity[44,251][39][S=9]", "[APE] *** INFO *** - 0.16 27 org.wikipedia.search.SearchActivity[23,536][76][S=27]", "[APE] *** INFO *** - 0.31 11 org.wikipedia.settings.languages.WikipediaLanguagesActivity[99,756][42][S=11]", "[APE] *** INFO *** - 0.15 1 org.wikipedia.usercontrib.UserContribListActivity[259,280][2][S=1]", "[APE] *** INFO *** - 0.21 43 org.wikipedia.page.PageActivity[22,764][150][S=43]", "[APE] *** INFO *** - 0.16 9 org.wikipedia.diff.ArticleEditDetailsActivity[260,283][23][S=9]", "[APE] *** INFO *** - 0.30 4 org.wikipedia.settings.SettingsActivity[410,759][17][S=4]", "[APE] *** INFO *** - 0.57 3 org.wikipedia.commons.FilePageActivity[9,776][11][S=3]", "[APE] *** INFO *** - 0.26 7 org.wikipedia.page.edithistory.EditHistoryListActivity[31,322][21][S=7]", "[APE] *** INFO *** - 0.19 8 org.wikipedia.readinglist.ReadingListActivity[107,238][21][S=8]", "[APE] *** INFO *** - 0.14 3 org.wikipedia.language.LanguagesListActivity[148,743][11][S=3]", "[APE] *** INFO *** - 0.23 11 org.wikipedia.talk.TalkReplyActivity[62,160][41][S=11]", "[APE] *** INFO *** - 0.56 3 org.wikipedia.gallery.GalleryActivity[431,774][27][S=3]", "[APE] *** INFO *** - 0.36 11 org.wikipedia.page.tabs.TabActivity[163,623][43][S=11]", "[APE] *** INFO *** - 0.52 4 org.wikipedia.login.LoginActivity[368,670][24][S=4]", "[APE] *** INFO *** - 0.27 4 org.wikipedia.talk.TalkTopicActivity[250,258][14][S=4]", "[APE] *** INFO *** - 0.18 7 org.wikipedia.language.LangLinksActivity[309,520][17][S=7]", "[APE] *** INFO *** - 0.45 12 org.wikipedia.createaccount.CreateAccountActivity[362,734][122][S=12]", "[APE] GSTG is updated.", "[APE] GSTG state is NOT changed.", "[APE] Graph Stable Counter: graph (0), state (1), activity (1)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 24 USE_BUFFER", "[APE] 748 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 34 BUFFER_LOSS", "[APE] 131 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 3 PROBE", "[APE] 1 g51a3161[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,73,147,220][#f1409233]", "[APE] 2 g51a3162[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][]", "[APE] 3 g51a3163[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][]", "[APE] 4 g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][954,796,1038,859][]", "[APE] 5 g51a3165[-1,0][0]@MODEL_BACKg51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g51a3162[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][]", "[APE] *** INFO *** - g51a3163[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** > - B: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Never move from a cold state (g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]) to a hot state (g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Select action g51a3162[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] Curr action: g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][954,796,1038,859][]", "[APE] New state: g51s289[775,776][2]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]", "[APE] New action: g51a3162[776,776][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][0,231,1080,2337][]", "[APE] >>>>>>>> SATA end step [776]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_SCROLL_BOTTOM_UP|activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ScrollView|text=|resource_id=|bounds=0,231,1080,2337 target_fp=activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ScrollView|text=|resource_id= action=g51a3162[776,776][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][0,231,1080,2337][]", ":Sending Touch (ACTION_DOWN): 0:(540.0,1284.0)", ":Sending Touch (ACTION_UP): 0:(540.0,63.0)" ], "limitation": "Methods grouped by nearest preceding inventoried input; a FUZZ batch has no per-low-level-event timestamp. The following Transition may be absent; no business success is inferred." }