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

scarletnotes / Rep1 / g40s130

nested_deferred 大笔记子树与直接新建入口

com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity；Region 15 State（含Header）；467次全部精确到达，其中区外35次。

交互查看每次到达与全部来源本案例完整数据原始输入／回执／GUI摘包与所有表格

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g40e322:838 / 1977g40s139MODEL_BACK / g40a1841g38s114ⅡTrue
g40e323:839 / 1980g38s114MODEL_BACK / g38a1543g40s137ⅡTrue
g40e324:840 / 1983g40s137com.bijoysingh.quicknote:id/edit_button / g40a1819g40s130UNKNOWNTrue
实际动作完整属性、GUI标识与原件索引
{
  "app": "scarletnotes",
  "rep": "Rep1",
  "transition_id": "g40e322:838",
  "order": 837,
  "native_transition_order": 837,
  "step": 845,
  "monotonic_ns": 1590294361850013,
  "version": 40,
  "input_version": 40,
  "state": "g40s139",
  "target_state": "g38s114",
  "model_action": "g40a1841",
  "input_model_action": "g40a1841",
  "input_id": "input-4743",
  "action_type": "MODEL_BACK",
  "identity_digest": null,
  "related_id": null,
  "local_id": "scarletnotes-Rep1-l3b4e798f5f5f1b",
  "resource_id": "",
  "text": "",
  "content_desc": "",
  "class": "",
  "bounds": null,
  "node_path": null,
  "source_activity": "com.maubis.scarlet.base.MainActivity",
  "resolved_target_activity": "com.maubis.scarlet.base.MainActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 957,
  "target_gui_id": 958,
  "source_gui_timestamp": 844,
  "target_gui_timestamp": 845,
  "final_exact": true,
  "edge_id": "g40e322",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "Ⅱ",
    "function": null,
    "reason": "Back 是当前路径内返回；无 target node 的动作不构造 ConcreteActionIdentity",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 1977,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-4744.json",
  "receipt_path": "jev-receipts/transition-g40e322-838.json",
  "planned_input_text": null,
  "input_sha256": "70bd730f030d36b99fd487f3ee9161aed736dd67f25de9e2bd721d64867c61e6",
  "receipt_sha256": "f214b205bd572bfa3e7f99a705a12f0a7bfed34d6e72e8707582c8b8f795ab4e",
  "source_gui_evidence": [],
  "target_gui_evidence": [],
  "concrete_identity": null
}

真实多次路径叠加

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

