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

scarletnotes / Rep1 / g36s105

nested_deferred 大清单子树:无名入口保留 UNKNOWN

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g37e246:417 / 997g7s15MODEL_CLICK / g7a198g23s61UNKNOWNTrue
g37e247:418 / 999g23s61Search N / g23a857g23s61UNKNOWNTrue
g37e248:419 / 1001g23s61MODEL_CLICK / g23a852g36s105UNKNOWNTrue
实际动作完整属性、GUI标识与原件索引
{
  "app": "scarletnotes",
  "rep": "Rep1",
  "transition_id": "g37e246:417",
  "order": 416,
  "native_transition_order": 416,
  "step": 420,
  "monotonic_ns": 1589735636880593,
  "version": 37,
  "input_version": 37,
  "state": "g7s15",
  "target_state": "g23s61",
  "model_action": "g7a198",
  "input_model_action": "g7a198",
  "input_id": "input-2310",
  "action_type": "MODEL_CLICK",
  "identity_digest": "d949007521b978952df778307b4f63d34040387b730fd54153b9dc177b215809",
  "related_id": "scarletnotes-Rep1-r5a3e9bfdaff0b6",
  "local_id": "scarletnotes-Rep1-lf7a93b439c0004",
  "resource_id": "",
  "text": "",
  "content_desc": "",
  "class": "android.view.ViewGroup",
  "bounds": [
    709,
    1907,
    1048,
    2253
  ],
  "node_path": "0-0-0-2",
  "source_activity": "com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity",
  "resolved_target_activity": "com.maubis.scarlet.base.MainActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 508,
  "target_gui_id": 509,
  "source_gui_timestamp": 419,
  "target_gui_timestamp": 420,
  "final_exact": true,
  "edge_id": "g37e246",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "UNKNOWN",
    "function": null,
    "reason": "现有属性、局部上下文与观察结果不足以判断;不按 resource ID/形式直接合并",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 997,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-2311.json",
  "receipt_path": "jev-receipts/transition-g37e246-417.json",
  "planned_input_text": null,
  "input_sha256": "2236b96e418055e077ebe0b65d20c258159532752955f49842227b9d879b5afb",
  "receipt_sha256": "c62dc08f57982306dfd6e28d52e5c94b4d5b3bb5ca394d6bc1014dbd79a88648",
  "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.widget.FrameLayout\"][@resource-id=\"com.bijoysingh.quicknote:id/design_bottom_sheet\"][@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=\"android.view.ViewGroup\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']"
}

真实多次路径叠加

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

