{ "app": "omninotes", "condition": "startlux-p1-fixab-9a5b577", "reference": true, "run_id": "run_6fbac6f1f5c740a38f6336c65e9fb5aa", "step": 165, "elapsed_s": "245.821", "selection": { "event": "SELECTION_DECISION", "step": 165, "monotonic_ns": 1777519877302880, "wall_time_ms": 1793888472286, "abstraction_version": 10, "state_id": "g10s52", "model_action_id": "g10a385", "snapshot_reason": "selection", "state_visits": 2, "state_first_seen": 164, "state_last_seen": 165, "state_saturated": false, "state_saturation": 0.11111111, "native_state_saturated": false, "native_unsaturated_model_action_count": 8, "model_action_count": 9, "enabled_valid_action_count": 9, "unsaturated_model_action_count": 8, "unvisited_model_action_count": 8, "effective_unvisited_model_action_count": 8, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 8, "enabled_valid_unvisited_action_count": 8, "unvisited_model_action_ids": "g10a382,g10a383,g10a384,g10a385,g10a386,g10a387,g10a389,g10a390", "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=10|resource_id=it.feio.android.omninotes:id/hours|bounds=338,696,516,906", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-888", "step": "165", "version": "10", "elapsed_s": "245.821", "wall_time_ms": "1793888472287", "next_input_wall_ms": "1793888473202", "input_completed_wall_ms": "1793888472324", "input_confirmed": "True", "action": "MODEL_CLICK 10", "action_type": "MODEL_CLICK", "text": "10", "content_desc": "", "resource_id": "it.feio.android.omninotes:id/hours", "model_action_id": "g10a385", "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.RelativeLayout\"][@resource-id=\"it.feio.android.omninotes:id/time_header\"][@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/hours\"][@text=\"10\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g10s52", "source_gui_id": "243", "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_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:12533", "observed_methods_until_next": "1", "category_counts": "{\"other_unknown\":1}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-889.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 166, "monotonic_ns": 1777520789213324, "wall_time_ms": 1793888473198, "abstraction_version": 10, "state_id": "g10s52", "model_action_id": "g10a385", "transition_id": "g10e131:161", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": true, "activity_unchanged": true, "gui_unchanged": true, "target_state": "g10s52", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793888472312.0", "log_line": "17569", "category": "other_unknown", "library": "com.appeaser.sublimepickerlibrary", "elapsed_s": "245.846", "input_id": "input-888", "step": "165", "action": "MODEL_CLICK 10", "input_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-889.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/method-logcat.log:17569" } ], "first_method_count": 1, "category_counts": { "other_unknown": 1 }, "libraries": { "com.appeaser.sublimepickerlibrary": 1 }, "source_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-165-before.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g10s52-164.png", "capture_step": 164, "requested_step": 165, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_6fbac6f1f5c740a38f6336c65e9fb5aa/run_6fbac6f1f5c740a38f6336c65e9fb5aa-step-165-after.png", "source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g10s52-164.png", "capture_step": 164, "requested_step": 166, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "executor_source": "[WORKSPACE]/experiments/guitaboo_fixab_omni_rep2_20261105T2218/formal-runs/platform-managed/run_6fbac6f1f5c740a38f6336c65e9fb5aa/attempt_e1ae2d0788964ba388c1bbf9ff388966/raw/device-output/executor.log:12533", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [165][Elapsed: 0000 00:04:05]", "[APE] *** INFO *** Explored 5 app activities.", "[APE] *** INFO *** Used: 6 MB, Max: 192 MB, Available: 186 MB", "[APE] *** INFO *** Create state g10s52[164,164][1]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9] for GUI tree GUITree[243@0]@g10s52[164,164][1]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g10s52[164,164][1]it.feio.android.omninotes.MainActivity@-1231240701@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: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] Action: g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=52][T=0][][S=1.000000][RN=1][763,807,827,875][PM]", "[APE] Target: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] Add target result: true", "[APE] GSTG(g10): activities (4), states (43), edges (131), unvisited actions (183), visited actions (130)", "[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.32 15 it.feio.android.omninotes.MainActivity[1,165][54][S=15]", "[APE] *** INFO *** - 0.46 10 it.feio.android.omninotes.intro.IntroActivity[72,103][61][S=10]", "[APE] GSTG is updated.", "[APE] GSTG state is NOT changed.", "[APE] Graph Stable Counter: graph (0), state (1), activity (5)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 0 USE_BUFFER", "[APE] 141 EARLY_STAGE", "[APE] 23 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 2 BUFFER_LOSS", "[APE] 27 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 0 PROBE", "[APE] 1 g10a382[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonSwitcher;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][194,1578,484,1704][NOV 5, 2]", "[APE] 2 g10a383[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonNegative;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][494,1578,718,1704][CANCEL]", "[APE] 3 g10a384[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/buttonPositive;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][718,1578,886,1704][OK]", "[APE] 4 g10a385[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][338,696,516,906][10]", "[APE] 5 g10a386[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/minutes;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][564,696,742,906][22]", "[APE] 6 g10a387[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/am_label;enabled=true;clickable=true;checkable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][763,739,828,807][AM]", "[APE] 7 g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=42][T=0][][S=1.000000][RN=1][763,807,827,875][PM]", "[APE] 8 g10a389[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=it.feio.android.omninotes:id/ivRecurrenceOptionsTP;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][781,680,876,775][]", "[APE] 9 g10a390[-1,0][0]@MODEL_BACKg10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][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: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** > - B: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** Never move from a cold state (g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]) to a hot state (g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g10a385[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][338,696,516,906][10] by strategy EARLY_STAGE", "[APE] Last state: g10s51[161,163][2]it.feio.android.omninotes.MainActivity@-1819155677@Naming[0]@[W=10][A=15]", "[APE] Last action: g10a377[163,163][1]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][42,460,1038,565][]", "[APE] Curr state: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] Curr action: g10a388[164,164][1]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=it.feio.android.omninotes:id/pm_label;enabled=true;clickable=true;checkable=true;[P=42][T=0][][S=1.000000][RN=1][763,807,827,875][PM]", "[APE] New state: g10s52[164,165][2]it.feio.android.omninotes.MainActivity@-1231240701@Naming[0]@[W=9][A=9]", "[APE] New action: g10a385[165,165][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][338,696,516,906][10]", "[APE] >>>>>>>> SATA end step [165]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=10|resource_id=it.feio.android.omninotes:id/hours|bounds=338,696,516,906 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.TextView|text=10|resource_id=it.feio.android.omninotes:id/hours action=g10a385[165,165][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/hours;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][338,696,516,906][10]", ":Sending Touch (ACTION_DOWN): 0:(427.0,801.0)", ":Sending Touch (ACTION_UP): 0:(427.0,801.0)" ], "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." }