{ "app": "scarletnotes", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_90be2cba06ed490eb48e0c51795875ef", "step": 717, "elapsed_s": "1171.922", "selection": { "event": "SELECTION_DECISION", "step": 717, "monotonic_ns": 1880626310997310, "wall_time_ms": 1793991578757, "abstraction_version": 46, "state_id": "g21s58", "model_action_id": "g21a896", "snapshot_reason": "selection", "state_visits": 11, "state_first_seen": 128, "state_last_seen": 717, "state_saturated": false, "state_saturation": 0.5555556, "native_state_saturated": false, "native_unsaturated_model_action_count": 8, "model_action_count": 18, "enabled_valid_action_count": 18, "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": "g21a882,g21a885,g21a886,g21a887,g21a889,g21a892,g21a896,g21a897", "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.widget.LinearLayout|text=|resource_id=|bounds=697,2316,971,2337", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-4228", "step": "717", "version": "46", "elapsed_s": "1171.922", "wall_time_ms": "1793991578757", "next_input_wall_ms": "1793991580215", "input_completed_wall_ms": "1793991578794", "input_confirmed": "True", "action": "MODEL_CLICK android.widget.LinearLayout", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "", "model_action_id": "g21a896", "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=\"com.bijoysingh.quicknote:id/root_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=16][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g21s58", "source_gui_id": "851", "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:69087", "observed_methods_until_next": "24", "category_counts": "{\"app_domain\":17,\"third_party\":7}", "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-4229.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 718, "monotonic_ns": 1880627723379989, "wall_time_ms": 1793991580169, "abstraction_version": 46, "state_id": "g21s58", "model_action_id": "g21a896", "transition_id": "g46e343:709", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g46s170", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793991578796.0", "log_line": "35696", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35696" }, { "method": "()>", "wall_time_ms": "1793991578796.0", "log_line": "35699", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35699" }, { "method": "(kotlin.jvm.internal.DefaultConstructorMarker)>", "wall_time_ms": "1793991578796.0", "log_line": "35698", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35698" }, { "method": "", "wall_time_ms": "1793991578796.0", "log_line": "35700", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35700" }, { "method": "()>", "wall_time_ms": "1793991578796.0", "log_line": "35697", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35697" }, { "method": "()>", "wall_time_ms": "1793991578796.0", "log_line": "35701", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.961", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35701" }, { "method": "", "wall_time_ms": "1793991578797.0", "log_line": "35702", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.962", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35702" }, { "method": "", "wall_time_ms": "1793991578805.0", "log_line": "35703", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.97", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35703" }, { "method": "(com.maubis.scarlet.base.note.actions.TextToSpeechBottomSheet,android.widget.ImageView,com.maubis.scarlet.base.database.room.note.Note)>", "wall_time_ms": "1793991578809.0", "log_line": "35707", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.974", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35707" }, { "method": "(com.maubis.scarlet.base.note.actions.TextToSpeechBottomSheet,com.maubis.scarlet.base.database.room.note.Note,android.widget.ImageView)>", "wall_time_ms": "1793991578809.0", "log_line": "35708", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.974", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35708" }, { "method": "", "wall_time_ms": "1793991578809.0", "log_line": "35705", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.974", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35705" }, { "method": "", "wall_time_ms": "1793991578809.0", "log_line": "35706", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.974", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35706" }, { "method": "", "wall_time_ms": "1793991578809.0", "log_line": "35704", "category": "app_domain", "library": "app_domain", "elapsed_s": "1171.974", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35704" }, { "method": "", "wall_time_ms": "1793991579702.0", "log_line": "35709", "category": "app_domain", "library": "app_domain", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35709" }, { "method": "", "wall_time_ms": "1793991579702.0", "log_line": "35710", "category": "app_domain", "library": "app_domain", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35710" }, { "method": "", "wall_time_ms": "1793991579702.0", "log_line": "35711", "category": "app_domain", "library": "app_domain", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35711" }, { "method": "", "wall_time_ms": "1793991579702.0", "log_line": "35712", "category": "app_domain", "library": "app_domain", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35712" }, { "method": "()>", "wall_time_ms": "1793991579702.0", "log_line": "35715", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35715" }, { "method": "(kotlin.jvm.internal.DefaultConstructorMarker)>", "wall_time_ms": "1793991579702.0", "log_line": "35714", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35714" }, { "method": "", "wall_time_ms": "1793991579702.0", "log_line": "35718", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35718" }, { "method": "()>", "wall_time_ms": "1793991579702.0", "log_line": "35713", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35713" }, { "method": "(java.lang.String)>", "wall_time_ms": "1793991579702.0", "log_line": "35716", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35716" }, { "method": "(java.util.regex.Pattern)>", "wall_time_ms": "1793991579702.0", "log_line": "35717", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.867", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35717" }, { "method": "", "wall_time_ms": "1793991579703.0", "log_line": "35723", "category": "third_party", "library": "Kotlin", "elapsed_s": "1172.868", "input_id": "input-4228", "step": "717", "action": "MODEL_CLICK android.widget.LinearLayout", "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-4229.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/method-logcat.log:35723" } ], "first_method_count": 24, "category_counts": { "app_domain": 17, "third_party": 7 }, "libraries": { "app_domain": 17, "Kotlin": 7 }, "source_screenshot": { "local": "cases/run_90be2cba06ed490eb48e0c51795875ef/run_90be2cba06ed490eb48e0c51795875ef-step-717-before.png", "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/ape-state-screenshots/g21s58-128.png", "capture_step": 128, "requested_step": 717, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_90be2cba06ed490eb48e0c51795875ef/run_90be2cba06ed490eb48e0c51795875ef-step-717-after.png", "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/ape-state-screenshots/g46s170-718.png", "capture_step": 718, "requested_step": 718, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_90be2cba06ed490eb48e0c51795875ef.zip!device-output/executor.log:69087", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [717][Elapsed: 0000 00:19:31]", "[APE] *** INFO *** Explored 6 app activities.", "[APE] *** INFO *** Used: 32 MB, Max: 192 MB, Available: 160 MB", "[APE] *** INFO *** Create state g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18] for GUI tree GUITree[851@0]@g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]", "[APE] *** INFO *** Check under-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0", "[APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 ", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Check under-abstracted states g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]: #0", "[APE] *** INFO *** Check under-abstracted states collected 4 targets for naming Naming[69]. The state is g21s58[128,714][10]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]. #0", "[APE] *** INFO *** batchAbstract: refined targets: 2, affected states: 2, threshold: 8, affected threshold.", "[APE] *** INFO *** batchAbstract: refined targets: 2 <= threshold: 8 ", "[APE] *** INFO *** batchAbstract: affected states: 2 <= threshold: 8 ", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]", "[APE] Action: g20a874[127,716][12]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=6][540,231,1080,733][]", "[APE] Target: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]", "[APE] Add target result: false", "[APE] GSTG(g46): activities (6), states (60), edges (343), unvisited actions (298), visited actions (279)", "[APE] *** INFO *** - 0.40 18 com.maubis.scarlet.base.MainActivity[1,717][245][S=18]", "[APE] *** INFO *** - 0.64 17 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,686][509][S=17]", "[APE] *** INFO *** - 0.52 11 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,611][491][S=11]", "[APE] *** INFO *** - 0.33 1 com.maubis.scarlet.base.export.activity.ImportNoteActivity[310,310][2][S=1]", "[APE] *** INFO *** - 0.25 1 com.maubis.scarlet.base.note.selection.activity.SelectNotesActivity[706,712][7][S=1]", "[APE] *** INFO *** - 0.35 12 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,703][57][S=12]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (2), state (0), activity (4)", "[APE] Sata Strategy: buffer size (1)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 12 USE_BUFFER", "[APE] 684 EARLY_STAGE", "[APE] 17 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 89 BUFFER_LOSS", "[APE] 180 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 3 PROBE", "[APE] 1 g21a880[690,690][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/tag_card_layout;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][22,1354,529,1590][]", "[APE] 2 g21a881[705,705][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=com.bijoysingh.quicknote:id/select_notes_layout;enabled=true;clickable=true;[P=32][T=500][][S=1.000000][RN=1][551,1354,1058,1590][]", "[APE] 3 g21a882[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=0;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,734,383,1001][]", "[APE] 4 g21a883[679,679][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=1;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,734,677,1002][]", "[APE] 5 g21a884[693,693][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,734,971,1002][]", "[APE] 6 g21a885[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][109,1022,383,1289][]", "[APE] 7 g21a886[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=4;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1022,677,1289][]", "[APE] 8 g21a887[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=5;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,1022,971,1290][]", "[APE] 9 g21a888[714,714][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,1654,383,1922][]", "[APE] 10 g21a889[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=9;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,1654,677,1922][]", "[APE] 11 g21a890[128,128][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=10;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,1654,971,1921][]", "[APE] 12 g21a891[698,698][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=11;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][109,2028,383,2295][]", "[APE] 13 g21a892[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=12;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][403,2028,677,2296][]", "[APE] 14 g21a893[695,695][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=13;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][697,2028,971,2296][]", "[APE] 15 g21a894[700,700][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=14;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][109,2316,383,2337][]", "[APE] 16 g21a895[688,688][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=15;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][403,2316,677,2337][]", "[APE] 17 g21a896[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2316,971,2337][]", "[APE] 18 g21a897[-1,0][0]@MODEL_BACKg21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18][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: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]", "[APE] *** INFO *** > - B: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]", "[APE] *** INFO *** Never move to a saturated dialog state (g20s56[127,716][53]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 *** Requesting disabling restart.", "[APE] *** INFO *** Select action g21a896[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][697,2316,971,2337][] by strategy EARLY_STAGE", "[APE] Last state: g38s117[131,715][58]com.maubis.scarlet.base.MainActivity@-1459049548@Naming[0]@[W=2][A=2]", "[APE] Last action: g38a1566[226,715][9]@MODEL_BACKg38s117[131,715][58]com.maubis.scarlet.base.MainActivity@-1459049548@Naming[0]@[W=2][A=2][P=8][T=0][]", "[APE] Curr state: g20s56[127,716][53]com.maubis.scarlet.base.MainActivity@-1995370546@Naming[3]@[W=8][A=9]", "[APE] Curr action: g20a874[127,716][12]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;enabled=true;clickable=true;long-clickable=true;[P=36][T=0][][S=1.000000][RN=6][540,231,1080,733][]", "[APE] New state: g21s58[128,717][11]com.maubis.scarlet.base.MainActivity@-759737034@Naming[69]@[W=18][A=18]", "[APE] New action: g21a896[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][697,2316,971,2337][]", "[APE] >>>>>>>> SATA end step [717]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=697,2316,971,2337 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.widget.LinearLayout|text=|resource_id= action=g21a896[717,717][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=16;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][697,2316,971,2337][]", ":Sending Touch (ACTION_DOWN): 0:(834.0,2326.5)", ":Sending Touch (ACTION_UP): 0:(834.0,2326.5)" ], "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." }