{ "app": "omninotes", "condition": "PURE_APE", "reference": false, "run_id": "run_7eb476413bc249f69220d61747889a9b", "step": 733, "elapsed_s": "1046.72", "selection": { "event": "SELECTION_DECISION", "step": 733, "monotonic_ns": 1876857725593395, "wall_time_ms": 1793987810135, "abstraction_version": 13, "state_id": "g1s12", "model_action_id": "g1a98", "snapshot_reason": "selection", "state_visits": 6, "state_first_seen": 27, "state_last_seen": 733, "state_saturated": false, "state_saturation": 0.5555556, "native_state_saturated": false, "native_unsaturated_model_action_count": 4, "model_action_count": 9, "enabled_valid_action_count": 9, "unsaturated_model_action_count": 4, "unvisited_model_action_count": 4, "effective_unvisited_model_action_count": 4, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 4, "enabled_valid_unvisited_action_count": 4, "unvisited_model_action_ids": "g1a96,g1a98,g1a101,g1a103", "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.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording|bounds=74,1073,1006,1200", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-3927", "step": "733", "version": "13", "elapsed_s": "1046.72", "wall_time_ms": "1793987810135", "next_input_wall_ms": "1793987811050", "input_completed_wall_ms": "1793987810170", "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": "g1a98", "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='false']/*[@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": "g1s12", "source_gui_id": "844", "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-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/executor.log:53918", "observed_methods_until_next": "3", "category_counts": "{\"app_domain\":3}", "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-3928.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 734, "monotonic_ns": 1876858637483531, "wall_time_ms": 1793987811047, "abstraction_version": 13, "state_id": "g1s12", "model_action_id": "g1a98", "transition_id": "g13e476:715", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "target_state": "g1s12", "gui_unchanged": false, "input_confirmed": true, "execution_context_id": null, "source_gui_id": 844, "target_gui_id": 845 }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793987810169.0", "log_line": "87989", "category": "app_domain", "library": "app_domain", "elapsed_s": "1046.754", "input_id": "input-3927", "step": "733", "action": "MODEL_CLICK Record", "input_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/jev-audit/inputs/generated-3928.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/method-logcat.log:87989" }, { "method": "", "wall_time_ms": "1793987810169.0", "log_line": "87990", "category": "app_domain", "library": "app_domain", "elapsed_s": "1046.754", "input_id": "input-3927", "step": "733", "action": "MODEL_CLICK Record", "input_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/jev-audit/inputs/generated-3928.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/method-logcat.log:87990" }, { "method": "", "wall_time_ms": "1793987810169.0", "log_line": "87991", "category": "app_domain", "library": "app_domain", "elapsed_s": "1046.754", "input_id": "input-3927", "step": "733", "action": "MODEL_CLICK Record", "input_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/jev-audit/inputs/generated-3928.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_7eb476413bc249f69220d61747889a9b.zip!device-output/method-logcat.log:87991" } ], "first_method_count": 3, "category_counts": { "app_domain": 3 }, "libraries": { "app_domain": 3 }, "source_screenshot": { "local": "cases/run_7eb476413bc249f69220d61747889a9b/run_7eb476413bc249f69220d61747889a9b-step-733-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/g1s12-27.png", "capture_step": 27, "requested_step": 733, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_7eb476413bc249f69220d61747889a9b/run_7eb476413bc249f69220d61747889a9b-step-733-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/g1s12-27.png", "capture_step": 27, "requested_step": 734, "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:53918", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [733][Elapsed: 0000 00:17:26]", "[APE] *** INFO *** Explored 8 app activities.", "[APE] *** INFO *** Used: 12 MB, Max: 192 MB, Available: 180 MB", "[APE] *** INFO *** Create state g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9] for GUI tree GUITree[844@0]@g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g1s12[27,341][5]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][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: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16]", "[APE] Action: g10a490[500,732][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", "[APE] Target: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9]", "[APE] Add target result: true", "[APE] GSTG(g13): activities (7), states (90), edges (476), unvisited actions (503), visited actions (439)", "[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.47 59 it.feio.android.omninotes.MainActivity[1,733][476][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 updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (43)", "[APE] === Try to resolve the non-determinism!!", "[APE] *** INFO *** Find the non-deterministic edge", "[APE] *** INFO *** st1: g11e365[554,554][3]@[H(1),M(0),T(0.000000)] g10s60 =[g10a490]=> g10s60", "[APE] *** INFO *** st2: g13e475[816,816][1]@[H(1),M(0),T(0.000000)] g10s60 =[g10a490]=> g1s12", "[APE] ##################################", "[APE] 0 - class=android.widget.ImageButton;enabled=true;clickable=true;", "[APE] 1 - class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;", "[APE] 2 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;", "[APE] 3 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;", "[APE] 4 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;", "[APE] 5 - class=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;", "[APE] 6 - class=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;", "[APE] 7 - class=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;", "[APE] 8 - class=android.widget.CheckBox;clickable=true;checkable=true;", "[APE] 9 - class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;", "[APE] ----------------------------------", "[APE] ----------------------------------", "[APE] 0 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;", "[APE] 1 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;", "[APE] 2 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;", "[APE] 3 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;", "[APE] 4 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/sketch;enabled=true;clickable=true;", "[APE] 5 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;", "[APE] 6 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;", "[APE] 7 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true;", "[APE] ##################################", "[APE] *** INFO *** Already too many states 59 in the activity it.feio.android.omninotes.MainActivity.", "[APE] *** INFO *** Refinement takes 0 ms.", "[APE] *** INFO *** No state refinement candidates to filter.", "[APE] *** INFO *** Cannot find a new naming that can resolve the non-deterministic transition.", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 18 USE_BUFFER", "[APE] 612 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 g1a95[29,29][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][74,692,1006,819][Camera]", "[APE] 2 g1a96[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,819,1006,946][Video]", "[APE] 3 g1a97[162,162][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][74,946,1006,1073][Files]", "[APE] 4 g1a98[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1073,1006,1200][Record]", "[APE] 5 g1a99[31,31][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][74,1200,1006,1327][Sketch]", "[APE] 6 g1a100[341,341][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][74,1327,1006,1454][Location]", "[APE] 7 g1a101[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1454,1006,1581][Timestam]", "[APE] 8 g1a102[27,27][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][74,1581,1006,1708][Pushbull]", "[APE] 9 g1a103[-1,0][0]@MODEL_BACKg1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g1a96[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/video;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,819,1006,946][Video]", "[APE] *** INFO *** - g1a98[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1073,1006,1200][Record]", "[APE] *** INFO *** - g1a101[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1454,1006,1581][Timestam]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** > - B: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16]", "[APE] *** INFO *** Never move to a saturated dialog state (g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Select action g1a98[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][74,1073,1006,1200][Record] by strategy EARLY_STAGE", "[APE] Last state: g10s52[164,731][19]it.feio.android.omninotes.MainActivity@374391060@Naming[0]@[W=9][A=9]", "[APE] Last action: g10a383[299,731][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonNegative;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][494,1578,718,1704][CANCEL]", "[APE] Curr state: g10s60[198,732][26]it.feio.android.omninotes.MainActivity@559188256@Naming[0]@[W=11][A=16]", "[APE] Curr action: g10a490[500,732][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", "[APE] New state: g1s12[27,733][6]it.feio.android.omninotes.MainActivity@-18342656@Naming[0]@[W=9][A=9]", "[APE] New action: g1a98[733,733][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][74,1073,1006,1200][Record]", "[APE] >>>>>>>> SATA end step [733]", "[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=74,1073,1006,1200 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=Record|resource_id=it.feio.android.omninotes:id/recording action=g1a98[733,733][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][74,1073,1006,1200][Record]", ":Sending Touch (ACTION_DOWN): 0:(540.0,1136.5)", ":Sending Touch (ACTION_UP): 0:(540.0,1136.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." }