activitydiary JEV step1360 Privacy Policy
run_2b38f68437b6480c8f26d01cec61b440 · 第36.40分钟 · 请求step1284 / 决策step1284 / 执行step1360 · REPEATED_SUPPORTED · 证据HIGH · 结构化审查
一、模型为什么选择它
Native按exploratory-top3-v1聚合:没有confidence>0.5的SAME,存在可信DIFFERENT(p4 对step918=1.000000;p5 对step1072=1.000000;p6 对step1125=1.000000),因此PROMOTE。模型未返回自然语言理由;这里解释可复核的判断与聚合,不推测模型内心原因。
当前审核范围 g16s84 / g16a1199;合法历史7条,比较3条。Pair缓存命中:False。
| Pair / 历史step | 原Evidence控件 | 原回答 | confidence | 可信阈值 |
|---|---|---|---|---|
| p4 / 918 | Edit Activities | DIFFERENT_OPERATION | 1.00000000 | True |
| p5 / 1072 | Select Activity | DIFFERENT_OPERATION | 1.00000000 | True |
| p6 / 1125 | Diary | DIFFERENT_OPERATION | 1.00000000 | True |
真正发送的state/questions · 原请求回执 · 原回答回执 · 本地审计(没有自动送模型)
展开原始Pair问题、回答和Witness字段
[
{
"pair_id": "p4",
"history_id": "h1",
"history_step": 918,
"history_input_id": "input-4890",
"choice": "DIFFERENT_OPERATION",
"confidence": 1,
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"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",
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"confidence": 1
},
"model_visible_history": {
"class": "android.widget.CheckedTextView",
"resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
"text": "Edit Activities",
"content_desc": "",
"enabled": true,
"clickable": true,
"long_clickable": false,
"scrollable": false,
"checked": false,
"selected": false,
"action_type": "MODEL_CLICK",
"index": 6,
"concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/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_activity_manager\"][@text=\"\"][@content-desc=\"\"][@index=6][@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=\"Edit Act\"][@content-desc=\"\"][@index=6][@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": "g16a1199",
"source_state_id": "g16s84",
"bounds": [
42,
1229,
693,
1355
],
"source_page_id": "page2",
"target_subtree": [
{
"class": "android.widget.CheckedTextView",
"resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
"text": "Edit Activities",
"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_activity_manager",
"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_activity_manager"
},
"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": 1012,
"source_gui_timestamp": 918,
"current_state": "g16s84",
"current_model_action": "g16a1199",
"current_version": 32,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
},
{
"pair_id": "p5",
"history_id": "h2",
"history_step": 1072,
"history_input_id": "input-5712",
"choice": "DIFFERENT_OPERATION",
"confidence": 1,
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"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",
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"confidence": 1
},
"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": "g16a1199",
"source_state_id": "g16s84",
"bounds": [
42,
599,
693,
725
],
"source_page_id": "page3",
"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": 1178,
"source_gui_timestamp": 1072,
"current_state": "g16s84",
"current_model_action": "g16a1199",
"current_version": 32,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
},
{
"pair_id": "p6",
"history_id": "h3",
"history_step": 1125,
"history_input_id": "input-6008",
"choice": "DIFFERENT_OPERATION",
"confidence": 1,
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"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",
"probabilities": {
"SAME_OPERATION": 0,
"DIFFERENT_OPERATION": 1,
"INSUFFICIENT_EVIDENCE": 0
},
"confidence": 1
},
"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": "g16a1199",
"source_state_id": "g16s84",
"bounds": [
42,
725,
693,
851
],
"source_page_id": "page4",
"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": 1231,
"source_gui_timestamp": 1125,
"current_state": "g16s84",
"current_model_action": "g16a1199",
"current_version": 32,
"input_confirmed": true,
"confirmation_basis": "live confirmedInputs before review; not function completion",
"attributes_recoverable": true
}
}
]二、此前APE实际做过什么
普通295已进入PrivacyPolicyActivity;1360只是再次打开同一隐私政策全文。
等价历史是否送入Provider wire:NO;当前Pair直接比较过的等价历史step:[]。这是wire可见性,服务端最终token渲染是否逐字段保留仍UNKNOWN。
| 此前step / UTC | 页面与控件 | 确认与目标 |
|---|---|---|
| 295 2026-11-06T22:57:28.230+00:00 | Privacy Policy de.rampro.activitydiary.ui.main.MainActivity | Native确认=True de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity 保留目标GUI |
三、Probe执行后发生什么
Privacy Policy 打开全文页面;与StartLux相同模板。