G g1s1 g1s1 MainActivity g36s105 g36s105 CreateListNoteActivity g1s1->g36s105 g36e145 g21s54 g21s54 MainActivity g21s54->g36s105 g45e605 g21s55 g21s55 MainActivity g21s55->g36s105 g40e414 g23s60 g23s60 MainActivity g23s60->g36s105 g41e558 g23s61 g23s61 MainActivity g23s61->g36s105 g37e248 g26s74 g26s74 CreateListNoteActivity g26s74->g26s74 g35e150 g35s92 g35s92 CreateListNoteActivity g26s74->g35s92 g49e640 g35s95 g35s95 CreateListNoteActivity g26s74->g35s95 g40e353 g26s74->g35s95 g35e138 g26s74->g36s105 g36e147 g26s74->g36s105 g40e279 g43s185 g43s185 CreateListNoteActivity g26s74->g43s185 g43e618 g26s74->g43s185 g43e622 g44s187 g44s187 CreateListNoteActivity g26s74->g44s187 g44e571 g26s74->g44s187 g44e563 g48s201 g48s201 CreateListNoteActivity g26s74->g48s201 g48e608 g49s202 g49s202 CreateListNoteActivity g26s74->g49s202 g49e611 g49s204 g49s204 CreateListNoteActivity g26s74->g49s204 g49e621 g49s205 g49s205 CreateListNoteActivity g26s74->g49s205 g49e626 g35s103 g35s103 CreateListNoteActivity g35s103->g36s105 g36e158 g35s103->g44s187 g44e576 g35s92->g26s74 g49e639 g35s92->g35s92 g40e298 g35s92->g35s92 g40e347 g35s92->g35s92 g35e133 g35s92->g35s92 g49e641 g35s92->g35s92 g35e132 g35s92->g35s92 g35e131 g35s92->g35s92 g49e637 g35s92->g35s92 g49e638 g35s92->g35s95 g49e642 g35s92->g35s95 g40e348 g35s92->g35s95 g49e635 g40s134 g40s134 CreateListNoteActivity g35s92->g40s134 g40e299 g35s92->g43s185 g43e611 g35s95->g26s74 g40e352 g35s95->g35s92 g49e636 g35s95->g35s95 g40e354 g35s95->g35s95 g40e350 g35s95->g35s95 g40e356 g35s95->g35s95 g40e349 g35s95->g35s95 g40e358 g35s95->g35s95 g35e139 g35s95->g35s95 g40e357 g35s95->g35s95 g35e140 g35s95->g35s95 g40e355 g35s95->g35s95 g40e351 g35s95->g35s95 g40e359 g35s95->g44s187 g44e566 g36s105->g26s74 g36e153 g36s105->g26s74 g36e146 g36s105->g35s103 g36e157 g36s105->g36s105 g36e149 g36s105->g36s105 g36e159 g36s105->g36s105 g36e150 g36s105->g36s105 g40e415 g36s105->g36s105 g36e154 g36s105->g44s187 g53e676 g36s105->g44s187 g53e679 g36s105->g44s187 g44e561 g36s105->g49s202 g49e608 g49s203 g49s203 CreateListNoteActivity g36s105->g49s203 g49e613 g36s105->g49s204 g49e617 g39s124 g39s124 MainActivity g39s124->g36s105 g39e287 g40s134->g26s74 g40e300 g40s140 g40s140 MainActivity g40s140->g36s105 g40e336 g41s171 g41s171 MainActivity g41s171->g36s105 g42e615 g43s185->g26s74 g43e617 g43s185->g35s92 g43e610 g43s185->g43s185 g43e623 g43s185->g43s185 g49e629 g43s185->g43s185 g43e609 g43s185->g43s185 g43e607 g43s185->g43s185 g49e630 g43s185->g43s185 g49e632 g43s185->g43s185 g43e612 g43s185->g43s185 g49e634 g43s185->g43s185 g43e620 g43s185->g43s185 g43e608 g43s185->g43s185 g49e631 g43s185->g43s185 g43e619 g43s185->g43s185 g49e633 g43s185->g43s185 g43e616 g43s185->g44s187 g44e565 g44s187->g26s74 g44e572 g44s187->g26s74 g44e562 g44s187->g35s103 g44e575 g44s187->g36s105 g44e570 g44s187->g36s105 g44e579 g44s187->g43s185 g44e578 g44s187->g44s187 g44e569 g44s187->g44s187 g44e574 g44s187->g44s187 g44e568 g44s187->g44s187 g44e577 g44s187->g44s187 g44e573 g44s187->g44s187 g53e680 g44s187->g44s187 g44e567 g44s187->g44s187 g44e564 g44s188 g44s188 MainActivity g44s188->g36s105 g53e678 g44s189 g44s189 MainActivity g44s189->g36s105 g44e582 g48s201->g26s74 g48e607 g48s201->g36s105 g48e615 g48s201->g48s201 g48e609 g48s201->g48s201 g48e614 g48s201->g48s201 g48e611 g48s201->g48s201 g48e610 g48s201->g48s201 g48e613 g48s201->g48s201 g48e612 g49s202->g26s74 g49e610 g49s202->g43s185 g49e612 g49s202->g49s202 g49e609 g49s202->g49s205 g49e623 g49s203->g48s201 g49e616 g49s203->g49s203 g49e614 g49s203->g49s203 g49e615 g49s204->g26s74 g49e620 g49s204->g49s202 g49e622 g49s204->g49s204 g49e619 g49s204->g49s204 g49e618 g49s205->g26s74 g49e625 g49s205->g43s185 g49e628 g49s205->g49s205 g49e627 g49s205->g49s205 g49e624

Dominator子树

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

