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

scarletnotes / Rep2 / g66s196

对照:新建编辑 Singleton;不能靠远处 Header 补齐

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g66e416:891 / 2234g62s177MODEL_CLICK / g62a2269g47s113UNKNOWNTrue
g66e417:892 / 2237g47s113SAVE / g47a1599g62s177ⅡTrue
g66e418:893 / 2240g62s177It seems / g62a2267g66s196ⅠTrue

SUPPORTED · scarletnotes.create-note-empty-state,距离 1;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

实际动作完整属性、GUI标识与原件索引
{
  "app": "scarletnotes",
  "rep": "Rep2",
  "transition_id": "g66e418:893",
  "order": 892,
  "native_transition_order": 892,
  "step": 905,
  "monotonic_ns": 1613960514537218,
  "version": 66,
  "input_version": 66,
  "state": "g62s177",
  "target_state": "g66s196",
  "model_action": "g62a2267",
  "input_model_action": "g62a2267",
  "input_id": "input-5070",
  "action_type": "MODEL_CLICK",
  "identity_digest": "71387839b2543cbb069d867bf47d0792ce32b734d105ff6dd7515741b1b938fe",
  "related_id": "scarletnotes-Rep2-rf9033580ef6fdd",
  "local_id": "scarletnotes-Rep2-l5eecc00da1433e",
  "resource_id": "com.bijoysingh.quicknote:id/description",
  "text": "It seems",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    62,
    390,
    1018,
    571
  ],
  "node_path": "0-0-1-1",
  "source_activity": "com.maubis.scarlet.base.MainActivity",
  "resolved_target_activity": "com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 1023,
  "target_gui_id": 1024,
  "source_gui_timestamp": 904,
  "target_gui_timestamp": 905,
  "final_exact": true,
  "edge_id": "g66e418",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "Ⅰ",
    "function": "scarletnotes.create-note-empty-state",
    "reason": "空页面引导控件,实际到 CreateNoteActivity;与普通可变标题严格区分",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 2240,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-5071.json",
  "receipt_path": "jev-receipts/transition-g66e418-893.json",
  "planned_input_text": null,
  "input_sha256": "706cbd43d4053d4007e30ee8b95b369c689bbd001b528fa6c1710fb92ce3cd98",
  "receipt_sha256": "82509ea71b5bd6357cf27a12b734c95ff25093a53b19a89eb53a7fb449562196",
  "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.support.v7.widget.RecyclerView\"][@resource-id=\"com.bijoysingh.quicknote:id/recycler_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"com.bijoysingh.quicknote:id/description\"][@text=\"It seems\"][@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']"
}

真实多次路径叠加

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

G g1s1 g1s1 MainActivity g66s196 g66s196 CreateNoteActivity g1s1->g66s196 No Notes ×63 g1s1->g66s196 It seems ×68 g62s177 g62s177 MainActivity g62s177->g66s196 It seems ×1 g66s196->g66s196 g66e342 g66s196->g66s196 g66e347 g66s196->g66s196 g66e337 g66s196->g66s196 g66e359 g66s196->g66s196 g66e363 g66s196->g66s196 g66e346 g66s196->g66s196 g66e339 g66s196->g66s196 g66e338

Dominator子树

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

G g66s196 g66s196 CreateNoteActivity

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g66e376g60s166 → g66s196g60a2119external0
g66e342g66s196 → g66s196g66a2448self_loop0
g66e347g66s196 → g66s196g66a2442self_loop0
g66e362g9s17 → g66s196g9a209external0
g66e361g50s131 → g66s196g50a1719external0
g66e393g62s179 → g66s196g62a2287external0
g66e405g62s176 → g66s196g62a2256external0
g66e389g12s24 → g66s196g12a266external0
g66e353g66s197 → g66s196g66a2458external0
g69e540g60s163 → g66s196g60a2103external3
g66e337g66s196 → g66s196g66a2443self_loop0
g68e478g46s108 → g66s196g46a1525external1
g69e500g69s211 → g66s196g69a2612external1
g66e388g12s24 → g66s196g12a267external0
g66e359g66s196 → g66s196g66a2441self_loop0
g66e363g66s196 → g66s196g66a2450self_loop0
g66e385g1s1 → g66s196g1a13external67
g66e368g49s122 → g66s196g49a1663external0
g66e383g62s177 → g66s196g62a2274external0
g66e391g62s179 → g66s196g62a2290external7
g69e541g1s1 → g66s196g1a11external1
g66e364g48s115 → g66s196g48a1618external0
g66e346g66s196 → g66s196g66a2446self_loop0
g66e336g1s1 → g66s196g1a8external63
g66e369g56s147 → g66s196g56a1893external0
g66e341g9s17 → g66s196g9a206external0
g66e375g60s166 → g66s196g60a2120external0
g66e366g46s109 → g66s196g46a1556external0
g66e401g9s17 → g66s196g9a207external0
g66e386g1s1 → g66s196g1a9external68
g66e399g62s181 → g66s196g62a2305external0
g66e404g62s177 → g66s196g62a2266external0
g66e379g60s165 → g66s196g60a2111external0
g66e344g48s114 → g66s196g48a1607external0
g66e402g62s182 → g66s196g62a2311external0
g66e407g62s176 → g66s196g62a2257external0
g66e396g47s112 → g66s196g47a1593external0
g66e358g46s109 → g66s196g46a1536external0
g66e382g60s165 → g66s196g60a2115external0
g66e381g60s165 → g66s196g60a2114external0
g66e418g62s177 → g66s196g62a2267external1
g66e339g66s196 → g66s196g66a2440self_loop0
g66e387g12s24 → g66s196g12a271external1
g66e338g66s196 → g66s196g66a2445self_loop0
g66e345g9s17 → g66s196g9a208external0
g66e378g60s166 → g66s196g60a2118external0
g66e371g57s155 → g66s196g57a2026external0
g66e398g49s129 → g66s196g49a1704external0
g66e394g62s180 → g66s196g62a2297external0

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

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