{ "run_id": "run_2f3e76962d00482f8d64ce83ca4d873f", "app": "wikipedia", "provider": "JEV", "entry_id": "semantic-12-c1", "step": 1020, "elapsed_s": 1649.288, "candidate_id": "c1", "state_id": "g42s244", "model_action": "g42a2678", "concrete_action": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd", "node_path": "0-0-0-0-1-1", "class": "android.widget.TextView", "resource_id": "", "text": "Places", "content_desc": "", "bounds": [ 528, 673, 1998, 730 ], "enabled": true, "clickable": true, "long_clickable": false }, "candidate_at_inference": { "class": "android.widget.TextView", "resource_id": "", "text": "Places", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 1, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 673, 1998, 730 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Places", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_places_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_places_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "probe_executed": true, "request_id": "semantic-12", "request_step": 1020, "request_send_event": { "event": "JEV_REQUEST_SENT", "step": 1020, "monotonic_ns": 1884993807025492, "wall_time_ms": 1793995946903, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": null, "request_id": "semantic-12", "review_id": "run-6b0e4ade81f70:semantic:50", "candidate_count": 1, "pair_count": 2, "request_bytes": 13485, "wait_mode": "synchronous", "attempt": 1, "input_fingerprint": "744630969bdf0a1125e45ec29f67b04ee3f791f203fede060e90f52344f25fca", "_line": 2567 }, "decision_event": { "event": "DECISION_PROBE", "step": 1020, "monotonic_ns": 1884995221113404, "wall_time_ms": 1793995948317, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "confidence": 1, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "c5b122f8f157748aa1b8dc3150a77cfb50eb4c7d90fc14efbd9e52ef5b235cb9", "concrete_identity": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd", "decision_scope": "3445818cb6d99b0bb469f20b2a54f556575cb99539beb2e4b2b6adb48977befa", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-12", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false, "_line": 2570 }, "decision_step": 1020, "decision_wall_time_ms": 1793995948317, "model_input_cutoff_wall_ms": 1793995946903, "execute_wall_time_ms": 1793995948387, "model": "typesafe/jev-1.14", "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:typesafe/jev-1.14:incremental-candidate-closure-v2", "input_fingerprint": "744630969bdf0a1125e45ec29f67b04ee3f791f203fede060e90f52344f25fca", "evidence_view": "incremental-candidate-closure-v2", "control": "Places", "model_visible_state": { "evidence_schema": "history-pairwise-offline-v1-20261031:incremental-candidate-closure-v2", "pages": { "page1": { "activity": "org.wikipedia.main.MainActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } }, "page2": { "activity": "org.wikipedia.main.MainActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } }, "page3": { "activity": "org.wikipedia.main.MainActivity", "root": { "class": "android.widget.FrameLayout", "resource_id": "", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false } } }, "candidates": { "c1": { "class": "android.widget.TextView", "resource_id": "", "text": "Places", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 1, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 673, 1998, 730 ], "source_page_id": "page1", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Places", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_places_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_places_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" } }, "executed_actions": { "h1": { "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 3, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@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']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 925, 1998, 982 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_donate_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_donate_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "h2": { "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 2, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@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']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 799, 1998, 856 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_settings_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_settings_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" } }, "page_operation_context": { "columns": [ "id", "action_type", "class", "resource_id", "text_max64", "enabled" ], "actions": [], "view": "lightweight inventory; target subtree/parent/local context only for compared candidates" } }, "pair_records": [ { "request_id": "semantic-12", "pair_id": "p1", "candidate_id": "c1", "history_id": "h1", "choice": "DIFFERENT_OPERATION", "confidence": 1, "probabilities": { "SAME_OPERATION": 0, "DIFFERENT_OPERATION": 1, "INSUFFICIENT_EVIDENCE": 0 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-12.json", "original_question": { "type": "choice", "criteria": { "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.", "DIFFERENT_OPERATION": "Different application-function operations.", "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably." }, "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "probabilities": { "SAME_OPERATION": 0, "DIFFERENT_OPERATION": 1, "INSUFFICIENT_EVIDENCE": 0 }, "confidence": 1 }, "model_visible_history": { "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 3, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@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']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 925, 1998, 982 ], "source_page_id": "page2", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_donate_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_donate_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "offline_only_provenance": { "source_tree": 884, "source_gui_timestamp": 636, "current_state": "g42s244", "current_model_action": "g42a2678", "current_version": 53, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-3355", "history_step": 636, "history_row": { "input_id": "input-3355", "step": 636, "version": "42", "elapsed_s": "1042.456", "action": "MODEL_CLICK Donate", "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "state_id": "g42s244", "activity": "org.wikipedia.main.MainActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-3358.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:57765", "wall_time_ms": 1793995341555, "source_gui_id": 884, "source_gui_timestamp": 636, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@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']", "identity_digest": "3543a24d7e2e7423a5806acd8ad136ab469966c34188380d7d3c74fea60af7ef", "node_path": "0-0-0-0-3-3", "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "bounds": [ 528, 925, 1998, 982 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "org.wikipedia.main.MainActivity", "labels": [ "Log in / join Wikipedia", "Places", "Settings", "Donate" ], "identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "controls": [ { "label": "", "resource_id": "org.wikipedia:id/main_drawer_account_container", "class": "android.widget.LinearLayout", "bounds": [ 360, 512, 2040, 638 ] }, { "label": "Log in / join Wikipedia", "resource_id": "org.wikipedia:id/main_drawer_login_button", "class": "android.widget.TextView", "bounds": [ 528, 512, 944, 638 ] }, { "label": "Places", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 673, 1998, 730 ] }, { "label": "Settings", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 799, 1998, 856 ] }, { "label": "Donate", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 925, 1998, 982 ] } ] }, "target_gui": { "activity": "org.wikipedia.main.MainActivity", "labels": [ "Donate with Google Pay?", "Donate with Google Pay or choose another payment method.", "Donate with Google Pay", "Other payment method" ], "identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "controls": [ { "label": "Donate with Google Pay", "resource_id": "org.wikipedia:id/donateGooglePayButton", "class": "android.widget.TextView", "bounds": [ 360, 723, 2040, 849 ] }, { "label": "Other payment method", "resource_id": "org.wikipedia:id/donateOtherButton", "class": "android.widget.TextView", "bounds": [ 360, 849, 2040, 975 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-884-t636-3356.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-885-t637-3362.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 636, "abstraction_version": 42, "wall_time_ms": 1793995341556, "monotonic_ns": 1884388459610258, "gui_id": 884, "gui_timestamp": 636, "capture_phase": "history_before_input", "capture_started_ns": 1884388459615073, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884388511847940, "capture_wall_time_ms": 1793995341608, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-636-gui-884-3357.png", "completion_path": "jev-audit/screenshots/step-636-gui-884-3357.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 637, "abstraction_version": 42, "wall_time_ms": 1793995342504, "monotonic_ns": 1884389407713617, "gui_id": 885, "gui_timestamp": 637, "capture_phase": "history_first_native_target", "capture_started_ns": 1884389407720513, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884389454011398, "capture_wall_time_ms": 1793995342550, "alignment": "identity_verified", "expected_observation_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "before_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "after_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-637-gui-885-3363.png", "completion_path": "jev-audit/screenshots/step-637-gui-885-3363.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g42e530-630.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Donate", "node_id": 11, "resource_id": "", "class": "android.widget.TextView", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [], "parent_resource_id": "org.wikipedia:id/main_drawer_donate_container" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1793995342553, "native_transition": { "event": "NATIVE_TRANSITION", "step": 637, "monotonic_ns": 1884389456315101, "wall_time_ms": 1793995342553, "abstraction_version": 42, "state_id": "g42s244", "model_action_id": "g42a2678", "transition_id": "g42e530:630", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g32s183", "input_confirmed": true, "_line": 1566 }, "native_transition_receipt": { "transition_id": "g42e530:630", "native_edge_id": "g42e530", "native_history_position": 629, "source_gui_timestamp": 636, "target_gui_timestamp": 637, "state_id": "g42s244", "model_action_id": "g42a2678", "source_gui_id": 884, "target_gui_id": 885, "abstraction_version": 42, "source_activity": "org.wikipedia.main.MainActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g42e530-630.json" }, "target_activity_from_native": "org.wikipedia.main.MainActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@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']", "identity_digest": "3543a24d7e2e7423a5806acd8ad136ab469966c34188380d7d3c74fea60af7ef", "node_path": "0-0-0-0-3-3", "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "bounds": [ 528, 925, 1998, 982 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-884-t636-3356.json", "gui_id": 884, "gui_timestamp": 636, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 636, "abstraction_version": 42, "wall_time_ms": 1793995341556, "monotonic_ns": 1884388459610258, "gui_id": 884, "gui_timestamp": 636, "capture_phase": "history_before_input", "capture_started_ns": 1884388459615073, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884388511847940, "capture_wall_time_ms": 1793995341608, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-636-gui-884-3357.png", "completion_path": "jev-audit/screenshots/step-636-gui-884-3357.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b0e4ade81f70", "step": 636, "abstraction_version": 42, "wall_time_ms": 1793995341555, "monotonic_ns": 1884388459056176, "input_id": "input-3355", "source_gui_id": 884, "source_gui_timestamp": 636, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@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']", "identity_digest": "3543a24d7e2e7423a5806acd8ad136ab469966c34188380d7d3c74fea60af7ef", "node_path": "0-0-0-0-3-3", "class": "android.widget.TextView", "resource_id": "", "text": "Donate", "content_desc": "", "bounds": [ 528, 925, 1998, 982 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-884-t636-3356.json", "gui_id": 884, "gui_timestamp": 636, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 636, "abstraction_version": 42, "wall_time_ms": 1793995341556, "monotonic_ns": 1884388459610258, "gui_id": 884, "gui_timestamp": 636, "capture_phase": "history_before_input", "capture_started_ns": 1884388459615073, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884388511847940, "capture_wall_time_ms": 1793995341608, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-636-gui-884-3357.png", "completion_path": "jev-audit/screenshots/step-636-gui-884-3357.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g42e530:630", "receipt": "jev-receipts/transition-g42e530-630.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-885-t637-3362.json", "gui_id": 885, "gui_timestamp": 637, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 637, "abstraction_version": 42, "wall_time_ms": 1793995342504, "monotonic_ns": 1884389407713617, "gui_id": 885, "gui_timestamp": 637, "capture_phase": "history_first_native_target", "capture_started_ns": 1884389407720513, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884389454011398, "capture_wall_time_ms": 1793995342550, "alignment": "identity_verified", "expected_observation_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "before_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "after_identity": "f2c40c1a6e7bb0c5e2b1a9b4fdc03af0dac3407c900a7c51cd30045287693e0f", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-637-gui-885-3363.png", "completion_path": "jev-audit/screenshots/step-637-gui-885-3363.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } }, { "request_id": "semantic-12", "pair_id": "p2", "candidate_id": "c1", "history_id": "h2", "choice": "DIFFERENT_OPERATION", "confidence": 1, "probabilities": { "SAME_OPERATION": 0, "DIFFERENT_OPERATION": 1, "INSUFFICIENT_EVIDENCE": 0 }, "trusted": true, "pair_cache_hit": false, "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-12.json", "original_question": { "type": "choice", "criteria": { "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.", "DIFFERENT_OPERATION": "Different application-function operations.", "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably." }, "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h2`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone." }, "original_answer": { "type": "choice", "choice": "DIFFERENT_OPERATION", "probabilities": { "SAME_OPERATION": 0, "DIFFERENT_OPERATION": 1, "INSUFFICIENT_EVIDENCE": 0 }, "confidence": 1 }, "model_visible_history": { "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "action_type": "MODEL_CLICK", "index": 2, "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@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']", "model_action_id": "g42a2678", "source_state_id": "g42s244", "bounds": [ 528, 799, 1998, 856 ], "source_page_id": "page3", "target_subtree": [ { "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "enabled": true, "clickable": true, "long_clickable": false, "scrollable": false, "checked": false, "selected": false, "path": [] } ], "subtree_truncated": false, "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_settings_container", "text": "", "content_desc": "", "enabled": true, "clickable": false, "long_clickable": false, "scrollable": false, "checked": false, "selected": false }, "local_context": { "parent": { "class": "android.widget.LinearLayout", "resource_id": "org.wikipedia:id/main_drawer_settings_container" }, "labels": [], "truncated": false }, "text_source": "retained_gui_text", "generated_image_text": false, "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels" }, "offline_only_provenance": { "source_tree": 930, "source_gui_timestamp": 673, "current_state": "g42s244", "current_model_action": "g42a2678", "current_version": 53, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "history_input_id": "input-3561", "history_step": 673, "history_row": { "input_id": "input-3561", "step": 673, "version": "44", "elapsed_s": "1091.875", "action": "MODEL_CLICK Settings", "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "state_id": "g42s244", "activity": "org.wikipedia.main.MainActivity", "probe": "False", "input_confirmed": "True", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-3564.json", "observed_methods_until_next": "0", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:61259", "wall_time_ms": 1793995390974, "source_gui_id": 930, "source_gui_timestamp": 673, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@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": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e", "node_path": "0-0-0-0-2-2", "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "bounds": [ 528, 799, 1998, 856 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "activity": "org.wikipedia.main.MainActivity", "labels": [ "Log in / join Wikipedia", "Places", "Settings", "Donate" ], "identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "controls": [ { "label": "", "resource_id": "org.wikipedia:id/main_drawer_account_container", "class": "android.widget.LinearLayout", "bounds": [ 360, 512, 2040, 638 ] }, { "label": "Log in / join Wikipedia", "resource_id": "org.wikipedia:id/main_drawer_login_button", "class": "android.widget.TextView", "bounds": [ 528, 512, 944, 638 ] }, { "label": "Places", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 673, 1998, 730 ] }, { "label": "Settings", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 799, 1998, 856 ] }, { "label": "Donate", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 925, 1998, 982 ] } ] }, "target_gui": { "activity": "org.wikipedia.settings.SettingsActivity", "labels": [ "#a86d804d", "Settings", "General", "Wikipedia languages", "English, 中文（中国大陆）, فارسی, Nederlands", "Explore Feed", "Customize the Explore feed", "Show link previews", "Show a quick preview of articles when tapping on links." ], "identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "controls": [ { "label": "#a86d804d", "resource_id": "", "class": "android.widget.ImageButton", "bounds": [ 0, 84, 147, 210 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 366, 2400, 572 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 572, 2400, 775 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 775, 2400, 978 ] }, { "label": "", "resource_id": "", "class": "android.widget.LinearLayout", "bounds": [ 0, 978, 2400, 1017 ] }, { "label": "", "resource_id": "org.wikipedia:id/switchWidget", "class": "android.widget.Switch", "bounds": [ 2221, 813, 2358, 939 ] }, { "label": "", "resource_id": "org.wikipedia:id/switchWidget", "class": "android.widget.Switch", "bounds": [ 2221, 1016, 2358, 1017 ] } ] }, "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-930-t673-3562.json", "target_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-934-t674-3568.json", "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 673, "abstraction_version": 44, "wall_time_ms": 1793995390974, "monotonic_ns": 1884437877996672, "gui_id": 930, "gui_timestamp": 673, "capture_phase": "history_before_input", "capture_started_ns": 1884437877997637, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884437913296835, "capture_wall_time_ms": 1793995391010, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-673-gui-930-3563.png", "completion_path": "jev-audit/screenshots/step-673-gui-930-3563.png.json", "status": "capture_queued" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 674, "abstraction_version": 45, "wall_time_ms": 1793995394247, "monotonic_ns": 1884441150730020, "gui_id": 934, "gui_timestamp": 674, "capture_phase": "history_first_native_target", "capture_started_ns": 1884441150734392, "activity": "org.wikipedia.settings.SettingsActivity", "capture_finished_ns": 1884441192403914, "capture_wall_time_ms": 1793995394289, "alignment": "identity_verified", "expected_observation_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "before_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "after_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-674-gui-934-3569.png", "completion_path": "jev-audit/screenshots/step-674-gui-934-3569.png.json", "status": "capture_queued" }, "execution_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g45e555-666.json", "node": { "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE", "text": "Settings", "node_id": 10, "resource_id": "", "class": "android.widget.TextView", "checked": false, "selected": false, "subtree_labels": [], "sibling_labels": [], "parent_resource_id": "org.wikipedia:id/main_drawer_settings_container" }, "input_injection_completed": true, "execution_confirmed": true, "confirmation_wall_time_ms": 1793995394290, "native_transition": { "event": "NATIVE_TRANSITION", "step": 674, "monotonic_ns": 1884441194055400, "wall_time_ms": 1793995394290, "abstraction_version": 45, "state_id": "g42s244", "model_action_id": "g42a2678", "transition_id": "g45e555:666", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g45s261", "input_confirmed": true, "_line": 1674 }, "native_transition_receipt": { "transition_id": "g45e555:666", "native_edge_id": "g45e555", "native_history_position": 665, "source_gui_timestamp": 673, "target_gui_timestamp": 674, "state_id": "g42s244", "model_action_id": "g42a2678", "source_gui_id": 930, "target_gui_id": 934, "abstraction_version": 45, "source_activity": "org.wikipedia.main.MainActivity", "execution_branch": "COMMON", "input_confirmed": true, "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g45e555-666.json" }, "target_activity_from_native": "org.wikipedia.settings.SettingsActivity", "business_success": null }, "history_source_audit": { "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@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": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e", "node_path": "0-0-0-0-2-2", "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "bounds": [ 528, 799, 1998, 856 ], "enabled": true, "clickable": true, "long_clickable": false }, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-930-t673-3562.json", "gui_id": 930, "gui_timestamp": 673, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 673, "abstraction_version": 44, "wall_time_ms": 1793995390974, "monotonic_ns": 1884437877996672, "gui_id": 930, "gui_timestamp": 673, "capture_phase": "history_before_input", "capture_started_ns": 1884437877997637, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884437913296835, "capture_wall_time_ms": 1793995391010, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-673-gui-930-3563.png", "completion_path": "jev-audit/screenshots/step-673-gui-930-3563.png.json", "status": "capture_queued" }, "input": { "schema": "guitaboo-local-audit-v1", "kind": "native_input", "run_id": "run-6b0e4ade81f70", "step": 673, "abstraction_version": 44, "wall_time_ms": 1793995390974, "monotonic_ns": 1884437877447486, "input_id": "input-3561", "source_gui_id": 930, "source_gui_timestamp": 673, "concrete": { "action_type": "MODEL_CLICK", "model_action_id": "g42a2678", "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@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/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.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@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": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e", "node_path": "0-0-0-0-2-2", "class": "android.widget.TextView", "resource_id": "", "text": "Settings", "content_desc": "", "bounds": [ 528, 799, 1998, 856 ], "enabled": true, "clickable": true, "long_clickable": false }, "probe": false, "sampled": true, "source_gui": { "status": "queued", "path": "jev-audit/gui/gui-930-t673-3562.json", "gui_id": 930, "gui_timestamp": 673, "snapshot_phase": "before_input" }, "source_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 673, "abstraction_version": 44, "wall_time_ms": 1793995390974, "monotonic_ns": 1884437877996672, "gui_id": 930, "gui_timestamp": 673, "capture_phase": "history_before_input", "capture_started_ns": 1884437877997637, "activity": "org.wikipedia.main.MainActivity", "capture_finished_ns": 1884437913296835, "capture_wall_time_ms": 1793995391010, "alignment": "identity_verified", "expected_observation_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "before_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "after_identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-673-gui-930-3563.png", "completion_path": "jev-audit/screenshots/step-673-gui-930-3563.png.json", "status": "capture_queued" } }, "transitions": [ { "transition_id": "g45e555:666", "receipt": "jev-receipts/transition-g45e555-666.json", "target_gui": { "status": "queued", "path": "jev-audit/gui/gui-934-t674-3568.json", "gui_id": 934, "gui_timestamp": 674, "snapshot_phase": "first_native_target" }, "target_screenshot": { "schema": "guitaboo-local-audit-v1", "kind": "screenshot", "run_id": "run-6b0e4ade81f70", "step": 674, "abstraction_version": 45, "wall_time_ms": 1793995394247, "monotonic_ns": 1884441150730020, "gui_id": 934, "gui_timestamp": 674, "capture_phase": "history_first_native_target", "capture_started_ns": 1884441150734392, "activity": "org.wikipedia.settings.SettingsActivity", "capture_finished_ns": 1884441192403914, "capture_wall_time_ms": 1793995394289, "alignment": "identity_verified", "expected_observation_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "before_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "after_identity": "9e3dcc2e16e4e47147abf28de89a5d2674a58fff3847f68e1f72d711c9c6bb00", "width": 2400, "height": 1080, "path": "jev-audit/screenshots/step-674-gui-934-3569.png", "completion_path": "jev-audit/screenshots/step-674-gui-934-3569.png.json", "status": "capture_queued" } } ], "transition_count": 1, "transition_status": "unique_native_transition" } } ], "history_coverage": { "legal_history_count": 2, "complete": true, "history_collection_complete": true, "recoverable_history_count": 2, "selected_history": 2, "selected_history_ids": [ "h1", "h2" ], "unknown_mapping_count": 0, "mapping_basis": "live confirmedInputs; current State/ModelAction object links and node Name", "context_recoverable": true }, "all_scope_history_provenance_offline_only": { "h1": { "source_tree": 884, "source_gui_timestamp": 636, "current_state": "g42s244", "current_model_action": "g42a2678", "current_version": 53, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true }, "h2": { "source_tree": 930, "source_gui_timestamp": 673, "current_state": "g42s244", "current_model_action": "g42a2678", "current_version": 53, "input_confirmed": true, "confirmation_basis": "live confirmedInputs before review; not function completion", "attributes_recoverable": true } }, "pair_cache_hit": false, "candidate_decision": { "candidate_id": "c1", "aggregate_choice": "PROMOTE", "aggregate_confidence": 1, "parsed_outcome": "PROBE", "ledger_status": "STAGED", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false }, "aggregation_replay": "PROMOTE", "source_identity": "3445818cb6d99b0bb469f20b2a54f556575cb99539beb2e4b2b6adb48977befa", "selection_at_execution": { "event": "SELECTION_DECISION", "step": 1020, "monotonic_ns": 1884995233290184, "wall_time_ms": 1793995948330, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "snapshot_reason": "selection", "state_visits": 6, "state_first_seen": 590, "state_last_seen": 1020, "state_saturated": false, "state_saturation": 0.75, "native_state_saturated": false, "native_unsaturated_model_action_count": 1, "model_action_count": 4, "enabled_valid_action_count": 4, "unsaturated_model_action_count": 1, "unvisited_model_action_count": 1, "effective_unvisited_model_action_count": 1, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 1, "enabled_valid_unvisited_action_count": 1, "unvisited_model_action_ids": "g42a2681", "selection_strategy": "PROBE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 2, "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.wikipedia.main.MainActivity|class=android.widget.TextView|text=Places|resource_id=|bounds=528,673,1998,730", "selected_resolved_node_count": 3, "_line": 2575 }, "prior_same_identity_ledger_events": [], "execution_state_id": "g42s244", "execution_model_action": "g42a2678", "lifecycle": { "DECISION_PROBE": { "event": "DECISION_PROBE", "step": 1020, "monotonic_ns": 1884995221113404, "wall_time_ms": 1793995948317, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "confidence": 1, "choice": "PROMOTE", "parsed_outcome": "PROBE", "ledger_status": "STAGED", "decision_role": "candidate_decision", "input_signature": "c5b122f8f157748aa1b8dc3150a77cfb50eb4c7d90fc14efbd9e52ef5b235cb9", "concrete_identity": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd", "decision_scope": "3445818cb6d99b0bb469f20b2a54f556575cb99539beb2e4b2b6adb48977befa", "representative_model_action_id": "PROMOTE", "decision_request_id": "semantic-12", "aggregation_policy": "exploratory-top3-v1", "total_history": 2, "history_complete": true, "unknown_mapping_count": 0, "recoverable_history_count": 2, "selected_history": 2, "comparison_count": 2, "same_count": 0, "different_count": 2, "insufficient_count": 0, "trusted_same_count": 0, "trusted_different_count": 2, "low_confidence_count": 0, "full_history_compared": true, "exploratory": false, "_line": 2570 }, "SEMANTIC_DECISION_STORED": { "event": "SEMANTIC_DECISION_STORED", "step": 1020, "monotonic_ns": 1884995221662870, "wall_time_ms": 1793995948318, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "decision_role": "candidate_decision", "ledger_status": "PROBE", "input_signature": "c5b122f8f157748aa1b8dc3150a77cfb50eb4c7d90fc14efbd9e52ef5b235cb9", "input_fingerprint": "744630969bdf0a1125e45ec29f67b04ee3f791f203fede060e90f52344f25fca", "concrete_identity": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd", "decision_scope": "3445818cb6d99b0bb469f20b2a54f556575cb99539beb2e4b2b6adb48977befa", "_line": 2571 }, "PROBE_BOUND": { "event": "PROBE_BOUND", "step": 1020, "monotonic_ns": 1884995232884898, "wall_time_ms": 1793995948329, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "confidence": 1, "choice": "PROMOTE", "source": "semantic_sync", "input_signature": "c5b122f8f157748aa1b8dc3150a77cfb50eb4c7d90fc14efbd9e52ef5b235cb9", "decision_scope": "3445818cb6d99b0bb469f20b2a54f556575cb99539beb2e4b2b6adb48977befa", "concrete_identity": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd", "_line": 2572 }, "PROBE_SELECTED": { "event": "PROBE_SELECTED", "step": 1020, "monotonic_ns": 1884995232928552, "wall_time_ms": 1793995948329, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "confidence": 1, "choice": "PROMOTE", "source": "semantic_sync", "_line": 2573 }, "PROBE_INPUT_GENERATED": { "event": "PROBE_INPUT_GENERATED", "step": 1020, "monotonic_ns": 1884995292201766, "wall_time_ms": 1793995948388, "abstraction_version": 53, "state_id": null, "model_action_id": null, "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "event_count": 2, "_line": 2576 }, "PROBE_INPUT_COMPLETED": { "event": "PROBE_INPUT_COMPLETED", "step": 1020, "monotonic_ns": 1884995321112123, "wall_time_ms": 1793995948417, "abstraction_version": 53, "state_id": null, "model_action_id": null, "input_phase": "input_injected", "event_count": 2, "injected_success": 2, "injected_failed": 0, "discarded": 0, "unreported": 0, "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "_line": 2577 }, "PROBE_EXECUTED": { "event": "PROBE_EXECUTED", "step": 1021, "monotonic_ns": 1884996559914095, "wall_time_ms": 1793995949656, "abstraction_version": 53, "state_id": "g42s244", "model_action_id": "g42a2678", "entry_id": "semantic-12-c1", "request_id": "semantic-12", "candidate_id": "c1", "confidence": 1, "choice": "PROMOTE", "transition_id": "g53e853:1011", "target_state": "g53s335", "input_confirmed": true, "_line": 2579 } }, "lifecycle_refs": { "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2570", "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2571", "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2572", "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2573", "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2576", "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2577", "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:2579" }, "confirmed_inputs_before_decision": 1010, "exact_identity_prior_input_ids": [], "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [], "before": { "activity": "org.wikipedia.main.MainActivity", "labels": [ "Log in / join Wikipedia", "Places", "Settings", "Donate" ], "identity": "a388bf3fb63174f3b49ce724de7b4d0713f926e6e8b57835480fb98eb7fe6b89", "controls": [ { "label": "", "resource_id": "org.wikipedia:id/main_drawer_account_container", "class": "android.widget.LinearLayout", "bounds": [ 360, 512, 2040, 638 ] }, { "label": "Log in / join Wikipedia", "resource_id": "org.wikipedia:id/main_drawer_login_button", "class": "android.widget.TextView", "bounds": [ 528, 512, 944, 638 ] }, { "label": "Places", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 673, 1998, 730 ] }, { "label": "Settings", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 799, 1998, 856 ] }, { "label": "Donate", "resource_id": "", "class": "android.widget.TextView", "bounds": [ 528, 925, 1998, 982 ] } ] }, "after": { "activity": "org.wikipedia.places.PlacesActivity", "labels": [ "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.", "Search Wikipedia", "Search places", "Filter language", "Attribution icon. Activate to show attribution dialog.", "EN", "Map", "List" ], "identity": "8cdf63845f412a157e08b8a0e862e1213c88a23719f370441d23f74f47897d38", "controls": [ { "label": "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.", "resource_id": "org.wikipedia:id/mapView", "class": "android.widget.FrameLayout", "bounds": [ 0, 0, 2400, 1080 ] }, { "label": "Search Wikipedia", "resource_id": "org.wikipedia:id/backButton", "class": "android.widget.ImageView", "bounds": [ 21, 74, 147, 200 ] }, { "label": "Search places", "resource_id": "org.wikipedia:id/searchTextView", "class": "android.widget.TextView", "bounds": [ 147, 74, 2253, 200 ] }, { "label": "", "resource_id": "org.wikipedia:id/myLocationButton", "class": "android.widget.Button", "bounds": [ 2211, 828, 2358, 975 ] }, { "label": "Attribution icon. Activate to show attribution dialog.", "resource_id": "", "class": "android.widget.ImageView", "bounds": [ 42, 867, 97, 922 ] }, { "label": "EN", "resource_id": "org.wikipedia:id/langCodeText", "class": "android.widget.TextView", "bounds": [ 2288, 110, 2343, 163 ] }, { "label": "Map", "resource_id": "org.wikipedia:id/mapViewButton", "class": "android.widget.CompoundButton", "bounds": [ 1052, 221, 1210, 337 ] }, { "label": "List", "resource_id": "org.wikipedia:id/listViewButton", "class": "android.widget.CompoundButton", "bounds": [ 1202, 221, 1347, 337 ] } ] }, "new_state": true, "new_model_action": true, "target_state": "g53s335", "new_methods_2s": 1504, "new_methods_10s": 1671, "new_methods_before_next_action": 1451, "new_methods_input_start_to_next_action": 1451, "execution_observation": "Places打开地图与Search places界面；B窗口1451首次方法，后续继续地图操作，首次地图初始化有图证。", "following_actions": [ { "input_id": "input-5407", "step": 1021, "version": 53, "elapsed_s": 1650.611, "wall_time_ms": 1793995949710, "next_input_wall_ms": 1793995951627, "input_completed_wall_ms": 1793995950751, "input_confirmed": true, "action": "MODEL_LONG_CLICK Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.", "action_type": "MODEL_LONG_CLICK", "text": "", "content_desc": "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.", "resource_id": "org.wikipedia:id/mapView", "model_action_id": "g53a3697", "concrete_identity": "MODEL_LONG_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=\"org.wikipedia:id/mapView\"][@text=\"\"][@content-desc=\"Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']", "state_id": "g53s335", "source_gui_id": 1347, "activity": "org.wikipedia.places.PlacesActivity", "activity_evidence": "GUI receipt", "labels": [ "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.", "Search Wikipedia", "Search places", "Filter language", "Attribution icon. Activate to show attribution dialog.", "EN", "Map", "List" ], "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:95665", "observed_methods_until_next": 82, "category_counts": { "third_party": 75, "app_domain": 7 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5408.json" }, { "input_id": "input-5412", "step": 1022, "version": 53, "elapsed_s": 1652.528, "wall_time_ms": 1793995951627, "next_input_wall_ms": 1793995952524, "input_completed_wall_ms": 1793995951651, "input_confirmed": true, "action": "MODEL_CLICK Map", "action_type": "MODEL_CLICK", "text": "Map", "content_desc": "", "resource_id": "org.wikipedia:id/mapViewButton", "model_action_id": "g53a3702", "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.LinearLayout\"][@resource-id=\"org.wikipedia:id/viewButtonsGroup\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CompoundButton\"][@resource-id=\"org.wikipedia:id/mapViewButton\"][@text=\"Map\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']", "state_id": "g53s335", "source_gui_id": 1348, "activity": "org.wikipedia.places.PlacesActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:95799", "observed_methods_until_next": 17, "category_counts": { "third_party": 16, "app_domain": 1 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5413.json" }, { "input_id": "input-5417", "step": 1023, "version": 53, "elapsed_s": 1653.425, "wall_time_ms": 1793995952524, "next_input_wall_ms": 1793995954476, "input_completed_wall_ms": 1793995952551, "input_confirmed": true, "action": "MODEL_CLICK Search p", "action_type": "MODEL_CLICK", "text": "Search p", "content_desc": "", "resource_id": "org.wikipedia:id/searchTextView", "model_action_id": "g53a3699", "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.TextView\"][@resource-id=\"org.wikipedia:id/searchTextView\"][@text=\"Search p\"][@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']", "state_id": "g53s335", "source_gui_id": 1349, "activity": "org.wikipedia.places.PlacesActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:95884", "observed_methods_until_next": 76, "category_counts": { "app_domain": 7, "third_party": 69 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5418.json" }, { "input_id": "input-5422", "step": 1024, "version": 53, "elapsed_s": 1655.377, "wall_time_ms": 1793995954476, "next_input_wall_ms": 1793995955381, "input_completed_wall_ms": 1793995954500, "input_confirmed": true, "action": "MODEL_CLICK #14a072d4", "action_type": "MODEL_CLICK", "text": "#14a072d4", "content_desc": "Navigate up", "resource_id": "", "model_action_id": "g53a3705", "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.LinearLayout\"][@resource-id=\"org.wikipedia:id/search_container\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Navigate up\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g53s336", "source_gui_id": 1353, "activity": "org.wikipedia.search.SearchActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:95970", "observed_methods_until_next": 3, "category_counts": { "app_domain": 3 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5423.json" }, { "input_id": "input-5427", "step": 1025, "version": 53, "elapsed_s": 1656.282, "wall_time_ms": 1793995955381, "next_input_wall_ms": 1793995956303, "input_completed_wall_ms": 1793995955418, "input_confirmed": true, "action": "MODEL_CLICK Search Wikipedia", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Search Wikipedia", "resource_id": "org.wikipedia:id/backButton", "model_action_id": "g53a3698", "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.ImageView\"][@resource-id=\"org.wikipedia:id/backButton\"][@text=\"\"][@content-desc=\"Search Wikipedia\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g53s335", "source_gui_id": 1354, "activity": "org.wikipedia.places.PlacesActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": null, "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_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/executor.log:96072", "observed_methods_until_next": 42, "category_counts": { "app_domain": 8, "third_party": 34 }, "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5428.json" } ], "execution_receipt": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g53e853-1011.json", "screenshots": { "before_screenshot": { "local": "screenshots/semantic-12-c1-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/screenshots/step-1020-gui-1346-5399.png", "alignment": "identity_verified", "capture_wall_time_ms": 1793995948386 }, "after_screenshot": { "local": "screenshots/semantic-12-c1-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/screenshots/step-1021-gui-1347-5405.png", "alignment": "identity_verified", "capture_wall_time_ms": 1793995949650 } }, "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_2f3e76962d00482f8d64ce83ca4d873f/probes/semantic-12-c1.json", "source_references": { "request": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-request-semantic-12.json", "response": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-12.json", "local_audit": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/reviews/semantic-12.json", "execution": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2f3e76962d00482f8d64ce83ca4d873f.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g53e853-1011.json" }, "frozen_receipts_sha256": { "request-receipt.json": "bd137e7bf7c06bb761c87a4dd26e906dda4578d6493befeb313d12debfa4d0bc", "response-receipt.json": "bdbe95922364a6c16eb11e32189384dec2d7094bc09dc36e8d4baf9fe967b941", "model-input.json": "acb9756d667017f3069aa414144c13e2e9efab01c0dcc9dbe384daf05942166e", "local-audit-not-sent-to-model.json": "1d3c1ecd8daf2b084603c716ac45f6d9103550252d967c37f5966fcf6514b6d5" } }