G g17s41 g17s41 CreateNoteActivity g18s45 g18s45 CreateNoteActivity g17s41->g18s45 g18e31 g38s117 g38s117 CreateNoteActivity g17s41->g38s117 g38e254 g18s45->g17s41 g18e30 g18s45->g18s45 g18e38 g18s45->g18s45 g18e34 g18s45->g18s45 g18e33 g18s45->g18s45 g18e27 g18s45->g18s45 g18e35 g18s45->g18s45 g18e26 g18s45->g18s45 g18e36 g18s45->g18s45 g18e25 g18s45->g18s45 g18e37 g18s45->g18s45 g18e32 g40s130 g40s130 CreateNoteActivity g18s45->g40s130 g42e610 g7s15 g7s15 CreateNoteActivity g18s45->g7s15 g18e28 g1s1 g1s1 MainActivity g1s1->g40s130 No Notes ×2 g1s1->g40s130 It seems ×1 g21s55 g21s55 MainActivity g21s55->g40s130 It seems ×1 g21s55->g40s130 No Notes ×1 g23s61 g23s61 MainActivity g23s61->g40s130 It seems ×3 g23s61->g40s130 No Notes ×1 g37s109 g37s109 CreateNoteActivity g37s109->g37s109 g41e524 g37s109->g37s109 g45e615 g37s109->g37s109 g45e614 g37s109->g37s109 g37e184 g37s109->g37s109 g37e185 g37s109->g37s109 g37e186 g37s110 g37s110 CreateNoteActivity g37s109->g37s110 g37e187 g37s109->g38s117 g38e249 g37s109->g40s130 g40e246 g37s109->g40s130 g45e612 g37s109->g40s130 g45e613 g37s109->g40s130 g41e525 g37s110->g37s109 g37e242 g37s110->g37s110 g41e642 g37s111 g37s111 CreateNoteActivity g37s110->g37s111 g37e188 g37s112 g37s112 CreateNoteActivity g37s110->g37s112 g37e243 g37s110->g40s130 g41e643 g37s110->g40s130 g40e247 g37s111->g37s109 g37e212 g37s111->g37s111 g37e199 g37s111->g37s111 g37e194 g37s111->g37s111 g37e204 g37s111->g37s111 g37e201 g37s111->g37s111 g37e192 g37s111->g37s111 g37e202 g37s111->g37s111 g37e200 g37s111->g37s111 g38e246 g37s111->g37s111 g38e243 g37s111->g37s111 g37e211 g37s111->g37s111 g37e207 g37s111->g37s111 g38e245 g37s111->g37s111 g37e191 g37s111->g37s111 g37e209 g37s111->g37s111 g37e208 g37s111->g37s111 g37e210 g37s111->g37s111 g37e193 g37s111->g37s111 g37e206 g37s111->g37s111 g38e242 g37s111->g37s111 g37e198 g37s111->g37s111 g38e247 g37s111->g37s111 g37e195 g37s111->g37s111 g38e244 g37s111->g37s111 g37e190 g37s111->g37s111 g38e241 g37s111->g37s111 g37e196 g37s111->g37s111 g37e189 g37s111->g37s111 g37e205 g37s111->g37s111 g37e197 g37s111->g37s111 g37e203 g37s111->g40s130 g41e522 g37s111->g40s130 g41e523 g37s111->g40s130 g40e255 g37s111->g40s130 g40e455 g37s111->g40s130 g40e454 g37s112->g37s110 g37e244 g37s112->g40s130 g40e251 g38s117->g38s117 g41e530 g38s117->g38s117 g38e250 g38s117->g38s117 g38e251 g38s118 g38s118 CreateNoteActivity g38s117->g38s118 g38e252 g42s180 g42s180 CreateNoteActivity g38s117->g42s180 g42e594 g38s118->g17s41 g38e253 g39s124 g39s124 MainActivity g39s124->g40s130 It seems ×1 g40s130->g37s111 g40e254 g40s130->g37s112 g40e250 g40s130->g40s130 g40e234 g40s130->g40s130 g40e245 g40s130->g40s130 g40e233 g40s130->g40s130 g40e235 g40s130->g40s130 g40e263 g41s164 g41s164 CreateNoteActivity g40s130->g41s164 g41e518 g40s130->g41s164 g41e509 g40s130->g42s180 g42e590 g40s130->g7s15 g40e236 g40s146 g40s146 MainActivity g40s146->g40s130 It seems ×1 g40s146->g40s130 No Notes ×1 g40s150 g40s150 MainActivity g40s150->g40s130 No Notes ×3 g40s150->g40s130 It seems ×3 g41s164->g40s130 g41e520 g41s164->g40s130 g41e521 g41s164->g41s164 g41e517 g41s164->g41s164 g41e516 g41s164->g41s164 g41e512 g41s164->g41s164 g41e510 g41s164->g41s164 g41e511 g41s164->g41s164 g41e519 g41s164->g41s164 g41e515 g41s164->g7s15 g41e513 g41s165 g41s165 MainActivity g41s165->g40s130 It seems ×1 g41s165->g40s130 No Notes ×1 g41s168 g41s168 MainActivity g41s168->g40s130 No Notes ×1 g41s169 g41s169 CreateNoteActivity g41s170 g41s170 CreateNoteActivity g41s169->g41s170 g41e580 g41s169->g41s170 g41e641 g41s170->g41s170 g41e589 g41s170->g41s170 g41e584 g41s170->g41s170 g41e585 g41s170->g41s170 g41e586 g41s170->g41s170 g41e581 g41s170->g41s170 g41e587 g41s170->g41s170 g41e588 g41s170->g7s15 g41e582 g41s178 g41s178 CreateNoteActivity g41s178->g42s180 g42e609 g42s180->g18s45 g42e593 g42s180->g40s130 g42e601 g42s180->g40s130 g42e605 g42s180->g41s169 g42e607 g42s180->g41s178 g42e608 g42s180->g42s180 g42e602 g42s180->g42s180 g42e597 g42s180->g42s180 g42e595 g42s180->g42s180 g42e600 g42s180->g42s180 g42e598 g42s180->g42s180 g42e599 g42s180->g7s15 g42e591 g7s15->g18s45 g18e29 g7s15->g37s109 g37e183 g7s15->g37s110 g37e241 g7s15->g38s117 g41e529 g7s15->g40s130 g40e239 g7s15->g40s130 g40e242 g7s15->g40s130 g40e237 g7s15->g40s130 g40e238 g7s15->g41s164 g53e686 g7s15->g41s164 g41e591 g7s15->g41s164 g41e514 g7s15->g41s164 g41e592 g7s15->g41s170 g41e583 g7s15->g42s180 g42e603 g7s15->g42s180 g42e604 g7s15->g42s180 g42e596 g7s15->g42s180 g42e592

