{ "app": "omninotes", "condition": "PURE_APE", "reference": false, "run_id": "run_7eb476413bc249f69220d61747889a9b", "step": 736, "elapsed_s": "1052.297", "selection": { "event": "SELECTION_DECISION", "step": 736, "monotonic_ns": 1876863302866804, "wall_time_ms": 1793987815712, "abstraction_version": 13, "state_id": "g0s0", "model_action_id": "g0a0", "snapshot_reason": "selection", "state_visits": 2, "state_first_seen": 1, "state_last_seen": 736, "state_saturated": false, "state_saturation": 0.25, "native_state_saturated": false, "native_unsaturated_model_action_count": 3, "model_action_count": 4, "enabled_valid_action_count": 4, "unsaturated_model_action_count": 3, "unvisited_model_action_count": 3, "effective_unvisited_model_action_count": 3, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 3, "enabled_valid_unvisited_action_count": 3, "unvisited_model_action_ids": "g0a0,g0a1,g0a3", "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=it.feio.android.omninotes.MainActivity|class=android.widget.ListView|text=|resource_id=|bounds=74,168,1006,2105", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-3946", "step": "736", "version": "13", "elapsed_s": "1052.297", "wall_time_ms": "1793987815712", "next_input_wall_ms": "1793987815827", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "MODEL_SCROLL_BOTTOM_UP android.widget.ListView", "action_type": "MODEL_SCROLL_BOTTOM_UP", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g0a0", "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.ListView\"][@resource-id=\"\"][@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": "g0s0", "source_gui_id": "847", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "NA", "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_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:54147", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-3947.json" }, { "input_id": "other-3959", "step": "736", "version": "13", "elapsed_s": "1052.412", "wall_time_ms": "1793987815827", "next_input_wall_ms": "1793987819079", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "EVENT_START EVENT_START", "action_type": "EVENT_START", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g0s0", "source_gui_id": "NA", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "NA", "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_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:54147", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-3961.json" } ], "following_transition": {}, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_7eb476413bc249f69220d61747889a9b/run_7eb476413bc249f69220d61747889a9b-step-736-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g0s0-1.png", "capture_step": 1, "requested_step": 736, "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_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:54147", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [736][Elapsed: 0000 00:17:32]", "[APE] *** INFO *** Explored 8 app activities.", "[APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 MB", "[APE] *** INFO *** Create state g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] for GUI tree GUITree[847@0]@g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4]", "[APE] *** INFO *** State g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4] is excluded from refresh check.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g0s0[1,1][1]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Entry state: g0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4]", "[APE] GSTG(g13): activities (7), states (90), edges (478), unvisited actions (500), visited actions (442)", "[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.40 8 it.feio.android.omninotes.SnoozeActivity[573,658][49][S=8]", "[APE] *** INFO *** - 0.48 59 it.feio.android.omninotes.MainActivity[1,736][479][S=59]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[293,293][1][S=1]", "[APE] *** INFO *** - 0.69 2 it.feio.android.omninotes.intro.IntroActivity[72,689][115][S=2]", "[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 (0), state (0), activity (0)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 18 USE_BUFFER", "[APE] 615 EARLY_STAGE", "[APE] 102 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 42 BUFFER_LOSS", "[APE] 159 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g0a0[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][]", "[APE] 2 g0a1[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ListView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][]", "[APE] 3 g0a2[1,1][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/md_buttonDefaultPositive;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][785,2105,974,2231][OK]", "[APE] 4 g0a3[-1,0][0]@MODEL_BACKg0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g0a0[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][74,168,1006,2105][] by strategy EARLY_STAGE", "[APE] Last state: null", "[APE] Last action: null", "[APE] Curr state: null", "[APE] Curr action: null", "[APE] New state: g0s0[1,736][2]it.feio.android.omninotes.MainActivity@1842489665@Naming[0]@[W=3][A=4]", "[APE] New action: g0a0[736,736][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][74,168,1006,2105][]", "[APE] >>>>>>>> SATA end step [736]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_SCROLL_BOTTOM_UP|activity=it.feio.android.omninotes.MainActivity|class=android.widget.ListView|text=|resource_id=|bounds=74,168,1006,2105 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.ListView|text=|resource_id= action=g0a0[736,736][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ListView;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][74,168,1006,2105][]", ":Sending Touch (ACTION_DOWN): 0:(540.0,1136.5)", "[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", "[APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded...", "[APE] *** INFO *** App Activity it.feio.android.omninotes.MainActivity 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." }