{ "app": "omninotes", "condition": "startlux-p1-fixab-9a5b577", "reference": true, "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa", "step": 284, "elapsed_s": "439.197", "selection": { "event": "SELECTION_DECISION", "step": 284, "monotonic_ns": 1777713253257161, "wall_time_ms": 1793888665662, "abstraction_version": 11, "state_id": "g11s66", "model_action_id": "g11a596", "snapshot_reason": "selection", "state_visits": 2, "state_first_seen": 282, "state_last_seen": 284, "state_saturated": false, "state_saturation": 0.06666667, "native_state_saturated": false, "native_unsaturated_model_action_count": 14, "model_action_count": 15, "enabled_valid_action_count": 15, "unsaturated_model_action_count": 14, "unvisited_model_action_count": 14, "effective_unvisited_model_action_count": 14, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 14, "enabled_valid_unvisited_action_count": 14, "unvisited_model_action_ids": "g11a584,g11a586,g11a587,g11a588,g11a589,g11a590,g11a591,g11a592,g11a593,g11a594,g11a595,g11a596,g11a597,g11a598", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_CLICK", "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_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#a123f458|resource_id=it.feio.android.omninotes:id/fab_checklist|bounds=886,1798,1038,1950", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-1535", "step": "284", "version": "11", "elapsed_s": "439.197", "wall_time_ms": "1793888665663", "next_input_wall_ms": "1793888666619", "input_completed_wall_ms": "1793888665690", "input_confirmed": "True", "action": "MODEL_CLICK #a123f458", "action_type": "MODEL_CLICK", "text": "#a123f458", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/fab_checklist", "model_action_id": "g11a596", "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=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"it.feio.android.omninotes:id/fab\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"it.feio.android.omninotes:id/fab_checklist\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g11s66", "source_gui_id": "368", "activity": "it.feio.android.omninotes.MainActivity", "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_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:21122", "observed_methods_until_next": "4", "category_counts": "{\"app_domain\":4}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1536.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 285, "monotonic_ns": 1777714156573162, "wall_time_ms": 1793888666566, "abstraction_version": 11, "state_id": "g11s66", "model_action_id": "g11a596", "transition_id": "g11e190:279", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g11s67", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793888665688.0", "log_line": "22274", "category": "app_domain", "library": "app_domain", "elapsed_s": "439.222", "input_id": "input-1535", "step": "284", "action": "MODEL_CLICK #a123f458", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1536.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:22274" }, { "method": "", "wall_time_ms": "1793888665689.0", "log_line": "22275", "category": "app_domain", "library": "app_domain", "elapsed_s": "439.223", "input_id": "input-1535", "step": "284", "action": "MODEL_CLICK #a123f458", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1536.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:22275" }, { "method": "", "wall_time_ms": "1793888665689.0", "log_line": "22276", "category": "app_domain", "library": "app_domain", "elapsed_s": "439.223", "input_id": "input-1535", "step": "284", "action": "MODEL_CLICK #a123f458", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1536.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:22276" }, { "method": "", "wall_time_ms": "1793888665862.0", "log_line": "22525", "category": "app_domain", "library": "app_domain", "elapsed_s": "439.396", "input_id": "input-1535", "step": "284", "action": "MODEL_CLICK #a123f458", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-1536.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:22525" } ], "first_method_count": 4, "category_counts": { "app_domain": 4 }, "libraries": { "app_domain": 4 }, "source_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-284-before.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g11s66-282.png", "capture_step": 282, "requested_step": 284, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-284-after.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g11s67-285.png", "capture_step": 285, "requested_step": 285, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:21122", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [284][Elapsed: 0000 00:07:19]", "[APE] *** INFO *** Explored 6 app activities.", "[APE] *** INFO *** Used: 9 MB, Max: 192 MB, Available: 183 MB", "[APE] *** INFO *** Create state g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15] for GUI tree GUITree[368@0]@g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g11s66[282,282][1]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]: #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: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12]", "[APE] Action: g11a573[281,283][2]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][865,2122,1059,2316][#d5080791]", "[APE] Target: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]", "[APE] Add target result: false", "[APE] GSTG(g11): activities (5), states (56), edges (190), unvisited actions (322), visited actions (182)", "[APE] *** INFO *** - 0.37 5 it.feio.android.omninotes.CategoryActivity[14,149][13][S=5]", "[APE] *** INFO *** - 0.50 13 it.feio.android.omninotes.SettingsActivity[44,159][90][S=13]", "[APE] *** INFO *** - 0.28 26 it.feio.android.omninotes.MainActivity[1,284][102][S=26]", "[APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10]", "[APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (1), state (0), activity (6)", "[APE] Sata Strategy: buffer size (1)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 0 USE_BUFFER", "[APE] 205 EARLY_STAGE", "[APE] 78 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 9 BUFFER_LOSS", "[APE] 37 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g11a584[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#47b2d09b]", "[APE] 2 g11a585[282,282][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][865,2122,1059,2316][#49525411]", "[APE] 3 g11a586[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][865,2122,1059,2316][#49525411]", "[APE] 4 g11a587[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][]", "[APE] 5 g11a588[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][]", "[APE] 6 g11a589[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tags;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][953,73,1080,199][]", "[APE] 7 g11a590[-1,0][0]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=it.feio.android.omninotes:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][210,88,658,183][Search i]", "[APE] 8 g11a591[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.AutoCompleteTextView;resource-id=it.feio.android.omninotes:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][210,88,658,183][Search i]", "[APE] 9 g11a592[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/search_voice_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][658,73,805,199][]", "[APE] 10 g11a593[-1,0][0]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][]", "[APE] 11 g11a594[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=it.feio.android.omninotes:id/root;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,231,1059,499][]", "[APE] 12 g11a595[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1636,1038,1788][#8c38374c]", "[APE] 13 g11a596[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1798,1038,1950][#a123f458]", "[APE] 14 g11a597[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_note;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1960,1038,2112][#d5b55d4d]", "[APE] 15 g11a598[-1,0][0]@MODEL_BACKg11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g11a588[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_uncomplete_checklists;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][826,73,953,199][]", "[APE] *** INFO *** - g11a592[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/search_voice_btn;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][658,73,805,199][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]", "[APE] *** INFO *** > - B: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12]", "[APE] *** INFO *** Never move from a cold state (g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]) to a hot state (g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g11a596[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][886,1798,1038,1950][#a123f458] by strategy EARLY_STAGE", "[APE] Last state: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]", "[APE] Last action: g11a585[282,282][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][865,2122,1059,2316][#49525411]", "[APE] Curr state: g11s65[279,283][4]it.feio.android.omninotes.MainActivity@-2023895634@Naming[0]@[W=8][A=12]", "[APE] Curr action: g11a573[281,283][2]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_expand_menu_button;enabled=true;clickable=true;long-clickable=true;[P=42][T=200][][S=1.000000][RN=1][865,2122,1059,2316][#d5080791]", "[APE] New state: g11s66[282,284][2]it.feio.android.omninotes.MainActivity@86534597@Naming[0]@[W=11][A=15]", "[APE] New action: g11a596[284,284][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][886,1798,1038,1950][#a123f458]", "[APE] >>>>>>>> SATA end step [284]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#a123f458|resource_id=it.feio.android.omninotes:id/fab_checklist|bounds=886,1798,1038,1950 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ImageButton|text=#a123f458|resource_id=it.feio.android.omninotes:id/fab_checklist action=g11a596[284,284][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=it.feio.android.omninotes:id/fab_checklist;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][886,1798,1038,1950][#a123f458]", ":Sending Touch (ACTION_DOWN): 0:(962.0,1874.0)", ":Sending Touch (ACTION_UP): 0:(962.0,1874.0)", " // Allowing start of Intent { cmp=it.feio.android.omninotes/com.tbruyelle.rxpermissions.ShadowActivity } in package it.feio.android.omninotes", " // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller", " // activityResuming(it.feio.android.omninotes)" ], "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." }