{ "app": "omninotes", "condition": "startlux-p1-fixab-9a5b577", "reference": true, "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa", "step": 529, "elapsed_s": "833.732", "selection": { "event": "SELECTION_DECISION", "step": 529, "monotonic_ns": 1778107788474115, "wall_time_ms": 1793889060198, "abstraction_version": 13, "state_id": "g13s93", "model_action_id": "g13a883", "snapshot_reason": "selection", "state_visits": 1, "state_first_seen": 529, "state_last_seen": 529, "state_saturated": false, "state_saturation": 0, "native_state_saturated": false, "native_unsaturated_model_action_count": 17, "model_action_count": 17, "enabled_valid_action_count": 17, "unsaturated_model_action_count": 17, "unvisited_model_action_count": 17, "effective_unvisited_model_action_count": 17, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 17, "enabled_valid_unvisited_action_count": 17, "unvisited_model_action_ids": "g13a872,g13a873,g13a874,g13a875,g13a876,g13a877,g13a878,g13a879,g13a880,g13a881,g13a882,g13a883,g13a884,g13a885,g13a886,g13a887,g13a888", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_SCROLL_TOP_DOWN", "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_TOP_DOWN|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ScrollView|text=|resource_id=it.feio.android.omninotes:id/content_wrapper|bounds=21,342,2379,996", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-2863", "step": "529", "version": "13", "elapsed_s": "833.732", "wall_time_ms": "1793889060198", "next_input_wall_ms": "1793889061439", "input_completed_wall_ms": "1793889060557", "input_confirmed": "True", "action": "MODEL_SCROLL_TOP_DOWN it.feio.android.omninotes:id/content_wrapper", "action_type": "MODEL_SCROLL_TOP_DOWN", "text": "", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/content_wrapper", "model_action_id": "g13a883", "concrete_identity": "MODEL_SCROLL_TOP_DOWN|/*[@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.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/detail_root\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"it.feio.android.omninotes:id/detail_content_card\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/content_wrapper\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']", "state_id": "g13s93", "source_gui_id": "625", "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:38638", "observed_methods_until_next": "0", "category_counts": "{}", "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-2864.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 530, "monotonic_ns": 1778109025245771, "wall_time_ms": 1793889061434, "abstraction_version": 13, "state_id": "g13s93", "model_action_id": "g13a883", "transition_id": "g13e332:515", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": true, "target_state": "g13s93", "input_confirmed": true }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-529-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/g13s93-529.png", "capture_step": 529, "requested_step": 529, "alignment": "exact step" }, "target_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-529-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/g13s93-529.png", "capture_step": 529, "requested_step": 530, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:38638", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [529][Elapsed: 0000 00:13:53]", "[APE] *** INFO *** Explored 7 app activities.", "[APE] *** INFO *** Used: 14 MB, Max: 192 MB, Available: 178 MB", "[APE] *** INFO *** Create state g13s93[-1,0][0]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17] for GUI tree GUITree[625@0]@g13s93[-1,0][0]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g13s93[-1,0][0]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]: #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: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]", "[APE] Action: g11a680[528,528][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,276,1667,403][Stop]", "[APE] Target: g13s93[529,529][1]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]", "[APE] Add target result: true", "[APE] GSTG(g13): activities (5), states (72), edges (332), unvisited actions (415), visited actions (312)", "[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,71][91][S=13]", "[APE] *** INFO *** - 0.42 49 it.feio.android.omninotes.MainActivity[1,529][316][S=49]", "[APE] *** INFO *** - 0.50 3 it.feio.android.omninotes.intro.IntroActivity[72,470][127][S=3]", "[APE] *** INFO *** - 0.37 2 it.feio.android.omninotes.PasswordActivity[207,277][71][S=2]", "[APE] GSTG is updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (17)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 5 USE_BUFFER", "[APE] 414 EARLY_STAGE", "[APE] 107 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 25 BUFFER_LOSS", "[APE] 95 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 2 PROBE", "[APE] 1 g13a872[-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][#8919d946]", "[APE] 2 g13a873[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] 3 g13a874[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] 4 g13a875[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1787,73,1914,199][]", "[APE] 5 g13a876[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2041,73,2168,199][]", "[APE] 6 g13a877[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2168,73,2295,199][]", "[APE] 7 g13a878[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][39,231,2379,321][Title]", "[APE] 8 g13a879[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][39,231,2379,321][Title]", "[APE] 9 g13a880[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][1914,73,2041,199][]", "[APE] 10 g13a881[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][1914,73,2041,199][]", "[APE] 11 g13a882[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 12 g13a883[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 13 g13a884[-1,0][0]@MODEL_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 14 g13a885[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.GridView;resource-id=it.feio.android.omninotes:id/gridview;enabled=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 15 g13a886[-1,0][0]@MODEL_CLICKclass=android.widget.RelativeLayout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 16 g13a887[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.RelativeLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][]", "[APE] 17 g13a888[-1,0][0]@MODEL_BACKg13s93[529,529][1]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g13a873[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][2295,73,2400,199][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g13s93[529,529][1]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]", "[APE] *** INFO *** > - B: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** Never move from a cold state (g13s93[529,529][1]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]) to a hot state (g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g13a883[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][21,342,2379,996][] by strategy EARLY_STAGE", "[APE] Last state: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]", "[APE] Last action: g11a683[527,527][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,657,1667,784][Timestam]", "[APE] Curr state: g11s74[352,528][4]it.feio.android.omninotes.MainActivity@-1825020051@Naming[0]@[W=8][A=9]", "[APE] Curr action: g11a680[528,528][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,276,1667,403][Stop]", "[APE] New state: g13s93[529,529][1]it.feio.android.omninotes.MainActivity@-1080435900@Naming[0]@[W=11][A=17]", "[APE] New action: g13a883[529,529][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][21,342,2379,996][]", "[APE] >>>>>>>> SATA end step [529]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_SCROLL_TOP_DOWN|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ScrollView|text=|resource_id=it.feio.android.omninotes:id/content_wrapper|bounds=21,342,2379,996 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ScrollView|text=|resource_id=it.feio.android.omninotes:id/content_wrapper action=g13a883[529,529][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/content_wrapper;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][21,342,2379,996][]", ":Sending Touch (ACTION_DOWN): 0:(1200.0,669.0)", " //[calendar_time:2026-11-05 22:31:00.357 system_uptime:1778107947]", " // Sending event #4100", ":Sending Touch (ACTION_UP): 0:(1200.0,1079.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." }