{
  "app": "omninotes",
  "condition": "JEV_PAIRWISE",
  "reference": false,
  "run_id": "run_ad46e2ac9d7e407da53250b006f6c382",
  "step": 44,
  "elapsed_s": "82.082",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 44,
    "monotonic_ns": 1890852580195212,
    "wall_time_ms": 1794001804989,
    "abstraction_version": 1,
    "state_id": "g1s16",
    "model_action_id": "g1a122",
    "snapshot_reason": "selection",
    "state_visits": 1,
    "state_first_seen": 44,
    "state_last_seen": 44,
    "state_saturated": false,
    "state_saturation": 0,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 3,
    "model_action_count": 3,
    "enabled_valid_action_count": 3,
    "unsaturated_model_action_count": 3,
    "unvisited_model_action_count": 3,
    "effective_unvisited_model_action_count": 3,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 3,
    "enabled_valid_unvisited_action_count": 3,
    "unvisited_model_action_ids": "g1a121,g1a122,g1a123",
    "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.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,1391,978,1517",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-236",
      "step": "44",
      "version": "1",
      "elapsed_s": "82.082",
      "wall_time_ms": "1794001804990",
      "next_input_wall_ms": "1794001806489",
      "input_completed_wall_ms": "1794001805018",
      "input_confirmed": "True",
      "action": "MODEL_CLICK CANCEL",
      "action_type": "MODEL_CLICK",
      "text": "CANCEL",
      "content_desc": "",
      "resource_id": "android:id/button2",
      "model_action_id": "g1a122",
      "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/buttonPanel\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"android:id/button2\"][@text=\"CANCEL\"][@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": "g1s16",
      "source_gui_id": "73",
      "activity": "it.feio.android.omninotes.SettingsActivity",
      "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_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:3012",
      "observed_methods_until_next": "23",
      "category_counts": "{\"third_party\":23}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 45,
    "monotonic_ns": 1890854028602822,
    "wall_time_ms": 1794001806438,
    "abstraction_version": 3,
    "state_id": "g1s16",
    "model_action_id": "g1a122",
    "transition_id": "g3e36:44",
    "new_state": false,
    "new_model_action": false,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": true,
    "gui_unchanged": false,
    "target_state": "g3s19",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<androidx.recyclerview.widget.LinearLayoutManager: int findLastVisibleItemPosition()>",
      "wall_time_ms": "1794001805021.0",
      "log_line": "14150",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.113",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14150"
    },
    {
      "method": "<androidx.recyclerview.widget.LinearLayoutManager: void onInitializeAccessibilityEvent(android.view.accessibility.AccessibilityEvent)>",
      "wall_time_ms": "1794001805021.0",
      "log_line": "14147",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.113",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14147"
    },
    {
      "method": "<androidx.recyclerview.widget.RecyclerView$LayoutManager: void onInitializeAccessibilityEvent(android.view.accessibility.AccessibilityEvent)>",
      "wall_time_ms": "1794001805021.0",
      "log_line": "14148",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.113",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14148"
    },
    {
      "method": "<androidx.recyclerview.widget.RecyclerView$LayoutManager: void onInitializeAccessibilityEvent(androidx.recyclerview.widget.RecyclerView$Recycler,androidx.recyclerview.widget.RecyclerView$State,android.view.accessibility.AccessibilityEvent)>",
      "wall_time_ms": "1794001805021.0",
      "log_line": "14149",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.113",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14149"
    },
    {
      "method": "<androidx.appcompat.app.AlertController$1: void onClick(android.view.View)>",
      "wall_time_ms": "1794001805022.0",
      "log_line": "14151",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.114",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14151"
    },
    {
      "method": "<androidx.appcompat.app.AlertController$ButtonHandler: void handleMessage(android.os.Message)>",
      "wall_time_ms": "1794001805037.0",
      "log_line": "14152",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.129",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14152"
    },
    {
      "method": "<androidx.preference.PreferenceDialogFragmentCompat: void onClick(android.content.DialogInterface,int)>",
      "wall_time_ms": "1794001805037.0",
      "log_line": "14153",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.129",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14153"
    },
    {
      "method": "<androidx.appcompat.app.AppCompatDialog: void dismiss()>",
      "wall_time_ms": "1794001805038.0",
      "log_line": "14154",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.13",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14154"
    },
    {
      "method": "<androidx.appcompat.app.AppCompatDelegateImpl$PanelMenuPresenterCallback: void onCloseMenu(androidx.appcompat.view.menu.MenuBuilder,boolean)>",
      "wall_time_ms": "1794001805039.0",
      "log_line": "14156",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.131",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14156"
    },
    {
      "method": "<androidx.appcompat.app.AppCompatDelegateImpl: androidx.appcompat.app.AppCompatDelegateImpl$PanelFeatureState findMenuPanel(android.view.Menu)>",
      "wall_time_ms": "1794001805039.0",
      "log_line": "14158",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.131",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14158"
    },
    {
      "method": "<androidx.appcompat.app.AppCompatDelegateImpl: void closePanel(androidx.appcompat.app.AppCompatDelegateImpl$PanelFeatureState,boolean)>",
      "wall_time_ms": "1794001805039.0",
      "log_line": "14159",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.131",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14159"
    },
    {
      "method": "<androidx.appcompat.view.menu.ListMenuPresenter: void onCloseMenu(androidx.appcompat.view.menu.MenuBuilder,boolean)>",
      "wall_time_ms": "1794001805039.0",
      "log_line": "14155",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.131",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14155"
    },
    {
      "method": "<androidx.appcompat.view.menu.MenuBuilder: androidx.appcompat.view.menu.MenuBuilder getRootMenu()>",
      "wall_time_ms": "1794001805039.0",
      "log_line": "14157",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.131",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14157"
    },
    {
      "method": "<androidx.activity.ComponentDialog: void onStop()>",
      "wall_time_ms": "1794001805046.0",
      "log_line": "14161",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.138",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14161"
    },
    {
      "method": "<androidx.appcompat.app.AppCompatDialog: void onStop()>",
      "wall_time_ms": "1794001805046.0",
      "log_line": "14160",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.138",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14160"
    },
    {
      "method": "<androidx.preference.ListPreferenceDialogFragmentCompat: void onDialogClosed(boolean)>",
      "wall_time_ms": "1794001805051.0",
      "log_line": "14163",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.143",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14163"
    },
    {
      "method": "<androidx.preference.PreferenceDialogFragmentCompat: void onDismiss(android.content.DialogInterface)>",
      "wall_time_ms": "1794001805051.0",
      "log_line": "14162",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.143",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14162"
    },
    {
      "method": "<androidx.preference.Preference: void onInitializeAccessibilityNodeInfo(androidx.core.view.accessibility.AccessibilityNodeInfoCompat)>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14169",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14169"
    },
    {
      "method": "<androidx.preference.PreferenceRecyclerViewAccessibilityDelegate$1: void onInitializeAccessibilityNodeInfo(android.view.View,androidx.core.view.accessibility.AccessibilityNodeInfoCompat)>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14164",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14164"
    },
    {
      "method": "<androidx.recyclerview.widget.AdapterHelper: int applyPendingUpdatesToPosition(int)>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14168",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14168"
    },
    {
      "method": "<androidx.recyclerview.widget.RecyclerView$ViewHolder: int getAbsoluteAdapterPosition()>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14166",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14166"
    },
    {
      "method": "<androidx.recyclerview.widget.RecyclerView: int getAdapterPositionInRecyclerView(androidx.recyclerview.widget.RecyclerView$ViewHolder)>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14167",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14167"
    },
    {
      "method": "<androidx.recyclerview.widget.RecyclerView: int getChildAdapterPosition(android.view.View)>",
      "wall_time_ms": "1794001805829.0",
      "log_line": "14165",
      "category": "third_party",
      "library": "AndroidX",
      "elapsed_s": "82.921",
      "input_id": "input-236",
      "step": "44",
      "action": "MODEL_CLICK CANCEL",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-237.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/method-logcat.log:14165"
    }
  ],
  "first_method_count": 23,
  "category_counts": {
    "third_party": 23
  },
  "libraries": {
    "AndroidX": 23
  },
  "source_screenshot": {
    "local": "cases/run_ad46e2ac9d7e407da53250b006f6c382/run_ad46e2ac9d7e407da53250b006f6c382-step-44-before.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g1s16-44.png",
    "capture_step": 44,
    "requested_step": 44,
    "alignment": "exact step"
  },
  "target_screenshot": {
    "local": "cases/run_ad46e2ac9d7e407da53250b006f6c382/run_ad46e2ac9d7e407da53250b006f6c382-step-44-after.png",
    "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g3s19-45.png",
    "capture_step": 45,
    "requested_step": 45,
    "alignment": "exact step"
  },
  "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:3012",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [44][Elapsed: 0000 00:01:21]",
    "[APE] *** INFO *** Explored 3 app activities.",
    "[APE] *** INFO *** Used: 6 MB, Max: 192 MB, Available: 186 MB",
    "[APE] *** INFO *** Recover current states and actions...",
    "[APE] *** INFO *** > recovered current state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-249965140@Naming[0]@[W=6][A=9]",
    "[APE] *** INFO *** > recovered current action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]",
    "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3] for GUI tree GUITree[70@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3], iteration: #4",
    "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.",
    "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3] for GUI tree GUITree[71@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] *** INFO *** Checking trivial new state: top naming equivalent.",
    "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3], iteration: #1",
    "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.",
    "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3] for GUI tree GUITree[72@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] *** INFO *** Checking trivial new state: top naming equivalent.",
    "[APE] *** INFO *** Checking new state: g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3], iteration: #0",
    "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.",
    "[APE] *** INFO *** Create state g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3] for GUI tree GUITree[73@0]@g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] *** INFO *** Checking trivial new state: top naming equivalent.",
    "[APE] *** INFO *** State g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3] is excluded from future refresh checks.",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g1s16[-1,0][0]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]: #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: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-249965140@Naming[0]@[W=6][A=9]",
    "[APE]     Action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]",
    "[APE]     Target: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE]     Add target result: true",
    "[APE] GSTG(g1): activities (3), states (16), edges (36), unvisited actions (75), visited actions (35)",
    "[APE] *** INFO *** -  0.42   3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]",
    "[APE] *** INFO *** -  0.00   1 it.feio.android.omninotes.SettingsActivity[44,44][1][S=1]",
    "[APE] *** INFO *** -  0.31  12 it.feio.android.omninotes.MainActivity[1,43][42][S=12]",
    "[APE] GSTG is updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (0), state (0), activity (0)",
    "[APE] Sata Strategy: buffer size (0)",
    "[APE]      0  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]      0  USE_BUFFER",
    "[APE]     43  EARLY_STAGE",
    "[APE]      0  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]      1  BUFFER_LOSS",
    "[APE]      8  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      0  PROBE",
    "[APE]     1 g1a121[-1,0][0]@MODEL_CLICKclass=android.widget.CheckedTextView;resource-id=android:id/text1;enabled=true;clickable=true;checkable=true;[P=64][T=200][, UNVISITED][S=0.000000][RN=3][70,1002,1010,1128][Keep pos]",
    "[APE]     2 g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL]",
    "[APE]     3 g1a123[-1,0][0]@MODEL_BACKg1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3][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: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] *** INFO *** > - B: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-249965140@Naming[0]@[W=6][A=9]",
    "[APE] *** INFO *** Never move from a cold activity (g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3])(it.feio.android.omninotes.SettingsActivity[44,44][1][S=1]) to a hot activity (g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-249965140@Naming[0]@[W=6][A=9])(it.feio.android.omninotes.MainActivity[1,43][42][S=12]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Requesting disabling restart.",
    "[APE] *** INFO *** Select action g1a122[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][779,1391,978,1517][CANCEL] by strategy EARLY_STAGE",
    "[APE] Last  state: null",
    "[APE] Last action: null",
    "[APE] Curr  state: g1s15[42,43][2]it.feio.android.omninotes.MainActivity@-249965140@Naming[0]@[W=6][A=9]",
    "[APE] Curr action: g1a117[43,43][1]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;enabled=true;long-clickable=true;[P=36][T=200][][S=0.000000][RN=1][0,655,840,781][]",
    "[APE] New   state: g1s16[44,44][1]it.feio.android.omninotes.SettingsActivity@780821155@Naming[0]@[W=3][A=3]",
    "[APE] New  action: g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL]",
    "[APE] >>>>>>>> SATA end step [44]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2|bounds=779,1391,978,1517 target_fp=activity=it.feio.android.omninotes.SettingsActivity|class=android.widget.Button|text=CANCEL|resource_id=android:id/button2 action=g1a122[44,44][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][779,1391,978,1517][CANCEL]",
    ":Sending Touch (ACTION_DOWN): 0:(878.5,1454.0)",
    ":Sending Touch (ACTION_UP): 0:(878.5,1454.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."
}