{ "app": "odkcollect", "condition": "JEV_PAIRWISE", "reference": false, "run_id": "run_b4871490b9e84bbcb1a9b3464ca596fd", "step": 323, "elapsed_s": "460.886", "selection": { "event": "SELECTION_DECISION", "step": 323, "monotonic_ns": 1880122526054411, "wall_time_ms": 1793991075033, "abstraction_version": 14, "state_id": "g7s19", "model_action_id": "g7a95", "snapshot_reason": "selection", "state_visits": 7, "state_first_seen": 68, "state_last_seen": 323, "state_saturated": true, "state_saturation": 1, "native_state_saturated": true, "native_unsaturated_model_action_count": 0, "model_action_count": 4, "enabled_valid_action_count": 4, "unsaturated_model_action_count": 0, "unvisited_model_action_count": 0, "effective_unvisited_model_action_count": 0, "effective_state_saturated": true, "local_probe_action_count": 0, "navigation_action_count": 0, "enabled_valid_unvisited_action_count": 0, "unvisited_model_action_ids": "", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_BACK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 2, "selected_action_fingerprint": "type=MODEL_BACK", "selected_resolved_node_count": 0 }, "inputs": [ { "input_id": "input-1685", "step": "323", "version": "14", "elapsed_s": "460.886", "wall_time_ms": "1793991075034", "next_input_wall_ms": "1793991076466", "input_completed_wall_ms": "1793991075593", "input_confirmed": "True", "action": "MODEL_BACK NA", "action_type": "MODEL_BACK", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "g7a95", "concrete_identity": "NA", "state_id": "g7s19", "source_gui_id": "466", "activity": "org.odk.collect.android.configure.qr.QRCodeTabsActivity", "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_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:24028", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1686.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 324, "monotonic_ns": 1880123956148428, "wall_time_ms": 1793991076464, "abstraction_version": 14, "state_id": "g7s19", "model_action_id": "g7a95", "transition_id": "g12e142:320", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "target_state": "g12s47", "gui_unchanged": false, "input_confirmed": true, "execution_context_id": null, "source_gui_id": 466, "target_gui_id": 467 }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_b4871490b9e84bbcb1a9b3464ca596fd/run_b4871490b9e84bbcb1a9b3464ca596fd-step-323-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g7s19-68.png", "capture_step": 68, "requested_step": 323, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_b4871490b9e84bbcb1a9b3464ca596fd/run_b4871490b9e84bbcb1a9b3464ca596fd-step-323-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g12s47-320.png", "capture_step": 320, "requested_step": 324, "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_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:24028", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [323][Elapsed: 0000 00:07:40]", "[APE] *** INFO *** Explored 10 app activities.", "[APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB", "[APE] *** INFO *** Create state g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4] for GUI tree GUITree[466@0]@g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]", "[APE] *** INFO *** State g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@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 g7s19[68,74][6]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@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] === Adding edge...", "[APE] Source: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]", "[APE] Action: g7a91[67,322][3]@MODEL_BACKg7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1][P=8][T=200][]", "[APE] Target: g7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]", "[APE] Add target result: false", "[APE] GSTG(g14): activities (10), states (52), edges (213), unvisited actions (88), visited actions (199)", "[APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,298][35][S=5]", "[APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4]", "[APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,322][3][S=1]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5]", "[APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,323][9][S=2]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5]", "[APE] *** INFO *** - 0.87 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4]", "[APE] *** INFO *** - 0.53 21 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,321][115][S=21]", "[APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[291,296][6][S=1]", "[APE] *** INFO *** - 0.76 4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (1), state (0), activity (0)", "[APE] Sata Strategy: buffer size (1)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 7 USE_BUFFER", "[APE] 292 EARLY_STAGE", "[APE] 20 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 11 BUFFER_LOSS", "[APE] 99 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 3 PROBE", "[APE] 1 g7a92[68,70][2]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][975,83,1080,209][]", "[APE] 2 g7a93[72,72][1]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=6][T=0][][S=1.000000][RN=1][975,83,1080,209][]", "[APE] 3 g7a94[73,73][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_item_share;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][848,83,975,209][]", "[APE] 4 g7a95[74,74][2]@MODEL_BACKg7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4][P=8][T=0][]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Inconsistent states in action buffer: expected g11s43[199,211][5]org.odk.collect.android.mainmenu.MainMenuActivity@517960334@Naming[0]@[W=4][A=5], get g7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]", "[APE] ##################################", "[APE] 0 - class=android.widget.Button;resource-id=org.odk.collect.android:id/menu_item_share;enabled=true;clickable=true;", "[APE] ----------------------------------", "[APE] 0 = class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;", "[APE] ----------------------------------", "[APE] 0 + class=android.widget.Button;resource-id=org.odk.collect.android:id/cancel_button;enabled=true;clickable=true;", "[APE] 1 + class=android.widget.Button;resource-id=org.odk.collect.android:id/configure_manually_button;enabled=true;clickable=true;", "[APE] ##################################", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]", "[APE] *** INFO *** > - B: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]", "[APE] *** INFO *** Move from A (g7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]) to B (g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]).", "[APE] *** INFO *** A cannot reach B.", "[APE] *** INFO *** Find a path (1/1) to state g12s47[75,320][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1376228404@Naming[7]@[W=5][A=5] for backtrack.", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g12e142[74,74][4]@[H(1),M(0),T(0.000000)] g7s19 =[g7a95]=> g12s47", "[APE] *** INFO *** Select action g7a95[74,74][2]@MODEL_BACKg7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4][P=8][T=200][] by strategy EARLY_STAGE", "[APE] Last state: g14s65[321,321][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-2084755681@Naming[0]@[W=4][A=5]", "[APE] Last action: g14a341[321,321][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][]", "[APE] Curr state: g7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1]", "[APE] Curr action: g7a91[67,322][3]@MODEL_BACKg7s18[67,322][3]com.karumi.dexter.DexterActivity@13996659@Naming[0]@[W=1][A=1][P=8][T=200][]", "[APE] New state: g7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4]", "[APE] New action: g7a95[74,323][3]@MODEL_BACKg7s19[68,323][7]org.odk.collect.android.configure.qr.QRCodeTabsActivity@2032610189@Naming[0]@[W=3][A=4][P=8][T=200][]", "[APE] >>>>>>>> SATA end step [323]", " // activityResuming(org.odk.collect.android)" ], "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." }