{
  "entry_id": "semantic-19-c1",
  "run_id": "run_200afe1a53af49e489506f56987c30c6",
  "app": "activitydiary",
  "condition": "STARTLUX_PAIRWISE",
  "executed": true,
  "failure_reason": null,
  "selection_step": 432,
  "confirmation_step": 433,
  "version": 22,
  "elapsed_s": 667.513,
  "input_start_wall_ms": 1793991087667,
  "input_completed_wall_ms": 1793991087691,
  "confirmation_wall_ms": 1793991088941,
  "action": "MODEL_CLICK Select A",
  "concrete_action": {
    "action_type": "MODEL_CLICK",
    "model_action_id": "g18a1139",
    "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
    "identity_digest": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522",
    "node_path": "0-5-0-0-1-1",
    "class": "android.widget.CheckedTextView",
    "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
    "text": "Select A",
    "content_desc": "",
    "bounds": [
      42,
      599,
      693,
      725
    ],
    "enabled": true,
    "clickable": true,
    "long_clickable": false
  },
  "input_id": "input-2349",
  "source_state": "g18s77",
  "target_state": "g22s93",
  "transition_id": "g22e356:427",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "classification": "触发了新的页面或弹窗（可见界面变化，功能是否首次需人工核查）",
  "before": {
    "activity": "de.rampro.activitydiary.ui.main.MainActivity",
    "labels": [
      "#df61f5b6",
      "Activity Diary",
      "What are you doing?",
      "Add Activity",
      "Search",
      "Logo of activitydiary",
      "Select Activity",
      "Diary",
      "Statistics",
      "Map",
      "Edit Activities",
      "Settings",
      "About",
      "Privacy Policy"
    ],
    "identity": "a3125546a83231f0599a24064ff4aabd4a9f0d12f6523011772af9d345521cfa",
    "controls": [
      {
        "label": "#df61f5b6",
        "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": [
          943,
          73,
          1080,
          199
        ]
      },
      {
        "label": "Search",
        "resource_id": "de.rampro.activitydiary:id/search_button",
        "class": "android.widget.ImageView",
        "bounds": [
          816,
          73,
          943,
          199
        ]
      },
      {
        "label": "Select Activity",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          599,
          693,
          725
        ]
      },
      {
        "label": "Diary",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          725,
          693,
          851
        ]
      },
      {
        "label": "Statistics",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          851,
          693,
          977
        ]
      },
      {
        "label": "Map",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          977,
          693,
          1103
        ]
      },
      {
        "label": "Add Activity",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          1103,
          693,
          1229
        ]
      },
      {
        "label": "Edit Activities",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          1229,
          693,
          1355
        ]
      },
      {
        "label": "Settings",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          1400,
          693,
          1526
        ]
      },
      {
        "label": "About",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          1526,
          693,
          1652
        ]
      },
      {
        "label": "Privacy Policy",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "class": "android.widget.CheckedTextView",
        "bounds": [
          42,
          1652,
          693,
          1778
        ]
      }
    ]
  },
  "after": {
    "activity": "de.rampro.activitydiary.ui.main.MainActivity",
    "labels": [
      "#8690306c",
      "Activity Diary",
      "What are you doing?",
      "Add Activity",
      "Search",
      "#18616e3b",
      "#6bedd736",
      "Cooking",
      "Statistics",
      "Note",
      "Pictures",
      "STATISTICS",
      "NOTE",
      "PICTURES",
      "Cinema"
    ],
    "identity": "ab058a9fb781c1c2d57d2ac12513c6bc33032982da1ebb241ade4e8324fc9b16",
    "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": [
          943,
          73,
          1080,
          199
        ]
      },
      {
        "label": "Search",
        "resource_id": "de.rampro.activitydiary:id/search_button",
        "class": "android.widget.ImageView",
        "bounds": [
          816,
          73,
          943,
          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": "Cooking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          245,
          284,
          330
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          735,
          296,
          935
        ]
      },
      {
        "label": "",
        "resource_id": "de.rampro.activitydiary:id/select_card_view",
        "class": "android.widget.FrameLayout",
        "bounds": [
          0,
          935,
          279,
          1135
        ]
      },
      {
        "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": "Cooking",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          792,
          284,
          877
        ]
      },
      {
        "label": "Cinema",
        "resource_id": "de.rampro.activitydiary:id/activity_name",
        "class": "android.widget.TextView",
        "bounds": [
          12,
          992,
          267,
          1077
        ]
      }
    ]
  },
  "before_screenshot": {
    "local": "screenshots/semantic-19-c1-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-432-gui-521-2348.png",
    "alignment": "identity_verified",
    "capture_wall_time_ms": 1793991087664
  },
  "after_screenshot": {
    "local": "screenshots/semantic-19-c1-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-433-gui-522-2354.png",
    "alignment": "identity_verified",
    "capture_wall_time_ms": 1793991088937
  },
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 432,
      "monotonic_ns": 1880135350743674,
      "wall_time_ms": 1793991087599,
      "abstraction_version": 22,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "confidence": 0.8340218663215637,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "2fac4a942326e830604fc99f7bef2dcd43d7799d0271b6e9740031775cc37d4b",
      "concrete_identity": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522",
      "decision_scope": "bf7f4f84af7f42ba5d28cf4aa6e64edc9df2072b2fbbd428d374dce3807c7804",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-19",
      "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": 2,
      "low_confidence_count": 0,
      "full_history_compared": false,
      "exploratory": true,
      "_line": 1273
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 432,
      "monotonic_ns": 1880135351491421,
      "wall_time_ms": 1793991087600,
      "abstraction_version": 22,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "2fac4a942326e830604fc99f7bef2dcd43d7799d0271b6e9740031775cc37d4b",
      "input_fingerprint": "dc130d42dc67c7bbdb40c38cb28869d62a988dbd81018f8f624cc916f9df0749",
      "concrete_identity": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522",
      "decision_scope": "bf7f4f84af7f42ba5d28cf4aa6e64edc9df2072b2fbbd428d374dce3807c7804",
      "_line": 1276
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 432,
      "monotonic_ns": 1880135372322898,
      "wall_time_ms": 1793991087621,
      "abstraction_version": 22,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "confidence": 0.8340218663215637,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "2fac4a942326e830604fc99f7bef2dcd43d7799d0271b6e9740031775cc37d4b",
      "decision_scope": "bf7f4f84af7f42ba5d28cf4aa6e64edc9df2072b2fbbd428d374dce3807c7804",
      "concrete_identity": "448791cbc7871827bf742e0c0610fcd136cf7e3d35d9ed2c5d7cdd2339986522",
      "_line": 1279
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 432,
      "monotonic_ns": 1880135372363507,
      "wall_time_ms": 1793991087621,
      "abstraction_version": 22,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "confidence": 0.8340218663215637,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 1280
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 432,
      "monotonic_ns": 1880135419444430,
      "wall_time_ms": 1793991087668,
      "abstraction_version": 22,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "event_count": 2,
      "_line": 1283
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 432,
      "monotonic_ns": 1880135442406697,
      "wall_time_ms": 1793991087691,
      "abstraction_version": 22,
      "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-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "_line": 1284
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 433,
      "monotonic_ns": 1880136692542375,
      "wall_time_ms": 1793991088941,
      "abstraction_version": 22,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-19-c1",
      "request_id": "semantic-19",
      "candidate_id": "c1",
      "confidence": 0.8340218663215637,
      "choice": "PROMOTE",
      "transition_id": "g22e356:427",
      "target_state": "g22s93",
      "input_confirmed": true,
      "_line": 1286
    }
  },
  "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:1273",
    "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:1276",
    "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:1279",
    "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:1280",
    "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:1283",
    "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:1284",
    "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:1286"
  },
  "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-g22e356-427.json",
  "candidate": {
    "class": "android.widget.CheckedTextView",
    "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
    "text": "Select Activity",
    "content_desc": "",
    "enabled": true,
    "clickable": true,
    "long_clickable": false,
    "scrollable": false,
    "checked": true,
    "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_main\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Select A\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
    "model_action_id": "g18a1139",
    "source_state_id": "g18s77",
    "bounds": [
      42,
      599,
      693,
      725
    ],
    "source_page_id": "page1",
    "target_subtree": [
      {
        "class": "android.widget.CheckedTextView",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "text": "Select Activity",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": true,
        "selected": false,
        "path": []
      }
    ],
    "subtree_truncated": false,
    "parent": {
      "class": "androidx.appcompat.widget.LinearLayoutCompat",
      "resource_id": "de.rampro.activitydiary:id/nav_main",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": false,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false
    },
    "local_context": {
      "parent": {
        "class": "androidx.appcompat.widget.LinearLayoutCompat",
        "resource_id": "de.rampro.activitydiary:id/nav_main"
      },
      "labels": [],
      "truncated": false
    },
    "text_source": "retained_gui_text",
    "generated_image_text": false,
    "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
  },
  "judgment": {
    "candidate_id": "c1",
    "aggregate_choice": "PROMOTE",
    "aggregate_confidence": 0.8340218663215637,
    "parsed_outcome": "PROBE",
    "ledger_status": "STAGED",
    "entry_id": "semantic-19-c1",
    "request_id": "semantic-19",
    "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": 2,
    "low_confidence_count": 0,
    "full_history_compared": false,
    "exploratory": true
  },
  "pairs": [
    {
      "request_id": "semantic-19",
      "pair_id": "p1",
      "candidate_id": "c1",
      "history_id": "h1",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.8340218663215637,
      "probabilities": {
        "SAME_OPERATION": 0.06519027054309845,
        "DIFFERENT_OPERATION": 0.8893479108810425,
        "INSUFFICIENT_EVIDENCE": 0.04546177759766579
      },
      "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-19.json"
    },
    {
      "request_id": "semantic-19",
      "pair_id": "p2",
      "candidate_id": "c1",
      "history_id": "h2",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.7678618729114532,
      "probabilities": {
        "SAME_OPERATION": 0.12178608775138855,
        "DIFFERENT_OPERATION": 0.8452412486076355,
        "INSUFFICIENT_EVIDENCE": 0.03297260403633118
      },
      "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-19.json"
    }
  ],
  "witnesses": {
    "h1": {
      "descriptor": {
        "class": "android.widget.CheckedTextView",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "text": "About",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 9,
        "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g18a1139",
        "source_state_id": "g18s77",
        "bounds": [
          42,
          1526,
          693,
          1652
        ],
        "source_page_id": "page2",
        "target_subtree": [
          {
            "class": "android.widget.CheckedTextView",
            "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
            "text": "About",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.appcompat.widget.LinearLayoutCompat",
          "resource_id": "de.rampro.activitydiary:id/nav_about",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.appcompat.widget.LinearLayoutCompat",
            "resource_id": "de.rampro.activitydiary:id/nav_about"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "provenance": {
        "source_tree": 326,
        "source_gui_timestamp": 255,
        "current_state": "g18s77",
        "current_model_action": "g18a1139",
        "current_version": 22,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g18a1139",
          "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee",
          "node_path": "0-5-0-0-9-9",
          "class": "android.widget.CheckedTextView",
          "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
          "text": "About",
          "content_desc": "",
          "bounds": [
            42,
            1526,
            693,
            1652
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-326-t255-1390.json",
          "gui_id": 326,
          "gui_timestamp": 255,
          "snapshot_phase": "before_input"
        },
        "source_screenshot": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "screenshot",
          "run_id": "run-6ad5dbcce02e9",
          "step": 255,
          "abstraction_version": 18,
          "wall_time_ms": 1793990827950,
          "monotonic_ns": 1879875701515976,
          "gui_id": 326,
          "gui_timestamp": 255,
          "capture_phase": "history_before_input",
          "capture_started_ns": 1879875701517123,
          "activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "capture_finished_ns": 1879875756956373,
          "capture_wall_time_ms": 1793990828006,
          "alignment": "identity_verified",
          "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "width": 1080,
          "height": 2400,
          "path": "jev-audit/screenshots/step-255-gui-326-1391.png",
          "completion_path": "jev-audit/screenshots/step-255-gui-326-1391.png.json",
          "status": "capture_queued"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad5dbcce02e9",
          "step": 255,
          "abstraction_version": 18,
          "wall_time_ms": 1793990827949,
          "monotonic_ns": 1879875700431127,
          "input_id": "input-1389",
          "source_gui_id": 326,
          "source_gui_timestamp": 255,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g18a1139",
            "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_about\"][@text=\"\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"About\"][@content-desc=\"\"][@index=9][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
            "identity_digest": "18dd3241d2fb4f020c9d34564fa6713113dde70985eff92c4fb6ce0e9fae54ee",
            "node_path": "0-5-0-0-9-9",
            "class": "android.widget.CheckedTextView",
            "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
            "text": "About",
            "content_desc": "",
            "bounds": [
              42,
              1526,
              693,
              1652
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": true,
          "source_gui": {
            "status": "queued",
            "path": "jev-audit/gui/gui-326-t255-1390.json",
            "gui_id": 326,
            "gui_timestamp": 255,
            "snapshot_phase": "before_input"
          },
          "source_screenshot": {
            "schema": "guitaboo-local-audit-v1",
            "kind": "screenshot",
            "run_id": "run-6ad5dbcce02e9",
            "step": 255,
            "abstraction_version": 18,
            "wall_time_ms": 1793990827950,
            "monotonic_ns": 1879875701515976,
            "gui_id": 326,
            "gui_timestamp": 255,
            "capture_phase": "history_before_input",
            "capture_started_ns": 1879875701517123,
            "activity": "de.rampro.activitydiary.ui.main.MainActivity",
            "capture_finished_ns": 1879875756956373,
            "capture_wall_time_ms": 1793990828006,
            "alignment": "identity_verified",
            "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "width": 1080,
            "height": 2400,
            "path": "jev-audit/screenshots/step-255-gui-326-1391.png",
            "completion_path": "jev-audit/screenshots/step-255-gui-326-1391.png.json",
            "status": "capture_queued"
          }
        },
        "transitions": [
          {
            "transition_id": "g18e204:252",
            "receipt": "jev-receipts/transition-g18e204-252.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-327-t256-1396.json",
              "gui_id": 327,
              "gui_timestamp": 256,
              "snapshot_phase": "first_native_target"
            },
            "target_screenshot": {
              "schema": "guitaboo-local-audit-v1",
              "kind": "screenshot",
              "run_id": "run-6ad5dbcce02e9",
              "step": 256,
              "abstraction_version": 18,
              "wall_time_ms": 1793990828914,
              "monotonic_ns": 1879876665466652,
              "gui_id": 327,
              "gui_timestamp": 256,
              "capture_phase": "history_first_native_target",
              "capture_started_ns": 1879876665467286,
              "activity": "de.rampro.activitydiary.ui.generic.AboutActivity",
              "capture_finished_ns": 1879876707506107,
              "capture_wall_time_ms": 1793990828956,
              "alignment": "identity_verified",
              "expected_observation_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3",
              "before_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3",
              "after_identity": "8a72eba10b512f2e6899d8e144c805fd5eee2932cccffb2358f5c7e0fe1636f3",
              "width": 1080,
              "height": 2400,
              "path": "jev-audit/screenshots/step-256-gui-327-1397.png",
              "completion_path": "jev-audit/screenshots/step-256-gui-327-1397.png.json",
              "status": "capture_queued"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    },
    "h2": {
      "descriptor": {
        "class": "android.widget.CheckedTextView",
        "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
        "text": "Diary",
        "content_desc": "",
        "enabled": true,
        "clickable": true,
        "long_clickable": false,
        "scrollable": false,
        "checked": false,
        "selected": false,
        "action_type": "MODEL_CLICK",
        "index": 2,
        "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
        "model_action_id": "g18a1139",
        "source_state_id": "g18s77",
        "bounds": [
          42,
          725,
          693,
          851
        ],
        "source_page_id": "page3",
        "target_subtree": [
          {
            "class": "android.widget.CheckedTextView",
            "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
            "text": "Diary",
            "content_desc": "",
            "enabled": true,
            "clickable": true,
            "long_clickable": false,
            "scrollable": false,
            "checked": false,
            "selected": false,
            "path": []
          }
        ],
        "subtree_truncated": false,
        "parent": {
          "class": "androidx.appcompat.widget.LinearLayoutCompat",
          "resource_id": "de.rampro.activitydiary:id/nav_diary",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false
        },
        "local_context": {
          "parent": {
            "class": "androidx.appcompat.widget.LinearLayoutCompat",
            "resource_id": "de.rampro.activitydiary:id/nav_diary"
          },
          "labels": [],
          "truncated": false
        },
        "text_source": "retained_gui_text",
        "generated_image_text": false,
        "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
      },
      "provenance": {
        "source_tree": 329,
        "source_gui_timestamp": 258,
        "current_state": "g18s77",
        "current_model_action": "g18a1139",
        "current_version": 22,
        "input_confirmed": true,
        "confirmation_basis": "live confirmedInputs before review; not function completion",
        "attributes_recoverable": true
      },
      "audit": {
        "concrete": {
          "action_type": "MODEL_CLICK",
          "model_action_id": "g18a1139",
          "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
          "identity_digest": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937",
          "node_path": "0-5-0-0-2-2",
          "class": "android.widget.CheckedTextView",
          "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
          "text": "Diary",
          "content_desc": "",
          "bounds": [
            42,
            725,
            693,
            851
          ],
          "enabled": true,
          "clickable": true,
          "long_clickable": false
        },
        "source_gui": {
          "status": "queued",
          "path": "jev-audit/gui/gui-329-t258-1409.json",
          "gui_id": 329,
          "gui_timestamp": 258,
          "snapshot_phase": "before_input"
        },
        "source_screenshot": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "screenshot",
          "run_id": "run-6ad5dbcce02e9",
          "step": 258,
          "abstraction_version": 18,
          "wall_time_ms": 1793990831325,
          "monotonic_ns": 1879879076862460,
          "gui_id": 329,
          "gui_timestamp": 258,
          "capture_phase": "history_before_input",
          "capture_started_ns": 1879879076863141,
          "activity": "de.rampro.activitydiary.ui.main.MainActivity",
          "capture_finished_ns": 1879879123784057,
          "capture_wall_time_ms": 1793990831372,
          "alignment": "identity_verified",
          "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
          "width": 1080,
          "height": 2400,
          "path": "jev-audit/screenshots/step-258-gui-329-1410.png",
          "completion_path": "jev-audit/screenshots/step-258-gui-329-1410.png.json",
          "status": "capture_queued"
        },
        "input": {
          "schema": "guitaboo-local-audit-v1",
          "kind": "native_input",
          "run_id": "run-6ad5dbcce02e9",
          "step": 258,
          "abstraction_version": 18,
          "wall_time_ms": 1793990831325,
          "monotonic_ns": 1879879076070678,
          "input_id": "input-1408",
          "source_gui_id": 329,
          "source_gui_timestamp": 258,
          "concrete": {
            "action_type": "MODEL_CLICK",
            "model_action_id": "g18a1139",
            "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_diary\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Diary\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
            "identity_digest": "80bdd1ef9549f082336e42a8f616ed7e8b29370cd4d6b4d8bc948c70eb3c0937",
            "node_path": "0-5-0-0-2-2",
            "class": "android.widget.CheckedTextView",
            "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
            "text": "Diary",
            "content_desc": "",
            "bounds": [
              42,
              725,
              693,
              851
            ],
            "enabled": true,
            "clickable": true,
            "long_clickable": false
          },
          "probe": false,
          "sampled": true,
          "source_gui": {
            "status": "queued",
            "path": "jev-audit/gui/gui-329-t258-1409.json",
            "gui_id": 329,
            "gui_timestamp": 258,
            "snapshot_phase": "before_input"
          },
          "source_screenshot": {
            "schema": "guitaboo-local-audit-v1",
            "kind": "screenshot",
            "run_id": "run-6ad5dbcce02e9",
            "step": 258,
            "abstraction_version": 18,
            "wall_time_ms": 1793990831325,
            "monotonic_ns": 1879879076862460,
            "gui_id": 329,
            "gui_timestamp": 258,
            "capture_phase": "history_before_input",
            "capture_started_ns": 1879879076863141,
            "activity": "de.rampro.activitydiary.ui.main.MainActivity",
            "capture_finished_ns": 1879879123784057,
            "capture_wall_time_ms": 1793990831372,
            "alignment": "identity_verified",
            "expected_observation_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "before_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "after_identity": "2220a36d4378e8f984f8273f5d40c62bf5265901444cd32f0d128bf96babff04",
            "width": 1080,
            "height": 2400,
            "path": "jev-audit/screenshots/step-258-gui-329-1410.png",
            "completion_path": "jev-audit/screenshots/step-258-gui-329-1410.png.json",
            "status": "capture_queued"
          }
        },
        "transitions": [
          {
            "transition_id": "g19e206:255",
            "receipt": "jev-receipts/transition-g19e206-255.json",
            "target_gui": {
              "status": "queued",
              "path": "jev-audit/gui/gui-333-t259-1415.json",
              "gui_id": 333,
              "gui_timestamp": 259,
              "snapshot_phase": "first_native_target"
            },
            "target_screenshot": {
              "schema": "guitaboo-local-audit-v1",
              "kind": "screenshot",
              "run_id": "run-6ad5dbcce02e9",
              "step": 259,
              "abstraction_version": 19,
              "wall_time_ms": 1793990833732,
              "monotonic_ns": 1879881483039976,
              "gui_id": 333,
              "gui_timestamp": 259,
              "capture_phase": "history_first_native_target",
              "capture_started_ns": 1879881483040676,
              "activity": "de.rampro.activitydiary.ui.history.HistoryActivity",
              "capture_finished_ns": 1879881525548788,
              "capture_wall_time_ms": 1793990833774,
              "alignment": "identity_verified",
              "expected_observation_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a",
              "before_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a",
              "after_identity": "a37d3c3e8b25b3d30ce09aa8622327a1b1dd608e144c3b7f191942d2ffe0ff6a",
              "width": 1080,
              "height": 2400,
              "path": "jev-audit/screenshots/step-259-gui-333-1416.png",
              "completion_path": "jev-audit/screenshots/step-259-gui-333-1416.png.json",
              "status": "capture_queued"
            }
          }
        ],
        "transition_count": 1,
        "transition_status": "unique_native_transition"
      }
    }
  },
  "request_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-request-semantic-19.json",
  "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-19.json",
  "navigation": [],
  "global_probe_navigation": [],
  "shared_navigation_steps": 0,
  "shared_navigation_s": 0,
  "ordinary_selection_cost": 1,
  "next_input": {
    "schema": "guitaboo-local-audit-v1",
    "kind": "native_input",
    "run_id": "run-6ad5dbcce02e9",
    "step": 433,
    "abstraction_version": 22,
    "wall_time_ms": 1793991088950,
    "monotonic_ns": 1880136701403673,
    "input_id": "input-2356",
    "source_gui_id": 522,
    "source_gui_timestamp": 433,
    "concrete": {
      "action_type": "MODEL_LONG_CLICK",
      "model_action_id": "g22a1360",
      "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']",
      "identity_digest": "eee7878f35807fbcc0e0a6cf51259f967381b94ac116debff1cfcc02251563f7",
      "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,
        935,
        279,
        1135
      ],
      "enabled": true,
      "clickable": false,
      "long_clickable": true
    },
    "probe": false,
    "sampled": false,
    "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-2357.json"
  },
  "following_actions": [
    {
      "input_id": "input-2356",
      "step": 433,
      "version": 22,
      "elapsed_s": 668.796,
      "wall_time_ms": 1793991088950,
      "next_input_wall_ms": 1793991090898,
      "input_completed_wall_ms": 1793991090006,
      "input_confirmed": true,
      "action": "MODEL_LONG_CLICK de.rampro.activitydiary:id/select_card_view",
      "action_type": "MODEL_LONG_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/select_card_view",
      "model_action_id": "g22a1360",
      "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']",
      "state_id": "g22s93",
      "source_gui_id": 522,
      "activity": "de.rampro.activitydiary.ui.main.MainActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#8690306c",
        "Activity Diary",
        "What are you doing?",
        "Add Activity",
        "Search",
        "#18616e3b",
        "#6bedd736",
        "Cooking",
        "Statistics",
        "Note",
        "Pictures",
        "STATISTICS",
        "NOTE",
        "PICTURES",
        "Cinema"
      ],
      "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:43013",
      "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-2357.json"
    },
    {
      "input_id": "input-2361",
      "step": 434,
      "version": 22,
      "elapsed_s": 670.744,
      "wall_time_ms": 1793991090898,
      "next_input_wall_ms": 1793991092131,
      "input_completed_wall_ms": 1793991090922,
      "input_confirmed": true,
      "action": "MODEL_CLICK Save",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "Save",
      "resource_id": "de.rampro.activitydiary:id/action_edit_done",
      "model_action_id": "g16a916",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"de.rampro.activitydiary:id/action_edit_done\"][@text=\"\"][@content-desc=\"Save\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g16s62",
      "source_gui_id": 523,
      "activity": "de.rampro.activitydiary.ui.generic.EditActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "Remote Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:43166",
      "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-2362.json"
    },
    {
      "input_id": "input-2366",
      "step": 435,
      "version": 22,
      "elapsed_s": 671.977,
      "wall_time_ms": 1793991092131,
      "next_input_wall_ms": 1793991093392,
      "input_completed_wall_ms": 1793991092489,
      "input_confirmed": true,
      "action": "MODEL_SCROLL_RIGHT_LEFT de.rampro.activitydiary:id/viewpager",
      "action_type": "MODEL_SCROLL_RIGHT_LEFT",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/viewpager",
      "model_action_id": "g22a1352",
      "concrete_identity": "MODEL_SCROLL_RIGHT_LEFT|/*[@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.viewpager.widget.ViewPager\"][@resource-id=\"de.rampro.activitydiary:id/viewpager\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
      "state_id": "g22s93",
      "source_gui_id": 524,
      "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:43240",
      "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-2367.json"
    },
    {
      "input_id": "input-2371",
      "step": 436,
      "version": 22,
      "elapsed_s": 673.238,
      "wall_time_ms": 1793991093392,
      "next_input_wall_ms": 1793991095324,
      "input_completed_wall_ms": 1793991094440,
      "input_confirmed": true,
      "action": "MODEL_LONG_CLICK de.rampro.activitydiary:id/activity_background",
      "action_type": "MODEL_LONG_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/activity_background",
      "model_action_id": "g22a1348",
      "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=\"android.widget.RelativeLayout\"][@resource-id=\"de.rampro.activitydiary:id/activity_background\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
      "state_id": "g22s93",
      "source_gui_id": 525,
      "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:43360",
      "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-2372.json"
    },
    {
      "input_id": "input-2376",
      "step": 437,
      "version": 22,
      "elapsed_s": 675.17,
      "wall_time_ms": 1793991095324,
      "next_input_wall_ms": 1793991096555,
      "input_completed_wall_ms": 1793991095356,
      "input_confirmed": true,
      "action": "MODEL_CLICK #47c28800",
      "action_type": "MODEL_CLICK",
      "text": "#47c28800",
      "content_desc": "Navigate up",
      "resource_id": "",
      "model_action_id": "g16a914",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Navigate up\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g16s62",
      "source_gui_id": 526,
      "activity": "de.rampro.activitydiary.ui.generic.EditActivity",
      "activity_evidence": "exact source_gui_id transition receipt",
      "labels": null,
      "probe": false,
      "strategy": "EARLY_STAGE",
      "context": "navigation",
      "native_branch": "Remote Greedy",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:43454",
      "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-2377.json"
    }
  ],
  "gains": {
    "after_input_completed_2s": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991087691,
      "end_wall_ms": 1793991089691,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    },
    "after_input_completed_10s": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991087691,
      "end_wall_ms": 1793991097691,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    },
    "before_next_action": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991087691,
      "end_wall_ms": 1793991088950,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    },
    "from_input_start_to_next_action": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991087667,
      "end_wall_ms": 1793991088950,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    },
    "after_confirmation_2s": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991088941,
      "end_wall_ms": 1793991090941,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    },
    "after_confirmation_10s": {
      "count": 0,
      "complete_gain_count": 0,
      "observation_complete": true,
      "category_counts": {},
      "methods": [],
      "start_wall_ms": 1793991088941,
      "end_wall_ms": 1793991098941,
      "scope": "Run内METHOD首次观察；时间关联，不等于因果收益；窗口可重叠"
    }
  }
}