公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。

scarletnotes / Rep2 / g38s90

CreateList 过程内 Header:未知图标身份

com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity;Region 3 State(含Header);14次全部精确到达,其中区外8次。

Source GUI / 回溯动作

Source GUI / 回溯动作真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA 2c1d57fe4c129ce44aeaa6d6d6943127ab52631cb7426edbb0baff9bd0b83f26

Target GUI / 观察结果

Target GUI / 观察结果真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA 2c1d57fe4c129ce44aeaa6d6d6943127ab52631cb7426edbb0baff9bd0b83f26

Dominator Header GUI

Dominator Header GUI真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA b5bcb5d532f9d81785a80e6499cedb11ea04b7927da0e17a62843ea75f737bb4

一条真实连续历史

以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g38e81:570 / 1403g38s89MODEL_CLICK / g38a1227g38s89UNKNOWNTrue
g38e79:571 / 1405g38s89MODEL_CLICK / g38a1229g38s89UNKNOWNTrue
g38e66:572 / 1407g38s89MODEL_CLICK / g38a1230g38s90UNKNOWNTrue
实际动作完整属性、GUI标识与原件索引
{
  "app": "scarletnotes",
  "rep": "Rep2",
  "transition_id": "g38e81:570",
  "order": 569,
  "native_transition_order": 569,
  "step": 579,
  "monotonic_ns": 1613480662139984,
  "version": 62,
  "input_version": 62,
  "state": "g38s89",
  "target_state": "g38s89",
  "model_action": "g38a1227",
  "input_model_action": "g38a1227",
  "input_id": "input-3272",
  "action_type": "MODEL_CLICK",
  "identity_digest": "f82c49e3cd41c6b3f6b220a8bb0478298f447ad5405cd051ffa271a9020c2779",
  "related_id": "scarletnotes-Rep2-rd4a043b4e0893c",
  "local_id": "scarletnotes-Rep2-l4d7d44d677f603",
  "resource_id": "",
  "text": "",
  "content_desc": "",
  "class": "android.view.ViewGroup",
  "bounds": [
    403,
    2274,
    508,
    2379
  ],
  "node_path": "0-4",
  "source_activity": "com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity",
  "resolved_target_activity": "com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 694,
  "target_gui_id": 695,
  "source_gui_timestamp": 578,
  "target_gui_timestamp": 579,
  "final_exact": true,
  "edge_id": "g38e81",
  "new_state": false,
  "new_model_action": false,
  "self_loop": true,
  "gui_unchanged": false,
  "label": {
    "category": "UNKNOWN",
    "function": null,
    "reason": "现有属性、局部上下文与观察结果不足以判断;不按 resource ID/形式直接合并",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 1403,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-3273.json",
  "receipt_path": "jev-receipts/transition-g38e81-570.json",
  "planned_input_text": null,
  "input_sha256": "b4c7a7d8f06d6785a34c33f592b4cc8e8721391a204667d75998d1834935d572",
  "receipt_sha256": "c2bd850133fcb2ad1c2d233cbfb9a7c613a1a7a51eaa823f566f8916abdf965a",
  "source_gui_evidence": [],
  "target_gui_evidence": [],
  "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.view.ViewGroup\"][@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']"
}

真实多次路径叠加

蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。

G g17s36 g17s36 CreateListNoteActivity g38s90 g38s90 CreateListNoteActivity g17s36->g38s90 g38e68 g27s60 g27s60 CreateListNoteActivity g27s60->g38s90 g38e73 g29s65 g29s65 CreateListNoteActivity g29s65->g27s60 g62e280 g29s65->g29s65 g62e278 g29s65->g29s65 g29e74 g29s65->g29s65 g62e275 g29s65->g29s65 g62e284 g29s65->g29s65 g29e66 g29s65->g29s65 g29e70 g29s65->g29s65 g62e273 g29s65->g29s65 g29e63 g29s65->g29s65 g29e71 g29s65->g29s65 g29e75 g29s65->g29s65 g29e61 g29s65->g29s65 g29e72 g29s65->g29s65 g29e69 g29s65->g29s65 g29e60 g29s65->g29s65 g62e274 g29s65->g29s65 g29e64 g29s65->g29s65 g62e283 g29s65->g29s65 g29e73 g29s65->g29s65 g62e285 g29s65->g29s65 g62e286 g29s65->g29s65 g29e68 g29s65->g29s65 g62e276 g29s65->g29s65 g29e65 g29s65->g29s65 g62e279 g29s65->g29s65 g29e67 g29s65->g29s65 g62e282 g29s65->g29s65 g62e272 g29s65->g29s65 g29e62 g29s65->g29s65 g62e277 g38s89 g38s89 CreateListNoteActivity g38s89->g38s90 g38e66 g38s90->g27s60 g38e72 g38s90->g29s65 g38e75 g38s90->g38s90 g38e69 g38s90->g38s90 g38e70 g38s90->g38s90 g38e71 g38s90->g38s90 g38e74

Dominator子树

支配树边是结构关系,并非GUI执行边。

G g27s60 g27s60 CreateListNoteActivity g29s65 g29s65 CreateListNoteActivity g38s90 g38s90 CreateListNoteActivity g38s90->g27s60 idom g38s90->g29s65 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g38e69g38s90 → g38s90g38a1234self_loop0
g38e70g38s90 → g38s90g38a1233self_loop0
g38e73g27s60 → g38s90g27a788internal_return2
g38e68g17s36 → g38s90g17a406external0
g38e71g38s90 → g38s90g38a1236self_loop2
g38e66g38s89 → g38s90g38a1230external8
g38e74g38s90 → g38s90g38a1238self_loop2

相关功能组的全部具体入口成员

组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。

功能Source / ModelAction控件 / text / desc确认次数观察Target
scarletnotes.create-note-empty-stateg1s1 / g1a8com.bijoysingh.quicknote:id/title / No Notes / 64{'g2s3': 1, 'g66s196': 63}
scarletnotes.create-note-empty-stateg1s1 / g1a9com.bijoysingh.quicknote:id/description / It seems / 69{'g57s148': 1, 'g66s196': 68}
scarletnotes.create-note-empty-stateg62s177 / g62a2267com.bijoysingh.quicknote:id/description / It seems / 1{'g66s196': 1}