activitydiary STARTLUX step548 Privacy Policy

run_200afe1a53af49e489506f56987c30c6 · 第14.61分钟 · 请求step498 / 决策step498 / 执行step548 · REPEATED_SUPPORTED · 证据MEDIUM · 结构化审查

一、模型为什么选择它

Native按exploratory-top3-v1聚合:没有confidence>0.5的SAME,存在可信DIFFERENT(p4 对step255=0.869049;p5 对step258=0.878931;p6 对step432=0.804243),因此PROMOTE。模型未返回自然语言理由;这里解释可复核的判断与聚合,不推测模型内心原因。

当前审核范围 g18s77 / g18a1139;合法历史5条,比较3条。Pair缓存命中:False。

Pair / 历史step原Evidence控件原回答confidence可信阈值
p4 / 255AboutDIFFERENT_OPERATION0.86904937True
p5 / 258DiaryDIFFERENT_OPERATION0.87893143True
p6 / 432Select ActivityDIFFERENT_OPERATION0.80424291True

真正发送的state/questions · 原请求回执 · 原回答回执 · 本地审计(没有自动送模型)

展开原始Pair问题、回答和Witness字段
[
  {
    "pair_id": "p4",
    "history_id": "h1",
    "history_step": 255,
    "history_input_id": "input-1389",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.8690493702888489,
    "probabilities": {
      "SAME_OPERATION": 0.06998521089553833,
      "DIFFERENT_OPERATION": 0.9126995801925659,
      "INSUFFICIENT_EVIDENCE": 0.017315221950411797
    },
    "trusted": true,
    "pair_cache_hit": false,
    "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.c4` 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.8690493702888489,
      "probabilities": {
        "SAME_OPERATION": 0.06998521089553833,
        "DIFFERENT_OPERATION": 0.9126995801925659,
        "INSUFFICIENT_EVIDENCE": 0.017315221950411797
      }
    },
    "model_visible_history": {
      "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"
    },
    "offline_only_provenance": {
      "source_tree": 326,
      "source_gui_timestamp": 255,
      "current_state": "g18s77",
      "current_model_action": "g18a1139",
      "current_version": 24,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  {
    "pair_id": "p5",
    "history_id": "h2",
    "history_step": 258,
    "history_input_id": "input-1408",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.8789314329624176,
    "probabilities": {
      "SAME_OPERATION": 0.058865636587142944,
      "DIFFERENT_OPERATION": 0.9192876219749451,
      "INSUFFICIENT_EVIDENCE": 0.021846752613782883
    },
    "trusted": true,
    "pair_cache_hit": false,
    "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.c4` 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.8789314329624176,
      "probabilities": {
        "SAME_OPERATION": 0.058865636587142944,
        "DIFFERENT_OPERATION": 0.9192876219749451,
        "INSUFFICIENT_EVIDENCE": 0.021846752613782883
      }
    },
    "model_visible_history": {
      "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"
    },
    "offline_only_provenance": {
      "source_tree": 329,
      "source_gui_timestamp": 258,
      "current_state": "g18s77",
      "current_model_action": "g18a1139",
      "current_version": 24,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  {
    "pair_id": "p6",
    "history_id": "h3",
    "history_step": 432,
    "history_input_id": "input-2349",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.8042429089546204,
    "probabilities": {
      "SAME_OPERATION": 0.10462035983800888,
      "DIFFERENT_OPERATION": 0.8694952726364136,
      "INSUFFICIENT_EVIDENCE": 0.025884369388222694
    },
    "trusted": true,
    "pair_cache_hit": false,
    "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.c4` the same application-function operation as executed action at `executed_actions.h3`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
    },
    "original_answer": {
      "type": "choice",
      "choice": "DIFFERENT_OPERATION",
      "confidence": 0.8042429089546204,
      "probabilities": {
        "SAME_OPERATION": 0.10462035983800888,
        "DIFFERENT_OPERATION": 0.8694952726364136,
        "INSUFFICIENT_EVIDENCE": 0.025884369388222694
      }
    },
    "model_visible_history": {
      "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": "page4",
      "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"
    },
    "offline_only_provenance": {
      "source_tree": 521,
      "source_gui_timestamp": 432,
      "current_state": "g18s77",
      "current_model_action": "g18a1139",
      "current_version": 24,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  }
]

二、此前APE实际做过什么

普通443在决策498前已进入PrivacyPolicyActivity;548重复打开全文。

等价历史是否送入Provider wire:NO;当前Pair直接比较过的等价历史step:[]。这是wire可见性,服务端最终token渲染是否逐字段保留仍UNKNOWN。

此前step / UTC页面与控件确认与目标
443
2026-11-06T18:51:52.916+00:00
Privacy
de.rampro.activitydiary.ui.main.MainActivity
Native确认=True
de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity
目标GUI未保留,不推断业务完成

三、Probe执行后发生什么

Privacy Policy 打开隐私政策全文页面;无新业务数据。

activitydiary STARTLUX step548 Privacy Policy before_screenshot
before_screenshot · identity_verified · 2026-11-06T18:54:56.784+00:00
activitydiary STARTLUX step548 Privacy Policy after_screenshot
after_screenshot · identity_verified · 2026-11-06T18:54:58.053+00:00

Run内首次METHOD观察:完成后2秒=0,10秒=1,下一动作前B=0。仅时间关联;A2/A10可含后续动作。原方法完整名单及时间戳。

后续APE输入与生命周期原始事件
{
  "following_actions": [
    {
      "input_id": "input-2996",
      "step": 549,
      "version": 25,
      "elapsed_s": 877.91,
      "wall_time_ms": 1793991298064,
      "next_input_wall_ms": 1793991298976,
      "input_completed_wall_ms": 1793991298088,
      "input_confirmed": true,
      "action": "MODEL_CLICK #87f83ae2",
      "action_type": "MODEL_CLICK",
      "text": "#87f83ae2",
      "content_desc": "Navigate up",
      "resource_id": "",
      "model_action_id": "g22a1399",
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@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": "g22s97",
      "source_gui_id": 644,
      "activity": "de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "#87f83ae2",
        "Privacy Policy",
        "Logo of activitydiary",
        "Privacy Policy\n\nActivityDiary is a free, libre and open source application to track your activities. This privacy policy applies to this Android application and describes what data is stored and processed by the ActivityDiary.\n\nIntroduction\n\nDevelopers of ActivityDiary, we (or “us” or “our”) respect the privacy of our users (“user” or “you”). As the aim of this application is to keep a record of your activites a lot of sensitive personal information is collected and stored. Nevertheless is this your data and you have full control over it. This Privacy Policy explains how the ActivityDiary application (the “Application”) collects, uses, discloses, and safeguards your information. Our names can be extracted from the meta data in the git repositories and within the Application.\n\nPlease read this Privacy Policy carefully. If you do not agree with the terms of this Privacy Policy, please do not access the Application and remove it from your device.\n\nWe reserve the right to make changes to this Privacy Policy at any time and for any reason. We will alert you about any changes by updating the “Last updated” date of this Privacy Policy.\n\nYou are encouraged to periodically review this Privacy Policy to stay informed of updates. You will be deemed to have been made aware of, will be subject to, and will be deemed to have accepted the changes in any revised Privacy Policy by your continued use of the Application after the date such revised Privacy Policy is posted.\n\nThis Privacy Policy does not apply to the third-party online/mobile store from which you install the Applications or make payments, which may also collect and use data about you. We are not responsible for any of the data collected by any such third party.\n\nWhat data is processed and stored?\n\nActivity Data\n\nThe data you enter to record your activities, including the date and time of start and end of the activity, combined with formatting, notes, pictures and relationships between different activites you attach to those activites is stored. Deleting entries like activities or pictures doesn't completely remove them from the database but only hides them.\n\nGeo-Location Information (ACCESS_FINE_LOCATION, GPS)\n\nIf configured the application accesses location-based information from your mobile device to relate acitivites to location and provide activity suggestions based on location information. If you wish to change ActivityDiarys access or permissions, you may do so in your device’s settings or disable the use of location services in the applications settings. Note that this does not influence or remove the already collected location data.\n\nDevice storage (WRITE_EXTERNAL_STORAGE)\n\nStorage and retreival of backups, photos and other files you attach to your activity diary need access to Androids external storage / SD card.\n\nCamera\n\nThe application enables you to take photos with your devices' camera and attach them to your activity diary. This is the only usage of the camera permission.\n\nNetwork state (ACCESS_NETWORK_STATE, ACCESS_WIFI_STATE)\n\nNetwork and WIFI state is stored to correlate activities to those data and to propose and set next activites based on the current state.\n\nCrash Reporting\n\nIn case of a program fault (crash) the application prepares a report that helps us to improve the behavior of the application. This report contains a lot of technical data about your device and operating system, the complete preferences of the application and the trace of program steps that was exectued right before the crash. The hardware of your device including but not limited to screen size and resolution, the manufacturer, the language setting and versions of the operating system and application are identifiable. The prepared report is not transmitted automatically, but shared to your email application in a newly composed email that you - at your own will - can send to us or whomever you want. Protecting the data during transmission by using encrypted email transfer is under responsibility of you and your mail service provider. We highly recommend to thoroughfully review the report and remove all data you don't understand and/or don't want to share.\n\nAs the used media is email you will disclose your name, email address, and several other technical data like IP address and email service provider by transmitting a crash report. We will not use this information for anything else than contacting you about the crash.\n\nAnonymous extracts of the report that do not allow your indentification might be used in the public issue tracker for documenting the crash and tracking the rework.\n\nAdditional to this report prepared by the application your operating system or services on you device might transmit crash or usage reports, but those are not part of ActivityDiary, not covered by this privacy policy and under your own responsibility.\n\nWhy does the application store data?\n\nThe Applications is designed to create a record of your activites. This is achieved by selecting the current activities manually or automatically, based on evaluation of data entered by you or collected by your device. The data you enter into the application is stored for later retreival by the user. The application stores and evaluates data of different sensors of your device to suggest or even automatically select the next activities. No data is collected, transmitted or stored that is not required for its intended functionality.\n\nWhen you use the Application, your personal information is stored and evaluated locally on your device and not transmitted to any organization or company without your explicity request.\n\nThe stored data can be deleted by removing the application and deleting the backups created by you and backup mechanisms of your device.\n\nHow is the data protected?\n\nThe Application store unencrypted data locally on the device it is executed on. You are responsible to protect the stored data from unauthorized access. We highly recommend to protect your device with a strong password and even encrypt your devices' storage. Backups created by the application itself or any device backup mechanism also need to be protected by you in a similar fashion.\n\nSecurity of your information\n\nWe use the mechanisms provided by the Android framework to protect your personal information from other applications on your device. While we have taken reasonable steps to secure the personal information you provide to us, please be aware that despite our efforts, no security measures are perfect or impenetrable, and no method of data protection can be guaranteed against any interception or other type of misuse. Therefore, we cannot guarantee complete security of you provide personal information.\n\nYour rights\n\nAt any time and free of cost you have the right to ask us about which data we store about you. You can always request for correction or removal of personal data or restrict the use of your data.\n\nContact us\n\nRaphael Mack, Joh.-Seb.-Bach-Str. 3, 74321 Bietigheim-Bissingen (Germany)\n\nactivity-diary@rampro.de\n\n"
      ],
      "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:54959",
      "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-2997.json"
    },
    {
      "input_id": "input-3001",
      "step": 550,
      "version": 25,
      "elapsed_s": 878.822,
      "wall_time_ms": 1793991298976,
      "next_input_wall_ms": 1793991299913,
      "input_completed_wall_ms": 1793991299005,
      "input_confirmed": true,
      "action": "MODEL_CLICK de.rampro.activitydiary:id/activity_background",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/activity_background",
      "model_action_id": "g25a1529",
      "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.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": "g25s109",
      "source_gui_id": 645,
      "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:55023",
      "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-3002.json"
    },
    {
      "input_id": "input-3006",
      "step": 551,
      "version": 25,
      "elapsed_s": 879.759,
      "wall_time_ms": 1793991299913,
      "next_input_wall_ms": 1793991300859,
      "input_completed_wall_ms": 1793991299939,
      "input_confirmed": true,
      "action": "MODEL_CLICK Search",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "Search",
      "resource_id": "de.rampro.activitydiary:id/search_button",
      "model_action_id": "g25a1528",
      "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.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/action_filter\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageView\"][@resource-id=\"de.rampro.activitydiary:id/search_button\"][@text=\"\"][@content-desc=\"Search\"][@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": "g25s109",
      "source_gui_id": 646,
      "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:55115",
      "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-3007.json"
    },
    {
      "input_id": "input-3011",
      "step": 552,
      "version": 25,
      "elapsed_s": 880.705,
      "wall_time_ms": 1793991300859,
      "next_input_wall_ms": 1793991302817,
      "input_completed_wall_ms": 1793991301941,
      "input_confirmed": true,
      "action": "MODEL_LONG_CLICK Search…",
      "action_type": "MODEL_LONG_CLICK",
      "text": "Search…",
      "content_desc": "",
      "resource_id": "de.rampro.activitydiary:id/search_src_text",
      "model_action_id": "g25a1546",
      "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.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/action_filter\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.AutoCompleteTextView\"][@resource-id=\"de.rampro.activitydiary:id/search_src_text\"][@text=\"Search…\"][@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": "g25s110",
      "source_gui_id": 647,
      "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:55194",
      "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-3012.json"
    },
    {
      "input_id": "input-3016",
      "step": 553,
      "version": 25,
      "elapsed_s": 882.663,
      "wall_time_ms": 1793991302817,
      "next_input_wall_ms": 1793991304743,
      "input_completed_wall_ms": 1793991303857,
      "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": "g25a1549",
      "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=0][@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='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
      "state_id": "g25s110",
      "source_gui_id": 648,
      "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:55262",
      "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-3017.json"
    }
  ],
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 498,
      "monotonic_ns": 1880256329877592,
      "wall_time_ms": 1793991208578,
      "abstraction_version": 24,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "confidence": 0.8789314329624176,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "851448f301c9b748ccb6f40d868ff114cc2b3d2ab1dfe1e149170e56b305ba18",
      "concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
      "decision_scope": "b8f20cdeead31d7751a8c073289f5c0ff545d8fd85680394afb36e441fbccbcb",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-21",
      "aggregation_policy": "exploratory-top3-v1",
      "total_history": 5,
      "history_complete": false,
      "unknown_mapping_count": 1,
      "recoverable_history_count": 5,
      "selected_history": 3,
      "comparison_count": 3,
      "same_count": 0,
      "different_count": 3,
      "insufficient_count": 0,
      "trusted_same_count": 0,
      "trusted_different_count": 3,
      "low_confidence_count": 0,
      "full_history_compared": false,
      "exploratory": true,
      "_line": 1499
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 498,
      "monotonic_ns": 1880256330979152,
      "wall_time_ms": 1793991208580,
      "abstraction_version": 24,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "851448f301c9b748ccb6f40d868ff114cc2b3d2ab1dfe1e149170e56b305ba18",
      "input_fingerprint": "103aad781b0bb1b93939251ec6b1ad7f79058f7a522b5e02dc86afa0d5012b5d",
      "concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
      "decision_scope": "b8f20cdeead31d7751a8c073289f5c0ff545d8fd85680394afb36e441fbccbcb",
      "_line": 1501
    },
    "PROBE_NAVIGATION_ELIGIBILITY": {
      "event": "PROBE_NAVIGATION_ELIGIBILITY",
      "step": 545,
      "monotonic_ns": 1880340022314245,
      "wall_time_ms": 1793991292271,
      "abstraction_version": 25,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
      "confidence": 0.8789314329624176,
      "reason": "related_concrete_confirmed",
      "navigation": false,
      "confidence_pass": true,
      "source_valid": true,
      "same_state_confirmed": false,
      "related_execution_suppressed": true,
      "navigation_arrived": false,
      "_line": 1730
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 548,
      "monotonic_ns": 1880344498231435,
      "wall_time_ms": 1793991296747,
      "abstraction_version": 25,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "confidence": 0.8789314329624176,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "851448f301c9b748ccb6f40d868ff114cc2b3d2ab1dfe1e149170e56b305ba18",
      "decision_scope": "b8f20cdeead31d7751a8c073289f5c0ff545d8fd85680394afb36e441fbccbcb",
      "concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
      "_line": 1742
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 548,
      "monotonic_ns": 1880344498272729,
      "wall_time_ms": 1793991296747,
      "abstraction_version": 25,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "confidence": 0.8789314329624176,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 1743
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 548,
      "monotonic_ns": 1880344539372642,
      "wall_time_ms": 1793991296788,
      "abstraction_version": 25,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "event_count": 2,
      "_line": 1746
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 548,
      "monotonic_ns": 1880344573642346,
      "wall_time_ms": 1793991296822,
      "abstraction_version": 25,
      "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-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "_line": 1747
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 549,
      "monotonic_ns": 1880345808131828,
      "wall_time_ms": 1793991298057,
      "abstraction_version": 25,
      "state_id": "g18s77",
      "model_action_id": "g18a1139",
      "entry_id": "semantic-21-c4",
      "request_id": "semantic-21",
      "candidate_id": "c4",
      "confidence": 0.8789314329624176,
      "choice": "PROMOTE",
      "transition_id": "g25e427:538",
      "target_state": "g22s97",
      "input_confirmed": true,
      "_line": 1749
    }
  },
  "selection_at_execution": {
    "event": "SELECTION_DECISION",
    "step": 548,
    "monotonic_ns": 1880344498551150,
    "wall_time_ms": 1793991296747,
    "abstraction_version": 25,
    "state_id": "g18s77",
    "model_action_id": "g18a1139",
    "snapshot_reason": "selection",
    "state_visits": 11,
    "state_first_seen": 255,
    "state_last_seen": 548,
    "state_saturated": false,
    "state_saturation": 0.8,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 1,
    "model_action_count": 5,
    "enabled_valid_action_count": 5,
    "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": "g18a1140",
    "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": 7,
    "selected_action_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.CheckedTextView|text=Privacy |resource_id=de.rampro.activitydiary:id/design_menu_item_text|bounds=42,1652,693,1778",
    "selected_resolved_node_count": 9,
    "_line": 1745
  }
}

四、是否值得PROMOTE

完整已保存历史支持此前已尝试等价功能;不能自动归为模型错误。

疑似主要环节:HISTORY_SCOPE;wire关系审查:DISTINCT_COMPARATORS_VALID。

冻结实现:Registry历史范围(315–342) · Top3(210–230)及聚合(146–178) · Ledger pending与确认(235–285) · Probe调度机会(415–468)。源码行号是原文件行号,GUI历史与源码解释分别有边界。

即便新功能也只证明此次Probe填补了该Run当时的遗漏;正常APE仍可经后续Epsilon等策略选到,不能推出Pure永远不会执行。全部事实与原始位置 · 本Run完整保留输入历史