[{"app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","arrival_id":"omninotes-Rep1:g8s20:g13e399:715","arrival_kind":"external","arrival_transition":"g13e399:715","entry_transition":"g2e6:714","distance":2,"local_id":"omninotes-Rep1-l4aaee8c4ffc150","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@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/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/settings_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/settings\"][@text=\"Iestatīj\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"bd2b1aee9fe46872851dd2116bdf4a76502f0a0f21ef2a36fb5c67f55d9dbb54","related_id":"omninotes-Rep1-r4e2b63c4758bb8","source_state":"g0s2","source_activity":"it.feio.android.omninotes.MainActivity","model_action":"g0a16","input_model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","category":"Ⅰ","label_origin":"study2_inherited_exploratory","action_type":"MODEL_CLICK","resource_id":"it.feio.android.omninotes:id/settings","text":"Iestatīj","content_desc":"","target_state":"g2s5","target_activity":"it.feio.android.omninotes.SettingsActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g2e6:714","g13e399:715"],"path_state_ids":["g0s2","g2s5","g8s20"],"path_event_lines":[1828,1830],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-3923.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g2e6-714.json","human_confirmed":false,"B50_member":true,"all_support_pairs":4,"all_entry_transitions":["g2e6:661","g2e6:669","g2e6:714"],"all_related_headers":["g10s48","g5s13","g8s20"],"minimum_distance":2,"total_local_executions":7,"fully_final_projected_local":true},{"app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","arrival_id":"omninotes-Rep1:g8s20:g8e38:58","arrival_kind":"external","arrival_transition":"g8e38:58","entry_transition":"g2e6:57","distance":2,"local_id":"omninotes-Rep1-l6f9fd19395efb2","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@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/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/settings_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/settings\"][@text=\"إعدادات\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"d5035d1764ddf06aff166bc2b9c4e12eeb5146a297ae9ea2512e4bff602309e6","related_id":"omninotes-Rep1-rde4dee8b098abb","source_state":"g0s2","source_activity":"it.feio.android.omninotes.MainActivity","model_action":"g0a16","input_model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","category":"Ⅰ","label_origin":"study2_inherited_exploratory","action_type":"MODEL_CLICK","resource_id":"it.feio.android.omninotes:id/settings","text":"إعدادات","content_desc":"","target_state":"g2s5","target_activity":"it.feio.android.omninotes.SettingsActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g2e6:57","g8e38:58"],"path_state_ids":["g0s2","g2s5","g8s20"],"path_event_lines":[138,142],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-306.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g2e6-57.json","human_confirmed":false,"B50_member":false,"all_support_pairs":2,"all_entry_transitions":["g2e6:57"],"all_related_headers":["g8s20"],"minimum_distance":2,"total_local_executions":1,"fully_final_projected_local":true},{"app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","arrival_id":"omninotes-Rep1:g8s20:g11e372:540","arrival_kind":"external","arrival_transition":"g11e372:540","entry_transition":"g10e148:539","distance":2,"local_id":"omninotes-Rep1-l9d9639320c0d9d","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@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/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/settings_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/settings\"][@text=\"အပြင်အဆင\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"653b9ff7748765b744a7a56420d58b8da38c2df893590d20f799c3623424e5c8","related_id":"omninotes-Rep1-r87e8fe8e94521b","source_state":"g0s2","source_activity":"it.feio.android.omninotes.MainActivity","model_action":"g0a16","input_model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","category":"Ⅰ","label_origin":"study2_inherited_exploratory","action_type":"MODEL_CLICK","resource_id":"it.feio.android.omninotes:id/settings","text":"အပြင်အဆင","content_desc":"","target_state":"g10s38","target_activity":"it.feio.android.omninotes.SettingsActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g10e148:539","g11e372:540"],"path_state_ids":["g0s2","g10s38","g8s20"],"path_event_lines":[1389,1392],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-3005.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g10e148-539.json","human_confirmed":false,"B50_member":false,"all_support_pairs":1,"all_entry_transitions":["g10e148:539"],"all_related_headers":["g8s20"],"minimum_distance":2,"total_local_executions":2,"fully_final_projected_local":true},{"app":"omninotes","rep":"Rep1","header":"g8s20","region_size":3,"cohort":"primary_non_singleton","arrival_id":"omninotes-Rep1:g8s20:g13e399:594","arrival_kind":"external","arrival_transition":"g13e399:594","entry_transition":"g2e6:592","distance":3,"local_id":"omninotes-Rep1-lea22a7f9655347","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@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/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/settings_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/settings\"][@text=\"Settings\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"a62cf68590cfe2a8dd95b137db10f8d102684ccc08c7c84a45154dadf62a24b8","related_id":"omninotes-Rep1-r16784d3655e1f4","source_state":"g0s2","source_activity":"it.feio.android.omninotes.MainActivity","model_action":"g0a16","input_model_action":"g0a16","function":"omninotes.settings","family":"omninotes.settings","category":"Ⅰ","label_origin":"study2_inherited_exploratory","action_type":"MODEL_CLICK","resource_id":"it.feio.android.omninotes:id/settings","text":"Settings","content_desc":"","target_state":"g2s5","target_activity":"it.feio.android.omninotes.SettingsActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g2e6:592","g13e398:593","g13e399:594"],"path_state_ids":["g0s2","g2s5","g2s5","g8s20"],"path_event_lines":[1512,1515,1517],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/generated-3286.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/omninotes-rep1-pure-b1/formal/device-output/formal/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-receipts/transition-g2e6-592.json","human_confirmed":false,"B50_member":false,"all_support_pairs":1,"all_entry_transitions":["g2e6:592"],"all_related_headers":["g8s20"],"minimum_distance":3,"total_local_executions":2,"fully_final_projected_local":true},{"app":"odkcollect","rep":"Rep2","header":"g11s38","region_size":2,"cohort":"primary_non_singleton","arrival_id":"odkcollect-Rep2:g11s38:g11e102:702","arrival_kind":"external","arrival_transition":"g11e102:702","entry_transition":"g20e251:700","distance":3,"local_id":"odkcollect-Rep2-l47a7291cd1009c","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=\"\"][@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=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"56a9d7c91fcac6cd9c7e4bc0e7155135034b2d8dde07c0a1e437885f47254803","related_id":"odkcollect-Rep2-rf99725872c37fd","source_state":"g19s75","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","model_action":"g19a411","input_model_action":"g19a411","function":"odkcollect.download","family":"odkcollect.download","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.odk.collect.android:id/get_forms","text":"","content_desc":"","target_state":"g11s37","target_activity":"org.odk.collect.android.activities.FormDownloadListActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g20e251:700","g11e140:701","g11e102:702"],"path_state_ids":["g19s75","g11s37","g11s37","g11s38"],"path_event_lines":[1936,1938,1940],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-3803.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e251-700.json","human_confirmed":false,"B50_member":true,"all_support_pairs":5,"all_entry_transitions":["g20e251:700","g20e251:736","g20e251:768","g20e251:787","g20e251:815"],"all_related_headers":["g11s38"],"minimum_distance":3,"total_local_executions":5,"fully_final_projected_local":true},{"app":"odkcollect","rep":"Rep2","header":"g11s38","region_size":2,"cohort":"primary_non_singleton","arrival_id":"odkcollect-Rep2:g11s38:g11e102:724","arrival_kind":"external","arrival_transition":"g11e102:724","entry_transition":"g20e260:722","distance":3,"local_id":"odkcollect-Rep2-l88c9ea83a830ce","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=\"\"][@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=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.odk.collect.android:id/name\"][@text=\"Download\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"71f89b8952a74a58857dc1e1c368fa2ac848c761ea5f3bc87538fc592e5c512e","related_id":"odkcollect-Rep2-r4e4adeb1416716","source_state":"g20s77","source_activity":"org.odk.collect.android.mainmenu.MainMenuActivity","model_action":"g20a422","input_model_action":"g20a422","function":"odkcollect.download","family":"odkcollect.download","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.odk.collect.android:id/name","text":"Download","content_desc":"","target_state":"g11s37","target_activity":"org.odk.collect.android.activities.FormDownloadListActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g20e260:722","g11e140:723","g11e102:724"],"path_state_ids":["g20s77","g11s37","g11s37","g11s38"],"path_event_lines":[1998,2000,2002],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-3913.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e260-722.json","human_confirmed":false,"B50_member":true,"all_support_pairs":3,"all_entry_transitions":["g20e260:722","g20e260:755","g20e260:806"],"all_related_headers":["g11s38"],"minimum_distance":3,"total_local_executions":3,"fully_final_projected_local":true},{"app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","arrival_id":"wikipedia-Rep1:g42s213:g53e587:697","arrival_kind":"external","arrival_transition":"g53e587:697","entry_transition":"g53e586:696","distance":2,"local_id":"wikipedia-Rep1-lacdc60dd41736f","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"org.wikipedia:id/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/container_with_nav_trigger\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.wikipedia:id/page_toolbar_button_search\"][@text=\"Search W\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c","related_id":"wikipedia-Rep1-r9fcf7ed4f82e9e","source_state":"g3s18","source_activity":"org.wikipedia.page.PageActivity","model_action":"g3a188","input_model_action":"g3a188","function":"wikipedia.global-search","family":"wikipedia.global-search","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.wikipedia:id/page_toolbar_button_search","text":"Search W","content_desc":"","target_state":"g41s212","target_activity":"org.wikipedia.search.SearchActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g53e586:696","g53e587:697"],"path_state_ids":["g3s18","g41s212","g42s213"],"path_event_lines":[1654,1656],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-3645.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g53e586-696.json","human_confirmed":false,"B50_member":true,"all_support_pairs":1,"all_entry_transitions":["g53e586:696"],"all_related_headers":["g42s213"],"minimum_distance":2,"total_local_executions":1,"fully_final_projected_local":true},{"app":"wikipedia","rep":"Rep1","header":"g42s213","region_size":4,"cohort":"primary_non_singleton","arrival_id":"wikipedia-Rep1:g42s213:g53e587:714","arrival_kind":"external","arrival_transition":"g53e587:714","entry_transition":"g53e602:712","distance":3,"local_id":"wikipedia-Rep1-la4e0e41624b188","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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"org.wikipedia:id/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/container_with_nav_trigger\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.wikipedia:id/page_toolbar_button_search\"][@text=\"Search W\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c","related_id":"wikipedia-Rep1-r9fcf7ed4f82e9e","source_state":"g4s37","source_activity":"org.wikipedia.page.PageActivity","model_action":"g4a371","input_model_action":"g4a371","function":"wikipedia.global-search","family":"wikipedia.global-search","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.wikipedia:id/page_toolbar_button_search","text":"Search W","content_desc":"","target_state":"g41s212","target_activity":"org.wikipedia.search.SearchActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g53e602:712","g53e603:713","g53e587:714"],"path_state_ids":["g4s37","g41s212","g41s212","g42s213"],"path_event_lines":[1688,1690,1692],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-3739.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g53e602-712.json","human_confirmed":false,"B50_member":true,"all_support_pairs":1,"all_entry_transitions":["g53e602:712"],"all_related_headers":["g42s213"],"minimum_distance":3,"total_local_executions":1,"fully_final_projected_local":true},{"app":"wikipedia","rep":"Rep1","header":"g68s441","region_size":4,"cohort":"primary_non_singleton","arrival_id":"wikipedia-Rep1:g68s441:g77e1385:1663","arrival_kind":"external","arrival_transition":"g77e1385:1663","entry_transition":"g77e1384:1662","distance":2,"local_id":"wikipedia-Rep1-l46131960b33a54","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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/fragment_main_coordinator\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.viewpager.widget.ViewPager\"][@resource-id=\"org.wikipedia:id/main_view_pager\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@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=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/feed_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.cardview.widget.CardView\"][@resource-id=\"org.wikipedia:id/search_container\"][@text=\"\"][@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']","identity_digest":"4d11c4b271d05a76908e28a5cab25e2ebbc37b1448b46a7575dca257178ea663","related_id":"wikipedia-Rep1-r5e4f2a2319d726","source_state":"g77s496","source_activity":"org.wikipedia.main.MainActivity","model_action":"g77a5688","input_model_action":"g77a5688","function":"wikipedia.global-search","family":"wikipedia.global-search","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.wikipedia:id/search_container","text":"","content_desc":"","target_state":"g77s497","target_activity":"org.wikipedia.search.SearchActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g77e1384:1662","g77e1385:1663"],"path_state_ids":["g77s496","g77s497","g68s441"],"path_event_lines":[4028,4030],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-8923.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g77e1384-1662.json","human_confirmed":false,"B50_member":false,"all_support_pairs":2,"all_entry_transitions":["g77e1384:1662"],"all_related_headers":["g68s440","g68s441"],"minimum_distance":2,"total_local_executions":1,"fully_final_projected_local":true},{"app":"wikipedia","rep":"Rep2","header":"g26s116","region_size":4,"cohort":"primary_non_singleton","arrival_id":"wikipedia-Rep2:g26s116:g54e773:903","arrival_kind":"external","arrival_transition":"g54e773:903","entry_transition":"g54e772:902","distance":2,"local_id":"wikipedia-Rep2-l92e94ec12b5ec4","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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/fragment_main_coordinator\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.viewpager.widget.ViewPager\"][@resource-id=\"org.wikipedia:id/main_view_pager\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/history_list\"][@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=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.cardview.widget.CardView\"][@resource-id=\"org.wikipedia:id/search_card\"][@text=\"\"][@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']","identity_digest":"548d490f00e73bb48dcc365dcd87a341e0bd3bf73ece7781a15170a8e3d6e098","related_id":"wikipedia-Rep2-re6f7c59bd23384","source_state":"g53s254","source_activity":"org.wikipedia.main.MainActivity","model_action":"g53a2854","input_model_action":"g53a2854","function":"wikipedia.global-search","family":"wikipedia.global-search","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"org.wikipedia:id/search_card","text":"","content_desc":"","target_state":"g29s130","target_activity":"org.wikipedia.search.SearchActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":true,"entire_path_final_exact":true,"path_transition_ids":["g54e772:902","g54e773:903"],"path_state_ids":["g53s254","g29s130","g26s116"],"path_event_lines":[2098,2100],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4872.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g54e772-902.json","human_confirmed":false,"B50_member":false,"all_support_pairs":1,"all_entry_transitions":["g54e772:902"],"all_related_headers":["g26s116"],"minimum_distance":2,"total_local_executions":1,"fully_final_projected_local":true},{"app":"activitydiary","rep":"Rep1","header":"g21s63","region_size":5,"cohort":"primary_non_singleton","arrival_id":"activitydiary-Rep1:g21s63:g27e177:219","arrival_kind":"external","arrival_transition":"g27e177:219","entry_transition":"g27e176:218","distance":2,"local_id":"activitydiary-Rep1-l0b49fb23d2de75","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.TextView\"][@resource-id=\"de.rampro.activitydiary:id/action_add_activity\"][@text=\"\"][@content-desc=\"Add Activity\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"3032b3f8b5c6fe710aa30ad011e8d85959a4b152cb51da8ea385763b23099ebf","related_id":"activitydiary-Rep1-r3dcb5cc640a953","source_state":"g27s83","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","model_action":"g27a1004","input_model_action":"g27a1004","function":"activitydiary.add-activity","family":"activitydiary.editor","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"de.rampro.activitydiary:id/action_add_activity","text":"","content_desc":"Add Activity","target_state":"g24s69","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g27e176:218","g27e177:219"],"path_state_ids":["g27s83","g24s69","g21s63"],"path_event_lines":[531,533],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-1198.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g27e176-218.json","human_confirmed":false,"B50_member":true,"all_support_pairs":2,"all_entry_transitions":["g27e176:218","g36e530:677"],"all_related_headers":["g21s63"],"minimum_distance":2,"total_local_executions":2,"fully_final_projected_local":false},{"app":"activitydiary","rep":"Rep1","header":"g21s63","region_size":5,"cohort":"primary_non_singleton","arrival_id":"activitydiary-Rep1:g21s63:g31e456:564","arrival_kind":"external","arrival_transition":"g31e456:564","entry_transition":"g31e455:563","distance":2,"local_id":"activitydiary-Rep1-l2501b3f35c6aae","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.TextView\"][@resource-id=\"de.rampro.activitydiary:id/action_add_activity\"][@text=\"\"][@content-desc=\"Add Activity\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']","identity_digest":"3032b3f8b5c6fe710aa30ad011e8d85959a4b152cb51da8ea385763b23099ebf","related_id":"activitydiary-Rep1-r3dcb5cc640a953","source_state":"g27s75","source_activity":"de.rampro.activitydiary.ui.main.MainActivity","model_action":"g27a908","input_model_action":"g27a908","function":"activitydiary.add-activity","family":"activitydiary.editor","category":"Ⅰ","label_origin":"study3_case_entry_review","action_type":"MODEL_CLICK","resource_id":"de.rampro.activitydiary:id/action_add_activity","text":"","content_desc":"Add Activity","target_state":"g24s69","target_activity":"de.rampro.activitydiary.ui.generic.EditActivity","verdict":"SUPPORTED","reason":"continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence","entry_final_exact":false,"entire_path_final_exact":false,"path_transition_ids":["g31e455:563","g31e456:564"],"path_state_ids":["g27s75","g24s69","g21s63"],"path_event_lines":[1418,1420],"input_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3107.json","receipt_path":"[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/rep1-pure-batch1/activitydiary-rep1-pure-b1/formal/device-output/formal/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g31e455-563.json","human_confirmed":false,"B50_member":true,"all_support_pairs":1,"all_entry_transitions":["g31e455:563"],"all_related_headers":["g21s63"],"minimum_distance":2,"total_local_executions":1,"fully_final_projected_local":false}]