{ "app": "omninotes", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_0c300af1c9614168998ce1f37b6aadfe", "step": 571, "elapsed_s": "921.931", "selection": { "event": "SELECTION_DECISION", "step": 571, "monotonic_ns": 1880445791118317, "wall_time_ms": 1793991398200, "abstraction_version": 12, "state_id": "g12s91", "model_action_id": "g12a888", "snapshot_reason": "selection", "state_visits": 3, "state_first_seen": 565, "state_last_seen": 571, "state_saturated": false, "state_saturation": 0.22222222, "native_state_saturated": false, "native_unsaturated_model_action_count": 7, "model_action_count": 9, "enabled_valid_action_count": 9, "unsaturated_model_action_count": 7, "unvisited_model_action_count": 7, "effective_unvisited_model_action_count": 7, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 7, "enabled_valid_unvisited_action_count": 7, "unvisited_model_action_ids": "g12a883,g12a884,g12a886,g12a888,g12a889,g12a890,g12a891", "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=ສະ​ຖານ​ທ|resource_id=it.feio.android.omninotes:id/location|bounds=732,803,1667,911", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-3166", "step": "571", "version": "12", "elapsed_s": "921.931", "wall_time_ms": "1793991398201", "next_input_wall_ms": "1793991399103", "input_completed_wall_ms": "1793991398237", "input_confirmed": "True", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "action_type": "MODEL_CLICK", "text": "ສະ​ຖານ​ທ", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/location", "model_action_id": "g12a888", "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/location\"][@text=\"ສະ​ຖານ​ທ\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g12s91", "source_gui_id": "671", "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_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/executor.log:44952", "observed_methods_until_next": "5", "category_counts": "{\"app_domain\":5}", "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-3167.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 572, "monotonic_ns": 1880446687350949, "wall_time_ms": 1793991399096, "abstraction_version": 12, "state_id": "g12s91", "model_action_id": "g12a888", "transition_id": "g12e395:563", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g1s10", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "(it.feio.android.omninotes.models.listeners.OnGeoUtilResultListener)>", "wall_time_ms": "1793991398238.0", "log_line": "76623", "category": "app_domain", "library": "app_domain", "elapsed_s": "921.968", "input_id": "input-3166", "step": "571", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "input_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/jev-audit/inputs/generated-3167.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:76623" }, { "method": "(it.feio.android.omninotes.MainActivity,it.feio.android.omninotes.DetailFragment,it.feio.android.omninotes.models.Note)>", "wall_time_ms": "1793991398238.0", "log_line": "76621", "category": "app_domain", "library": "app_domain", "elapsed_s": "921.968", "input_id": "input-3166", "step": "571", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "input_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/jev-audit/inputs/generated-3167.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:76621" }, { "method": "", "wall_time_ms": "1793991398238.0", "log_line": "76619", "category": "app_domain", "library": "app_domain", "elapsed_s": "921.968", "input_id": "input-3166", "step": "571", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "input_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/jev-audit/inputs/generated-3167.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:76619" }, { "method": "", "wall_time_ms": "1793991398238.0", "log_line": "76620", "category": "app_domain", "library": "app_domain", "elapsed_s": "921.968", "input_id": "input-3166", "step": "571", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "input_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/jev-audit/inputs/generated-3167.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:76620" }, { "method": "", "wall_time_ms": "1793991398238.0", "log_line": "76622", "category": "app_domain", "library": "app_domain", "elapsed_s": "921.968", "input_id": "input-3166", "step": "571", "action": "MODEL_CLICK ສະ​ຖານ​ທ", "input_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/jev-audit/inputs/generated-3167.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_0c300af1c9614168998ce1f37b6aadfe.zip!device-output/method-logcat.log:76622" } ], "first_method_count": 5, "category_counts": { "app_domain": 5 }, "libraries": { "app_domain": 5 }, "source_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-571-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/g12s91-565.png", "capture_step": 565, "requested_step": 571, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_0c300af1c9614168998ce1f37b6aadfe/run_0c300af1c9614168998ce1f37b6aadfe-step-571-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/g1s10-26.png", "capture_step": 26, "requested_step": 572, "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:44952", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [571][Elapsed: 0000 00:15:21]", "[APE] *** INFO *** Explored 9 app activities.", "[APE] *** INFO *** Used: 30 MB, Max: 192 MB, Available: 162 MB", "[APE] *** INFO *** Create state g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9] for GUI tree GUITree[671@0]@g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g12s91[565,568][2]it.feio.android.omninotes.MainActivity@-2040107627@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: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14]", "[APE] Action: g1a79[26,570][5]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][1787,73,1914,199][]", "[APE] Target: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9]", "[APE] Add target result: false", "[APE] GSTG(g12): activities (8), states (80), edges (395), unvisited actions (444), visited actions (361)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.62 17 it.feio.android.omninotes.SettingsActivity[44,415][173][S=17]", "[APE] *** INFO *** - 0.29 1 it.feio.android.omninotes.SnoozeActivity[483,484][2][S=1]", "[APE] *** INFO *** - 0.36 49 it.feio.android.omninotes.MainActivity[1,571][298][S=49]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.AboutActivity[399,401][2][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.StatsActivity[380,382][2][S=1]", "[APE] *** INFO *** - 0.64 7 it.feio.android.omninotes.PasswordActivity[104,307][113][S=7]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (2), state (0), activity (5)", "[APE] Sata Strategy: buffer size (1)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 19 USE_BUFFER", "[APE] 494 EARLY_STAGE", "[APE] 47 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 30 BUFFER_LOSS", "[APE] 125 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 10 PROBE", "[APE] 1 g12a883[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,295][ກ້ອງ​ຖ່າ]", "[APE] 2 g12a884[-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][732,295,1667,422][ວິ​ດີ​ໂ]", "[APE] 3 g12a885[565,565][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/files;enabled=true;clickable=true;[P=32][T=0][][S=1.000000][RN=1][732,422,1667,549][Files]", "[APE] 4 g12a886[-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][732,549,1667,676][ບັນທຶກ]", "[APE] 5 g12a887[568,568][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][ຂຽນດ້ວຍລ]", "[APE] 6 g12a888[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ]", "[APE] 7 g12a889[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][]", "[APE] 8 g12a890[-1,0][0]@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][, UNVISITED][S=0.000000][RN=1][732,168,1667,911][]", "[APE] 9 g12a891[-1,0][0]@MODEL_BACKg12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g12a883[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/camera;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,168,1667,295][ກ້ອງ​ຖ່າ]", "[APE] *** INFO *** - g12a886[-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][732,549,1667,676][ບັນທຶກ]", "[APE] *** INFO *** Inconsistent states in action buffer: expected g1s12[27,192][6]it.feio.android.omninotes.MainActivity@1205748585@Naming[0]@[W=9][A=9], get g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9]", "[APE] ##################################", "[APE] 0 - class=android.widget.ScrollView;resource-id=it.feio.android.omninotes:id/attachment_dialog_root;enabled=true;scrollable=true;", "[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] ----------------------------------", "[APE] 0 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/timestamp;enabled=true;clickable=true;", "[APE] 1 + class=android.widget.TextView;resource-id=it.feio.android.omninotes:id/pushbullet;enabled=true;clickable=true;", "[APE] ##################################", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9]", "[APE] *** INFO *** > - B: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14]", "[APE] *** INFO *** Never move to a saturated dialog state (g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g12a888[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ] by strategy EARLY_STAGE", "[APE] Last state: g1s13[32,569][7]it.feio.android.omninotes.MainActivity@-1788546407@Naming[0]@[W=7][A=7]", "[APE] Last action: g1a104[39,569][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][819,63,966,210][#47b2d09b]", "[APE] Curr state: g1s10[6,570][23]it.feio.android.omninotes.MainActivity@1532018462@Naming[19]@[W=10][A=14]", "[APE] Curr action: g1a79[26,570][5]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;index=1;enabled=true;clickable=true;[P=52][T=200][][S=1.000000][RN=1][1787,73,1914,199][]", "[APE] New state: g12s91[565,571][3]it.feio.android.omninotes.MainActivity@-2040107627@Naming[0]@[W=8][A=9]", "[APE] New action: g12a888[571,571][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ]", "[APE] >>>>>>>> SATA end step [571]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=ສະ​ຖານ​ທ|resource_id=it.feio.android.omninotes:id/location|bounds=732,803,1667,911 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=ສະ​ຖານ​ທ|resource_id=it.feio.android.omninotes:id/location action=g12a888[571,571][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/location;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][732,803,1667,911][ສະ​ຖານ​ທ]", ":Sending Touch (ACTION_DOWN): 0:(1199.5,857.0)", ":Sending Touch (ACTION_UP): 0:(1199.5,857.0)", " // 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." }