G g26s74 g26s74 CreateListNoteActivity g35s103 g35s103 CreateListNoteActivity g35s92 g35s92 CreateListNoteActivity g40s134 g40s134 CreateListNoteActivity g35s92->g40s134 idom g35s95 g35s95 CreateListNoteActivity g36s105 g36s105 CreateListNoteActivity g36s105->g26s74 idom g36s105->g35s103 idom g36s105->g35s92 idom g36s105->g35s95 idom g43s185 g43s185 CreateListNoteActivity g36s105->g43s185 idom g44s187 g44s187 CreateListNoteActivity g36s105->g44s187 idom g48s201 g48s201 CreateListNoteActivity g36s105->g48s201 idom g49s202 g49s202 CreateListNoteActivity g36s105->g49s202 idom g49s203 g49s203 CreateListNoteActivity g36s105->g49s203 idom g49s204 g49s204 CreateListNoteActivity g36s105->g49s204 idom g49s205 g49s205 CreateListNoteActivity g36s105->g49s205 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g48e615g48s201 → g36s105g48a2689internal_return0
g40e336g40s140 → g36s105g40a1842external1
g42e615g41s171 → g36s105g41a2200external3
g36e149g36s105 → g36s105g36a1466self_loop40
g44e582g44s189 → g36s105g44a2474external1
g40e414g21s55 → g36s105g21a772external1
g41e558g23s60 → g36s105g23a839external2
g36e147g26s74 → g36s105g26a957internal_return1
g44e570g44s187 → g36s105g44a2446internal_return1
g36e158g35s103 → g36s105g35a1451internal_return1
g36e159g36s105 → g36s105g36a1467self_loop28
g53e678g44s188 → g36s105g44a2459external1
g36e150g36s105 → g36s105g36a1463self_loop23
g39e287g39s124 → g36s105g39a1617external2
g44e579g44s187 → g36s105g44a2454internal_return13
g40e279g26s74 → g36s105g26a958internal_return35
g40e415g36s105 → g36s105g36a1464self_loop1
g45e605g21s54 → g36s105g21a756external2
g36e154g36s105 → g36s105g36a1465self_loop21
g36e145g1s1 → g36s105g1a12external4
g37e248g23s61 → g36s105g23a852external2

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
scarletnotes.create-note-empty-stateg1s1 / g1a8com.bijoysingh.quicknote:id/title / No Notes / 3{'g2s3': 1, 'g40s130': 2}
scarletnotes.create-note-empty-stateg1s1 / g1a9com.bijoysingh.quicknote:id/description / It seems / 4{'g9s19': 3, 'g40s130': 1}
scarletnotes.create-note-empty-stateg23s61 / g23a848com.bijoysingh.quicknote:id/title / No Notes / 2{'g9s19': 1, 'g40s130': 1}
scarletnotes.create-note-empty-stateg39s124 / g39a1613com.bijoysingh.quicknote:id/description / It seems / 2{'g9s19': 1, 'g40s130': 1}
scarletnotes.create-note-empty-stateg40s146 / g40a1907com.bijoysingh.quicknote:id/description / It seems / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg40s146 / g40a1906com.bijoysingh.quicknote:id/title / No Notes / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg40s150 / g40a1946com.bijoysingh.quicknote:id/title / No Notes / 2{'g40s130': 2}
scarletnotes.create-note-empty-stateg40s150 / g40a1947com.bijoysingh.quicknote:id/description / It seems / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg21s55 / g21a766com.bijoysingh.quicknote:id/description / It seems / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg21s55 / g21a765com.bijoysingh.quicknote:id/title / No Notes / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg40s150 / g40a1947com.bijoysingh.quicknote:id/description / It seems / 2{'g40s130': 2}
scarletnotes.create-note-empty-stateg40s150 / g40a1946com.bijoysingh.quicknote:id/title / No Notes / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg41s165 / g41a2139com.bijoysingh.quicknote:id/description / It seems / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg41s165 / g41a2138com.bijoysingh.quicknote:id/title / No Notes / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg41s168 / g41a2169com.bijoysingh.quicknote:id/title / No Notes / 1{'g40s130': 1}
scarletnotes.create-note-empty-stateg23s61 / g23a849com.bijoysingh.quicknote:id/description / It seems / 3{'g40s130': 3}