Dominator子树

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

G g17s41 g17s41 CreateNoteActivity g18s45 g18s45 CreateNoteActivity g37s109 g37s109 CreateNoteActivity g37s110 g37s110 CreateNoteActivity g37s111 g37s111 CreateNoteActivity g37s112 g37s112 CreateNoteActivity g38s117 g38s117 CreateNoteActivity g38s118 g38s118 CreateNoteActivity g38s117->g38s118 idom g40s130 g40s130 CreateNoteActivity g40s130->g17s41 idom g40s130->g18s45 idom g40s130->g37s109 idom g40s130->g37s110 idom g40s130->g37s111 idom g40s130->g37s112 idom g40s130->g38s117 idom g41s164 g41s164 CreateNoteActivity g40s130->g41s164 idom g41s170 g41s170 CreateNoteActivity g40s130->g41s170 idom g42s180 g42s180 CreateNoteActivity g40s130->g42s180 idom g7s15 g7s15 CreateNoteActivity g40s130->g7s15 idom g41s169 g41s169 CreateNoteActivity g41s178 g41s178 CreateNoteActivity g42s180->g41s169 idom g42s180->g41s178 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g40e373g40s146 → g40s130g40a1907external1
g40e453g21s55 → g40s130g21a766external1
g41e522g37s111 → g40s130g37a1504internal_return1
g40e241g1s1 → g40s130g1a9external1
g41e520g41s164 → g40s130g41a2136internal_return6
g40e262g39s126 → g40s130g39a1635external0
g41e523g37s111 → g40s130g37a1515internal_return1
g53e675g23s60 → g40s130g23a839external1
g40e255g37s111 → g40s130g37a1526internal_return1
g41e534g41s165 → g40s130g41a2139external1
g40e246g37s109 → g40s130g37a1483internal_return0
g44e586g44s189 → g40s130g44a2475external1
g41e639g41s171 → g40s130g41a2201external2
g40e234g40s130 → g40s130g40a1683self_loop103
g40e437g40s150 → g40s130g40a1947external3
g40e251g37s112 → g40s130g37a1527internal_return5
g42e601g42s180 → g40s130g42a2290internal_return0
g40e239g7s15 → g40s130g7a198internal_return13
g53e685g53s215 → g40s130g53a2860external1
g41e521g41s164 → g40s130g41a2128internal_return1
g41e536g41s165 → g40s130g41a2138external1
g40e426g40s150 → g40s130g40a1946external3
g42e605g42s180 → g40s130g42a2291internal_return0
g40e245g40s130 → g40s130g40a1684self_loop76
g40e248g23s61 → g40s130g23a854external0
g41e508g41s160 → g40s130g41a2077external1
g41e554g21s53 → g40s130g21a748external1
g40e233g40s130 → g40s130g40a1680self_loop65
g40e235g40s130 → g40s130g40a1682self_loop97
g45e595g45s190 → g40s130g45a2491external0
g45e612g37s109 → g40s130g37a1482internal_return1
g40e324g40s137 → g40s130g40a1819external1
g41e643g37s110 → g40s130g37a1490internal_return1
g45e613g37s109 → g40s130g37a1484internal_return1
g40e375g40s146 → g40s130g40a1906external1
g40e401g21s55 → g40s130g21a773external1
g40e263g40s130 → g40s130g40a1681self_loop3
g40e247g37s110 → g40s130g37a1492internal_return0
g41e525g37s109 → g40s130g37a1481internal_return2
g42e610g18s45 → g40s130g18a686internal_return1
g41e636g21s54 → g40s130g21a757external2
g40e258g39s124 → g40s130g39a1612external0
g40e242g7s15 → g40s130g7a200internal_return21
g40e232g1s1 → g40s130g1a8external2
g40e249g1s1 → g40s130g1a13external2
g40e253g37s107 → g40s130g37a1474external0
g40e419g40s153 → g40s130g40a1980external1
g41e568g23s61 → g40s130g23a849external3
g40e261g39s124 → g40s130g39a1613external1
g40e237g7s15 → g40s130g7a197internal_return16
g40e238g7s15 → g40s130g7a199internal_return14
g40e455g37s111 → g40s130g37a1525internal_return2
g40e244g23s61 → g40s130g23a848external1
g41e566g41s168 → g40s130g41a2169external1
g40e475g21s55 → g40s130g21a765external1
g40e260g39s124 → g40s130g39a1618external0
g40e454g37s111 → g40s130g37a1495internal_return1

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

组成员不是仅凭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}