Run内首次METHOD观察:完成后2秒=0,10秒=0,下一动作前B=0。仅时间关联;A2/A10可含后续动作。原方法完整名单及时间戳。
后续APE输入与生命周期原始事件
{
"following_actions": [
{
"input_id": "input-7431",
"step": 1361,
"version": 33,
"elapsed_s": 2185.022,
"wall_time_ms": 1794007577150,
"next_input_wall_ms": 1794007578408,
"input_completed_wall_ms": 1794007577522,
"input_confirmed": true,
"action": "MODEL_SCROLL_TOP_DOWN android.widget.ScrollView",
"action_type": "MODEL_SCROLL_TOP_DOWN",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g16a1210",
"concrete_identity": "MODEL_SCROLL_TOP_DOWN|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
"state_id": "g16s86",
"source_gui_id": 1470,
"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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:132269",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7432.json"
},
{
"input_id": "input-7436",
"step": 1362,
"version": 33,
"elapsed_s": 2186.28,
"wall_time_ms": 1794007578408,
"next_input_wall_ms": 1794007580732,
"input_completed_wall_ms": 1794007578772,
"input_confirmed": true,
"action": "MODEL_SCROLL_BOTTOM_UP android.widget.ScrollView",
"action_type": "MODEL_SCROLL_BOTTOM_UP",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g16a1209",
"concrete_identity": "MODEL_SCROLL_BOTTOM_UP|/*[@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'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
"state_id": "g16s86",
"source_gui_id": 1471,
"activity": "de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity",
"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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:132333",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7437.json"
},
{
"input_id": "input-7441",
"step": 1363,
"version": 33,
"elapsed_s": 2188.604,
"wall_time_ms": 1794007580732,
"next_input_wall_ms": 1794007581971,
"input_completed_wall_ms": 1794007581088,
"input_confirmed": true,
"action": "MODEL_SCROLL_BOTTOM_UP android.widget.ScrollView",
"action_type": "MODEL_SCROLL_BOTTOM_UP",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g33a2302",
"concrete_identity": "MODEL_SCROLL_BOTTOM_UP|/*[@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'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
"state_id": "g33s172",
"source_gui_id": 1475,
"activity": "de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity",
"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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:132395",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7442.json"
},
{
"input_id": "input-7446",
"step": 1364,
"version": 33,
"elapsed_s": 2189.843,
"wall_time_ms": 1794007581971,
"next_input_wall_ms": 1794007583213,
"input_completed_wall_ms": 1794007582338,
"input_confirmed": true,
"action": "MODEL_SCROLL_TOP_DOWN android.widget.ScrollView",
"action_type": "MODEL_SCROLL_TOP_DOWN",
"text": "",
"content_desc": "",
"resource_id": "",
"model_action_id": "g33a2303",
"concrete_identity": "MODEL_SCROLL_TOP_DOWN|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']",
"state_id": "g33s172",
"source_gui_id": 1476,
"activity": "de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity",
"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_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:132473",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7447.json"
},
{
"input_id": "input-7451",
"step": 1365,
"version": 33,
"elapsed_s": 2191.085,
"wall_time_ms": 1794007583213,
"next_input_wall_ms": 1794007585964,
"input_completed_wall_ms": 1794007583238,
"input_confirmed": true,
"action": "MODEL_BACK NA",
"action_type": "MODEL_BACK",
"text": null,
"content_desc": null,
"resource_id": null,
"model_action_id": "g33a2304",
"concrete_identity": null,
"state_id": "g33s172",
"source_gui_id": 1477,
"activity": "de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity",
"activity_evidence": "exact source_gui_id transition receipt",
"labels": null,
"probe": false,
"strategy": "EARLY_STAGE",
"context": "exploration",
"native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)",
"executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/executor.log:132534",
"observed_methods_until_next": 0,
"category_counts": {},
"inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_2b38f68437b6480c8f26d01cec61b440.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7452.json"
}
],
"lifecycle": {
"DECISION_PROBE": {
"event": "DECISION_PROBE",
"step": 1284,
"monotonic_ns": 1896365899880615,
"wall_time_ms": 1794007318148,
"abstraction_version": 32,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"confidence": 1,
"choice": "PROMOTE",
"parsed_outcome": "PROBE",
"ledger_status": "STAGED",
"decision_role": "candidate_decision",
"input_signature": "21429f8807b65ec20e866cbc5ea5bc4b97d98b9128e30f3fb8b7f5f9c5d5ed29",
"concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
"decision_scope": "1e779e6b6c261fc78df3ae463988ac8714544beb94ec5312f82cf6abb0745607",
"representative_model_action_id": "PROMOTE",
"decision_request_id": "semantic-78",
"aggregation_policy": "exploratory-top3-v1",
"total_history": 7,
"history_complete": true,
"unknown_mapping_count": 0,
"recoverable_history_count": 7,
"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": 4590
},
"SEMANTIC_DECISION_STORED": {
"event": "SEMANTIC_DECISION_STORED",
"step": 1284,
"monotonic_ns": 1896365900979599,
"wall_time_ms": 1794007318150,
"abstraction_version": 32,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"decision_role": "candidate_decision",
"ledger_status": "PROBE",
"input_signature": "21429f8807b65ec20e866cbc5ea5bc4b97d98b9128e30f3fb8b7f5f9c5d5ed29",
"input_fingerprint": "f7034ea963dbdf25ea3d775de4bef482fe0051006807ded0b05980c59dcd61b9",
"concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
"decision_scope": "1e779e6b6c261fc78df3ae463988ac8714544beb94ec5312f82cf6abb0745607",
"_line": 4592
},
"PROBE_NAVIGATION_ELIGIBILITY": {
"event": "PROBE_NAVIGATION_ELIGIBILITY",
"step": 1359,
"monotonic_ns": 1896622532239061,
"wall_time_ms": 1794007574781,
"abstraction_version": 33,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
"confidence": 1,
"reason": "related_concrete_confirmed",
"navigation": false,
"confidence_pass": true,
"source_valid": true,
"same_state_confirmed": false,
"related_execution_suppressed": true,
"navigation_arrived": false,
"_line": 5348
},
"PROBE_BOUND": {
"event": "PROBE_BOUND",
"step": 1360,
"monotonic_ns": 1896623568610574,
"wall_time_ms": 1794007575817,
"abstraction_version": 33,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"confidence": 1,
"choice": "PROMOTE",
"source": "semantic_sync",
"input_signature": "21429f8807b65ec20e866cbc5ea5bc4b97d98b9128e30f3fb8b7f5f9c5d5ed29",
"decision_scope": "1e779e6b6c261fc78df3ae463988ac8714544beb94ec5312f82cf6abb0745607",
"concrete_identity": "fe281564902c5bf7b3b1bef4a0f24f4f086b1233bfb8c5531b5b121a811da208",
"_line": 5356
},
"PROBE_SELECTED": {
"event": "PROBE_SELECTED",
"step": 1360,
"monotonic_ns": 1896623568650505,
"wall_time_ms": 1794007575817,
"abstraction_version": 33,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"confidence": 1,
"choice": "PROMOTE",
"source": "semantic_sync",
"_line": 5357
},
"PROBE_INPUT_GENERATED": {
"event": "PROBE_INPUT_GENERATED",
"step": 1360,
"monotonic_ns": 1896623624270687,
"wall_time_ms": 1794007575873,
"abstraction_version": 33,
"state_id": null,
"model_action_id": null,
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"event_count": 2,
"_line": 5360
},
"PROBE_INPUT_COMPLETED": {
"event": "PROBE_INPUT_COMPLETED",
"step": 1360,
"monotonic_ns": 1896623656576188,
"wall_time_ms": 1794007575905,
"abstraction_version": 33,
"state_id": null,
"model_action_id": null,
"input_phase": "input_injected",
"event_count": 2,
"injected_success": 2,
"injected_failed": 0,
"discarded": 0,
"unreported": 0,
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"_line": 5361
},
"PROBE_EXECUTED": {
"event": "PROBE_EXECUTED",
"step": 1361,
"monotonic_ns": 1896624896082126,
"wall_time_ms": 1794007577145,
"abstraction_version": 33,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"entry_id": "semantic-78-c4",
"request_id": "semantic-78",
"candidate_id": "c4",
"confidence": 1,
"choice": "PROMOTE",
"transition_id": "g33e972:1342",
"target_state": "g16s86",
"input_confirmed": true,
"_line": 5363
}
},
"selection_at_execution": {
"event": "SELECTION_DECISION",
"step": 1360,
"monotonic_ns": 1896623568885139,
"wall_time_ms": 1794007575817,
"abstraction_version": 33,
"state_id": "g16s84",
"model_action_id": "g16a1199",
"snapshot_reason": "selection",
"state_visits": 17,
"state_first_seen": 291,
"state_last_seen": 1360,
"state_saturated": true,
"state_saturation": 1,
"native_state_saturated": true,
"native_unsaturated_model_action_count": 0,
"model_action_count": 5,
"enabled_valid_action_count": 5,
"unsaturated_model_action_count": 0,
"unvisited_model_action_count": 0,
"effective_unvisited_model_action_count": 0,
"effective_state_saturated": true,
"local_probe_action_count": 0,
"navigation_action_count": 0,
"enabled_valid_unvisited_action_count": 0,
"unvisited_model_action_ids": "",
"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": 10,
"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": 5359
}
}四、是否值得PROMOTE
完整已保存历史支持此前已尝试等价功能;不能自动归为模型错误。
疑似主要环节:HISTORY_SCOPE;wire关系审查:UNKNOWN。
冻结实现:Registry历史范围(315–342) · Top3(210–230)及聚合(146–178) · Ledger pending与确认(235–285) · Probe调度机会(415–468)。源码行号是原文件行号,GUI历史与源码解释分别有边界。
即便新功能也只证明此次Probe填补了该Run当时的遗漏;正常APE仍可经后续Epsilon等策略选到,不能推出Pure永远不会执行。全部事实与原始位置 · 本Run完整保留输入历史