{ "app": "omninotes", "condition": "PURE_APE", "reference": false, "run_id": "run_7eb476413bc249f69220d61747889a9b", "step": 526, "elapsed_s": "775.329", "selection": { "event": "SELECTION_DECISION", "step": 526, "monotonic_ns": 1876586334430127, "wall_time_ms": 1793987538744, "abstraction_version": 11, "state_id": "g11s74", "model_action_id": "g11a674", "snapshot_reason": "selection", "state_visits": 11, "state_first_seen": 372, "state_last_seen": 526, "state_saturated": false, "state_saturation": 0.8888889, "native_state_saturated": false, "native_unsaturated_model_action_count": 1, "model_action_count": 9, "enabled_valid_action_count": 9, "unsaturated_model_action_count": 1, "unvisited_model_action_count": 1, "effective_unvisited_model_action_count": 1, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 1, "enabled_valid_unvisited_action_count": 1, "unvisited_model_action_ids": "g11a679", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 2, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 1, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording|bounds=732,549,1667,676", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-2813", "step": "526", "version": "11", "elapsed_s": "775.329", "wall_time_ms": "1793987538744", "next_input_wall_ms": "1793987539649", "input_completed_wall_ms": "1793987538769", "input_confirmed": "True", "action": "MODEL_CLICK Record", "action_type": "MODEL_CLICK", "text": "Record", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/recording", "model_action_id": "g11a674", "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=\"android.widget.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/attachment_dialog_root\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/recording\"][@text=\"Record\"][@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": "g11s74", "source_gui_id": "628", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "exact source_gui_id transition receipt", "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_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:38608", "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-2814.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 527, "monotonic_ns": 1876587235974520, "wall_time_ms": 1793987539645, "abstraction_version": 11, "state_id": "g11s74", "model_action_id": "g11a674", "transition_id": "g11e262:515", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "target_state": "g10s51", "gui_unchanged": false, "input_confirmed": true, "execution_context_id": null, "source_gui_id": 628, "target_gui_id": 629 }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_7eb476413bc249f69220d61747889a9b/run_7eb476413bc249f69220d61747889a9b-step-526-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/g11s74-372.png", "capture_step": 372, "requested_step": 526, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_7eb476413bc249f69220d61747889a9b/run_7eb476413bc249f69220d61747889a9b-step-526-after.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/g10s51-161.png", "capture_step": 161, "requested_step": 527, "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_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:38608", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [526][Elapsed: 0000 00:12:55]", "[APE] *** INFO *** Explored 7 app activities.", "[APE] *** INFO *** Used: 8 MB, Max: 192 MB, Available: 184 MB", "[APE] *** INFO *** Create state g11s74[372,523][10]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9] for GUI tree GUITree[628@0]@g11s74[372,523][10]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g11s74[372,523][10]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]: #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: g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]", "[APE] Action: g11a818[525,525][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][732,168,1667,911][]", "[APE] Target: g11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]", "[APE] Add target result: true", "[APE] GSTG(g11): activities (6), states (85), edges (380), unvisited actions (461), visited actions (355)", "[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.43 54 it.feio.android.omninotes.MainActivity[1,526][343][S=54]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[293,293][1][S=1]", "[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 updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (12)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 4 USE_BUFFER", "[APE] 443 EARLY_STAGE", "[APE] 78 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 26 BUFFER_LOSS", "[APE] 97 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g11a671[518,518][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,168,1667,295][Camera]", "[APE] 2 g11a672[375,375][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,295,1667,422][Video]", "[APE] 3 g11a673[516,516][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,422,1667,549][Files]", "[APE] 4 g11a674[372,372][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,549,1667,676][Record]", "[APE] 5 g11a675[377,377][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][732,676,1667,803][Sketch]", "[APE] 6 g11a676[405,405][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][732,803,1667,911][Location]", "[APE] 7 g11a677[420,523][3]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][732,168,1667,911][]", "[APE] 8 g11a678[374,374][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][732,168,1667,911][]", "[APE] 9 g11a679[-1,0][0]@MODEL_BACKg11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9][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: g11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** > - B: g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** Move from A (g11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]) to B (g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]).", "[APE] *** INFO *** Try to find a path (1/1) to a greedy state that we want to greedily visit in ABA.", "[APE] 1 (g11s74,g11a677,g11s86)", "[APE] *** INFO *** Move from A (g11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]) to B (g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]).", "[APE] *** INFO *** No state or path that we want to greedily visit in ABA.", "[APE] *** INFO *** Find a path (1/5) to a greedy state g11s78[393,514][10]it.feio.android.omninotes.MainActivity@-534681222@Naming[0]@[W=8][A=15].", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g11e262[426,426][1]@[H(1),M(0),T(0.000000)] g11s74 =[g11a674]=> g10s51", "[APE] *** INFO *** 1 g11e283[455,455][1]@[H(1),M(0),T(0.000000)] g10s51 =[g10a367]=> g11s78", "[APE] *** INFO *** Select action g11a674[372,372][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][732,549,1667,676][Record] by strategy EARLY_STAGE", "[APE] Last state: g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]", "[APE] Last action: g11a817[524,524][1]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][732,168,1667,911][]", "[APE] Curr state: g11s86[421,525][4]it.feio.android.omninotes.MainActivity@-1448019385@Naming[0]@[W=8][A=9]", "[APE] Curr action: g11a818[525,525][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][732,168,1667,911][]", "[APE] New state: g11s74[372,526][11]it.feio.android.omninotes.MainActivity@2082363595@Naming[0]@[W=8][A=9]", "[APE] New action: g11a674[372,526][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][732,549,1667,676][Record]", "[APE] >>>>>>>> SATA end step [526]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording|bounds=732,549,1667,676 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording action=g11a674[372,526][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][732,549,1667,676][Record]", ":Sending Touch (ACTION_DOWN): 0:(1199.5,612.5)", ":Sending Touch (ACTION_UP): 0:(1199.5,612.5)", " // 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." }