{ "app": "omninotes", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_0c300af1c9614168998ce1f37b6aadfe", "step": 1286, "elapsed_s": "2048.748", "selection": { "event": "SELECTION_DECISION", "step": 1286, "monotonic_ns": 1881572607936328, "wall_time_ms": 1793992525017, "abstraction_version": 13, "state_id": "g11s39", "model_action_id": "g11a311", "snapshot_reason": "selection", "state_visits": 33, "state_first_seen": 100, "state_last_seen": 1286, "state_saturated": true, "state_saturation": 1, "native_state_saturated": true, "native_unsaturated_model_action_count": 0, "model_action_count": 5, "enabled_valid_action_count": 5, "unsaturated_model_action_count": 0, "unvisited_model_action_count": 0, "effective_unvisited_model_action_count": 0, "effective_state_saturated": true, "local_probe_action_count": 0, "navigation_action_count": 0, "enabled_valid_unvisited_action_count": 0, "unvisited_model_action_ids": "", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_BACK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 7, "selected_action_fingerprint": "type=MODEL_BACK", "selected_resolved_node_count": 0 }, "inputs": [ { "input_id": "other-7239", "step": "1286", "version": "13", "elapsed_s": "2048.748", "wall_time_ms": "1793992525018", "next_input_wall_ms": "1793992530352", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "EVENT_CLEAN_RESTART EVENT_CLEAN_RESTART", "action_type": "EVENT_CLEAN_RESTART", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g11s39", "source_gui_id": "NA", "activity": "NA", "activity_evidence": "NA", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "Remote Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:97939", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/other-7240.json" } ], "following_transition": {}, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-1286-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g11s39-100.png", "capture_step": 100, "requested_step": 1286, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": null, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:97939", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [1286][Elapsed: 0000 00:34:08]", "[APE] *** INFO *** Explored 9 app activities.", "[APE] *** INFO *** Used: 31 MB, Max: 192 MB, Available: 161 MB", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/title@ບັນທຶກ", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/title@ເກັບຮັກສ", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@@", "[APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/title@ຖັງຂີ້ເຫ", "[APE] *** INFO *** Patching this node: android.widget.LinearLayout@it.feio.android.omninotes:id/settings_view@", "[APE] *** INFO *** Patching child node: android.widget.TextView@it.feio.android.omninotes:id/settings@ການ​ຕັ້ງ", "[APE] *** INFO *** Create state g11s39[100,1274][32]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5] for GUI tree GUITree[1404@0]@g11s39[100,1274][32]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** State g11s39[100,1274][32]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5] is excluded from refresh check.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g11s39[100,1274][32]it.feio.android.omninotes.MainActivity@-463044002@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: g12s101[607,1285][82]it.feio.android.omninotes.MainActivity@1490552045@Naming[0]@[W=6][A=9]", "[APE] Action: g12a996[607,1285][8]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,63,147,210][#d8decfbf]", "[APE] Target: g11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5]", "[APE] Add target result: false", "[APE] GSTG(g13): activities (8), states (130), edges (755), unvisited actions (767), visited actions (639)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.62 17 it.feio.android.omninotes.SettingsActivity[44,415][173][S=17]", "[APE] *** INFO *** - 0.42 4 it.feio.android.omninotes.SnoozeActivity[483,1146][16][S=4]", "[APE] *** INFO *** - 0.41 96 it.feio.android.omninotes.MainActivity[1,1286][973][S=96]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.AboutActivity[399,401][2][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,1099][4][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.StatsActivity[380,382][2][S=1]", "[APE] *** INFO *** - 0.64 7 it.feio.android.omninotes.PasswordActivity[104,688][137][S=7]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (1), state (0), activity (1)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 157 USE_BUFFER", "[APE] 998 EARLY_STAGE", "[APE] 104 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 118 BUFFER_LOSS", "[APE] 340 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 26 PROBE", "[APE] 1 g11a307[151,151][1]@MODEL_CLICKclass=android.widget.ListView;resource-id=it.feio.android.omninotes:id/drawer_tag_list;enabled=true;long-clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,906,840,1032][]", "[APE] 2 g11a308[100,100][1]@MODEL_LONG_CLICKclass=android.widget.ListView;resource-id=it.feio.android.omninotes:id/drawer_tag_list;enabled=true;long-clickable=true;[P=6][T=0][][S=1.000000][RN=1][0,906,840,1032][]", "[APE] 3 g11a309[150,997][15]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/title;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=3][116,529,798,655][ເກັບຮັກສ]", "[APE] 4 g11a310[101,406][8]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/settings;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][116,780,798,906][ການ​ຕັ້ງ]", "[APE] 5 g11a311[156,1274][7]@MODEL_BACKg11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5][P=8][T=0][]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** > - B: g12s101[607,1285][82]it.feio.android.omninotes.MainActivity@1490552045@Naming[0]@[W=6][A=9]", "[APE] *** INFO *** Never move from a cold state (g11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5]) to a hot state (g12s101[607,1285][82]it.feio.android.omninotes.MainActivity@1490552045@Naming[0]@[W=6][A=9]) in ABA.", "[APE] *** INFO *** List trivial activities.", "[APE] *** INFO *** - it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - it.feio.android.omninotes.SnoozeActivity[483,1146][16][S=4]", "[APE] *** INFO *** Find a path (1/1) to state g12s101[607,1285][82]it.feio.android.omninotes.MainActivity@1490552045@Naming[0]@[W=6][A=9] for backtrack.", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g13e748[1275,1307][4]@[H(4),M(0),T(0.000000)] g11s39 =[g11a311]=> g12s101", "[APE] *** INFO *** Select action g11a311[156,1274][7]@MODEL_BACKg11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5][P=8][T=200][] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: g12s101[607,1285][82]it.feio.android.omninotes.MainActivity@1490552045@Naming[0]@[W=6][A=9]", "[APE] Curr action: g12a996[607,1285][8]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,63,147,210][#d8decfbf]", "[APE] New state: g11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5]", "[APE] New action: g11a311[156,1286][8]@MODEL_BACKg11s39[100,1286][33]it.feio.android.omninotes.MainActivity@-463044002@Naming[0]@[W=4][A=5][P=8][T=200][]", "[APE] >>>>>>>> SATA end step [1286]", "[APE] *** INFO *** Try to restart package it.feio.android.omninotes for start action", "[APE] Stop all packages, retry count 9", "[APE] Try to stop package it.feio.android.omninotes", "[APE] *** INFO *** Package it.feio.android.omninotes has been stopped", "[APE] *** INFO *** Try to grant saved permission to it.feio.android.omninotes for clearing package... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_COARSE_LOCATION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_COARSE_LOCATION is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_FINE_LOCATION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_FINE_LOCATION is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.VIBRATE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.VIBRATE is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.RECEIVE_BOOT_COMPLETED to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.RECEIVE_BOOT_COMPLETED is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.RECORD_AUDIO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.RECORD_AUDIO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_EXTERNAL_STORAGE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_EXTERNAL_STORAGE is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_IMAGES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_IMAGES is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_VIDEO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_VIDEO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_AUDIO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_AUDIO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.alarm.permission.SET_ALARM to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.alarm.permission.SET_ALARM is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.launcher.permission.INSTALL_SHORTCUT to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.launcher.permission.INSTALL_SHORTCUT is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.launcher.permission.UNINSTALL_SHORTCUT to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.launcher.permission.UNINSTALL_SHORTCUT is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.pushbullet.android.permission.READ_MESSAGING_EXTENSION_DATA to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.pushbullet.android.permission.READ_MESSAGING_EXTENSION_DATA is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.pushbullet.android.permission.SEND_MESSAGES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.pushbullet.android.permission.SEND_MESSAGES is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.WAKE_LOCK to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.WAKE_LOCK is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.SCHEDULE_EXACT_ALARM to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.SCHEDULE_EXACT_ALARM is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.POST_NOTIFICATIONS to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.POST_NOTIFICATIONS is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_NETWORK_STATE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_NETWORK_STATE is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.google.android.providers.gsf.permission.READ_GSERVICES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.google.android.providers.gsf.permission.READ_GSERVICES is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.google.android.gms.permission.ACTIVITY_RECOGNITION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.google.android.gms.permission.ACTIVITY_RECOGNITION is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.INTERNET to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.INTERNET is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission it.feio.android.omninotes.DYNAMIC_RECEIVER_NOT_EXPORTED_PERMISSION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission it.feio.android.omninotes.DYNAMIC_RECEIVER_NOT_EXPORTED_PERMISSION is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_VISUAL_USER_SELECTED to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_VISUAL_USER_SELECTED is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Let's wait for activity loading...", ":Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=it.feio.android.omninotes/.MainActivity;end", ":Switch with shell: it.feio.android.omninotes/.MainActivity", " // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=it.feio.android.omninotes/.MainActivity } in package it.feio.android.omninotes", " // Allowing start of Intent { cmp=it.feio.android.omninotes/.intro.IntroActivity } in package it.feio.android.omninotes", "[APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded...", "[APE] *** INFO *** App Activity it.feio.android.omninotes.intro.IntroActivity started." ], "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." }