odkcollect JEV step407 Constraint processing

run_b4871490b9e84bbcb1a9b3464ca596fd · 第9.70分钟 · 请求step407 / 决策step407 / 执行step407 · REPEATED_SUPPORTED · 证据HIGH · 结构化审查

一、模型为什么选择它

Native按exploratory-top3-v1聚合:没有confidence>0.5的SAME,存在可信DIFFERENT(p1 对step394=0.940000;p2 对step402=0.960000;p3 对step404=0.970000),因此PROMOTE。模型未返回自然语言理由;这里解释可复核的判断与聚合,不推测模型内心原因。

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

Pair / 历史step原Evidence控件原回答confidence可信阈值
p1 / 394匿名 android.widget.LinearLayout ; 邻近标签 DIFFERENT_OPERATION0.94000000True
p2 / 402匿名 android.widget.LinearLayout ; 邻近标签 DIFFERENT_OPERATION0.96000000True
p3 / 404匿名 android.widget.LinearLayout ; 邻近标签 DIFFERENT_OPERATION0.97000000True

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

展开原始Pair问题、回答和Witness字段
[
  {
    "pair_id": "p1",
    "history_id": "h1",
    "history_step": 394,
    "history_input_id": "input-2084",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.94,
    "probabilities": {
      "SAME_OPERATION": 0.03,
      "DIFFERENT_OPERATION": 0.96,
      "INSUFFICIENT_EVIDENCE": 0.01
    },
    "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.c1` the same application-function operation as executed action at `executed_actions.h1`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
    },
    "original_answer": {
      "type": "choice",
      "choice": "DIFFERENT_OPERATION",
      "probabilities": {
        "SAME_OPERATION": 0.03,
        "DIFFERENT_OPERATION": 0.96,
        "INSUFFICIENT_EVIDENCE": 0.01
      },
      "confidence": 0.94
    },
    "model_visible_history": {
      "class": "android.widget.LinearLayout",
      "resource_id": "",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": true,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false,
      "action_type": "MODEL_CLICK",
      "index": 7,
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "model_action_id": "g14a345",
      "source_state_id": "g14s66",
      "bounds": [
        0,
        1567,
        1080,
        1812
      ],
      "source_page_id": "page2",
      "target_subtree": [
        {
          "class": "android.widget.LinearLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": true,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": []
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/title",
          "text": "Delete after send",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            0
          ]
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/summary",
          "text": "Deletes finalized forms and media after sending to server",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            1
          ]
        },
        {
          "class": "android.widget.CheckBox",
          "resource_id": "android:id/checkbox",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": true,
          "selected": false,
          "path": [
            2
          ]
        }
      ],
      "subtree_truncated": false,
      "parent": {
        "class": "androidx.recyclerview.widget.RecyclerView",
        "resource_id": "org.odk.collect.android:id/recycler_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": false,
        "scrollable": true,
        "checked": false,
        "selected": false
      },
      "local_context": {
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.odk.collect.android:id/recycler_view"
        },
        "labels": [],
        "truncated": true
      },
      "text_source": "retained_gui_text",
      "generated_image_text": false,
      "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
    },
    "offline_only_provenance": {
      "source_tree": 543,
      "source_gui_timestamp": 394,
      "current_state": "g14s66",
      "current_model_action": "g14a345",
      "current_version": 14,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  {
    "pair_id": "p2",
    "history_id": "h2",
    "history_step": 402,
    "history_input_id": "input-2133",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.96,
    "probabilities": {
      "SAME_OPERATION": 0.02,
      "DIFFERENT_OPERATION": 0.97,
      "INSUFFICIENT_EVIDENCE": 0.01
    },
    "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.c1` the same application-function operation as executed action at `executed_actions.h2`? Interpret each action using its own source_page_id in pages.\n\nDecision standard:\nSAME_OPERATION means the candidate and the executed history are the same GUI operation pattern already represented; differences limited to data instances, entered values, or equivalent entry points are SAME.\nDIFFERENT_OPERATION means the candidate is a distinct command, feature entry, or interaction branch that the executed history does not represent and is reasonably worth one additional concrete-action attempt. Do not require proof of new method coverage, a new state, or successful completion.\nINSUFFICIENT_EVIDENCE means the supplied GUI and execution history do not support a reliable relation.\nTreat a visible menu-command label as evidence of the command. Do not equate a menu command with ordinary text entered into an EditText. Different Checklist rows with the same edit behavior are normally SAME. For a long-pressed EditText, do not infer a different block operation from the block name alone; it may be ordinary text selection. Similar class, resource ID, outer container, or ModelAction does not establish equivalence. Compare operation behavior, not wording alone."
    },
    "original_answer": {
      "type": "choice",
      "choice": "DIFFERENT_OPERATION",
      "probabilities": {
        "SAME_OPERATION": 0.02,
        "DIFFERENT_OPERATION": 0.97,
        "INSUFFICIENT_EVIDENCE": 0.01
      },
      "confidence": 0.96
    },
    "model_visible_history": {
      "class": "android.widget.LinearLayout",
      "resource_id": "",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": true,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false,
      "action_type": "MODEL_CLICK",
      "index": 1,
      "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "model_action_id": "g14a345",
      "source_state_id": "g14s66",
      "bounds": [
        0,
        366,
        1080,
        558
      ],
      "source_page_id": "page3",
      "target_subtree": [
        {
          "class": "android.widget.LinearLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": true,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": []
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/title",
          "text": "Blank form update mode",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            0
          ]
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/summary",
          "text": "Manual",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            1
          ]
        }
      ],
      "subtree_truncated": false,
      "parent": {
        "class": "androidx.recyclerview.widget.RecyclerView",
        "resource_id": "org.odk.collect.android:id/recycler_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": false,
        "scrollable": true,
        "checked": false,
        "selected": false
      },
      "local_context": {
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.odk.collect.android:id/recycler_view"
        },
        "labels": [],
        "truncated": true
      },
      "text_source": "retained_gui_text",
      "generated_image_text": false,
      "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
    },
    "offline_only_provenance": {
      "source_tree": 551,
      "source_gui_timestamp": 402,
      "current_state": "g14s66",
      "current_model_action": "g14a345",
      "current_version": 14,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  },
  {
    "pair_id": "p3",
    "history_id": "h3",
    "history_step": 404,
    "history_input_id": "input-2150",
    "choice": "DIFFERENT_OPERATION",
    "confidence": 0.97,
    "probabilities": {
      "SAME_OPERATION": 0.01,
      "DIFFERENT_OPERATION": 0.98,
      "INSUFFICIENT_EVIDENCE": 0.01
    },
    "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.c1` 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.01,
        "DIFFERENT_OPERATION": 0.98,
        "INSUFFICIENT_EVIDENCE": 0.01
      },
      "confidence": 0.97
    },
    "model_visible_history": {
      "class": "android.widget.LinearLayout",
      "resource_id": "",
      "text": "",
      "content_desc": "",
      "enabled": true,
      "clickable": true,
      "long_clickable": false,
      "scrollable": false,
      "checked": false,
      "selected": false,
      "action_type": "MODEL_CLICK",
      "index": 4,
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "model_action_id": "g14a345",
      "source_state_id": "g14s66",
      "bounds": [
        0,
        995,
        1080,
        1240
      ],
      "source_page_id": "page4",
      "target_subtree": [
        {
          "class": "android.widget.LinearLayout",
          "resource_id": "",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": true,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": []
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/title",
          "text": "Hide old form versions",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            0
          ]
        },
        {
          "class": "android.widget.TextView",
          "resource_id": "android:id/summary",
          "text": "Only the newest version will appear in Fill Blank Form",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": false,
          "selected": false,
          "path": [
            1
          ]
        },
        {
          "class": "android.widget.CheckBox",
          "resource_id": "android:id/checkbox",
          "text": "",
          "content_desc": "",
          "enabled": true,
          "clickable": false,
          "long_clickable": false,
          "scrollable": false,
          "checked": true,
          "selected": false,
          "path": [
            2
          ]
        }
      ],
      "subtree_truncated": false,
      "parent": {
        "class": "androidx.recyclerview.widget.RecyclerView",
        "resource_id": "org.odk.collect.android:id/recycler_view",
        "text": "",
        "content_desc": "",
        "enabled": true,
        "clickable": false,
        "long_clickable": false,
        "scrollable": true,
        "checked": false,
        "selected": false
      },
      "local_context": {
        "parent": {
          "class": "androidx.recyclerview.widget.RecyclerView",
          "resource_id": "org.odk.collect.android:id/recycler_view"
        },
        "labels": [],
        "truncated": true
      },
      "text_source": "retained_gui_text",
      "generated_image_text": false,
      "snapshot_provenance": "retained source GUI node; no inferred or reconstructed labels"
    },
    "offline_only_provenance": {
      "source_tree": 553,
      "source_gui_timestamp": 404,
      "current_state": "g14s66",
      "current_model_action": "g14a345",
      "current_version": 14,
      "input_confirmed": true,
      "confirmation_basis": "live confirmedInputs before review; not function completion",
      "attributes_recoverable": true
    }
  }
]

