{
  "run_id": "run_200afe1a53af49e489506f56987c30c6",
  "app": "activitydiary",
  "provider": "STARTLUX",
  "entry_id": "semantic-86-c13",
  "step": 1831,
  "elapsed_s": 3063.067,
  "candidate_id": "c13",
  "state_id": "g22s92",
  "model_action": "g22a1339",
  "concrete_action": {
    "action_type": "MODEL_CLICK",
    "model_action_id": "g22a1339",
    "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
    "identity_digest": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
    "node_path": "0-5-0-0-3-6",
    "class": "android.widget.FrameLayout",
    "resource_id": "de.rampro.activitydiary:id/select_card_view",
    "text": "",
    "content_desc": "",
    "bounds": [
      0,
      1935,
      353,
      2135
    ],
    "enabled": true,
    "clickable": false,
    "long_clickable": true
  },
  "candidate_at_inference": {
    "class": "android.widget.FrameLayout",
    "resource_id": "de.rampro.activitydiary:id/select_card_view",
    "text": "",
    "content_desc": "",
    "enabled": true,
    "clickable": false,
    "long_clickable": true,
    "scrollable": false,
    "checked": false,
    "selected": false,
    "action_type": "MODEL_CLICK",
    "index": 6,
    "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
    "model_action_id": "g22a1339",
    "source_state_id": "g22s92",
    "bounds": [
      0,
      1935,
      353,
      2135
    ],
    "source_page_id": "page1",
    "target_subtree": [
      {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "path": []
      },
      {
        "class": "android.widget.TextView",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "text": "Gardening",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "path": [
          6
        ]
      }
    ],
    "subtree_truncated": false,
    "parent": {
      "class": "androidx.recyclerview.widget.RecyclerView",
      "resource_id": "de.rampro.activitydiary:id/select_recycler",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": false,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false
    },
    "local_context": {
      "parent": {
        "class": "androidx.recyclerview.widget.RecyclerView",
        "resource_id": "de.rampro.activitydiary:id/select_recycler"
      },
      "labels": [],
      "truncated": true
    },
    "text_source": "retained_gui_text",
    "generated_image_text": false,
    "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
  },
  "probe_executed": true,
  "request_id": "semantic-86",
  "request_step": 1831,
  "request_send_event": {
    "event": "JEV_REQUEST_SENT",
    "step": 1831,
    "monotonic_ns": 1882530051912829,
    "wall_time_ms": 1793993482300,
    "abstraction_version": 58,
    "state_id": "g22s92",
    "model_action_id": null,
    "request_id": "semantic-86",
    "review_id": "run-6ad5dbcce02e9:semantic:579",
    "candidate_count": 2,
    "pair_count": 4,
    "request_bytes": 29882,
    "wait_mode": "synchronous",
    "attempt": 1,
    "input_fingerprint": "3e1098be9a8086c0c899aad1feeb23dd5c681708a880e5610339ba4b2302cbd5",
    "evidence_view_version": "candidate-closure-v1",
    "_line": 6411
  },
  "decision_event": {
    "event": "DECISION_PROBE",
    "step": 1831,
    "monotonic_ns": 1882530897148157,
    "wall_time_ms": 1793993483146,
    "abstraction_version": 58,
    "state_id": "g22s92",
    "model_action_id": "g22a1339",
    "entry_id": "semantic-86-c13",
    "request_id": "semantic-86",
    "candidate_id": "c13",
    "confidence": 0.5021245181560516,
    "choice": "PROMOTE",
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "decision_role": "candidate_decision",
    "input_signature": "b62ef2bdb19ddbb5a023ab46f364694c6f14e01d736034ef8e9495b5f6779f40",
    "concrete_identity": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
    "decision_scope": "a38daf064c9e35ec29a45ee67b28f5df7d8480caab245979a11f82fa9092bb2f",
    "representative_model_action_id": "PROMOTE",
    "decision_request_id": "semantic-86",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 2,
    "history_complete": false,
    "unknown_mapping_count": 1,
    "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": 1,
    "low_confidence_count": 1,
    "full_history_compared": false,
    "exploratory": true,
    "_line": 6414
  },
  "decision_step": 1831,
  "decision_wall_time_ms": 1793993483146,
  "model_input_cutoff_wall_ms": 1793993482300,
  "execute_wall_time_ms": 1793993483221,
  "model": "StartLux-Decision-4B",
  "contract": "history-pairwise-offline-v1-20261031:exploratory-top3-v1:StartLux-Decision-4B:candidate-closure-v1",
  "input_fingerprint": "3e1098be9a8086c0c899aad1feeb23dd5c681708a880e5610339ba4b2302cbd5",
  "evidence_view": "candidate-closure-v1",
  "control": "Gardening",
  "model_visible_state": {
    "evidence_schema": "history-pairwise-offline-v1-20261031:candidate-closure-v1",
    "pages": {
      "page1": {
        "activity": "de.rampro.activitydiary.ui.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": "de.rampro.activitydiary.ui.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": "de.rampro.activitydiary.ui.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
        }
      },
      "page4": {
        "activity": "de.rampro.activitydiary.ui.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
        }
      },
      "page5": {
        "activity": "de.rampro.activitydiary.ui.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": {
      "c13": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 6,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1339",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          1935,
          353,
          2135
        ],
        "source_page_id": "page1",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Gardening",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              6
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "c14": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_LONG_CLICK",
        "index": 0,
        "concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1340",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          735,
          304,
          935
        ],
        "source_page_id": "page1",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Sleeping",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              0
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      }
    },
    "executed_actions": {
      "h1": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1339",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          735,
          365,
          935
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Officework",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              0
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "h2": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1339",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          815,
          234,
          916
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "02:48",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              1
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "h3": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_LONG_CLICK",
        "index": 1,
        "concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1340",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          935,
          451,
          1135
        ],
        "source_page_id": "page4",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Woodworking",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              1
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "h4": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_LONG_CLICK",
        "index": 8,
        "concrete_identity": "MODEL_LONG_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=8][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1340",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          2135,
          360,
          2335
        ],
        "source_page_id": "page5",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Swimming",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              8
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      }
    },
    "page_operation_context": {
      "columns": [
        "source_page_id",
        "action_type",
        "index",
        "class",
        "resource_id",
        "text",
        "content_desc",
        "bounds",
        "enabled",
        "clickable",
        "long_clickable",
        "scrollable",
        "checked",
        "selected",
        "subtree_truncated",
        "descendant_labels_path_class_resource_text_content_desc",
        "parent_class_resource_text_content_desc",
        "local_context"
      ],
      "actions": {
        "c15": [
          "page1",
          "MODEL_LONG_CLICK",
          2,
          "android.widget.FrameLayout",
          "de.rampro.activitydiary:id/select_card_view",
          "",
          "",
          [
            0,
            1135,
            309,
            1335
          ],
          true,
          false,
          true,
          false,
          false,
          false,
          false,
          [
            [
              [
                2
              ],
              "android.widget.TextView",
              "de.rampro.activitydiary:id/activity_name",
              "Cleaning",
              ""
            ]
          ],
          [
            "androidx.recyclerview.widget.RecyclerView",
            "de.rampro.activitydiary:id/select_recycler",
            "",
            ""
          ],
          {
            "parent": {
              "class": "androidx.recyclerview.widget.RecyclerView",
              "resource_id": "de.rampro.activitydiary:id/select_recycler"
            },
            "labels": [],
            "truncated": true
          }
        ]
      }
    }
  },
  "pair_records": [
    {
      "request_id": "semantic-86",
      "pair_id": "p1",
      "candidate_id": "c13",
      "history_id": "h1",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.46445539593696594,
      "probabilities": {
        "SAME_OPERATION": 0.2180628776550293,
        "DIFFERENT_OPERATION": 0.6429702639579773,
        "INSUFFICIENT_EVIDENCE": 0.13896682858467102
      },
      "trusted": false,
      "pair_cache_hit": false,
      "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-86.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.c13` 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.46445539593696594,
        "probabilities": {
          "SAME_OPERATION": 0.2180628776550293,
          "DIFFERENT_OPERATION": 0.6429702639579773,
          "INSUFFICIENT_EVIDENCE": 0.13896682858467102
        }
      },
      "model_visible_history": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 0,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1339",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          735,
          365,
          935
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "Officework",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              0
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "offline_only_provenance": {
        "source_tree": 1365,
        "source_gui_timestamp": 1207,
        "current_state": "g22s92",
        "current_model_action": "g22a1339",
        "current_version": 58,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-6547",
      "history_step": 1207,
      "history_row": {
        "input_id": "input-6547",
        "step": 1207,
        "version": "49",
        "elapsed_s": "2021.854",
        "action": "MODEL_CLICK de.rampro.activitydiary:id/select_card_view",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g22a1339",
        "state_id": "g22s92",
        "activity": "de.rampro.activitydiary.ui.main.MainActivity",
        "probe": "False",
        "input_confirmed": "True",
        "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-6548.json",
        "observed_methods_until_next": "0",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:120332",
        "wall_time_ms": 1793992442008,
        "source_gui_id": 1365,
        "source_gui_timestamp": 1207,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g22a1339",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
          "identity_digest": "7593e44200bce44613bd40c34cf81d68bcb819cf946f5aeb9373f0751df0c303",
          "node_path": "0-5-0-0-3-0",
          "class": "android.widget.FrameLayout",
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "text": "",
          "content_desc": "",
          "bounds": [
            0,
            735,
            365,
            935
          ],
          "enabled": true,
          "clickable": false,
          "long_clickable": true
        },
        "source_gui": {
          "activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "labels": [
            "#8690306c",
            "Activity Diary",
            "What are you doing?",
            "Add Activity",
            "Search",
            "#18616e3b",
            "#6bedd736",
            "Officework",
            "Statistics",
            "Note",
            "Pictures",
            "UNDO",
            "STATISTICS",
            "NOTE",
            "PICTURES"
          ],
          "identity": "9c2cf527ffd3c4a737280dcad2fb3923acbad12a5eb29fd15752bce27bcf9969",
          "controls": [
            {
              "label": "#8690306c",
              "resource_id": "",
              "class": "android.widget.ImageButton",
              "bounds": [
                0,
                63,
                147,
                210
              ]
            },
            {
              "label": "Add Activity",
              "resource_id": "de.rampro.activitydiary:id/action_add_activity",
              "class": "android.widget.TextView",
              "bounds": [
                935,
                73,
                1080,
                199
              ]
            },
            {
              "label": "Search",
              "resource_id": "de.rampro.activitydiary:id/search_button",
              "class": "android.widget.ImageView",
              "bounds": [
                808,
                73,
                935,
                199
              ]
            },
            {
              "label": "",
              "resource_id": "de.rampro.activitydiary:id/activity_background",
              "class": "android.widget.RelativeLayout",
              "bounds": [
                12,
                225,
                1038,
                351
              ]
            },
            {
              "label": "#18616e3b",
              "resource_id": "de.rampro.activitydiary:id/fab_attach_picture",
              "class": "android.widget.ImageButton",
              "bounds": [
                697,
                662,
                844,
                809
              ]
            },
            {
              "label": "#6bedd736",
              "resource_id": "de.rampro.activitydiary:id/fab_edit_note",
              "class": "android.widget.ImageButton",
              "bounds": [
                891,
                662,
                1038,
                809
              ]
            },
            {
              "label": "Officework",
              "resource_id": "de.rampro.activitydiary:id/activity_name",
              "class": "android.widget.TextView",
              "bounds": [
                12,
                245,
                353,
                330
              ]
            },
            {
              "label": "",
              "resource_id": "de.rampro.activitydiary:id/select_card_view",
              "class": "android.widget.FrameLayout",
              "bounds": [
                0,
                735,
                365,
                935
              ]
            },
            {
              "label": "UNDO",
              "resource_id": "de.rampro.activitydiary:id/snackbar_action",
              "class": "android.widget.Button",
              "bounds": [
                887,
                2180,
                1048,
                2306
              ]
            },
            {
              "label": "STATISTICS",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                77,
                369,
                278,
                420
              ]
            },
            {
              "label": "NOTE",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                490,
                369,
                585,
                420
              ]
            },
            {
              "label": "Officework",
              "resource_id": "de.rampro.activitydiary:id/activity_name",
              "class": "android.widget.TextView",
              "bounds": [
                12,
                792,
                353,
                877
              ]
            }
          ]
        },
        "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-1365-t1207-9805.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "",
          "node_id": 22,
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "class": "android.widget.FrameLayout",
          "checked": false,
          "selected": false,
          "subtree_labels": [
            "Officework"
          ],
          "sibling_labels": [],
          "parent_resource_id": "de.rampro.activitydiary:id/select_recycler"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793992442928,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 1208,
          "monotonic_ns": 1881490679122360,
          "wall_time_ms": 1793992442928,
          "abstraction_version": 49,
          "state_id": "g22s92",
          "model_action_id": "g22a1339",
          "transition_id": "g49e858:1187",
          "new_state": false,
          "new_model_action": false,
          "refinement": false,
          "self_loop": true,
          "activity_unchanged": true,
          "gui_unchanged": false,
          "target_state": "g22s92",
          "input_confirmed": true,
          "_line": 4089
        },
        "native_transition_receipt": {
          "transition_id": "g49e858:1187",
          "native_edge_id": "g49e858",
          "native_history_position": 1186,
          "source_gui_timestamp": 1207,
          "target_gui_timestamp": 1208,
          "state_id": "g22s92",
          "model_action_id": "g22a1339",
          "source_gui_id": 1365,
          "target_gui_id": 1366,
          "abstraction_version": 49,
          "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g49e858-1187.json"
        },
        "target_activity_from_native": "de.rampro.activitydiary.ui.main.MainActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g22a1339",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
          "identity_digest": "7593e44200bce44613bd40c34cf81d68bcb819cf946f5aeb9373f0751df0c303",
          "node_path": "0-5-0-0-3-0",
          "class": "android.widget.FrameLayout",
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "text": "",
          "content_desc": "",
          "bounds": [
            0,
            735,
            365,
            935
          ],
          "enabled": true,
          "clickable": false,
          "long_clickable": true
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-1365-t1207-9805.json",
          "gui_id": 1365,
          "gui_timestamp": 1207,
          "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-6ad5dbcce02e9",
          "step": 1207,
          "abstraction_version": 49,
          "wall_time_ms": 1793992442008,
          "monotonic_ns": 1881489759465791,
          "input_id": "input-6547",
          "source_gui_id": 1365,
          "source_gui_timestamp": 1207,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g22a1339",
            "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
            "identity_digest": "7593e44200bce44613bd40c34cf81d68bcb819cf946f5aeb9373f0751df0c303",
            "node_path": "0-5-0-0-3-0",
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "bounds": [
              0,
              735,
              365,
              935
            ],
            "enabled": true,
            "clickable": false,
            "long_clickable": true
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g49e858:1187",
            "receipt": "jev-receipts/transition-g49e858-1187.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-1366-t1208-9804.json",
              "gui_id": 1366,
              "gui_timestamp": 1208,
              "snapshot_phase": "retained_history_at_review"
            },
            "target_screenshot": {
              "status": "not_captured_at_execution_time"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    },
    {
      "request_id": "semantic-86",
      "pair_id": "p2",
      "candidate_id": "c13",
      "history_id": "h2",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.5021245181560516,
      "probabilities": {
        "SAME_OPERATION": 0.22657984495162964,
        "DIFFERENT_OPERATION": 0.6680830121040344,
        "INSUFFICIENT_EVIDENCE": 0.10533715784549713
      },
      "trusted": true,
      "pair_cache_hit": false,
      "response_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-86.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.c13` 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.5021245181560516,
        "probabilities": {
          "SAME_OPERATION": 0.22657984495162964,
          "DIFFERENT_OPERATION": 0.6680830121040344,
          "INSUFFICIENT_EVIDENCE": 0.10533715784549713
        }
      },
      "model_visible_history": {
        "class": "android.widget.FrameLayout",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": true,
        "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
        "model_action_id": "g22a1339",
        "source_state_id": "g22s92",
        "bounds": [
          0,
          815,
          234,
          916
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "enabled": true,
            "clickable": false,
            "long_clickable": true,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          },
          {
            "class": "android.widget.TextView",
            "resource_id": "de.rampro.activitydiary:id/activity_name",
            "text": "02:48",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": [
              1
            ]
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "de.rampro.activitydiary:id/select_recycler",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.recyclerview.widget.RecyclerView",
            "resource_id": "de.rampro.activitydiary:id/select_recycler"
          },
          "labels": [],
          "truncated": true
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "offline_only_provenance": {
        "source_tree": 1888,
        "source_gui_timestamp": 1724,
        "current_state": "g22s92",
        "current_model_action": "g22a1339",
        "current_version": 58,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "history_input_id": "input-9248",
      "history_step": 1724,
      "history_row": {
        "input_id": "input-9248",
        "step": 1724,
        "version": "57",
        "elapsed_s": "2885.546",
        "action": "MODEL_CLICK de.rampro.activitydiary:id/select_card_view",
        "action_type": "MODEL_CLICK",
        "model_action_id": "g22a1339",
        "state_id": "g22s92",
        "activity": "de.rampro.activitydiary.ui.main.MainActivity",
        "probe": "False",
        "input_confirmed": "True",
        "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9249.json",
        "observed_methods_until_next": "0",
        "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:170958",
        "wall_time_ms": 1793993305700,
        "source_gui_id": 1888,
        "source_gui_timestamp": 1724,
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g22a1339",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
          "identity_digest": "1cc38e396d646e6a5a85939f9ed65b257fbd813d479a4916001d32a4d799b334",
          "node_path": "0-5-0-0-3-1",
          "class": "android.widget.FrameLayout",
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "text": "",
          "content_desc": "",
          "bounds": [
            0,
            815,
            234,
            916
          ],
          "enabled": true,
          "clickable": false,
          "long_clickable": true
        },
        "source_gui": {
          "activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "labels": [
            "#8fb7fa14",
            "Activity Diary",
            "What are you doing?",
            "Add Activity",
            "Search",
            "#793ec2d9",
            "#28bf6eaa",
            "02:48",
            "Statistics",
            "Note",
            "Pictures",
            "UNDO",
            "STATISTICS",
            "NOTE",
            "PICTURES",
            "05:23:40"
          ],
          "identity": "b63f8a3240e1deab9df9b5f5b59c961c69300e677f8b64ae6fe1d11d9607fc5e",
          "controls": [
            {
              "label": "#8fb7fa14",
              "resource_id": "",
              "class": "android.widget.ImageButton",
              "bounds": [
                0,
                63,
                147,
                189
              ]
            },
            {
              "label": "Add Activity",
              "resource_id": "de.rampro.activitydiary:id/action_add_activity",
              "class": "android.widget.TextView",
              "bounds": [
                2252,
                63,
                2400,
                189
              ]
            },
            {
              "label": "Search",
              "resource_id": "de.rampro.activitydiary:id/search_button",
              "class": "android.widget.ImageView",
              "bounds": [
                2125,
                63,
                2252,
                189
              ]
            },
            {
              "label": "",
              "resource_id": "de.rampro.activitydiary:id/activity_background",
              "class": "android.widget.RelativeLayout",
              "bounds": [
                12,
                204,
                1038,
                330
              ]
            },
            {
              "label": "#793ec2d9",
              "resource_id": "de.rampro.activitydiary:id/fab_attach_picture",
              "class": "android.widget.ImageButton",
              "bounds": [
                2017,
                641,
                2164,
                788
              ]
            },
            {
              "label": "#28bf6eaa",
              "resource_id": "de.rampro.activitydiary:id/fab_edit_note",
              "class": "android.widget.ImageButton",
              "bounds": [
                2211,
                641,
                2358,
                788
              ]
            },
            {
              "label": "02:48",
              "resource_id": "de.rampro.activitydiary:id/activity_name",
              "class": "android.widget.TextView",
              "bounds": [
                12,
                224,
                209,
                309
              ]
            },
            {
              "label": "",
              "resource_id": "de.rampro.activitydiary:id/select_card_view",
              "class": "android.widget.FrameLayout",
              "bounds": [
                0,
                714,
                306,
                815
              ]
            },
            {
              "label": "",
              "resource_id": "de.rampro.activitydiary:id/select_card_view",
              "class": "android.widget.FrameLayout",
              "bounds": [
                0,
                815,
                234,
                916
              ]
            },
            {
              "label": "UNDO",
              "resource_id": "de.rampro.activitydiary:id/snackbar_action",
              "class": "android.widget.Button",
              "bounds": [
                2207,
                860,
                2368,
                986
              ]
            },
            {
              "label": "STATISTICS",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                984,
                352,
                1158,
                395
              ]
            },
            {
              "label": "PICTURES",
              "resource_id": "",
              "class": "android.widget.TextView",
              "bounds": [
                1263,
                352,
                1411,
                395
              ]
            },
            {
              "label": "05:23:40",
              "resource_id": "de.rampro.activitydiary:id/activity_name",
              "class": "android.widget.TextView",
              "bounds": [
                12,
                729,
                294,
                800
              ]
            },
            {
              "label": "02:48",
              "resource_id": "de.rampro.activitydiary:id/activity_name",
              "class": "android.widget.TextView",
              "bounds": [
                12,
                830,
                209,
                901
              ]
            }
          ]
        },
        "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_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/gui/gui-1888-t1724-9807.json",
        "target_gui_ref": null,
        "source_screenshot": null,
        "target_screenshot": null,
        "execution_ref": null,
        "node": {
          "retrieval_status": "UNIQUE_BOUNDS_CLASS_RESOURCE",
          "text": "",
          "node_id": 23,
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "class": "android.widget.FrameLayout",
          "checked": false,
          "selected": false,
          "subtree_labels": [
            "02:48"
          ],
          "sibling_labels": [],
          "parent_resource_id": "de.rampro.activitydiary:id/select_recycler"
        },
        "input_injection_completed": true,
        "execution_confirmed": true,
        "confirmation_wall_time_ms": 1793993306428,
        "native_transition": {
          "event": "NATIVE_TRANSITION",
          "step": 1725,
          "monotonic_ns": 1882354179323003,
          "wall_time_ms": 1793993306428,
          "abstraction_version": 57,
          "state_id": "g22s92",
          "model_action_id": "g22a1339",
          "transition_id": "g49e858:1700",
          "new_state": false,
          "new_model_action": false,
          "refinement": false,
          "self_loop": true,
          "activity_unchanged": true,
          "gui_unchanged": true,
          "target_state": "g22s92",
          "input_confirmed": true,
          "_line": 5997
        },
        "native_transition_receipt": {
          "transition_id": "g49e858:1700",
          "native_edge_id": "g49e858",
          "native_history_position": 1699,
          "source_gui_timestamp": 1724,
          "target_gui_timestamp": 1725,
          "state_id": "g22s92",
          "model_action_id": "g22a1339",
          "source_gui_id": 1888,
          "target_gui_id": 1889,
          "abstraction_version": 57,
          "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "execution_branch": "COMMON",
          "input_confirmed": true,
          "_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g49e858-1700.json"
        },
        "target_activity_from_native": "de.rampro.activitydiary.ui.main.MainActivity",
        "business_success": null
      },
      "history_source_audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g22a1339",
          "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
          "identity_digest": "1cc38e396d646e6a5a85939f9ed65b257fbd813d479a4916001d32a4d799b334",
          "node_path": "0-5-0-0-3-1",
          "class": "android.widget.FrameLayout",
          "resource_id": "de.rampro.activitydiary:id/select_card_view",
          "text": "",
          "content_desc": "",
          "bounds": [
            0,
            815,
            234,
            916
          ],
          "enabled": true,
          "clickable": false,
          "long_clickable": true
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-1888-t1724-9807.json",
          "gui_id": 1888,
          "gui_timestamp": 1724,
          "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-6ad5dbcce02e9",
          "step": 1724,
          "abstraction_version": 57,
          "wall_time_ms": 1793993305700,
          "monotonic_ns": 1882353451808302,
          "input_id": "input-9248",
          "source_gui_id": 1888,
          "source_gui_timestamp": 1724,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g22a1339",
            "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
            "identity_digest": "1cc38e396d646e6a5a85939f9ed65b257fbd813d479a4916001d32a4d799b334",
            "node_path": "0-5-0-0-3-1",
            "class": "android.widget.FrameLayout",
            "resource_id": "de.rampro.activitydiary:id/select_card_view",
            "text": "",
            "content_desc": "",
            "bounds": [
              0,
              815,
              234,
              916
            ],
            "enabled": true,
            "clickable": false,
            "long_clickable": true
          },
          "probe": false,
          "sampled": false
        },
        "transitions": [
          {
            "transition_id": "g49e858:1700",
            "receipt": "jev-receipts/transition-g49e858-1700.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-1889-t1725-9806.json",
              "gui_id": 1889,
              "gui_timestamp": 1725,
              "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": false,
    "history_collection_complete": false,
    "recoverable_history_count": 2,
    "selected_history": 2,
    "selected_history_ids": [
      "h1",
      "h2"
    ],
    "unknown_mapping_count": 1,
    "mapping_basis": "live confirmedInputs; current State/ModelAction object links and node Name",
    "context_recoverable": true
  },
  "all_scope_history_provenance_offline_only": {
    "h1": {
      "source_tree": 1365,
      "source_gui_timestamp": 1207,
      "current_state": "g22s92",
      "current_model_action": "g22a1339",
      "current_version": 58,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h2": {
      "source_tree": 1888,
      "source_gui_timestamp": 1724,
      "current_state": "g22s92",
      "current_model_action": "g22a1339",
      "current_version": 58,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h3": {
      "source_tree": 1352,
      "source_gui_timestamp": 1194,
      "current_state": "g22s92",
      "current_model_action": "g22a1340",
      "current_version": 58,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    },
    "h4": {
      "source_tree": 1971,
      "source_gui_timestamp": 1798,
      "current_state": "g22s92",
      "current_model_action": "g22a1340",
      "current_version": 58,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  "pair_cache_hit": false,
  "candidate_decision": {
    "candidate_id": "c13",
    "aggregate_choice": "PROMOTE",
    "aggregate_confidence": 0.5021245181560516,
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "entry_id": "semantic-86-c13",
    "request_id": "semantic-86",
    "aggregation_policy": "exploratory-top3-v1",
    "total_history": 2,
    "history_complete": false,
    "unknown_mapping_count": 1,
    "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": 1,
    "low_confidence_count": 1,
    "full_history_compared": false,
    "exploratory": true
  },
  "aggregation_replay": "PROMOTE",
  "source_identity": "a38daf064c9e35ec29a45ee67b28f5df7d8480caab245979a11f82fa9092bb2f",
  "selection_at_execution": {
    "event": "SELECTION_DECISION",
    "step": 1831,
    "monotonic_ns": 1882530922468871,
    "wall_time_ms": 1793993483171,
    "abstraction_version": 58,
    "state_id": "g22s92",
    "model_action_id": "g22a1339",
    "snapshot_reason": "selection",
    "state_visits": 35,
    "state_first_seen": 396,
    "state_last_seen": 1831,
    "state_saturated": false,
    "state_saturation": 0.9411765,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 1,
    "model_action_count": 17,
    "enabled_valid_action_count": 17,
    "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": "g22a1343",
    "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=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.FrameLayout|text=|resource_id=de.rampro.activitydiary:id/select_card_view|bounds=0,1935,353,2135",
    "selected_resolved_node_count": 7,
    "_line": 6421
  },
  "prior_same_identity_ledger_events": [
    {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 1791,
      "monotonic_ns": 1882456800413473,
      "wall_time_ms": 1793993409049,
      "abstraction_version": 58,
      "state_id": "g1s1",
      "model_action_id": "g1a35",
      "entry_id": "semantic-79-c5",
      "request_id": "semantic-79",
      "candidate_id": "c5",
      "decision_role": "candidate_decision",
      "ledger_status": "REPRESENTED",
      "input_signature": "dac2bd0e9f780f902ab80b82aea960230a2b419cc6940c09c43729813cf8a542",
      "input_fingerprint": "e760c17c9a5af6f4a639f39c5c4264506f04770656b057c35c52f452b63f2141",
      "concrete_identity": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
      "decision_scope": "d10dfe1a4edb5a14b8421852e08f079c1dcd570a9bc17e85b6cf647a8f2ba9fa",
      "_line": 6225
    }
  ],
  "execution_state_id": "g22s92",
  "execution_model_action": "g22a1339",
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 1831,
      "monotonic_ns": 1882530897148157,
      "wall_time_ms": 1793993483146,
      "abstraction_version": 58,
      "state_id": "g22s92",
      "model_action_id": "g22a1339",
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "confidence": 0.5021245181560516,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "b62ef2bdb19ddbb5a023ab46f364694c6f14e01d736034ef8e9495b5f6779f40",
      "concrete_identity": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
      "decision_scope": "a38daf064c9e35ec29a45ee67b28f5df7d8480caab245979a11f82fa9092bb2f",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-86",
      "aggregation_policy": "exploratory-top3-v1",
      "total_history": 2,
      "history_complete": false,
      "unknown_mapping_count": 1,
      "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": 1,
      "low_confidence_count": 1,
      "full_history_compared": false,
      "exploratory": true,
      "_line": 6414
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 1831,
      "monotonic_ns": 1882530897608075,
      "wall_time_ms": 1793993483146,
      "abstraction_version": 58,
      "state_id": "g22s92",
      "model_action_id": "g22a1339",
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "b62ef2bdb19ddbb5a023ab46f364694c6f14e01d736034ef8e9495b5f6779f40",
      "input_fingerprint": "3e1098be9a8086c0c899aad1feeb23dd5c681708a880e5610339ba4b2302cbd5",
      "concrete_identity": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
      "decision_scope": "a38daf064c9e35ec29a45ee67b28f5df7d8480caab245979a11f82fa9092bb2f",
      "_line": 6416
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 1831,
      "monotonic_ns": 1882530922015544,
      "wall_time_ms": 1793993483171,
      "abstraction_version": 58,
      "state_id": "g22s92",
      "model_action_id": "g22a1339",
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "confidence": 0.5021245181560516,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "b62ef2bdb19ddbb5a023ab46f364694c6f14e01d736034ef8e9495b5f6779f40",
      "decision_scope": "a38daf064c9e35ec29a45ee67b28f5df7d8480caab245979a11f82fa9092bb2f",
      "concrete_identity": "77960a402bf0caec830f636e46b2a34f4f2bc129dd1da24d886e6e3367c1b825",
      "_line": 6418
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 1831,
      "monotonic_ns": 1882530922055837,
      "wall_time_ms": 1793993483171,
      "abstraction_version": 58,
      "state_id": "g22s92",
      "model_action_id": "g22a1339",
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "confidence": 0.5021245181560516,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 6419
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 1831,
      "monotonic_ns": 1882530973377008,
      "wall_time_ms": 1793993483222,
      "abstraction_version": 58,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "event_count": 2,
      "_line": 6422
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 1831,
      "monotonic_ns": 1882531012973252,
      "wall_time_ms": 1793993483262,
      "abstraction_version": 58,
      "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-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "_line": 6423
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 1832,
      "monotonic_ns": 1882531760694083,
      "wall_time_ms": 1793993484009,
      "abstraction_version": 58,
      "state_id": "g22s92",
      "model_action_id": "g22a1339",
      "entry_id": "semantic-86-c13",
      "request_id": "semantic-86",
      "candidate_id": "c13",
      "confidence": 0.5021245181560516,
      "choice": "PROMOTE",
      "transition_id": "g49e858:1804",
      "target_state": "g22s92",
      "input_confirmed": true,
      "_line": 6425
    }
  },
  "lifecycle_refs": {
    "DECISION_PROBE": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6414",
    "SEMANTIC_DECISION_STORED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6416",
    "PROBE_BOUND": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6418",
    "PROBE_SELECTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6419",
    "PROBE_INPUT_GENERATED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6422",
    "PROBE_INPUT_COMPLETED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6423",
    "PROBE_EXECUTED": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl:6425"
  },
  "confirmed_inputs_before_decision": 1803,
  "exact_identity_prior_input_ids": [
    "input-9710",
    "input-9760"
  ],
  "resource_related_prior_input_ids_RETRIEVAL_NOT_EQUIVALENCE": [
    "input-145",
    "input-435",
    "input-445",
    "input-496",
    "input-600",
    "input-627",
    "input-692",
    "input-746",
    "input-766",
    "input-1215",
    "input-1254",
    "input-1259",
    "input-1287",
    "input-1344",
    "input-1366",
    "input-1686",
    "input-1785",
    "input-1849",
    "input-1888",
    "input-1956",
    "input-2066",
    "input-2147",
    "input-2157",
    "input-2175",
    "input-2311",
    "input-2321",
    "input-2458",
    "input-2527",
    "input-2532",
    "input-2571",
    "input-2760",
    "input-2795",
    "input-2849",
    "input-2880",
    "input-2918",
    "input-2938",
    "input-3807",
    "input-3883",
    "input-3907",
    "input-3926",
    "input-5543",
    "input-5558",
    "input-5782",
    "input-6141",
    "input-6281",
    "input-6345",
    "input-6364",
    "input-6419",
    "input-6542",
    "input-6547",
    "input-8616",
    "input-8788",
    "input-9211",
    "input-9243",
    "input-9248",
    "input-9569",
    "input-9631",
    "input-9700",
    "input-9710",
    "input-9720",
    "input-9730",
    "input-9740",
    "input-9760",
    "input-9797",
    "input-9813"
  ],
  "before": {
    "activity": "de.rampro.activitydiary.ui.main.MainActivity",
    "labels": [
      "#8690306c",
      "Activity Diary",
      "What are you doing?",
      "Add Activity",
      "Search",
      "#18616e3b",
      "#6bedd736",
      "<No Activity>",
      "Statistics",
      "Note",
      "Pictures",
      "Cinema",
      "UNDO",
      "STATISTICS",
      "NOTE",
      "PICTURES",
      "Sleeping",
      "Cleaning",
      "Woodworking",
      "Relaxing",
      "Cooking",
      "Gardening"
    ],
    "identity": "a84ea647f1b739c0f97ca757317f535b8fa07141959c89184d165dbd92a4219c",
    "controls": [
      {
        "label": "#8690306c",
        "resource_id": "",
        "class": "android.widget.ImageButton",
        "bounds": [
          0,
          63,
          147,
          210
        ]
      },
      {
        "label": "Add Activity",
        "resource_id": "de.rampro.activitydiary:id/action_add_activity",
        "class": "android.widget.TextView",
        "bounds": [
          935,
          73,
          1080,
          199
        ]
      },
      {
        "label": "Search",
        "resource_id": "de.rampro.activitydiary:id/search_button",
        "class": "android.widget.ImageView",
        "bounds": [
          808,
          73,
          935,
          199
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/activity_background",
        "class": "android.widget.RelativeLayout",
        "bounds": [
          12,
          225,
          1038,
          351
        ]
      },
      {
        "label": "#18616e3b",
        "resource_id": "de.rampro.activitydiary:id/fab_attach_picture",
        "class": "android.widget.ImageButton",
        "bounds": [
          697,
          662,
          844,
          809
        ]
      },
      {
        "label": "#6bedd736",
        "resource_id": "de.rampro.activitydiary:id/fab_edit_note",
        "class": "android.widget.ImageButton",
        "bounds": [
          891,
          662,
          1038,
          809
        ]
      },
      {
        "label": "<No Activity>",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          245,
          423,
          330
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          735,
          304,
          935
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          935,
          279,
          1135
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1135,
          309,
          1335
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1335,
          451,
          1535
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1535,
          303,
          1735
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1735,
          296,
          1935
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1935,
          353,
          2135
        ]
      },
      {
        "label": "UNDO",
        "resource_id": "de.rampro.activitydiary:id/snackbar_action",
        "class": "android.widget.Button",
        "bounds": [
          887,
          2180,
          1048,
          2306
        ]
      },
      {
        "label": "STATISTICS",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          77,
          369,
          278,
          420
        ]
      },
      {
        "label": "NOTE",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          490,
          369,
          585,
          420
        ]
      },
      {
        "label": "Sleeping",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          792,
          292,
          877
        ]
      },
      {
        "label": "Cinema",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          992,
          267,
          1077
        ]
      },
      {
        "label": "Cleaning",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1192,
          297,
          1277
        ]
      },
      {
        "label": "Woodworking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1392,
          439,
          1477
        ]
      },
      {
        "label": "Relaxing",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1592,
          291,
          1677
        ]
      },
      {
        "label": "Cooking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1792,
          284,
          1877
        ]
      },
      {
        "label": "Gardening",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1992,
          341,
          2077
        ]
      }
    ]
  },
  "after": {
    "activity": "de.rampro.activitydiary.ui.main.MainActivity",
    "labels": [
      "#8690306c",
      "Activity Diary",
      "What are you doing?",
      "Add Activity",
      "Search",
      "#18616e3b",
      "#6bedd736",
      "Gardening",
      "Statistics",
      "Note",
      "Pictures",
      "UNDO",
      "STATISTICS",
      "NOTE",
      "PICTURES",
      "Cinema",
      "Sleeping",
      "Cleaning",
      "Woodworking",
      "Relaxing",
      "Cooking"
    ],
    "identity": "b04375ebcfb042429834afc280a289fef52ff7c923e11f3381177055767598ca",
    "controls": [
      {
        "label": "#8690306c",
        "resource_id": "",
        "class": "android.widget.ImageButton",
        "bounds": [
          0,
          63,
          147,
          210
        ]
      },
      {
        "label": "Add Activity",
        "resource_id": "de.rampro.activitydiary:id/action_add_activity",
        "class": "android.widget.TextView",
        "bounds": [
          935,
          73,
          1080,
          199
        ]
      },
      {
        "label": "Search",
        "resource_id": "de.rampro.activitydiary:id/search_button",
        "class": "android.widget.ImageView",
        "bounds": [
          808,
          73,
          935,
          199
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/activity_background",
        "class": "android.widget.RelativeLayout",
        "bounds": [
          12,
          225,
          1038,
          351
        ]
      },
      {
        "label": "#18616e3b",
        "resource_id": "de.rampro.activitydiary:id/fab_attach_picture",
        "class": "android.widget.ImageButton",
        "bounds": [
          697,
          662,
          844,
          809
        ]
      },
      {
        "label": "#6bedd736",
        "resource_id": "de.rampro.activitydiary:id/fab_edit_note",
        "class": "android.widget.ImageButton",
        "bounds": [
          891,
          662,
          1038,
          809
        ]
      },
      {
        "label": "Gardening",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          245,
          341,
          330
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          735,
          279,
          935
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          935,
          304,
          1135
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1135,
          309,
          1335
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1335,
          451,
          1535
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1535,
          303,
          1735
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1735,
          353,
          1935
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          1935,
          296,
          2135
        ]
      },
      {
        "label": "UNDO",
        "resource_id": "de.rampro.activitydiary:id/snackbar_action",
        "class": "android.widget.Button",
        "bounds": [
          887,
          2180,
          1048,
          2306
        ]
      },
      {
        "label": "STATISTICS",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          77,
          369,
          278,
          420
        ]
      },
      {
        "label": "NOTE",
        "resource_id": "",
        "class": "android.widget.TextView",
        "bounds": [
          490,
          369,
          585,
          420
        ]
      },
      {
        "label": "Cinema",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          792,
          267,
          877
        ]
      },
      {
        "label": "Sleeping",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          992,
          292,
          1077
        ]
      },
      {
        "label": "Cleaning",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1192,
          297,
          1277
        ]
      },
      {
        "label": "Woodworking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1392,
          439,
          1477
        ]
      },
      {
        "label": "Relaxing",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1592,
          291,
          1677
        ]
      },
      {
        "label": "Gardening",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1792,
          341,
          1877
        ]
      },
      {
        "label": "Cooking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          1992,
          284,
          2077
        ]
      }
    ]
  },
  "new_state": false,
  "new_model_action": false,
  "target_state": "g22s92",
  "new_methods_2s": 0,
  "new_methods_10s": 0,
  "new_methods_before_next_action": 0,
  "new_methods_input_start_to_next_action": 0,
  "execution_observation": "点击 Gardening 卡片后当前活动变为 Gardening；与其它卡片同一选择功能。",
  "following_actions": [
    {
      "input_id": "input-9835",
      "step": 1832,
      "version": 58,
      "elapsed_s": 3065.368,
      "wall_time_ms": 1793993485522,
      "next_input_wall_ms": 1793993486457,
      "input_completed_wall_ms": 1793993485555,
      "input_confirmed": true,
      "action": "MODEL_CLICK UNDO",
      "action_type": "MODEL_CLICK",
      "text": "UNDO",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/snackbar_action",
      "model_action_id": "g22a1342",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"de.rampro.activitydiary:id/snackbar_action\"][@text=\"UNDO\"][@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": "g22s92",
      "source_gui_id": 2005,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#8690306c",
        "Activity Diary",
        "What are you doing?",
        "Add Activity",
        "Search",
        "#18616e3b",
        "#6bedd736",
        "Gardening",
        "Statistics",
        "Note",
        "Pictures",
        "UNDO",
        "STATISTICS",
        "NOTE",
        "PICTURES",
        "Cinema",
        "Sleeping",
        "Cleaning",
        "Woodworking",
        "Relaxing",
        "Cooking"
      ],
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "Remote Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:183133",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9836.json"
    },
    {
      "input_id": "input-9840",
      "step": 1833,
      "version": 58,
      "elapsed_s": 3066.303,
      "wall_time_ms": 1793993486457,
      "next_input_wall_ms": 1793993487393,
      "input_completed_wall_ms": 1793993486488,
      "input_confirmed": true,
      "action": "MODEL_CLICK de.rampro.activitydiary:id/select_card_view",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/select_card_view",
      "model_action_id": "g58a3394",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
      "state_id": "g58s241",
      "source_gui_id": 2006,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:183231",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9841.json"
    },
    {
      "input_id": "input-9845",
      "step": 1834,
      "version": 58,
      "elapsed_s": 3067.239,
      "wall_time_ms": 1793993487393,
      "next_input_wall_ms": 1793993488316,
      "input_completed_wall_ms": 1793993487421,
      "input_confirmed": true,
      "action": "MODEL_CLICK UNDO",
      "action_type": "MODEL_CLICK",
      "text": "UNDO",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/snackbar_action",
      "model_action_id": "g22a1342",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"de.rampro.activitydiary:id/snackbar_action\"][@text=\"UNDO\"][@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": "g22s92",
      "source_gui_id": 2007,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:183376",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9846.json"
    },
    {
      "input_id": "input-9850",
      "step": 1835,
      "version": 58,
      "elapsed_s": 3068.162,
      "wall_time_ms": 1793993488316,
      "next_input_wall_ms": 1793993489243,
      "input_completed_wall_ms": 1793993488339,
      "input_confirmed": true,
      "action": "MODEL_CLICK de.rampro.activitydiary:id/select_card_view",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/select_card_view",
      "model_action_id": "g58a3400",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
      "state_id": "g58s241",
      "source_gui_id": 2008,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:183477",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9851.json"
    },
    {
      "input_id": "input-9855",
      "step": 1836,
      "version": 58,
      "elapsed_s": 3069.089,
      "wall_time_ms": 1793993489243,
      "next_input_wall_ms": 1793993490181,
      "input_completed_wall_ms": 1793993489271,
      "input_confirmed": true,
      "action": "MODEL_CLICK UNDO",
      "action_type": "MODEL_CLICK",
      "text": "UNDO",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/snackbar_action",
      "model_action_id": "g22a1342",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=6][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"de.rampro.activitydiary:id/snackbar_action\"][@text=\"UNDO\"][@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": "g22s92",
      "source_gui_id": 2009,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:183597",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-9856.json"
    }
  ],
  "execution_receipt": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g49e858-1804.json",
  "screenshots": {
    "before_screenshot": {
      "local": "screenshots/semantic-86-c13-before.png",
      "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/screenshots/step-1831-gui-2004-9826.png",
      "alignment": "identity_verified",
      "capture_wall_time_ms": 1793993483218
    },
    "after_screenshot": {
      "local": "screenshots/semantic-86-c13-after.png",
      "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/screenshots/step-1832-gui-2005-9832.png",
      "alignment": "identity_verified",
      "capture_wall_time_ms": 1793993484004
    }
  },
  "old_probe_detail": "reports/guitaboo-deep-analysis-20261107-delivery/run_200afe1a53af49e489506f56987c30c6/probes/semantic-86-c13.json",
  "source_references": {
    "request": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-request-semantic-86.json",
    "response": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/semantic-response-semantic-86.json",
    "local_audit": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/reviews/semantic-86.json",
    "execution": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/executions/transition-g49e858-1804.json"
  },
  "frozen_receipts_sha256": {
    "request-receipt.json": "d4a3e28adf60c5c8b2fc19bb2e802c2c3b021ca05a89f52838ef101ef9c94a6f",
    "response-receipt.json": "b4142302d8c7b28771b2694cebf865cb2c1096a113c886987904b0b3be719d2e",
    "model-input.json": "9e7839c5c377ff29ee4df375ebf67958cedb2824e149586983e043e869fb51dd",
    "local-audit-not-sent-to-model.json": "4908a5058a35d75dac1db41d1e99bde9e16ab6caf5bfd4385a7332a2ac58a7ec"
  }
}