{
  "run_id": "run_d04ae609a94042e28f3ab00ddb284ca9",
  "app": "wikipedia",
  "provider": "STARTLUX",
  "entry_id": "semantic-6-c1",
  "step": 615,
  "elapsed_s": 990.815,
  "candidate_id": "c1",
  "state_id": "g8s93",
  "model_action": "g8a974",
  "concrete_action": {
    "action_type": "MODEL_CLICK",
    "model_action_id": "g8a974",
    "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Settings\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
    "identity_digest": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e",
    "node_path": "0-0-0-0-2-2",
    "class": "android.widget.TextView",
    "resource_id": "",
    "text": "Settings",
    "content_desc": "",
    "bounds": [
      168,
      2119,
      1038,
      2176
    ],
    "enabled": true,
    "clickable": true,
    "long_clickable": false
  },
  "candidate_at_inference": {
    "class": "android.widget.TextView",
    "resource_id": "",
    "text": "Settings",
    "content_desc": "",
    "enabled": true,
    "clickable": true,
    "long_clickable": false,
    "scrollable": false,
    "checked": false,
    "selected": false,
    "action_type": "MODEL_CLICK",
    "index": 2,
    "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Settings\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
    "model_action_id": "g8a974",
    "source_state_id": "g8s93",
    "bounds": [
      168,
      2119,
      1038,
      2176
    ],
    "source_page_id": "page1",
    "target_subtree": [
      {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Settings",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "path": []
      }
    ],
    "subtree_truncated": false,
    "parent": {
      "class": "android.widget.LinearLayout",
      "resource_id": "org.wikipedia:id/main_drawer_settings_container",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": false,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false
    },
    "local_context": {
      "parent": {
        "class": "android.widget.LinearLayout",
        "resource_id": "org.wikipedia:id/main_drawer_settings_container"
      },
      "labels": [],
      "truncated": false
    },
    "text_source": "retained_gui_text",
    "generated_image_text": false,
    "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
  },
  "probe_executed": true,
  "request_id": "semantic-6",
  "request_step": 615,
  "request_send_event": {
    "event": "JEV_REQUEST_SENT",
    "step": 615,
    "monotonic_ns": 1880525739765108,
    "wall_time_ms": 1793991478836,
    "abstraction_version": 33,
    "state_id": "g8s93",
    "model_action_id": null,
    "request_id": "semantic-6",
    "review_id": "run-6ad6d97285a2d:semantic:35",
    "candidate_count": 2,
    "pair_count": 4,
    "request_bytes": 20513,
    "wait_mode": "synchronous",
    "attempt": 1,
    "input_fingerprint": "c7af288ea63ab3c21e8c1fc600d85d75ccdafcc9bebd085e0fe7a266e585dedb",
    "_line": 1530
  },
  "decision_event": {
    "event": "DECISION_PROBE",
    "step": 615,
    "monotonic_ns": 1880526701383554,
    "wall_time_ms": 1793991479798,
    "abstraction_version": 33,
    "state_id": "g8s93",
    "model_action_id": "g8a974",
    "entry_id": "semantic-6-c1",
    "request_id": "semantic-6",
    "candidate_id": "c1",
    "confidence": 0.9333664178848267,
    "choice": "PROMOTE",
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "decision_role": "candidate_decision",
    "input_signature": "064c67207beafddfb913a427a84fd5bd83310e0777d8354fe1f33c0d4778bc9d",
    "concrete_identity": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e",
    "decision_scope": "3d3926431bc93bde8cbf490a5c09a2a9ac33f948d32beb3e48d7ed726162c382",
    "representative_model_action_id": "PROMOTE",
    "decision_request_id": "semantic-6",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 2,
    "history_complete": true,
    "unknown_mapping_count": 0,
    "recoverable_history_count": 2,
    "selected_history": 2,
    "comparison_count": 2,
    "same_count": 0,
    "different_count": 2,
    "insufficient_count": 0,
    "trusted_same_count": 0,
    "trusted_different_count": 2,
    "low_confidence_count": 0,
    "full_history_compared": true,
    "exploratory": false,
    "_line": 1533
  },
  "decision_step": 615,
  "decision_wall_time_ms": 1793991479798,
  "model_input_cutoff_wall_ms": 1793991478836,
  "execute_wall_time_ms": 1793991479861,
  "model": "StartLux-Decision-4B",
  "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:StartLux-Decision-4B:incremental-candidate-closure-v2",
  "input_fingerprint": "c7af288ea63ab3c21e8c1fc600d85d75ccdafcc9bebd085e0fe7a266e585dedb",
  "evidence_view": "incremental-candidate-closure-v2",
  "control": "Settings",
  "model_visible_state": {
    "evidence_schema": "history-pairwise-offline-v1-20261031:incremental-candidate-closure-v2",
    "pages": {
      "page1": {
        "activity": "org.wikipedia.main.MainActivity",
        "root": {
          "class": "android.widget.FrameLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        }
      },
      "page2": {
        "activity": "org.wikipedia.main.MainActivity",
        "root": {
          "class": "android.widget.FrameLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        }
      },
      "page3": {
        "activity": "org.wikipedia.main.MainActivity",
        "root": {
          "class": "android.widget.FrameLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        }
      }
    },
    "candidates": {
      "c1": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Settings",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 2,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_settings_container\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Settings\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          2119,
          1038,
          2176
        ],
        "source_page_id": "page1",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Settings",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_settings_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_settings_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "c2": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Donate",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 3,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_donate_container\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Donate\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          2245,
          1038,
          2302
        ],
        "source_page_id": "page1",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Donate",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_donate_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_donate_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      }
    },
    "executed_actions": {
      "h1": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Places",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 1,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          1993,
          1038,
          2050
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_places_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_places_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "h2": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Places",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 1,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          1993,
          1038,
          2050
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_places_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_places_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      }
    },
    "page_operation_context": {
      "columns": [
        "id",
        "action_type",
        "class",
        "resource_id",
        "text_max64",
        "enabled"
      ],
      "actions": [],
      "view": "lightweight inventory; target subtree/parent/local context only for compared candidates"
    }
  },
  "pair_records": [
    {
      "request_id": "semantic-6",
      "pair_id": "p1",
      "candidate_id": "c1",
      "history_id": "h1",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.9333664178848267,
      "probabilities": {
        "SAME_OPERATION": 0.017833616584539413,
        "DIFFERENT_OPERATION": 0.9555776119232178,
        "INSUFFICIENT_EVIDENCE": 0.026588691398501396
      },
      "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-6.json",
      "original_question": {
        "type": "choice",
        "criteria": {
          "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.",
          "DIFFERENT_OPERATION": "Different application-function operations.",
          "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably."
        },
        "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
      },
      "original_answer": {
        "type": "choice",
        "choice": "DIFFERENT_OPERATION",
        "confidence": 0.9333664178848267,
        "probabilities": {
          "SAME_OPERATION": 0.017833616584539413,
          "DIFFERENT_OPERATION": 0.9555776119232178,
          "INSUFFICIENT_EVIDENCE": 0.026588691398501396
        }
      },
      "model_visible_history": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Places",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 1,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          1993,
          1038,
          2050
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_places_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_places_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "offline_only_provenance": {
        "source_tree": 410,
        "source_gui_timestamp": 312,
        "current_state": "g8s93",
        "current_model_action": "g8a974",
        "current_version": 33,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-1649",
      "history_step": 312,
      "history_row": {
        "input_id": "input-1649",
        "step": 312,
        "version": "9",
        "elapsed_s": "535.479",
        "action": "MODEL_CLICK Places",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g8a974",
        "state_id": "g8s93",
        "activity": "org.wikipedia.main.MainActivity",
        "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-1652.json",
        "observed_methods_until_next": "997",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:23605",
        "wall_time_ms": 1793991024525,
        "source_gui_id": 410,
        "source_gui_timestamp": 312,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g8a974",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
          "node_path": "0-0-0-0-1-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "Places",
          "content_desc": "",
          "bounds": [
            168,
            1993,
            1038,
            2050
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "activity": "org.wikipedia.main.MainActivity",
          "labels": [
            "Log in / join Wikipedia",
            "Places",
            "Settings",
            "Donate"
          ],
          "identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "controls": [
            {
              "label": "Log in / join Wikipedia",
              "resource_id": "org.wikipedia:id/main_drawer_login_button",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                1832,
                584,
                1958
              ]
            },
            {
              "label": "Places",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                1993,
                1038,
                2050
              ]
            },
            {
              "label": "Settings",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                2119,
                1038,
                2176
              ]
            },
            {
              "label": "Donate",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                2245,
                1038,
                2302
              ]
            }
          ]
        },
        "target_gui": {
          "activity": "org.wikipedia.places.PlacesActivity",
          "labels": [
            "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.",
            "Search Wikipedia",
            "Search places",
            "Filter language",
            "Show tabs",
            "Attribution icon. Activate to show attribution dialog.",
            "EN",
            "1",
            "Map",
            "List",
            "Location permission is required to see your location on the map. Please try again."
          ],
          "identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
          "controls": [
            {
              "label": "Showing a Map created with MapLibre. Scroll by dragging two fingers. Zoom by pinching two fingers.",
              "resource_id": "org.wikipedia:id/mapView",
              "class": "android.widget.FrameLayout",
              "bounds": [
                0,
                0,
                1080,
                2400
              ]
            },
            {
              "label": "Search Wikipedia",
              "resource_id": "org.wikipedia:id/backButton",
              "class": "android.widget.ImageView",
              "bounds": [
                21,
                74,
                147,
                200
              ]
            },
            {
              "label": "Search places",
              "resource_id": "org.wikipedia:id/searchTextView",
              "class": "android.widget.TextView",
              "bounds": [
                147,
                74,
                807,
                200
              ]
            },
            {
              "label": "",
              "resource_id": "org.wikipedia:id/myLocationButton",
              "class": "android.widget.Button",
              "bounds": [
                891,
                2148,
                1038,
                2295
              ]
            },
            {
              "label": "Attribution icon. Activate to show attribution dialog.",
              "resource_id": "",
              "class": "android.widget.ImageView",
              "bounds": [
                42,
                2187,
                97,
                2242
              ]
            },
            {
              "label": "EN",
              "resource_id": "org.wikipedia:id/langCodeText",
              "class": "android.widget.TextView",
              "bounds": [
                842,
                110,
                897,
                163
              ]
            },
            {
              "label": "1",
              "resource_id": "org.wikipedia:id/tabsCountText",
              "class": "android.widget.TextView",
              "bounds": [
                968,
                110,
                1023,
                163
              ]
            },
            {
              "label": "Map",
              "resource_id": "org.wikipedia:id/mapViewButton",
              "class": "android.widget.CompoundButton",
              "bounds": [
                392,
                221,
                550,
                337
              ]
            },
            {
              "label": "List",
              "resource_id": "org.wikipedia:id/listViewButton",
              "class": "android.widget.CompoundButton",
              "bounds": [
                542,
                221,
                687,
                337
              ]
            }
          ]
        },
        "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-410-t312-1650.json",
        "target_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-411-t313-1656.json",
        "source_screenshot": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "screenshot",
          "run_id": "run-6ad6d97285a2d",
          "step": 312,
          "abstraction_version": 9,
          "wall_time_ms": 1793991024525,
          "monotonic_ns": 1880071429057848,
          "gui_id": 410,
          "gui_timestamp": 312,
          "capture_phase": "history_before_input",
          "capture_started_ns": 1880071429058568,
          "activity": "org.wikipedia.main.MainActivity",
          "capture_finished_ns": 1880071478464006,
          "capture_wall_time_ms": 1793991024575,
          "alignment": "identity_verified",
          "expected_observation_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "before_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "after_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "width": 1080,
          "height": 2400,
          "path": "jev-audit/screenshots/step-312-gui-410-1651.png",
          "completion_path": "jev-audit/screenshots/step-312-gui-410-1651.png.json",
          "status": "capture_queued"
        },
        "target_screenshot": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "screenshot",
          "run_id": "run-6ad6d97285a2d",
          "step": 313,
          "abstraction_version": 9,
          "wall_time_ms": 1793991025474,
          "monotonic_ns": 1880072377393357,
          "gui_id": 411,
          "gui_timestamp": 313,
          "capture_phase": "history_first_native_target",
          "capture_started_ns": 1880072377394782,
          "activity": "org.wikipedia.places.PlacesActivity",
          "capture_finished_ns": 1880072437264196,
          "capture_wall_time_ms": 1793991025534,
          "alignment": "identity_verified",
          "expected_observation_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
          "before_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
          "after_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
          "width": 1080,
          "height": 2400,
          "path": "jev-audit/screenshots/step-313-gui-411-1657.png",
          "completion_path": "jev-audit/screenshots/step-313-gui-411-1657.png.json",
          "status": "capture_queued"
        },
        "execution_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/executions/transition-g9e259-309.json",
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "Places",
          "node_id": 9,
          "resource_id": "",
          "class": "android.widget.TextView",
          "checked": false,
          "selected": false,
          "subtree_labels": [],
          "sibling_labels": [],
          "parent_resource_id": "org.wikipedia:id/main_drawer_places_container"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793991025543,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 313,
          "monotonic_ns": 1880072447036834,
          "wall_time_ms": 1793991025543,
          "abstraction_version": 9,
          "state_id": "g8s93",
          "model_action_id": "g8a974",
          "transition_id": "g9e259:309",
          "new_state": true,
          "new_model_action": true,
          "refinement": false,
          "self_loop": false,
          "activity_unchanged": false,
          "gui_unchanged": false,
          "target_state": "g9s99",
          "input_confirmed": true,
          "_line": 778
        },
        "native_transition_receipt": {
          "transition_id": "g9e259:309",
          "native_edge_id": "g9e259",
          "native_history_position": 308,
          "source_gui_timestamp": 312,
          "target_gui_timestamp": 313,
          "state_id": "g8s93",
          "model_action_id": "g8a974",
          "source_gui_id": 410,
          "target_gui_id": 411,
          "abstraction_version": 9,
          "source_activity": "org.wikipedia.main.MainActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g9e259-309.json"
        },
        "target_activity_from_native": "org.wikipedia.places.PlacesActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g8a974",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
          "node_path": "0-0-0-0-1-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "Places",
          "content_desc": "",
          "bounds": [
            168,
            1993,
            1038,
            2050
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-410-t312-1650.json",
          "gui_id": 410,
          "gui_timestamp": 312,
          "snapshot_phase": "before_input"
        },
        "source_screenshot": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "screenshot",
          "run_id": "run-6ad6d97285a2d",
          "step": 312,
          "abstraction_version": 9,
          "wall_time_ms": 1793991024525,
          "monotonic_ns": 1880071429057848,
          "gui_id": 410,
          "gui_timestamp": 312,
          "capture_phase": "history_before_input",
          "capture_started_ns": 1880071429058568,
          "activity": "org.wikipedia.main.MainActivity",
          "capture_finished_ns": 1880071478464006,
          "capture_wall_time_ms": 1793991024575,
          "alignment": "identity_verified",
          "expected_observation_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "before_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "after_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "width": 1080,
          "height": 2400,
          "path": "jev-audit/screenshots/step-312-gui-410-1651.png",
          "completion_path": "jev-audit/screenshots/step-312-gui-410-1651.png.json",
          "status": "capture_queued"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad6d97285a2d",
          "step": 312,
          "abstraction_version": 9,
          "wall_time_ms": 1793991024525,
          "monotonic_ns": 1880071428472386,
          "input_id": "input-1649",
          "source_gui_id": 410,
          "source_gui_timestamp": 312,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g8a974",
            "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
            "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
            "node_path": "0-0-0-0-1-1",
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "bounds": [
              168,
              1993,
              1038,
              2050
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": true,
          "source_gui": {
            "status": "queued",
            "path": "jev-audit/gui/gui-410-t312-1650.json",
            "gui_id": 410,
            "gui_timestamp": 312,
            "snapshot_phase": "before_input"
          },
          "source_screenshot": {
            "schema": "guitaboo-local-audit-v1",
            "kind": "screenshot",
            "run_id": "run-6ad6d97285a2d",
            "step": 312,
            "abstraction_version": 9,
            "wall_time_ms": 1793991024525,
            "monotonic_ns": 1880071429057848,
            "gui_id": 410,
            "gui_timestamp": 312,
            "capture_phase": "history_before_input",
            "capture_started_ns": 1880071429058568,
            "activity": "org.wikipedia.main.MainActivity",
            "capture_finished_ns": 1880071478464006,
            "capture_wall_time_ms": 1793991024575,
            "alignment": "identity_verified",
            "expected_observation_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
            "before_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
            "after_identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
            "width": 1080,
            "height": 2400,
            "path": "jev-audit/screenshots/step-312-gui-410-1651.png",
            "completion_path": "jev-audit/screenshots/step-312-gui-410-1651.png.json",
            "status": "capture_queued"
          }
        },
        "transitions": [
          {
            "transition_id": "g9e259:309",
            "receipt": "jev-receipts/transition-g9e259-309.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-411-t313-1656.json",
              "gui_id": 411,
              "gui_timestamp": 313,
              "snapshot_phase": "first_native_target"
            },
            "target_screenshot": {
              "schema": "guitaboo-local-audit-v1",
              "kind": "screenshot",
              "run_id": "run-6ad6d97285a2d",
              "step": 313,
              "abstraction_version": 9,
              "wall_time_ms": 1793991025474,
              "monotonic_ns": 1880072377393357,
              "gui_id": 411,
              "gui_timestamp": 313,
              "capture_phase": "history_first_native_target",
              "capture_started_ns": 1880072377394782,
              "activity": "org.wikipedia.places.PlacesActivity",
              "capture_finished_ns": 1880072437264196,
              "capture_wall_time_ms": 1793991025534,
              "alignment": "identity_verified",
              "expected_observation_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
              "before_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
              "after_identity": "6f95a71d185a65ef5e4558b0a28acc9456ee845373d136b24837beced02a2a9b",
              "width": 1080,
              "height": 2400,
              "path": "jev-audit/screenshots/step-313-gui-411-1657.png",
              "completion_path": "jev-audit/screenshots/step-313-gui-411-1657.png.json",
              "status": "capture_queued"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    },
    {
      "request_id": "semantic-6",
      "pair_id": "p2",
      "candidate_id": "c1",
      "history_id": "h2",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.9298565685749054,
      "probabilities": {
        "SAME_OPERATION": 0.017938027158379555,
        "DIFFERENT_OPERATION": 0.9532377123832703,
        "INSUFFICIENT_EVIDENCE": 0.028824210166931152
      },
      "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-6.json",
      "original_question": {
        "type": "choice",
        "criteria": {
          "SAME_OPERATION": "Same application-function operation; only parameter, data object, or entry point differs.",
          "DIFFERENT_OPERATION": "Different application-function operations.",
          "INSUFFICIENT_EVIDENCE": "The current visible GUI evidence is insufficient to determine the operation relation reliably."
        },
        "instructions": "Judge whether two concrete GUI actions represent the same application-function operation, using only the supplied GUI evidence and page context.\nSAME_OPERATION: the same application function, differing only in parameter, data object, or entry point.\nDIFFERENT_OPERATION: different application functions.\nINSUFFICIENT_EVIDENCE: the visible evidence is insufficient to judge reliably.\nThe same handler, class, resource ID, menu container, or switch is not sufficient evidence of operation equivalence. Judge application functions, not implementation form.\n\nIs candidate at `candidates.c1` the same application-function operation as executed action at `executed_actions.h2`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
      },
      "original_answer": {
        "type": "choice",
        "choice": "DIFFERENT_OPERATION",
        "confidence": 0.9298565685749054,
        "probabilities": {
          "SAME_OPERATION": 0.017938027158379555,
          "DIFFERENT_OPERATION": 0.9532377123832703,
          "INSUFFICIENT_EVIDENCE": 0.028824210166931152
        }
      },
      "model_visible_history": {
        "class": "android.widget.TextView",
        "resource_id": "",
        "text": "Places",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 1,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g8a974",
        "source_state_id": "g8s93",
        "bounds": [
          168,
          1993,
          1038,
          2050
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "android.widget.LinearLayout",
          "resource_id": "org.wikipedia:id/main_drawer_places_container",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "android.widget.LinearLayout",
            "resource_id": "org.wikipedia:id/main_drawer_places_container"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "offline_only_provenance": {
        "source_tree": 601,
        "source_gui_timestamp": 455,
        "current_state": "g8s93",
        "current_model_action": "g8a974",
        "current_version": 33,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-2397",
      "history_step": 455,
      "history_row": {
        "input_id": "input-2397",
        "step": 455,
        "version": "28",
        "elapsed_s": "753.021",
        "action": "MODEL_CLICK Places",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g8a974",
        "state_id": "g8s93",
        "activity": "org.wikipedia.main.MainActivity",
        "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-2398.json",
        "observed_methods_until_next": "477",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:38081",
        "wall_time_ms": 1793991242067,
        "source_gui_id": 601,
        "source_gui_timestamp": 455,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g8a974",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
          "node_path": "0-0-0-0-1-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "Places",
          "content_desc": "",
          "bounds": [
            168,
            1993,
            1038,
            2050
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "activity": "org.wikipedia.main.MainActivity",
          "labels": [
            "Log in / join Wikipedia",
            "Places",
            "Settings",
            "Donate"
          ],
          "identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
          "controls": [
            {
              "label": "Log in / join Wikipedia",
              "resource_id": "org.wikipedia:id/main_drawer_login_button",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                1832,
                584,
                1958
              ]
            },
            {
              "label": "Places",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                1993,
                1038,
                2050
              ]
            },
            {
              "label": "Settings",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                2119,
                1038,
                2176
              ]
            },
            {
              "label": "Donate",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                168,
                2245,
                1038,
                2302
              ]
            }
          ]
        },
        "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-601-t455-3269.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "Places",
          "node_id": 9,
          "resource_id": "",
          "class": "android.widget.TextView",
          "checked": false,
          "selected": false,
          "subtree_labels": [],
          "sibling_labels": [],
          "parent_resource_id": "org.wikipedia:id/main_drawer_places_container"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793991243276,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 456,
          "monotonic_ns": 1880290179404167,
          "wall_time_ms": 1793991243276,
          "abstraction_version": 28,
          "state_id": "g8s93",
          "model_action_id": "g8a974",
          "transition_id": "g28e383:451",
          "new_state": true,
          "new_model_action": true,
          "refinement": false,
          "self_loop": false,
          "activity_unchanged": false,
          "gui_unchanged": false,
          "target_state": "g28s155",
          "input_confirmed": true,
          "_line": 1116
        },
        "native_transition_receipt": {
          "transition_id": "g28e383:451",
          "native_edge_id": "g28e383",
          "native_history_position": 450,
          "source_gui_timestamp": 455,
          "target_gui_timestamp": 456,
          "state_id": "g8s93",
          "model_action_id": "g8a974",
          "source_gui_id": 601,
          "target_gui_id": 602,
          "abstraction_version": 28,
          "source_activity": "org.wikipedia.main.MainActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g28e383-451.json"
        },
        "target_activity_from_native": "org.wikipedia.places.PlacesActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g8a974",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
          "node_path": "0-0-0-0-1-1",
          "class": "android.widget.TextView",
          "resource_id": "",
          "text": "Places",
          "content_desc": "",
          "bounds": [
            168,
            1993,
            1038,
            2050
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-601-t455-3269.json",
          "gui_id": 601,
          "gui_timestamp": 455,
          "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": 455,
          "abstraction_version": 28,
          "wall_time_ms": 1793991242067,
          "monotonic_ns": 1880288970608400,
          "input_id": "input-2397",
          "source_gui_id": 601,
          "source_gui_timestamp": 455,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g8a974",
            "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/coordinator\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/design_bottom_sheet\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"org.wikipedia:id/main_drawer_places_container\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"\"][@text=\"Places\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
            "identity_digest": "89ec3b80b1bf4bd8b6a5c70ea8c619f0c26ca9613f78c6df26bcb56bf68374cd",
            "node_path": "0-0-0-0-1-1",
            "class": "android.widget.TextView",
            "resource_id": "",
            "text": "Places",
            "content_desc": "",
            "bounds": [
              168,
              1993,
              1038,
              2050
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g28e383:451",
            "receipt": "jev-receipts/transition-g28e383-451.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-602-t456-3268.json",
              "gui_id": 602,
              "gui_timestamp": 456,
              "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": 2,
    "complete": true,
    "history_collection_complete": true,
    "recoverable_history_count": 2,
    "selected_history": 2,
    "selected_history_ids": [
      "h1",
      "h2"
    ],
    "unknown_mapping_count": 0,
    "mapping_basis": "live confirmedInputs; current State/ModelAction object links and node Name",
    "context_recoverable": true
  },
  "all_scope_history_provenance_offline_only": {
    "h1": {
      "source_tree": 410,
      "source_gui_timestamp": 312,
      "current_state": "g8s93",
      "current_model_action": "g8a974",
      "current_version": 33,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h2": {
      "source_tree": 601,
      "source_gui_timestamp": 455,
      "current_state": "g8s93",
      "current_model_action": "g8a974",
      "current_version": 33,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  "pair_cache_hit": false,
  "candidate_decision": {
    "candidate_id": "c1",
    "aggregate_choice": "PROMOTE",
    "aggregate_confidence": 0.9333664178848267,
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "entry_id": "semantic-6-c1",
    "request_id": "semantic-6",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 2,
    "history_complete": true,
    "unknown_mapping_count": 0,
    "recoverable_history_count": 2,
    "selected_history": 2,
    "comparison_count": 2,
    "same_count": 0,
    "different_count": 2,
    "insufficient_count": 0,
    "trusted_same_count": 0,
    "trusted_different_count": 2,
    "low_confidence_count": 0,
    "full_history_compared": true,
    "exploratory": false
  },
  "aggregation_replay": "PROMOTE",
  "source_identity": "3d3926431bc93bde8cbf490a5c09a2a9ac33f948d32beb3e48d7ed726162c382",
  "selection_at_execution": {
    "event": "SELECTION_DECISION",
    "step": 615,
    "monotonic_ns": 1880526710882426,
    "wall_time_ms": 1793991479807,
    "abstraction_version": 33,
    "state_id": "g8s93",
    "model_action_id": "g8a974",
    "snapshot_reason": "selection",
    "state_visits": 5,
    "state_first_seen": 288,
    "state_last_seen": 615,
    "state_saturated": false,
    "state_saturation": 0.6666667,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 1,
    "model_action_count": 3,
    "enabled_valid_action_count": 3,
    "unsaturated_model_action_count": 1,
    "unvisited_model_action_count": 1,
    "effective_unvisited_model_action_count": 1,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 1,
    "enabled_valid_unvisited_action_count": 1,
    "unvisited_model_action_ids": "g8a976",
    "selection_strategy": "PROBE",
    "selection_context": "exploration",
    "selection_buffer_size_after": 0,
    "selected_model_action_type": "MODEL_CLICK",
    "selected_model_action_saturated": true,
    "selected_model_action_unvisited": false,
    "selected_effective_unvisited": false,
    "selected_navigation_target": false,
    "selected_model_action_visits": 2,
    "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.wikipedia.main.MainActivity|class=android.widget.TextView|text=Settings|resource_id=|bounds=168,2119,1038,2176",
    "selected_resolved_node_count": 3,
    "_line": 1540
  },
  "prior_same_identity_ledger_events": [],
  "execution_state_id": "g8s93",
  "execution_model_action": "g8a974",
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 615,
      "monotonic_ns": 1880526701383554,
      "wall_time_ms": 1793991479798,
      "abstraction_version": 33,
      "state_id": "g8s93",
      "model_action_id": "g8a974",
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "confidence": 0.9333664178848267,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "064c67207beafddfb913a427a84fd5bd83310e0777d8354fe1f33c0d4778bc9d",
      "concrete_identity": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e",
      "decision_scope": "3d3926431bc93bde8cbf490a5c09a2a9ac33f948d32beb3e48d7ed726162c382",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-6",
      "aggregation_policy": "exploratory-top3-v1",
      "total_history": 2,
      "history_complete": true,
      "unknown_mapping_count": 0,
      "recoverable_history_count": 2,
      "selected_history": 2,
      "comparison_count": 2,
      "same_count": 0,
      "different_count": 2,
      "insufficient_count": 0,
      "trusted_same_count": 0,
      "trusted_different_count": 2,
      "low_confidence_count": 0,
      "full_history_compared": true,
      "exploratory": false,
      "_line": 1533
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 615,
      "monotonic_ns": 1880526702107285,
      "wall_time_ms": 1793991479798,
      "abstraction_version": 33,
      "state_id": "g8s93",
      "model_action_id": "g8a974",
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "064c67207beafddfb913a427a84fd5bd83310e0777d8354fe1f33c0d4778bc9d",
      "input_fingerprint": "c7af288ea63ab3c21e8c1fc600d85d75ccdafcc9bebd085e0fe7a266e585dedb",
      "concrete_identity": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e",
      "decision_scope": "3d3926431bc93bde8cbf490a5c09a2a9ac33f948d32beb3e48d7ed726162c382",
      "_line": 1535
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 615,
      "monotonic_ns": 1880526710431789,
      "wall_time_ms": 1793991479807,
      "abstraction_version": 33,
      "state_id": "g8s93",
      "model_action_id": "g8a974",
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "confidence": 0.9333664178848267,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "064c67207beafddfb913a427a84fd5bd83310e0777d8354fe1f33c0d4778bc9d",
      "decision_scope": "3d3926431bc93bde8cbf490a5c09a2a9ac33f948d32beb3e48d7ed726162c382",
      "concrete_identity": "f08fca80599c16eb18b0a6ce843b6b4f93e76f1823f33b31edf06defb0360e0e",
      "_line": 1537
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 615,
      "monotonic_ns": 1880526710481283,
      "wall_time_ms": 1793991479807,
      "abstraction_version": 33,
      "state_id": "g8s93",
      "model_action_id": "g8a974",
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "confidence": 0.9333664178848267,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 1538
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 615,
      "monotonic_ns": 1880526765817002,
      "wall_time_ms": 1793991479862,
      "abstraction_version": 33,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "event_count": 2,
      "_line": 1541
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 615,
      "monotonic_ns": 1880526788409326,
      "wall_time_ms": 1793991479885,
      "abstraction_version": 33,
      "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-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "_line": 1542
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 616,
      "monotonic_ns": 1880531568462245,
      "wall_time_ms": 1793991484665,
      "abstraction_version": 35,
      "state_id": "g8s93",
      "model_action_id": "g8a974",
      "entry_id": "semantic-6-c1",
      "request_id": "semantic-6",
      "candidate_id": "c1",
      "confidence": 0.9333664178848267,
      "choice": "PROMOTE",
      "transition_id": "g35e519:610",
      "target_state": "g35s205",
      "input_confirmed": true,
      "_line": 1546
    }
  },
  "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:1533",
    "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:1535",
    "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:1537",
    "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:1538",
    "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:1541",
    "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:1542",
    "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:1546"
  },
  "confirmed_inputs_before_decision": 609,
  "exact_identity_prior_input_ids": [],
  "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [],
  "before": {
    "activity": "org.wikipedia.main.MainActivity",
    "labels": [
      "Log in / join Wikipedia",
      "Places",
      "Settings",
      "Donate"
    ],
    "identity": "12d04522b76048cbb02094c347f60e81ea8da294515c92e97ade25bc384846a9",
    "controls": [
      {
        "label": "Log in / join Wikipedia",
        "resource_id": "org.wikipedia:id/main_drawer_login_button",
        "class": "android.widget.TextView",
        "bounds": [
          168,
          1832,
          584,
          1958
        ]
      },
      {
        "label": "Places",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          168,
          1993,
          1038,
          2050
        ]
      },
      {
        "label": "Settings",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          168,
          2119,
          1038,
          2176
        ]
      },
      {
        "label": "Donate",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          168,
          2245,
          1038,
          2302
        ]
      }
    ]
  },
  "after": {
    "activity": "org.wikipedia.settings.SettingsActivity",
    "labels": [
      "#f1409233",
      "Settings",
      "General",
      "Wikipedia languages",
      "italiano, 中文（中国大陆）, français, English",
      "Explore Feed",
      "Customize the Explore feed",
      "Show link previews",
      "Show a quick preview of articles when tapping on links.",
      "Collapse tables",
      "Automatically collapse tables in articles, such as infoboxes, references, and notes.",
      "App theme",
      "Light",
      "Syncing",
      "Reading list syncing",
      "Sync reading lists across different devices by saving them to your Wikipedia account",
      "Download reading list articles",
      "Data usage",
      "Download only over Wi-Fi"
    ],
    "identity": "d4e28711446d98f2ed1bbb18f61af9a770dc0e8bf7fe7745f65323f8f0b775bd",
    "controls": [
      {
        "label": "#f1409233",
        "resource_id": "",
        "class": "android.widget.ImageButton",
        "bounds": [
          0,
          73,
          147,
          220
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          366,
          1080,
          572
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          572,
          1080,
          775
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          775,
          1080,
          1031
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          1031,
          1080,
          1287
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          1287,
          1080,
          1490
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          1625,
          1080,
          1881
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          1881,
          1080,
          2033
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          2168,
          1080,
          2320
        ]
      },
      {
        "label": "",
        "resource_id": "",
        "class": "android.widget.LinearLayout",
        "bounds": [
          0,
          2320,
          1080,
          2337
        ]
      },
      {
        "label": "",
        "resource_id": "org.wikipedia:id/switchWidget",
        "class": "android.widget.Switch",
        "bounds": [
          901,
          840,
          1038,
          966
        ]
      },
      {
        "label": "",
        "resource_id": "org.wikipedia:id/switchWidget",
        "class": "android.widget.Switch",
        "bounds": [
          901,
          1096,
          1038,
          1222
        ]
      },
      {
        "label": "",
        "resource_id": "org.wikipedia:id/switchWidget",
        "class": "android.widget.Switch",
        "bounds": [
          901,
          1690,
          1038,
          1816
        ]
      },
      {
        "label": "",
        "resource_id": "org.wikipedia:id/switchWidget",
        "class": "android.widget.Switch",
        "bounds": [
          901,
          1894,
          1038,
          2020
        ]
      },
      {
        "label": "",
        "resource_id": "org.wikipedia:id/switchWidget",
        "class": "android.widget.Switch",
        "bounds": [
          901,
          2181,
          1038,
          2307
        ]
      }
    ]
  },
  "new_state": false,
  "new_model_action": false,
  "target_state": "g35s205",
  "new_methods_2s": 155,
  "new_methods_10s": 178,
  "new_methods_before_next_action": 155,
  "new_methods_input_start_to_next_action": 158,
  "execution_observation": "Settings 打开语言/Feed/主题/同步设置页；B窗口155首次方法。",
  "following_actions": [
    {
      "input_id": "input-3278",
      "step": 616,
      "version": 35,
      "elapsed_s": 995.673,
      "wall_time_ms": 1793991484719,
      "next_input_wall_ms": 1793991485980,
      "input_completed_wall_ms": 1793991485085,
      "input_confirmed": true,
      "action": "MODEL_SCROLL_TOP_DOWN org.wikipedia:id/recycler_view",
      "action_type": "MODEL_SCROLL_TOP_DOWN",
      "text": "",
      "content_desc": "",
      "resource_id": "org.wikipedia:id/recycler_view",
      "model_action_id": "g35a2322",
      "concrete_identity": "MODEL_SCROLL_TOP_DOWN|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
      "state_id": "g35s205",
      "source_gui_id": 773,
      "activity": "org.wikipedia.settings.SettingsActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#f1409233",
        "Settings",
        "General",
        "Wikipedia languages",
        "italiano, 中文（中国大陆）, français, English",
        "Explore Feed",
        "Customize the Explore feed",
        "Show link previews",
        "Show a quick preview of articles when tapping on links.",
        "Collapse tables",
        "Automatically collapse tables in articles, such as infoboxes, references, and notes.",
        "App theme",
        "Light",
        "Syncing",
        "Reading list syncing",
        "Sync reading lists across different devices by saving them to your Wikipedia account",
        "Download reading list articles",
        "Data usage",
        "Download only over Wi-Fi"
      ],
      "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:53781",
      "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-3279.json"
    },
    {
      "input_id": "input-3283",
      "step": 617,
      "version": 35,
      "elapsed_s": 996.934,
      "wall_time_ms": 1793991485980,
      "next_input_wall_ms": 1793991486902,
      "input_completed_wall_ms": 1793991486018,
      "input_confirmed": true,
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g35a2320",
      "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.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=11][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g35s205",
      "source_gui_id": 774,
      "activity": "org.wikipedia.settings.SettingsActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "exploration",
      "native_branch": "Local Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:54003",
      "observed_methods_until_next": 17,
      "category_counts": {
        "third_party": 15,
        "app_domain": 2
      },
      "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-3284.json"
    },
    {
      "input_id": "input-3288",
      "step": 618,
      "version": 35,
      "elapsed_s": 997.856,
      "wall_time_ms": 1793991486902,
      "next_input_wall_ms": 1793991487952,
      "input_completed_wall_ms": 1793991486987,
      "input_confirmed": true,
      "action": "MODEL_CLICK org.wikipedia:id/switchWidget",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "org.wikipedia:id/switchWidget",
      "model_action_id": "g35a2325",
      "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.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Switch\"][@resource-id=\"org.wikipedia:id/switchWidget\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g35s205",
      "source_gui_id": 775,
      "activity": "org.wikipedia.settings.SettingsActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#f1409233",
        "Settings",
        "General",
        "Wikipedia languages",
        "italiano, 中文（中国大陆）, français, English",
        "Explore Feed",
        "Customize the Explore feed",
        "Show link previews",
        "Show a quick preview of articles when tapping on links.",
        "Collapse tables",
        "Automatically collapse tables in articles, such as infoboxes, references, and notes.",
        "App theme",
        "Light",
        "Syncing",
        "Reading list syncing",
        "Sync reading lists across different devices by saving them to your Wikipedia account",
        "Download reading list articles",
        "Data usage",
        "Download only over Wi-Fi"
      ],
      "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:54103",
      "observed_methods_until_next": 1,
      "category_counts": {
        "third_party": 1
      },
      "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-3291.json"
    },
    {
      "input_id": "input-3297",
      "step": 619,
      "version": 35,
      "elapsed_s": 998.906,
      "wall_time_ms": 1793991487952,
      "next_input_wall_ms": 1793991489329,
      "input_completed_wall_ms": 1793991487987,
      "input_confirmed": true,
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g35a2317",
      "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.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@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": "g35s205",
      "source_gui_id": 776,
      "activity": "org.wikipedia.settings.SettingsActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#f1409233",
        "Settings",
        "General",
        "Wikipedia languages",
        "italiano, 中文（中国大陆）, français, English",
        "Explore Feed",
        "Customize the Explore feed",
        "Show link previews",
        "Show a quick preview of articles when tapping on links.",
        "Collapse tables",
        "Automatically collapse tables in articles, such as infoboxes, references, and notes.",
        "App theme",
        "Light",
        "Syncing",
        "Reading list syncing",
        "Sync reading lists across different devices by saving them to your Wikipedia account",
        "Download reading list articles",
        "Data usage",
        "Download only over Wi-Fi"
      ],
      "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:54203",
      "observed_methods_until_next": 2,
      "category_counts": {
        "app_domain": 2
      },
      "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-3298.json"
    },
    {
      "input_id": "input-3302",
      "step": 620,
      "version": 35,
      "elapsed_s": 1000.283,
      "wall_time_ms": 1793991489329,
      "next_input_wall_ms": 1793991490253,
      "input_completed_wall_ms": 1793991489351,
      "input_confirmed": true,
      "action": "MODEL_CLICK Log in",
      "action_type": "MODEL_CLICK",
      "text": "Log in",
      "content_desc": "",
      "resource_id": "android:id/button1",
      "model_action_id": "g35a2329",
      "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.ScrollView\"][@resource-id=\"org.wikipedia:id/buttonPanel\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"android:id/button1\"][@text=\"Log in\"][@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']",
      "state_id": "g35s206",
      "source_gui_id": 780,
      "activity": "org.wikipedia.settings.SettingsActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "exploration",
      "native_branch": "Local Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_d04ae609a94042e28f3ab00ddb284ca9.zip!device-output/executor.log:54303",
      "observed_methods_until_next": 18,
      "category_counts": {
        "app_domain": 3,
        "third_party": 15
      },
      "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-3303.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-g35e519-610.json",
  "screenshots": {
    "before_screenshot": {
      "local": "screenshots/semantic-6-c1-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-615-gui-769-3270.png",
      "alignment": "identity_verified",
      "capture_wall_time_ms": 1793991479858
    },
    "after_screenshot": {
      "local": "screenshots/semantic-6-c1-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-616-gui-773-3276.png",
      "alignment": "identity_verified",
      "capture_wall_time_ms": 1793991484652
    }
  },
  "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_d04ae609a94042e28f3ab00ddb284ca9/probes/semantic-6-c1.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-6.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-6.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-6.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-g35e519-610.json"
  },
  "frozen_receipts_sha256": {
    "request-receipt.json": "5795d652a3a444cc48a9cdd4d2c59a32701748a9855abf0e188207d17152ae6d",
    "response-receipt.json": "b45c3f769ddc5f03550a9e9c26bd740d7f2ac66043b883e08b4d8e7d84f4246d",
    "model-input.json": "1d994f38b63adb7441c0c11b42382141bc89ebcd75c8a2de51628fe36b72c2c2",
    "local-audit-not-sent-to-model.json": "abdde14ac03c698572d7c765732b600c2391f2db6ad50e5f3ba6477752843f9d"
  }
}
