{ "app": "omninotes", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_0c300af1c9614168998ce1f37b6aadfe", "step": 47, "elapsed_s": "85.914", "selection": { "event": "SELECTION_DECISION", "step": 47, "monotonic_ns": 1879609773990983, "wall_time_ms": 1793990562183, "abstraction_version": 3, "state_id": "g3s19", "model_action_id": "g3a135", "snapshot_reason": "selection", "state_visits": 3, "state_first_seen": 45, "state_last_seen": 47, "state_saturated": false, "state_saturation": 0.2, "native_state_saturated": false, "native_unsaturated_model_action_count": 8, "model_action_count": 10, "enabled_valid_action_count": 10, "unsaturated_model_action_count": 8, "unvisited_model_action_count": 8, "effective_unvisited_model_action_count": 8, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 8, "enabled_valid_unvisited_action_count": 8, "unvisited_model_action_ids": "g3a133,g3a134,g3a135,g3a136,g3a138,g3a139,g3a141,g3a142", "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.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=916,987,1038,1058", "selected_resolved_node_count": 3 }, "inputs": [ { "input_id": "input-251", "step": "47", "version": "3", "elapsed_s": "85.914", "wall_time_ms": "1793990562184", "next_input_wall_ms": "1793990563198", "input_completed_wall_ms": "1793990562253", "input_confirmed": "True", "action": "MODEL_CLICK android:id/switch_widget", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "android:id/switch_widget", "model_action_id": "g3a135", "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.recyclerview.widget.RecyclerView\"][@resource-id=\"it.feio.android.omninotes:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Switch\"][@resource-id=\"android:id/switch_widget\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "state_id": "g3s19", "source_gui_id": "79", "activity": "it.feio.android.omninotes.SettingsActivity", "activity_evidence": "GUI receipt", "labels": "[\"#47b2d09b\",\"Behaviors\",\"Checklists\",\"Keep position\",\"Instant search\",\"Swipe notes\",\"Swipe on notes to perform actions\",\"Swipe to trash\",\"Swiping notes with finger will archive them\",\"Automatic location\",\"Automatically adds location to new notes\",\"Video attachments\",\"Maximum allowed size in MB: not set\"]", "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_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:3289", "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/generated-254.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 48, "monotonic_ns": 1879610777108965, "wall_time_ms": 1793990563186, "abstraction_version": 3, "state_id": "g3s19", "model_action_id": "g3a135", "transition_id": "g3e39:47", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g3s19", "input_confirmed": true }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-47-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/g3s19-45.png", "capture_step": 45, "requested_step": 47, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-47-after.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/g3s19-45.png", "capture_step": 45, "requested_step": 48, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:3289", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [47][Elapsed: 0000 00:01:25]", "[APE] *** INFO *** Explored 3 app activities.", "[APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB", "[APE] *** INFO *** Create state g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10] for GUI tree GUITree[79@0]@g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] *** INFO *** Check under-abstracted states g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0", "[APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[42]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ", "[APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[41]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #1", "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Check under-abstracted states g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]: #0", "[APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[42]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ", "[APE] *** INFO *** Check under-abstracted states collected 1 targets for naming Naming[41]. The state is g3s19[45,46][2]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]. #1", "[APE] *** INFO *** batchAbstract: refined targets: 1, affected states: 1, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 1 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 1 <= threshold: 8 ", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] Action: g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][0,402,1080,543][]", "[APE] Target: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] Add target result: true", "[APE] GSTG(g3): activities (3), states (17), edges (39), unvisited actions (82), visited actions (38)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.23 2 it.feio.android.omninotes.SettingsActivity[44,47][4][S=2]", "[APE] *** INFO *** - 0.31 12 it.feio.android.omninotes.MainActivity[1,43][42][S=12]", "[APE] GSTG is updated.", "[APE] GSTG state is NOT changed.", "[APE] Graph Stable Counter: graph (0), state (2), activity (3)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 0 USE_BUFFER", "[APE] 46 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 1 BUFFER_LOSS", "[APE] 8 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g3a133[-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 g3a134[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=1;enabled=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][916,437,1038,508][]", "[APE] 3 g3a135[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][916,987,1038,1058][]", "[APE] 4 g3a136[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,210,1080,402][]", "[APE] 5 g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,402,1080,543][]", "[APE] 6 g3a138[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,543,1080,735][]", "[APE] 7 g3a139[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,735,1080,927][]", "[APE] 8 g3a140[45,45][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,927,1080,1119][]", "[APE] 9 g3a141[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1119,1080,1311][]", "[APE] 10 g3a142[-1,0][0]@MODEL_BACKg3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] *** INFO *** > - B: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] *** INFO *** Never move from a cold state (g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]) to a hot state (g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g3a135[-1,0][0]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][916,987,1038,1058][] by strategy EARLY_STAGE", "[APE] Last state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] Last action: g3a140[45,45][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,927,1080,1119][]", "[APE] Curr state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] Curr action: g3a137[46,46][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,402,1080,543][]", "[APE] New state: g3s19[45,47][3]it.feio.android.omninotes.SettingsActivity@-1601483249@Naming[42]@[W=10][A=10]", "[APE] New action: g3a135[47,47][1]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][][S=0.000000][RN=3][916,987,1038,1058][]", "[APE] >>>>>>>> SATA end step [47]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget|bounds=916,987,1038,1058 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Switch|text=|resource_id=android:id/switch_widget action=g3a135[47,47][1]@MODEL_CLICKclass=android.widget.Switch;resource-id=android:id/switch_widget;index=2;enabled=true;checkable=true;[P=64][T=200][][S=0.000000][RN=3][916,987,1038,1058][]", ":Sending Touch (ACTION_DOWN): 0:(977.0,1022.5)", ":Sending Touch (ACTION_UP): 0:(977.0,1022.5)" ], "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." }