{
  "app": "scarletnotes",
  "condition": "STARTLUX_PAIRWISE",
  "reference": false,
  "run_id": "run_90be2cba06ed490eb48e0c51795875ef",
  "step": 216,
  "elapsed_s": "339.303",
  "selection": {
    "event": "SELECTION_DECISION",
    "step": 216,
    "monotonic_ns": 1879793691705919,
    "wall_time_ms": 1793990746138,
    "abstraction_version": 36,
    "state_id": "g36s102",
    "model_action_id": "g36a1447",
    "snapshot_reason": "selection",
    "state_visits": 1,
    "state_first_seen": 216,
    "state_last_seen": 216,
    "state_saturated": false,
    "state_saturation": 0,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 9,
    "model_action_count": 9,
    "enabled_valid_action_count": 9,
    "unsaturated_model_action_count": 9,
    "unvisited_model_action_count": 9,
    "effective_unvisited_model_action_count": 9,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 9,
    "enabled_valid_unvisited_action_count": 9,
    "unvisited_model_action_ids": "g36a1445,g36a1446,g36a1447,g36a1448,g36a1449,g36a1450,g36a1451,g36a1452,g36a1453",
    "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=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id=|bounds=0,1500,1080,1670",
    "selected_resolved_node_count": 1
  },
  "inputs": [
    {
      "input_id": "input-1314",
      "step": "216",
      "version": "36",
      "elapsed_s": "339.303",
      "wall_time_ms": "1793990746138",
      "next_input_wall_ms": "1793990747505",
      "input_completed_wall_ms": "1793990746167",
      "input_confirmed": "True",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g36a1447",
      "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.FrameLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"\"][@text=\"\"][@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": "g36s102",
      "source_gui_id": "278",
      "activity": "com.maubis.scarlet.base.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_90be2cba06ed490eb48e0c51795875ef.zip!device-output/executor.log:23056",
      "observed_methods_until_next": "28",
      "category_counts": "{\"app_domain\":25,\"other_unknown\":3}",
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json"
    }
  ],
  "following_transition": {
    "event": "NATIVE_TRANSITION",
    "step": 217,
    "monotonic_ns": 1879795006691250,
    "wall_time_ms": 1793990747453,
    "abstraction_version": 36,
    "state_id": "g36s102",
    "model_action_id": "g36a1447",
    "transition_id": "g36e148:215",
    "new_state": false,
    "new_model_action": false,
    "refinement": false,
    "self_loop": false,
    "activity_unchanged": true,
    "gui_unchanged": false,
    "target_state": "g22s62",
    "input_confirmed": true
  },
  "first_methods_since_inputs": [
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet: void <init>()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15751",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15751"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SettingsOptionsBottomSheet$getOptions$6: java.lang.Object invoke()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15749",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15749"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SettingsOptionsBottomSheet$getOptions$6: void invoke()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15750",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15750"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.LithoOptionBottomSheet$getComponent$1$1: java.lang.Object invoke()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15746",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15746"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.LithoOptionBottomSheet$getComponent$1$1: void invoke()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15747",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15747"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.LithoOptionsItem: kotlin.jvm.functions.Function0 getListener()>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15748",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15748"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.OptionItemLayout: java.lang.Object dispatchOnEvent(com.facebook.litho.EventHandler,java.lang.Object)>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15743",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15743"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.OptionItemLayout: void onItemClick(com.facebook.litho.HasEventDispatcher,com.facebook.litho.ComponentContext)>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15744",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15744"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.OptionItemLayoutSpec: void onItemClick(com.facebook.litho.ComponentContext,kotlin.jvm.functions.Function0)>",
      "wall_time_ms": "1793990746149.0",
      "log_line": "15745",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.314",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15745"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet$getOptions$1: void <init>(com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet,android.app.Dialog)>",
      "wall_time_ms": "1793990746157.0",
      "log_line": "15754",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.322",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15754"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet: int title()>",
      "wall_time_ms": "1793990746157.0",
      "log_line": "15752",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.322",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15752"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet: java.util.List getOptions(com.facebook.litho.ComponentContext,android.app.Dialog)>",
      "wall_time_ms": "1793990746157.0",
      "log_line": "15753",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.322",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15753"
    },
    {
      "method": "<com.github.ajalt.reprint.core.Reprint: boolean hasFingerprintRegistered()>",
      "wall_time_ms": "1793990746158.0",
      "log_line": "15759",
      "category": "other_unknown",
      "library": "com.github.ajalt",
      "elapsed_s": "339.323",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15759"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet$getOptions$2: void <init>(com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet,com.maubis.scarlet.base.support.ui.ThemedActivity,com.facebook.litho.ComponentContext,android.app.Dialog)>",
      "wall_time_ms": "1793990746158.0",
      "log_line": "15755",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.323",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15755"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet$getOptions$3: void <init>(com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet,com.maubis.scarlet.base.support.ui.ThemedActivity,com.facebook.litho.ComponentContext,android.app.Dialog)>",
      "wall_time_ms": "1793990746158.0",
      "log_line": "15757",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.323",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15757"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheetKt: boolean getSSecurityAppLockEnabled()>",
      "wall_time_ms": "1793990746158.0",
      "log_line": "15756",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.323",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15756"
    },
    {
      "method": "<com.github.ajalt.reprint.core.ReprintInternal: boolean hasFingerprintRegistered()>",
      "wall_time_ms": "1793990746159.0",
      "log_line": "15760",
      "category": "other_unknown",
      "library": "com.github.ajalt",
      "elapsed_s": "339.324",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15760"
    },
    {
      "method": "<com.github.ajalt.reprint.module.marshmallow.MarshmallowReprintModule: boolean hasFingerprintRegistered()>",
      "wall_time_ms": "1793990746159.0",
      "log_line": "15761",
      "category": "other_unknown",
      "library": "com.github.ajalt",
      "elapsed_s": "339.324",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15761"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet$getOptions$4: void <init>(com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet,com.maubis.scarlet.base.support.ui.ThemedActivity,com.facebook.litho.ComponentContext,android.app.Dialog)>",
      "wall_time_ms": "1793990746160.0",
      "log_line": "15762",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.325",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15762"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet$getOptions$5: void <init>(com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheet,com.maubis.scarlet.base.support.ui.ThemedActivity,com.facebook.litho.ComponentContext,android.app.Dialog)>",
      "wall_time_ms": "1793990746160.0",
      "log_line": "15764",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.325",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15764"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SecurityOptionsBottomSheetKt: boolean getSSecurityFingerprintEnabled()>",
      "wall_time_ms": "1793990746160.0",
      "log_line": "15763",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.325",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15763"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SettingsOptionsBottomSheet: void _$_clearFindViewByIdCache()>",
      "wall_time_ms": "1793990746170.0",
      "log_line": "15767",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.335",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15767"
    },
    {
      "method": "<com.maubis.scarlet.base.settings.sheet.SettingsOptionsBottomSheet: void onDestroyView()>",
      "wall_time_ms": "1793990746170.0",
      "log_line": "15765",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.335",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15765"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.LithoOptionBottomSheet: void onDestroyView()>",
      "wall_time_ms": "1793990746170.0",
      "log_line": "15766",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.335",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15766"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.LithoOptionsItem: boolean getSelected()>",
      "wall_time_ms": "1793990746172.0",
      "log_line": "15768",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.337",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15768"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.OptionItemLayoutSpec$onCreate$1: void <clinit>()>",
      "wall_time_ms": "1793990746172.0",
      "log_line": "15770",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.337",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15770"
    },
    {
      "method": "<com.maubis.scarlet.base.support.sheets.OptionItemLayoutSpec$onCreate$1: void <init>()>",
      "wall_time_ms": "1793990746172.0",
      "log_line": "15771",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.337",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15771"
    },
    {
      "method": "<com.maubis.scarlet.base.support.specs.RoundIcon$Builder: com.maubis.scarlet.base.support.specs.RoundIcon$Builder iconAlpha(java.lang.Float)>",
      "wall_time_ms": "1793990746172.0",
      "log_line": "15769",
      "category": "app_domain",
      "library": "app_domain",
      "elapsed_s": "339.337",
      "input_id": "input-1314",
      "step": "216",
      "action": "MODEL_CLICK android.view.ViewGroup",
      "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/native/sata-com.bijoysingh.quicknote-ape-sata-running-minutes-60/jev-audit/inputs/generated-1315.json",
      "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:15769"
    }
  ],
  "first_method_count": 28,
  "category_counts": {
    "app_domain": 25,
    "other_unknown": 3
  },
  "libraries": {
    "app_domain": 25,
    "com.github.ajalt": 3
  },
  "source_screenshot": null,
  "target_screenshot": null,
  "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/executor.log:23056",
  "executor_lines": [
    "[APE] >>>>>>>> SATA begin step [216][Elapsed: 0000 00:05:39]",
    "[APE] *** INFO *** Explored 4 app activities.",
    "[APE] *** INFO *** Used: 15 MB, Max: 192 MB, Available: 177 MB",
    "[APE] *** INFO *** Create state g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] for GUI tree GUITree[278@0]@g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]",
    "[APE] *** INFO *** Check under-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 31 targets for naming Naming[3]. The state is g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 ",
    "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check over-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0",
    "[APE] *** INFO *** Checking over-abstracted states takes 0 ms",
    "[APE] *** INFO *** Check under-abstracted states g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]: #0",
    "[APE] *** INFO *** Check under-abstracted states collected 31 targets for naming Naming[3]. The state is g36s102[-1,0][0]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]. #0",
    "[APE] *** INFO *** batchAbstract: refined targets: 3, affected states: 3, threshold: 8, affected threshold.",
    "[APE] *** INFO *** batchAbstract: refined targets: 3 <= threshold: 8 ",
    "[APE] *** INFO *** batchAbstract: affected states: 3 <= threshold: 8 ",
    "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms",
    "[APE] === Adding edge...",
    "[APE]     Source: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]",
    "[APE]     Action: g20a868[215,215][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSettings;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][933,105,1038,210][]",
    "[APE]     Target: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]",
    "[APE]     Add target result: true",
    "[APE] GSTG(g36): activities (4), states (43), edges (148), unvisited actions (460), visited actions (135)",
    "[APE] *** INFO *** -  0.24  12 com.maubis.scarlet.base.MainActivity[1,216][35][S=12]",
    "[APE] *** INFO *** -  0.41  11 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,126][308][S=11]",
    "[APE] *** INFO *** -  0.14  17 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,214][52][S=17]",
    "[APE] *** INFO *** -  0.25   3 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,160][10][S=3]",
    "[APE] GSTG is updated.",
    "[APE] GSTG state is changed.",
    "[APE] Graph Stable Counter: graph (0), state (0), activity (1)",
    "[APE] Sata Strategy: buffer size (0)",
    "[APE]      0  TRIVIAL_ACTIVITY",
    "[APE]      0  SATURATED_STATE",
    "[APE]      7  USE_BUFFER",
    "[APE]    208  EARLY_STAGE",
    "[APE]      0  EPSILON_GREEDY",
    "[APE]      0  RANDOM",
    "[APE]      0  NULL",
    "[APE]     13  BUFFER_LOSS",
    "[APE]     32  FILL_BUFFER",
    "[APE]      0  BAD_STATE",
    "[APE]      0  PROBE",
    "[APE]     1 g36a1445[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1109,1080,1330][]",
    "[APE]     2 g36a1446[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1330,1080,1500][]",
    "[APE]     3 g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][]",
    "[APE]     4 g36a1448[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1670,1080,1891][]",
    "[APE]     5 g36a1449[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1891,1080,2061][]",
    "[APE]     6 g36a1450[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2061,1080,2231][]",
    "[APE]     7 g36a1451[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=7;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2231,1080,2337][]",
    "[APE]     8 g36a1452[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,939,1080,1109][]",
    "[APE]     9 g36a1453[-1,0][0]@MODEL_BACKg36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9][P=13][T=200][, UNVISITED]",
    "[APE] *** INFO *** Check global actions.",
    "[APE] *** INFO *** - g36a1446[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1330,1080,1500][]",
    "[APE] *** INFO *** - g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][]",
    "[APE] *** INFO *** - g36a1449[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1891,1080,2061][]",
    "[APE] *** INFO *** - g36a1450[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=6;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2061,1080,2231][]",
    "[APE] *** INFO *** - g36a1452[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,939,1080,1109][]",
    "[APE] *** INFO *** Check A*BA->B, try to move from A to B.",
    "[APE] *** INFO *** > - A: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]",
    "[APE] *** INFO *** > - B: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]",
    "[APE] *** INFO *** Never move from a cold state (g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]) to a hot state (g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]) in ABA.",
    "[APE] *** INFO *** Find a greedy action in 0-step",
    "[APE] *** INFO *** Select action g36a1447[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,1500,1080,1670][] by strategy EARLY_STAGE",
    "[APE] Last  state: g36s100[193,214][16]com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity@-1311754589@Naming[0]@[W=8][A=12]",
    "[APE] Last action: g36a1435[214,214][1]@MODEL_BACKg36s100[193,214][16]com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity@-1311754589@Naming[0]@[W=8][A=12][P=13][T=200][]",
    "[APE] Curr  state: g20s56[127,215][4]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]",
    "[APE] Curr action: g20a868[215,215][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=com.bijoysingh.quicknote:id/toolbarIconSettings;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][933,105,1038,210][]",
    "[APE] New   state: g36s102[216,216][1]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]",
    "[APE] New  action: g36a1447[216,216][1]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1500,1080,1670][]",
    "[APE] >>>>>>>> SATA end step [216]",
    "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id=|bounds=0,1500,1080,1670 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id= action=g36a1447[216,216][1]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1500,1080,1670][]",
    ":Sending Touch (ACTION_DOWN): 0:(540.0,1585.0)",
    ":Sending Touch (ACTION_UP): 0:(540.0,1585.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."
}