{
  "run_id": "run_d04ae609a94042e28f3ab00ddb284ca9",
  "app": "wikipedia",
  "provider": "STARTLUX",
  "entry_id": "semantic-24-c3",
  "step": 1450,
  "elapsed_s": 2344.464,
  "candidate_id": "c3",
  "state_id": "g54s345",
  "model_action": "g54a3811",
  "concrete_action": {
    "action_type": "MODEL_CLICK",
    "model_action_id": "g54a3811",
    "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Help:\"][@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": "efc6e1aad1c5ac750a6e8ef229bb5b69d8c6042aeae06d4aaecff39818873638",
    "node_path": "0-0-7-2",
    "class": "android.widget.TextView",
    "resource_id": "",
    "text": "Help:",
    "content_desc": "",
    "bounds": [
      0,
      757,
      1080,
      883
    ],
    "enabled": true,
    "clickable": true,
    "long_clickable": false
  },
  "candidate_at_inference": {
    "class": "android.widget.TextView",
    "resource_id": "",
    "text": "Help:",
    "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.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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Help:\"][@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": "g54a3811",
    "source_state_id": "g54s345",
    "bounds": [
      0,
      757,
      1080,
      883
    ],
    "source_page_id": "page1",
    "target_subtree": [
      {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Help:",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "path": []
      }
    ],
    "subtree_truncated": false,
    "parent": {
      "class": "androidx.recyclerview.widget.RecyclerView",
      "resource_id": "org.wikipedia:id/recent_searches_recycler",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": false,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false
    },
    "local_context": {
      "parent": {
        "class": "androidx.recyclerview.widget.RecyclerView",
        "resource_id": "org.wikipedia:id/recent_searches_recycler"
      },
      "labels": [],
      "truncated": true
    },
    "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-24",
  "request_step": 1450,
  "request_send_event": {
    "event": "JEV_REQUEST_SENT",
    "step": 1450,
    "monotonic_ns": 1881879436690222,
    "wall_time_ms": 1793992832533,
    "abstraction_version": 63,
    "state_id": "g54s345",
    "model_action_id": null,
    "request_id": "semantic-24",
    "review_id": "run-6ad6d97285a2d:semantic:168",
    "candidate_count": 1,
    "pair_count": 3,
    "request_bytes": 17875,
    "wait_mode": "synchronous",
    "attempt": 1,
    "input_fingerprint": "83986285645119a4068956001cd7a4aeb0be2b001666ee34ff0f228ce25c1438",
    "evidence_view_version": "candidate-closure-v1",
    "_line": 4044
  },
  "decision_event": {
    "event": "DECISION_PROBE",
    "step": 1450,
    "monotonic_ns": 1881880314446392,
    "wall_time_ms": 1793992833411,
    "abstraction_version": 63,
    "state_id": "g54s345",
    "model_action_id": "g54a3811",
    "entry_id": "semantic-24-c3",
    "request_id": "semantic-24",
    "candidate_id": "c3",
    "confidence": 0.7994866371154785,
    "choice": "PROMOTE",
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "decision_role": "candidate_decision",
    "input_signature": "76e90c54cb97ee1f8c26da077845ca986e370b2d87cd440666f674c5134710ff",
    "concrete_identity": "efc6e1aad1c5ac750a6e8ef229bb5b69d8c6042aeae06d4aaecff39818873638",
    "decision_scope": "ef28a33148ce5734a21cf7160e0a47af1db9651e04cefcc16d860e2914e7fe02",
    "representative_model_action_id": "PROMOTE",
    "decision_request_id": "semantic-24",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 3,
    "history_complete": true,
    "unknown_mapping_count": 0,
    "recoverable_history_count": 3,
    "selected_history": 3,
    "comparison_count": 3,
    "same_count": 0,
    "different_count": 3,
    "insufficient_count": 0,
    "trusted_same_count": 0,
    "trusted_different_count": 2,
    "low_confidence_count": 1,
    "full_history_compared": true,
    "exploratory": false,
    "_line": 4047
  },
  "decision_step": 1450,
  "decision_wall_time_ms": 1793992833411,
  "model_input_cutoff_wall_ms": 1793992832533,
  "execute_wall_time_ms": 1793992833510,
  "model": "StartLux-Decision-4B",
  "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:StartLux-Decision-4B:candidate-closure-v1",
  "input_fingerprint": "83986285645119a4068956001cd7a4aeb0be2b001666ee34ff0f228ce25c1438",
  "evidence_view": "candidate-closure-v1",
  "control": "Help:",
  "model_visible_state": {
    "evidence_schema": "history-pairwise-offline-v1-20261031:candidate-closure-v1",
    "pages": {
      "page1": {
        "activity": "org.wikipedia.search.SearchActivity",
        "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.search.SearchActivity",
        "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.search.SearchActivity",
        "root": {
          "class": "android.widget.FrameLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        }
      },
      "page4": {
        "activity": "org.wikipedia.search.SearchActivity",
        "root": {
          "class": "android.widget.FrameLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        }
      }
    },
    "candidates": {
      "c3": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Help:",
        "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.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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Help:\"][@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": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          757,
          1080,
          883
        ],
        "source_page_id": "page1",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Help:",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "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": "[267]",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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']",
        "model_action_id": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          505,
          1080,
          631
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "h3": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "User:",
        "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.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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"User:\"][@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": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          631,
          2400,
          757
        ],
        "source_page_id": "page4",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "User:",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "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": "[267]",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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']",
        "model_action_id": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          505,
          1080,
          631
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      }
    },
    "page_operation_context": {
      "columns": [
        "source_page_id",
        "action_type",
        "index",
        "class",
        "resource_id",
        "text",
        "content_desc",
        "bounds",
        "enabled",
        "clickable",
        "long_clickable",
        "scrollable",
        "checked",
        "selected",
        "subtree_truncated",
        "descendant_labels_path_class_resource_text_content_desc",
        "parent_class_resource_text_content_desc",
        "local_context"
      ],
      "actions": {
        "c4": [
          "page1",
          "MODEL_CLICK",
          1,
          "android.widget.TextView",
          "org.wikipedia:id/namespaceText",
          "Участник:",
          "",
          [
            279,
            2211,
            495,
            2337
          ],
          true,
          true,
          false,
          false,
          false,
          false,
          false,
          [],
          [
            "androidx.recyclerview.widget.RecyclerView",
            "org.wikipedia:id/namespaces_recycler",
            "",
            ""
          ],
          {
            "parent": {
              "class": "androidx.recyclerview.widget.RecyclerView",
              "resource_id": "org.wikipedia:id/namespaces_recycler"
            },
            "labels": [],
            "truncated": true
          }
        ],
        "c5": [
          "page1",
          "MODEL_CLICK",
          2,
          "android.widget.TextView",
          "org.wikipedia:id/namespaceText",
          "Портал:",
          "",
          [
            495,
            2211,
            674,
            2337
          ],
          true,
          true,
          false,
          false,
          false,
          false,
          false,
          [],
          [
            "androidx.recyclerview.widget.RecyclerView",
            "org.wikipedia:id/namespaces_recycler",
            "",
            ""
          ],
          {
            "parent": {
              "class": "androidx.recyclerview.widget.RecyclerView",
              "resource_id": "org.wikipedia:id/namespaces_recycler"
            },
            "labels": [],
            "truncated": true
          }
        ]
      }
    }
  },
  "pair_records": [
    {
      "request_id": "semantic-24",
      "pair_id": "p1",
      "candidate_id": "c3",
      "history_id": "h1",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.5959894955158234,
      "probabilities": {
        "SAME_OPERATION": 0.16884320974349976,
        "DIFFERENT_OPERATION": 0.7306596636772156,
        "INSUFFICIENT_EVIDENCE": 0.10049709677696228
      },
      "trusted": true,
      "pair_cache_hit": false,
      "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-24.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.c3` 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",
        "confidence": 0.5959894955158234,
        "probabilities": {
          "SAME_OPERATION": 0.16884320974349976,
          "DIFFERENT_OPERATION": 0.7306596636772156,
          "INSUFFICIENT_EVIDENCE": 0.10049709677696228
        }
      },
      "model_visible_history": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "[267]",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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']",
        "model_action_id": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          505,
          1080,
          631
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "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": 1521,
        "source_gui_timestamp": 1247,
        "current_state": "g54s345",
        "current_model_action": "g54a3811",
        "current_version": 63,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-6602",
      "history_step": 1247,
      "history_row": {
        "input_id": "input-6602",
        "step": 1247,
        "version": "54",
        "elapsed_s": "1987.351",
        "action": "MODEL_CLICK [267]",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g54a3811",
        "state_id": "g54s345",
        "activity": "org.wikipedia.search.SearchActivity",
        "probe": "False",
        "input_confirmed": "True",
        "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-6603.json",
        "observed_methods_until_next": "0",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:116750",
        "wall_time_ms": 1793992476397,
        "source_gui_id": 1521,
        "source_gui_timestamp": 1247,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
          "node_path": "0-0-7-0",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "[267]",
          "content_desc": "",
          "bounds": [
            0,
            505,
            1080,
            631
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "activity": "org.wikipedia.search.SearchActivity",
          "labels": [
            "#394bbb7c",
            "more",
            "Recent searches:",
            "Clear history",
            "Search Wikipedia",
            "[267]",
            "Namespaces",
            "User:",
            "Portal:",
            "Help:",
            "ENGLISH",
            "SIMPLIFIED CHINESE",
            "EN",
            "ZH-\nHANS"
          ],
          "identity": "fdc1bbcdbe6b40ce1c32d85c51473211852ff2cc669d5c586e2a415d65d43e1b",
          "controls": [
            {
              "label": "",
              "resource_id": "org.wikipedia:id/search_container",
              "class": "android.widget.LinearLayout",
              "bounds": [
                0,
                63,
                1080,
                2337
              ]
            },
            {
              "label": "#394bbb7c",
              "resource_id": "",
              "class": "android.widget.ImageButton",
              "bounds": [
                0,
                73,
                147,
                220
              ]
            },
            {
              "label": "more",
              "resource_id": "org.wikipedia:id/more_languages",
              "class": "android.widget.Button",
              "bounds": [
                875,
                232,
                1059,
                358
              ]
            },
            {
              "label": "Clear history",
              "resource_id": "org.wikipedia:id/recent_searches_delete_button",
              "class": "android.widget.ImageView",
              "bounds": [
                954,
                379,
                1080,
                505
              ]
            },
            {
              "label": "Search Wikipedia",
              "resource_id": "org.wikipedia:id/search_src_text",
              "class": "android.widget.AutoCompleteTextView",
              "bounds": [
                168,
                99,
                1054,
                193
              ]
            },
            {
              "label": "",
              "resource_id": "",
              "class": "android.widget.LinearLayout",
              "bounds": [
                263,
                232,
                681,
                358
              ]
            },
            {
              "label": "[267]",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                0,
                505,
                1080,
                631
              ]
            },
            {
              "label": "Namespaces",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                21,
                2211,
                279,
                2337
              ]
            },
            {
              "label": "User:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                279,
                2211,
                408,
                2337
              ]
            },
            {
              "label": "Portal:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                408,
                2211,
                563,
                2337
              ]
            },
            {
              "label": "Help:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                563,
                2211,
                692,
                2337
              ]
            }
          ]
        },
        "target_gui": {
          "activity": null,
          "labels": null,
          "identity": null,
          "controls": null
        },
        "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-1521-t1247-7578.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "[267]",
          "node_id": 13,
          "resource_id": "",
          "class": "android.widget.TextView",
          "checked": false,
          "selected": false,
          "subtree_labels": [],
          "sibling_labels": [],
          "parent_resource_id": "org.wikipedia:id/recent_searches_recycler"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793992477291,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 1248,
          "monotonic_ns": 1881524194401760,
          "wall_time_ms": 1793992477291,
          "abstraction_version": 54,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "transition_id": "g54e1022:1236",
          "new_state": false,
          "new_model_action": false,
          "refinement": false,
          "self_loop": false,
          "activity_unchanged": true,
          "gui_unchanged": false,
          "target_state": "g39s236",
          "input_confirmed": true,
          "_line": 3353
        },
        "native_transition_receipt": {
          "transition_id": "g54e1022:1236",
          "native_edge_id": "g54e1022",
          "native_history_position": 1235,
          "source_gui_timestamp": 1247,
          "target_gui_timestamp": 1248,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "source_gui_id": 1521,
          "target_gui_id": 1522,
          "abstraction_version": 54,
          "source_activity": "org.wikipedia.search.SearchActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g54e1022-1236.json"
        },
        "target_activity_from_native": "org.wikipedia.search.SearchActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
          "node_path": "0-0-7-0",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "[267]",
          "content_desc": "",
          "bounds": [
            0,
            505,
            1080,
            631
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-1521-t1247-7578.json",
          "gui_id": 1521,
          "gui_timestamp": 1247,
          "snapshot_phase": "retained_history_at_review"
        },
        "source_screenshot": {
          "status": "not_captured_at_execution_time"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad6d97285a2d",
          "step": 1247,
          "abstraction_version": 54,
          "wall_time_ms": 1793992476397,
          "monotonic_ns": 1881523300307019,
          "input_id": "input-6602",
          "source_gui_id": 1521,
          "source_gui_timestamp": 1247,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g54a3811",
            "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
            "node_path": "0-0-7-0",
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "bounds": [
              0,
              505,
              1080,
              631
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g54e1022:1236",
            "receipt": "jev-receipts/transition-g54e1022-1236.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-1522-t1248-7577.json",
              "gui_id": 1522,
              "gui_timestamp": 1248,
              "snapshot_phase": "retained_history_at_review"
            },
            "target_screenshot": {
              "status": "not_captured_at_execution_time"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    },
    {
      "request_id": "semantic-24",
      "pair_id": "p2",
      "candidate_id": "c3",
      "history_id": "h3",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.37427425384521484,
      "probabilities": {
        "SAME_OPERATION": 0.32745131850242615,
        "DIFFERENT_OPERATION": 0.5828495025634766,
        "INSUFFICIENT_EVIDENCE": 0.0896991640329361
      },
      "trusted": false,
      "pair_cache_hit": false,
      "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-24.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.c3` the same application-function operation as executed action at `executed_actions.h3`? 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",
        "confidence": 0.37427425384521484,
        "probabilities": {
          "SAME_OPERATION": 0.32745131850242615,
          "DIFFERENT_OPERATION": 0.5828495025634766,
          "INSUFFICIENT_EVIDENCE": 0.0896991640329361
        }
      },
      "model_visible_history": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "User:",
        "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.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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"User:\"][@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": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          631,
          2400,
          757
        ],
        "source_page_id": "page4",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "User:",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "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": 1642,
        "source_gui_timestamp": 1343,
        "current_state": "g54s345",
        "current_model_action": "g54a3811",
        "current_version": 63,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-7145",
      "history_step": 1343,
      "history_row": {
        "input_id": "input-7145",
        "step": 1343,
        "version": "63",
        "elapsed_s": "2159.628",
        "action": "MODEL_CLICK User:",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g54a3811",
        "state_id": "g54s345",
        "activity": "org.wikipedia.search.SearchActivity",
        "probe": "False",
        "input_confirmed": "True",
        "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7146.json",
        "observed_methods_until_next": "0",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:127253",
        "wall_time_ms": 1793992648674,
        "source_gui_id": 1642,
        "source_gui_timestamp": 1343,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"User:\"][@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": "a85ba29983be57f0e3998b6fc9122e7251d031a52f5f5b30275d6ea18bc3380c",
          "node_path": "0-0-8-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "User:",
          "content_desc": "",
          "bounds": [
            0,
            631,
            2400,
            757
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "activity": "org.wikipedia.search.SearchActivity",
          "labels": [
            "#f10a8043",
            "more",
            "Recent searches:",
            "Clear history",
            "Search Wikipedia",
            "Help:",
            "User:",
            "Namespaces",
            "Участник:",
            "Портал:",
            "Справка:",
            "ENGLISH",
            "RUSSIAN",
            "EN",
            "RU"
          ],
          "identity": "69ed73adf0808b693732912c13522aeefb6c3a0c26e0316dcef63c62a68321ce",
          "controls": [
            {
              "label": "",
              "resource_id": "org.wikipedia:id/search_container",
              "class": "android.widget.LinearLayout",
              "bounds": [
                0,
                63,
                2400,
                1017
              ]
            },
            {
              "label": "#f10a8043",
              "resource_id": "",
              "class": "android.widget.ImageButton",
              "bounds": [
                0,
                84,
                147,
                210
              ]
            },
            {
              "label": "more",
              "resource_id": "org.wikipedia:id/more_languages",
              "class": "android.widget.Button",
              "bounds": [
                2195,
                232,
                2379,
                358
              ]
            },
            {
              "label": "Clear history",
              "resource_id": "org.wikipedia:id/recent_searches_delete_button",
              "class": "android.widget.ImageView",
              "bounds": [
                2274,
                379,
                2400,
                505
              ]
            },
            {
              "label": "Search Wikipedia",
              "resource_id": "org.wikipedia:id/search_src_text",
              "class": "android.widget.AutoCompleteTextView",
              "bounds": [
                168,
                99,
                2374,
                193
              ]
            },
            {
              "label": "",
              "resource_id": "",
              "class": "android.widget.LinearLayout",
              "bounds": [
                21,
                232,
                263,
                358
              ]
            },
            {
              "label": "Help:",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                0,
                505,
                2400,
                631
              ]
            },
            {
              "label": "User:",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                0,
                631,
                2400,
                757
              ]
            },
            {
              "label": "Namespaces",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                21,
                891,
                279,
                1017
              ]
            },
            {
              "label": "Участник:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                279,
                891,
                495,
                1017
              ]
            },
            {
              "label": "Портал:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                495,
                891,
                674,
                1017
              ]
            },
            {
              "label": "Справка:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                674,
                891,
                874,
                1017
              ]
            }
          ]
        },
        "target_gui": {
          "activity": null,
          "labels": null,
          "identity": null,
          "controls": null
        },
        "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-1642-t1343-7580.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "User:",
          "node_id": 15,
          "resource_id": "",
          "class": "android.widget.TextView",
          "checked": false,
          "selected": false,
          "subtree_labels": [],
          "sibling_labels": [
            "Help:"
          ],
          "parent_resource_id": "org.wikipedia:id/recent_searches_recycler"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793992649577,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 1344,
          "monotonic_ns": 1881696480416569,
          "wall_time_ms": 1793992649577,
          "abstraction_version": 63,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "transition_id": "g63e1106:1332",
          "new_state": true,
          "new_model_action": true,
          "refinement": false,
          "self_loop": false,
          "activity_unchanged": true,
          "gui_unchanged": false,
          "target_state": "g63s374",
          "input_confirmed": true,
          "_line": 3650
        },
        "native_transition_receipt": {
          "transition_id": "g63e1106:1332",
          "native_edge_id": "g63e1106",
          "native_history_position": 1331,
          "source_gui_timestamp": 1343,
          "target_gui_timestamp": 1344,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "source_gui_id": 1642,
          "target_gui_id": 1643,
          "abstraction_version": 63,
          "source_activity": "org.wikipedia.search.SearchActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g63e1106-1332.json"
        },
        "target_activity_from_native": "org.wikipedia.search.SearchActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"User:\"][@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": "a85ba29983be57f0e3998b6fc9122e7251d031a52f5f5b30275d6ea18bc3380c",
          "node_path": "0-0-8-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "User:",
          "content_desc": "",
          "bounds": [
            0,
            631,
            2400,
            757
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-1642-t1343-7580.json",
          "gui_id": 1642,
          "gui_timestamp": 1343,
          "snapshot_phase": "retained_history_at_review"
        },
        "source_screenshot": {
          "status": "not_captured_at_execution_time"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad6d97285a2d",
          "step": 1343,
          "abstraction_version": 63,
          "wall_time_ms": 1793992648674,
          "monotonic_ns": 1881695578043265,
          "input_id": "input-7145",
          "source_gui_id": 1642,
          "source_gui_timestamp": 1343,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g54a3811",
            "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"User:\"][@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": "a85ba29983be57f0e3998b6fc9122e7251d031a52f5f5b30275d6ea18bc3380c",
            "node_path": "0-0-8-1",
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "User:",
            "content_desc": "",
            "bounds": [
              0,
              631,
              2400,
              757
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g63e1106:1332",
            "receipt": "jev-receipts/transition-g63e1106-1332.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-1643-t1344-7579.json",
              "gui_id": 1643,
              "gui_timestamp": 1344,
              "snapshot_phase": "retained_history_at_review"
            },
            "target_screenshot": {
              "status": "not_captured_at_execution_time"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    },
    {
      "request_id": "semantic-24",
      "pair_id": "p3",
      "candidate_id": "c3",
      "history_id": "h2",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.7994866371154785,
      "probabilities": {
        "SAME_OPERATION": 0.058213792741298676,
        "DIFFERENT_OPERATION": 0.8663244247436523,
        "INSUFFICIENT_EVIDENCE": 0.07546187937259674
      },
      "trusted": true,
      "pair_cache_hit": false,
      "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-24.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.c3` 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",
        "confidence": 0.7994866371154785,
        "probabilities": {
          "SAME_OPERATION": 0.058213792741298676,
          "DIFFERENT_OPERATION": 0.8663244247436523,
          "INSUFFICIENT_EVIDENCE": 0.07546187937259674
        }
      },
      "model_visible_history": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "[267]",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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']",
        "model_action_id": "g54a3811",
        "source_state_id": "g54s345",
        "bounds": [
          0,
          505,
          1080,
          631
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.wikipedia:id/recent_searches_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "org.wikipedia:id/recent_searches_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "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": 1523,
        "source_gui_timestamp": 1249,
        "current_state": "g54s345",
        "current_model_action": "g54a3811",
        "current_version": 63,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-6612",
      "history_step": 1249,
      "history_row": {
        "input_id": "input-6612",
        "step": 1249,
        "version": "54",
        "elapsed_s": "1989.18",
        "action": "MODEL_CLICK [267]",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g54a3811",
        "state_id": "g54s345",
        "activity": "org.wikipedia.search.SearchActivity",
        "probe": "False",
        "input_confirmed": "True",
        "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-6613.json",
        "observed_methods_until_next": "0",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:116915",
        "wall_time_ms": 1793992478226,
        "source_gui_id": 1523,
        "source_gui_timestamp": 1249,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
          "node_path": "0-0-7-0",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "[267]",
          "content_desc": "",
          "bounds": [
            0,
            505,
            1080,
            631
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "activity": "org.wikipedia.search.SearchActivity",
          "labels": [
            "#84c0168c",
            "more",
            "Recent searches:",
            "Clear history",
            "Search Wikipedia",
            "[267]",
            "Namespaces",
            "User:",
            "Portal:",
            "Help:",
            "ENGLISH",
            "SIMPLIFIED CHINESE",
            "EN",
            "ZH-\nHANS"
          ],
          "identity": "fdc1bbcdbe6b40ce1c32d85c51473211852ff2cc669d5c586e2a415d65d43e1b",
          "controls": [
            {
              "label": "",
              "resource_id": "org.wikipedia:id/search_container",
              "class": "android.widget.LinearLayout",
              "bounds": [
                0,
                63,
                1080,
                2337
              ]
            },
            {
              "label": "#84c0168c",
              "resource_id": "",
              "class": "android.widget.ImageButton",
              "bounds": [
                0,
                73,
                147,
                220
              ]
            },
            {
              "label": "more",
              "resource_id": "org.wikipedia:id/more_languages",
              "class": "android.widget.Button",
              "bounds": [
                875,
                232,
                1059,
                358
              ]
            },
            {
              "label": "Clear history",
              "resource_id": "org.wikipedia:id/recent_searches_delete_button",
              "class": "android.widget.ImageView",
              "bounds": [
                954,
                379,
                1080,
                505
              ]
            },
            {
              "label": "Search Wikipedia",
              "resource_id": "org.wikipedia:id/search_src_text",
              "class": "android.widget.AutoCompleteTextView",
              "bounds": [
                168,
                99,
                1054,
                193
              ]
            },
            {
              "label": "",
              "resource_id": "",
              "class": "android.widget.LinearLayout",
              "bounds": [
                263,
                232,
                681,
                358
              ]
            },
            {
              "label": "[267]",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                0,
                505,
                1080,
                631
              ]
            },
            {
              "label": "Namespaces",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                21,
                2211,
                279,
                2337
              ]
            },
            {
              "label": "User:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                279,
                2211,
                408,
                2337
              ]
            },
            {
              "label": "Portal:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                408,
                2211,
                563,
                2337
              ]
            },
            {
              "label": "Help:",
              "resource_id": "org.wikipedia:id/namespaceText",
              "class": "android.widget.TextView",
              "bounds": [
                563,
                2211,
                692,
                2337
              ]
            }
          ]
        },
        "target_gui": {
          "activity": null,
          "labels": null,
          "identity": null,
          "controls": null
        },
        "source_gui_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/gui/gui-1523-t1249-7582.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "[267]",
          "node_id": 13,
          "resource_id": "",
          "class": "android.widget.TextView",
          "checked": false,
          "selected": false,
          "subtree_labels": [],
          "sibling_labels": [],
          "parent_resource_id": "org.wikipedia:id/recent_searches_recycler"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793992479207,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 1250,
          "monotonic_ns": 1881526110344567,
          "wall_time_ms": 1793992479207,
          "abstraction_version": 54,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "transition_id": "g54e1024:1238",
          "new_state": true,
          "new_model_action": true,
          "refinement": false,
          "self_loop": false,
          "activity_unchanged": true,
          "gui_unchanged": false,
          "target_state": "g54s346",
          "input_confirmed": true,
          "_line": 3358
        },
        "native_transition_receipt": {
          "transition_id": "g54e1024:1238",
          "native_edge_id": "g54e1024",
          "native_history_position": 1237,
          "source_gui_timestamp": 1249,
          "target_gui_timestamp": 1250,
          "state_id": "g54s345",
          "model_action_id": "g54a3811",
          "source_gui_id": 1523,
          "target_gui_id": 1524,
          "abstraction_version": 54,
          "source_activity": "org.wikipedia.search.SearchActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g54e1024-1238.json"
        },
        "target_activity_from_native": "org.wikipedia.search.SearchActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g54a3811",
          "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
          "node_path": "0-0-7-0",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "[267]",
          "content_desc": "",
          "bounds": [
            0,
            505,
            1080,
            631
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-1523-t1249-7582.json",
          "gui_id": 1523,
          "gui_timestamp": 1249,
          "snapshot_phase": "retained_history_at_review"
        },
        "source_screenshot": {
          "status": "not_captured_at_execution_time"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad6d97285a2d",
          "step": 1249,
          "abstraction_version": 54,
          "wall_time_ms": 1793992478226,
          "monotonic_ns": 1881525130114745,
          "input_id": "input-6612",
          "source_gui_id": 1523,
          "source_gui_timestamp": 1249,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g54a3811",
            "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=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recent_searches_recycler\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"[267]\"][@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": "0062fe326705b939cb32e9ede70b6bb51f4918ce0717a4c0684ae43d03483239",
            "node_path": "0-0-7-0",
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "[267]",
            "content_desc": "",
            "bounds": [
              0,
              505,
              1080,
              631
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g54e1024:1238",
            "receipt": "jev-receipts/transition-g54e1024-1238.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-1524-t1250-7581.json",
              "gui_id": 1524,
              "gui_timestamp": 1250,
              "snapshot_phase": "retained_history_at_review"
            },
            "target_screenshot": {
              "status": "not_captured_at_execution_time"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    }
  ],
  "history_coverage": {
    "legal_history_count": 3,
    "complete": true,
    "history_collection_complete": true,
    "recoverable_history_count": 3,
    "selected_history": 3,
    "selected_history_ids": [
      "h1",
      "h3",
      "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": 1521,
      "source_gui_timestamp": 1247,
      "current_state": "g54s345",
      "current_model_action": "g54a3811",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h2": {
      "source_tree": 1523,
      "source_gui_timestamp": 1249,
      "current_state": "g54s345",
      "current_model_action": "g54a3811",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h3": {
      "source_tree": 1642,
      "source_gui_timestamp": 1343,
      "current_state": "g54s345",
      "current_model_action": "g54a3811",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h4": {
      "source_tree": 1601,
      "source_gui_timestamp": 1305,
      "current_state": "g54s345",
      "current_model_action": "g54a3818",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h5": {
      "source_tree": 1604,
      "source_gui_timestamp": 1308,
      "current_state": "g54s345",
      "current_model_action": "g54a3818",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h6": {
      "source_tree": 1729,
      "source_gui_timestamp": 1423,
      "current_state": "g54s345",
      "current_model_action": "g54a3818",
      "current_version": 63,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  "pair_cache_hit": false,
  "candidate_decision": {
    "candidate_id": "c3",
    "aggregate_choice": "PROMOTE",
    "aggregate_confidence": 0.7994866371154785,
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "entry_id": "semantic-24-c3",
    "request_id": "semantic-24",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 3,
    "history_complete": true,
    "unknown_mapping_count": 0,
    "recoverable_history_count": 3,
    "selected_history": 3,
    "comparison_count": 3,
    "same_count": 0,
    "different_count": 3,
    "insufficient_count": 0,
    "trusted_same_count": 0,
    "trusted_different_count": 2,
    "low_confidence_count": 1,
    "full_history_compared": true,
    "exploratory": false
  },
  "aggregation_replay": "PROMOTE",
  "source_identity": "ef28a33148ce5734a21cf7160e0a47af1db9651e04cefcc16d860e2914e7fe02",
  "selection_at_execution": {
    "event": "SELECTION_DECISION",
    "step": 1450,
    "monotonic_ns": 1881880329117356,
    "wall_time_ms": 1793992833425,
    "abstraction_version": 63,
    "state_id": "g54s345",
    "model_action_id": "g54a3811",
    "snapshot_reason": "selection",
    "state_visits": 16,
    "state_first_seen": 1244,
    "state_last_seen": 1450,
    "state_saturated": true,
    "state_saturation": 0.9166667,
    "native_state_saturated": true,
    "native_unsaturated_model_action_count": 0,
    "model_action_count": 12,
    "enabled_valid_action_count": 11,
    "unsaturated_model_action_count": 0,
    "unvisited_model_action_count": 1,
    "effective_unvisited_model_action_count": 1,
    "effective_state_saturated": true,
    "local_probe_action_count": 0,
    "navigation_action_count": 0,
    "enabled_valid_unvisited_action_count": 0,
    "unvisited_model_action_ids": "g54a3817",
    "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": 3,
    "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.wikipedia.search.SearchActivity|class=android.widget.TextView|text=Help:|resource_id=|bounds=0,757,1080,883",
    "selected_resolved_node_count": 3,
    "_line": 4052
  },
  "prior_same_identity_ledger_events": [],
  "execution_state_id": "g54s345",
  "execution_model_action": "g54a3811",
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 1450,
      "monotonic_ns": 1881880314446392,
      "wall_time_ms": 1793992833411,
      "abstraction_version": 63,
      "state_id": "g54s345",
      "model_action_id": "g54a3811",
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "confidence": 0.7994866371154785,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "76e90c54cb97ee1f8c26da077845ca986e370b2d87cd440666f674c5134710ff",
      "concrete_identity": "efc6e1aad1c5ac750a6e8ef229bb5b69d8c6042aeae06d4aaecff39818873638",
      "decision_scope": "ef28a33148ce5734a21cf7160e0a47af1db9651e04cefcc16d860e2914e7fe02",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-24",
      "aggregation_policy": "exploratory-top3-v1",
      "total_history": 3,
      "history_complete": true,
      "unknown_mapping_count": 0,
      "recoverable_history_count": 3,
      "selected_history": 3,
      "comparison_count": 3,
      "same_count": 0,
      "different_count": 3,
      "insufficient_count": 0,
      "trusted_same_count": 0,
      "trusted_different_count": 2,
      "low_confidence_count": 1,
      "full_history_compared": true,
      "exploratory": false,
      "_line": 4047
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 1450,
      "monotonic_ns": 1881880315061157,
      "wall_time_ms": 1793992833411,
      "abstraction_version": 63,
      "state_id": "g54s345",
      "model_action_id": "g54a3811",
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "76e90c54cb97ee1f8c26da077845ca986e370b2d87cd440666f674c5134710ff",
      "input_fingerprint": "83986285645119a4068956001cd7a4aeb0be2b001666ee34ff0f228ce25c1438",
      "concrete_identity": "efc6e1aad1c5ac750a6e8ef229bb5b69d8c6042aeae06d4aaecff39818873638",
      "decision_scope": "ef28a33148ce5734a21cf7160e0a47af1db9651e04cefcc16d860e2914e7fe02",
      "_line": 4048
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 1450,
      "monotonic_ns": 1881880328864991,
      "wall_time_ms": 1793992833425,
      "abstraction_version": 63,
      "state_id": "g54s345",
      "model_action_id": "g54a3811",
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "confidence": 0.7994866371154785,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "76e90c54cb97ee1f8c26da077845ca986e370b2d87cd440666f674c5134710ff",
      "decision_scope": "ef28a33148ce5734a21cf7160e0a47af1db9651e04cefcc16d860e2914e7fe02",
      "concrete_identity": "efc6e1aad1c5ac750a6e8ef229bb5b69d8c6042aeae06d4aaecff39818873638",
      "_line": 4049
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 1450,
      "monotonic_ns": 1881880328896996,
      "wall_time_ms": 1793992833425,
      "abstraction_version": 63,
      "state_id": "g54s345",
      "model_action_id": "g54a3811",
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "confidence": 0.7994866371154785,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 4050
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 1450,
      "monotonic_ns": 1881880414721434,
      "wall_time_ms": 1793992833511,
      "abstraction_version": 63,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "event_count": 2,
      "_line": 4053
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 1450,
      "monotonic_ns": 1881880439850145,
      "wall_time_ms": 1793992833536,
      "abstraction_version": 63,
      "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-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "_line": 4054
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 1451,
      "monotonic_ns": 1881881274205955,
      "wall_time_ms": 1793992834370,
      "abstraction_version": 63,
      "state_id": "g54s345",
      "model_action_id": "g54a3811",
      "entry_id": "semantic-24-c3",
      "request_id": "semantic-24",
      "candidate_id": "c3",
      "confidence": 0.7994866371154785,
      "choice": "PROMOTE",
      "transition_id": "g54e1022:1438",
      "target_state": "g39s236",
      "input_confirmed": true,
      "_line": 4056
    }
  },
  "lifecycle_refs": {
    "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4047",
    "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4048",
    "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4049",
    "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4050",
    "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4053",
    "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4054",
    "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl:4056"
  },
  "confirmed_inputs_before_decision": 1437,
  "exact_identity_prior_input_ids": [],
  "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [],
  "before": {
    "activity": "org.wikipedia.search.SearchActivity",
    "labels": [
      "#f3ea11fd",
      "more",
      "Recent searches:",
      "Clear history",
      "Search Wikipedia",
      "Ben Stil",
      "User:",
      "Help:",
      "Namespaces",
      "Участник:",
      "Портал:",
      "Справка:",
      "ENGLISH",
      "RUSSIAN",
      "EN",
      "RU"
    ],
    "identity": "be1612dc78e73d6bb979c8ff54e2a2948d638aad3527d98cb60e6ac8e5152c0e",
    "controls": [
      {
        "label": "",
        "resource_id": "org.wikipedia:id/search_container",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          63,
          1080,
          2337
        ]
      },
      {
        "label": "#f3ea11fd",
        "resource_id": "",
        "class": "android.widget.ImageButton",
        "bounds": [
          0,
          73,
          147,
          220
        ]
      },
      {
        "label": "more",
        "resource_id": "org.wikipedia:id/more_languages",
        "class": "android.widget.Button",
        "bounds": [
          875,
          232,
          1059,
          358
        ]
      },
      {
        "label": "Clear history",
        "resource_id": "org.wikipedia:id/recent_searches_delete_button",
        "class": "android.widget.ImageView",
        "bounds": [
          954,
          379,
          1080,
          505
        ]
      },
      {
        "label": "Search Wikipedia",
        "resource_id": "org.wikipedia:id/search_src_text",
        "class": "android.widget.AutoCompleteTextView",
        "bounds": [
          168,
          99,
          1054,
          193
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          21,
          232,
          263,
          358
        ]
      },
      {
        "label": "Ben Stil",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          0,
          505,
          1080,
          631
        ]
      },
      {
        "label": "User:",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          0,
          631,
          1080,
          757
        ]
      },
      {
        "label": "Help:",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          0,
          757,
          1080,
          883
        ]
      },
      {
        "label": "Namespaces",
        "resource_id": "org.wikipedia:id/namespaceText",
        "class": "android.widget.TextView",
        "bounds": [
          21,
          2211,
          279,
          2337
        ]
      },
      {
        "label": "Участник:",
        "resource_id": "org.wikipedia:id/namespaceText",
        "class": "android.widget.TextView",
        "bounds": [
          279,
          2211,
          495,
          2337
        ]
      },
      {
        "label": "Портал:",
        "resource_id": "org.wikipedia:id/namespaceText",
        "class": "android.widget.TextView",
        "bounds": [
          495,
          2211,
          674,
          2337
        ]
      },
      {
        "label": "Справка:",
        "resource_id": "org.wikipedia:id/namespaceText",
        "class": "android.widget.TextView",
        "bounds": [
          674,
          2211,
          874,
          2337
        ]
      }
    ]
  },
  "after": {
    "activity": "org.wikipedia.search.SearchActivity",
    "labels": [
      "#9b0ad70d",
      "more",
      "Help:",
      "Clear query",
      "ENGLISH",
      "RUSSIAN",
      "EN",
      "RU"
    ],
    "identity": "566adf09906a23fe969c876b7c5c2a0c16077b02691498bd32e2bed723bb2e47",
    "controls": [
      {
        "label": "",
        "resource_id": "org.wikipedia:id/search_container",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          63,
          1080,
          2337
        ]
      },
      {
        "label": "#9b0ad70d",
        "resource_id": "",
        "class": "android.widget.ImageButton",
        "bounds": [
          0,
          73,
          147,
          220
        ]
      },
      {
        "label": "more",
        "resource_id": "org.wikipedia:id/more_languages",
        "class": "android.widget.Button",
        "bounds": [
          875,
          232,
          1059,
          358
        ]
      },
      {
        "label": "Help:",
        "resource_id": "org.wikipedia:id/search_src_text",
        "class": "android.widget.AutoCompleteTextView",
        "bounds": [
          168,
          99,
          949,
          193
        ]
      },
      {
        "label": "Clear query",
        "resource_id": "org.wikipedia:id/search_close_btn",
        "class": "android.widget.ImageView",
        "bounds": [
          949,
          99,
          1054,
          191
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          21,
          232,
          263,
          358
        ]
      }
    ]
  },
  "new_state": false,
  "new_model_action": false,
  "target_state": "g39s236",
  "new_methods_2s": 0,
  "new_methods_10s": 0,
  "new_methods_before_next_action": 0,
  "new_methods_input_start_to_next_action": 0,
  "execution_observation": "点击Help:将其填入搜索框；只是查询前缀，未证明打开帮助页面。 后图标记gui_drift，不作为与Transition目标identity完全一致的精确截图。",
  "following_actions": [
    {
      "input_id": "input-7748",
      "step": 1451,
      "version": 63,
      "elapsed_s": 2345.342,
      "wall_time_ms": 1793992834388,
      "next_input_wall_ms": 1793992836090,
      "input_completed_wall_ms": 1793992834418,
      "input_confirmed": true,
      "action": "MODEL_CLICK #9b0ad70d",
      "action_type": "MODEL_CLICK",
      "text": "#9b0ad70d",
      "content_desc": "Navigate up",
      "resource_id": "",
      "model_action_id": "g39a2653",
      "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": "g39s236",
      "source_gui_id": 1764,
      "activity": "org.wikipedia.search.SearchActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#9b0ad70d",
        "more",
        "Help:",
        "Clear query",
        "ENGLISH",
        "RUSSIAN",
        "EN",
        "RU"
      ],
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "Remote Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:137828",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7749.json"
    },
    {
      "input_id": "input-7753",
      "step": 1452,
      "version": 63,
      "elapsed_s": 2347.044,
      "wall_time_ms": 1793992836090,
      "next_input_wall_ms": 1793992837749,
      "input_completed_wall_ms": 1793992836118,
      "input_confirmed": true,
      "action": "MODEL_CLICK Find in ",
      "action_type": "MODEL_CLICK",
      "text": "Find in ",
      "content_desc": "Find in article",
      "resource_id": "org.wikipedia:id/page_find_in_article",
      "model_action_id": "g5a279",
      "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=\"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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/page_contents_container\"][@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_find_in_article\"][@text=\"Find in \"][@content-desc=\"Find in article\"][@index=5][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g5s23",
      "source_gui_id": 1765,
      "activity": "org.wikipedia.page.PageActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "Remote Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:137912",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7754.json"
    },
    {
      "input_id": "input-7758",
      "step": 1453,
      "version": 63,
      "elapsed_s": 2348.703,
      "wall_time_ms": 1793992837749,
      "next_input_wall_ms": 1793992840808,
      "input_completed_wall_ms": 1793992837784,
      "input_confirmed": true,
      "action": "MODEL_CLICK Contents",
      "action_type": "MODEL_CLICK",
      "text": "Contents",
      "content_desc": "Contents",
      "resource_id": "org.wikipedia:id/page_contents",
      "model_action_id": "g39a2694",
      "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=\"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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/page_contents_container\"][@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_contents\"][@text=\"Contents\"][@content-desc=\"Contents\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g39s239",
      "source_gui_id": 1766,
      "activity": "org.wikipedia.page.PageActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "USE_BUFFER",
      "context": "navigation",
      "native_branch": "USE_BUFFER",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:138054",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7759.json"
    },
    {
      "input_id": "input-7768",
      "step": 1454,
      "version": 63,
      "elapsed_s": 2351.762,
      "wall_time_ms": 1793992840808,
      "next_input_wall_ms": 1793992842275,
      "input_completed_wall_ms": 1793992840834,
      "input_confirmed": true,
      "action": "MODEL_CLICK Bill Mad",
      "action_type": "MODEL_CLICK",
      "text": "Bill Mad",
      "content_desc": "",
      "resource_id": "org.wikipedia:id/page_toc_item_text",
      "model_action_id": "g45a3267",
      "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=\"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/side_panel_container\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ListView\"][@resource-id=\"org.wikipedia:id/toc_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=\"android.widget.TextView\"][@resource-id=\"org.wikipedia:id/page_toc_item_text\"][@text=\"Bill Mad\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g45s294",
      "source_gui_id": 1767,
      "activity": "org.wikipedia.page.PageActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Done",
        "Find previous",
        "Find next",
        "Find in article",
        "Bill Madden (soldier)",
        "Early life",
        "Military career",
        "Capture and death",
        "Footnotes",
        "References",
        "About this article"
      ],
      "probe": true,
      "strategy": "PROBE",
      "context": "exploration",
      "native_branch": "Probe",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:138146",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7769.json"
    },
    {
      "input_id": "input-7775",
      "step": 1455,
      "version": 63,
      "elapsed_s": 2353.229,
      "wall_time_ms": 1793992842275,
      "next_input_wall_ms": 1793992844156,
      "input_completed_wall_ms": 1793992842301,
      "input_confirmed": true,
      "action": "MODEL_CLICK Save",
      "action_type": "MODEL_CLICK",
      "text": "Save",
      "content_desc": "Save",
      "resource_id": "org.wikipedia:id/page_save",
      "model_action_id": "g39a2690",
      "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=\"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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/page_contents_container\"][@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_save\"][@text=\"Save\"][@content-desc=\"Save\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g39s239",
      "source_gui_id": 1768,
      "activity": "org.wikipedia.page.PageActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Done",
        "Find previous",
        "Find next",
        "Find in article",
        "#a09920",
        "Search Wikipedia",
        "Show tabs",
        "More options",
        "Save",
        "Language",
        "Theme",
        "Contents",
        "1"
      ],
      "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_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:138255",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-7776.json"
    }
  ],
  "execution_receipt": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g54e1022-1438.json",
  "screenshots": {
    "before_screenshot": {
      "local": "screenshots/semantic-24-c3-before.png",
      "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/screenshots/step-1450-gui-1763-7740.png",
      "alignment": "identity_verified",
      "capture_wall_time_ms": 1793992833507
    },
    "after_screenshot": {
      "local": "screenshots/semantic-24-c3-after.png",
      "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/screenshots/step-1451-gui-1764-7746.png",
      "alignment": "gui_drift",
      "capture_wall_time_ms": 1793992834365
    }
  },
  "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_d04ae609a94042e28f3ab00ddb284ca9/probes/semantic-24-c3.json",
  "source_references": {
    "request": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-request-semantic-24.json",
    "response": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-24.json",
    "local_audit": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/reviews/semantic-24.json",
    "execution": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/executions/transition-g54e1022-1438.json"
  },
  "frozen_receipts_sha256": {
    "request-receipt.json": "6a8e8b99803ca0853a6bd9138713bddbd47588ed7282ec5107dd34b55bd90e9a",
    "response-receipt.json": "7cf7b0e6dbe286c7d8f7bc52e22f7ab0a4e63adcfbc539bc73bb6e81c5f73bb8",
    "model-input.json": "613c50cc5d2bab6fd0edb79be6cf8090e668264df23c63d106e17ea0832dafb5",
    "local-audit-not-sent-to-model.json": "990dbc4fb9bbf295c13ec53b122f315a823c81aaa67f753f29f3636e8f473747"
  }
}