二、此前APE实际做过什么

普通376已打开Constraint processing behavior选择框;407再次打开同一对话框。376不在407当前State/ModelAction候选池,不能要求模型凭别的设置Witness记住它。

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

此前step / UTC页面与控件确认与目标
376
2026-11-06T18:52:11.510+00:00
['Constraint processing', 'Validate upon forward swipe']
org.odk.collect.android.preferences.screens.ProjectPreferencesActivity
Native确认=True
org.odk.collect.android.preferences.screens.ProjectPreferencesActivity
保留目标GUI

三、Probe执行后发生什么

Constraint processing 打开校验行为选择框;未进入问题填写。

odkcollect JEV step407 Constraint processing before_screenshot
before_screenshot · identity_verified · 2026-11-06T18:53:16.298+00:00
odkcollect JEV step407 Constraint processing after_screenshot
after_screenshot · identity_verified · 2026-11-06T18:53:17.035+00:00

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

后续APE输入与生命周期原始事件
{
  "following_actions": [
    {
      "input_id": "input-2184",
      "step": 408,
      "version": 14,
      "elapsed_s": 583.029,
      "wall_time_ms": 1793991197177,
      "next_input_wall_ms": 1793991198040,
      "input_completed_wall_ms": 1793991197209,
      "input_confirmed": true,
      "action": "MODEL_CLICK Validate",
      "action_type": "MODEL_CLICK",
      "text": "Validate",
      "content_desc": "",
      "resource_id": "android:id/text1",
      "model_action_id": "g13a317",
      "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.ListView\"][@resource-id=\"org.odk.collect.android:id/select_dialog_listview\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"android:id/text1\"][@text=\"Validate\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g13s59",
      "source_gui_id": 557,
      "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Constraint processing behavior",
        "Validate upon forward swipe",
        "Defer validation until finalized",
        "Cancel"
      ],
      "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_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30168",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2185.json"
    },
    {
      "input_id": "input-2193",
      "step": 409,
      "version": 14,
      "elapsed_s": 583.892,
      "wall_time_ms": 1793991198040,
      "next_input_wall_ms": 1793991202371,
      "input_completed_wall_ms": 1793991198075,
      "input_confirmed": true,
      "action": "MODEL_CLICK android:id/checkbox",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "android:id/checkbox",
      "model_action_id": "g14a346",
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=7][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckBox\"][@resource-id=\"android:id/checkbox\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g14s66",
      "source_gui_id": 558,
      "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Form management",
        "Form update",
        "Blank form update mode",
        "Manual",
        "Automatic update frequency",
        "Every fifteen minutes",
        "Automatic download",
        "Automatically download updated versions of forms",
        "Hide old form versions",
        "Only the newest version will appear in Fill Blank Form",
        "Form submission",
        "Auto send",
        "Off",
        "Delete after send",
        "Deletes finalized forms and media after sending to server",
        "Form filling",
        "Constraint processing",
        "Validate upon forward swipe",
        "High res video",
        "Enable high-resolution video recordings"
      ],
      "probe": true,
      "strategy": "PROBE",
      "context": "exploration",
      "native_branch": "Probe",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30230",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2194.json"
    },
    {
      "input_id": "input-2202",
      "step": 410,
      "version": 14,
      "elapsed_s": 588.223,
      "wall_time_ms": 1793991202371,
      "next_input_wall_ms": 1793991208543,
      "input_completed_wall_ms": 1793991202409,
      "input_confirmed": true,
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g14a345",
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g14s66",
      "source_gui_id": 559,
      "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Form management",
        "Form update",
        "Blank form update mode",
        "Manual",
        "Automatic update frequency",
        "Every fifteen minutes",
        "Automatic download",
        "Automatically download updated versions of forms",
        "Hide old form versions",
        "Only the newest version will appear in Fill Blank Form",
        "Form submission",
        "Auto send",
        "Off",
        "Delete after send",
        "Deletes finalized forms and media after sending to server",
        "Form filling",
        "Constraint processing",
        "Validate upon forward swipe",
        "High res video",
        "Enable high-resolution video recordings"
      ],
      "probe": true,
      "strategy": "PROBE",
      "context": "exploration",
      "native_branch": "Probe",
      "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30300",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2203.json"
    },
    {
      "input_id": "input-2210",
      "step": 411,
      "version": 14,
      "elapsed_s": 594.395,
      "wall_time_ms": 1793991208543,
      "next_input_wall_ms": 1793991214412,
      "input_completed_wall_ms": 1793991208576,
      "input_confirmed": true,
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g14a345",
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g14s66",
      "source_gui_id": 560,
      "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Form management",
        "Form update",
        "Blank form update mode",
        "Manual",
        "Automatic update frequency",
        "Every fifteen minutes",
        "Automatic download",
        "Automatically download updated versions of forms",
        "Hide old form versions",
        "Only the newest version will appear in Fill Blank Form",
        "Form submission",
        "Auto send",
        "Off",
        "Delete after send",
        "Deletes finalized forms and media after sending to server",
        "Form filling",
        "Constraint processing",
        "Validate upon forward swipe",
        "High res video",
        "Enable high-resolution video recordings"
      ],
      "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_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30366",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2211.json"
    },
    {
      "input_id": "input-2218",
      "step": 412,
      "version": 14,
      "elapsed_s": 600.264,
      "wall_time_ms": 1793991214412,
      "next_input_wall_ms": 1793991220543,
      "input_completed_wall_ms": 1793991214443,
      "input_confirmed": true,
      "action": "MODEL_CLICK android.widget.LinearLayout",
      "action_type": "MODEL_CLICK",
      "text": "",
      "content_desc": "",
      "resource_id": "",
      "model_action_id": "g14a345",
      "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='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.odk.collect.android:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=10][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
      "state_id": "g14s66",
      "source_gui_id": 561,
      "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity",
      "activity_evidence": "GUI receipt",
      "labels": [
        "Form management",
        "Form update",
        "Blank form update mode",
        "Manual",
        "Automatic update frequency",
        "Every fifteen minutes",
        "Automatic download",
        "Automatically download updated versions of forms",
        "Hide old form versions",
        "Only the newest version will appear in Fill Blank Form",
        "Form submission",
        "Auto send",
        "Off",
        "Delete after send",
        "Deletes finalized forms and media after sending to server",
        "Form filling",
        "Constraint processing",
        "Validate upon forward swipe",
        "High res video",
        "Enable high-resolution video recordings"
      ],
      "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_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/executor.log:30435",
      "observed_methods_until_next": 0,
      "category_counts": {},
      "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_b4871490b9e84bbcb1a9b3464ca596fd.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-2219.json"
    }
  ],
  "lifecycle": {
    "DECISION_PROBE": {
      "event": "DECISION_PROBE",
      "step": 407,
      "monotonic_ns": 1880243700609095,
      "wall_time_ms": 1793991196208,
      "abstraction_version": 14,
      "state_id": "g14s66",
      "model_action_id": "g14a345",
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "confidence": 0.97,
      "choice": "PROMOTE",
      "parsed_outcome": "PROBE",
      "ledger_status": "STAGED",
      "decision_role": "candidate_decision",
      "input_signature": "b07db176fc946f0aa488d61c5028808ec931535e7062cc5627f7530e90ba5a2b",
      "concrete_identity": "7671f8533c983f06f4e87584227fa8b3fd59fde31882e419f1a98423712d9706",
      "decision_scope": "ea84cff63c5ac0ac83f4f9b42d841d7a1fbb16b6704bc7c3b7186d742e608c64",
      "representative_model_action_id": "PROMOTE",
      "decision_request_id": "semantic-16",
      "aggregation_policy": "exploratory-top3-v1",
      "total_history": 4,
      "history_complete": true,
      "unknown_mapping_count": 0,
      "recoverable_history_count": 4,
      "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": 1403
    },
    "SEMANTIC_DECISION_STORED": {
      "event": "SEMANTIC_DECISION_STORED",
      "step": 407,
      "monotonic_ns": 1880243701626099,
      "wall_time_ms": 1793991196209,
      "abstraction_version": 14,
      "state_id": "g14s66",
      "model_action_id": "g14a345",
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "decision_role": "candidate_decision",
      "ledger_status": "PROBE",
      "input_signature": "b07db176fc946f0aa488d61c5028808ec931535e7062cc5627f7530e90ba5a2b",
      "input_fingerprint": "01a9d283fc28f628bfb415d64d6b5d05cef076ef0d83000af85715cf7ad72b63",
      "concrete_identity": "7671f8533c983f06f4e87584227fa8b3fd59fde31882e419f1a98423712d9706",
      "decision_scope": "ea84cff63c5ac0ac83f4f9b42d841d7a1fbb16b6704bc7c3b7186d742e608c64",
      "_line": 1405
    },
    "PROBE_BOUND": {
      "event": "PROBE_BOUND",
      "step": 407,
      "monotonic_ns": 1880243734962325,
      "wall_time_ms": 1793991196242,
      "abstraction_version": 14,
      "state_id": "g14s66",
      "model_action_id": "g14a345",
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "confidence": 0.97,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "input_signature": "b07db176fc946f0aa488d61c5028808ec931535e7062cc5627f7530e90ba5a2b",
      "decision_scope": "ea84cff63c5ac0ac83f4f9b42d841d7a1fbb16b6704bc7c3b7186d742e608c64",
      "concrete_identity": "7671f8533c983f06f4e87584227fa8b3fd59fde31882e419f1a98423712d9706",
      "_line": 1407
    },
    "PROBE_SELECTED": {
      "event": "PROBE_SELECTED",
      "step": 407,
      "monotonic_ns": 1880243735001594,
      "wall_time_ms": 1793991196242,
      "abstraction_version": 14,
      "state_id": "g14s66",
      "model_action_id": "g14a345",
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "confidence": 0.97,
      "choice": "PROMOTE",
      "source": "semantic_sync",
      "_line": 1408
    },
    "PROBE_INPUT_GENERATED": {
      "event": "PROBE_INPUT_GENERATED",
      "step": 407,
      "monotonic_ns": 1880243795832555,
      "wall_time_ms": 1793991196303,
      "abstraction_version": 14,
      "state_id": null,
      "model_action_id": null,
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "event_count": 2,
      "_line": 1411
    },
    "PROBE_INPUT_COMPLETED": {
      "event": "PROBE_INPUT_COMPLETED",
      "step": 407,
      "monotonic_ns": 1880243818459503,
      "wall_time_ms": 1793991196326,
      "abstraction_version": 14,
      "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-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "_line": 1412
    },
    "PROBE_EXECUTED": {
      "event": "PROBE_EXECUTED",
      "step": 408,
      "monotonic_ns": 1880244530068831,
      "wall_time_ms": 1793991197037,
      "abstraction_version": 14,
      "state_id": "g14s66",
      "model_action_id": "g14a345",
      "entry_id": "semantic-16-c1",
      "request_id": "semantic-16",
      "candidate_id": "c1",
      "confidence": 0.97,
      "choice": "PROMOTE",
      "transition_id": "g14e251:403",
      "target_state": "g13s59",
      "input_confirmed": true,
      "_line": 1414
    }
  },
  "selection_at_execution": {
    "event": "SELECTION_DECISION",
    "step": 407,
    "monotonic_ns": 1880243735295008,
    "wall_time_ms": 1793991196243,
    "abstraction_version": 14,
    "state_id": "g14s66",
    "model_action_id": "g14a345",
    "snapshot_reason": "selection",
    "state_visits": 13,
    "state_first_seen": 370,
    "state_last_seen": 407,
    "state_saturated": false,
    "state_saturation": 0.6666667,
    "native_state_saturated": false,
    "native_unsaturated_model_action_count": 1,
    "model_action_count": 9,
    "enabled_valid_action_count": 7,
    "unsaturated_model_action_count": 1,
    "unvisited_model_action_count": 3,
    "effective_unvisited_model_action_count": 3,
    "effective_state_saturated": false,
    "local_probe_action_count": 0,
    "navigation_action_count": 1,
    "enabled_valid_unvisited_action_count": 1,
    "unvisited_model_action_ids": "g14a351,g14a352,g14a353",
    "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": 5,
    "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.LinearLayout|text=|resource_id=|bounds=0,1947,1080,2139",
    "selected_resolved_node_count": 7,
    "_line": 1410
  }
}

四、是否值得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完整保留输入历史