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

scarletnotes / Rep2 / g60s163

失败:新建 → Back 主页 → 其他 Header

com.maubis.scarlet.base.MainActivity;Region 2 State(含Header);205次全部精确到达,其中区外198次。

Source GUI / 回溯动作

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

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 05ea884e74f43dbe6400a7a9fac0bcbcecbd173311321d4c89f6a2bc555e40a6

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g66e386:1340 / 3482g1s1It seems / g1a9g66s196ⅠTrue
g66e384:1341 / 3485g66s196MODEL_BACK / g66a2450g1s1ⅡTrue
g62e333:1342 / 3488g1s1MODEL_CLICK / g1a10g60s163UNKNOWNTrue

REJECTED · scarletnotes.create-note-empty-state,距离 3;function_exit_before_header:outside_MainActivity:g66e384:1341

实际动作完整属性、GUI标识与原件索引
{
  "app": "scarletnotes",
  "rep": "Rep2",
  "transition_id": "g66e386:1340",
  "order": 1339,
  "native_transition_order": 1339,
  "step": 1376,
  "monotonic_ns": 1614645908096784,
  "version": 69,
  "input_version": 69,
  "state": "g1s1",
  "target_state": "g66s196",
  "model_action": "g1a9",
  "input_model_action": "g1a9",
  "input_id": "input-7640",
  "action_type": "MODEL_CLICK",
  "identity_digest": "71387839b2543cbb069d867bf47d0792ce32b734d105ff6dd7515741b1b938fe",
  "related_id": "scarletnotes-Rep2-rf9033580ef6fdd",
  "local_id": "scarletnotes-Rep2-l76db722a83958c",
  "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": 1515,
  "target_gui_id": 1516,
  "source_gui_timestamp": 1375,
  "target_gui_timestamp": 1376,
  "final_exact": true,
  "edge_id": "g66e386",
  "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": 3482,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-7641.json",
  "receipt_path": "jev-receipts/transition-g66e386-1340.json",
  "planned_input_text": null,
  "input_sha256": "32a7dd79bfc80d27e4b226541d1d894ab0128565cad40d1b276c1aad8eaf1577",
  "receipt_sha256": "79e45e8cbc09fa941e6aea0e70fe342b47d6303cdeb6d2d39252d43a368d2a32",
  "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 g12s24 g12s24 MainActivity g60s163 g60s163 MainActivity g12s24->g60s163 g62e354 g1s1 g1s1 MainActivity g1s1->g60s163 g62e335 g1s1->g60s163 g62e333 g47s112 g47s112 MainActivity g47s112->g60s163 g66e424 g47s112->g60s163 g66e443 g47s112->g60s163 g60e254 g47s112->g60s163 g66e440 g48s114 g48s114 MainActivity g48s114->g60s163 g60e241 g48s114->g60s163 g66e448 g48s115 g48s115 MainActivity g48s115->g60s163 g62e432 g48s115->g60s163 g62e428 g49s121 g49s121 MainActivity g49s121->g60s163 g60e247 g49s121->g60s163 g60e246 g49s122 g49s122 MainActivity g49s122->g60s163 g60e249 g49s126 g49s126 MainActivity g49s126->g60s163 g60e252 g49s127 g49s127 MainActivity g49s127->g60s163 g60e251 g49s129 g49s129 MainActivity g49s129->g60s163 g62e321 g59s161 g59s161 MainActivity g59s161->g60s163 g60e256 g59s161->g60s163 g69e508 g59s161->g60s163 g69e507 g60s163->g60s163 g60e242 g60s163->g60s163 g60e243 g60s164 g60s164 MainActivity g60s163->g60s164 g60e257 g60s165 g60s165 MainActivity g60s165->g60s163 g62e266 g60s165->g60s163 g62e264 g62s173 g62s173 MainActivity g62s173->g60s163 g62e304 g62s173->g60s163 g62e309 g62s174 g62s174 MainActivity g62s174->g60s163 g62e315 g62s174->g60s163 g62e293 g62s177 g62s177 MainActivity g62s177->g60s163 g66e411 g62s177->g60s163 g69e532 g62s179 g62s179 MainActivity g62s179->g60s163 g62e379 g62s179->g60s163 g62e407

Dominator子树

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

G g60s163 g60s163 MainActivity g60s164 g60s164 MainActivity g60s163->g60s164 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g66e424g47s112 → g60s163g47a1591external1
g60e252g49s126 → g60s163g49a1684external0
g60e249g49s122 → g60s163g49a1659external0
g62e432g48s115 → g60s163g48a1615external1
g62e315g62s174 → g60s163g62a2236external1
g62e293g62s174 → g60s163g62a2240external1
g62e304g62s173 → g60s163g62a2217external1
g62e354g12s24 → g60s163g12a268external4
g62e335g1s1 → g60s163g1a7external72
g66e443g47s112 → g60s163g47a1582external1
g60e242g60s163 → g60s163g60a2102self_loop5
g62e379g62s179 → g60s163g62a2286external18
g62e407g62s179 → g60s163g62a2287external12
g60e241g48s114 → g60s163g48a1603external0
g66e411g62s177 → g60s163g62a2265external1
g60e247g49s121 → g60s163g49a1655external0
g62e333g1s1 → g60s163g1a10external73
g60e256g59s161 → g60s163g59a2087external1
g60e254g47s112 → g60s163g47a1587external0
g62e309g62s173 → g60s163g62a2218external1
g62e321g49s129 → g60s163g49a1704external2
g66e440g47s112 → g60s163g47a1583external1
g66e448g48s114 → g60s163g48a1604external1
g69e508g59s161 → g60s163g59a2092external1
g62e428g48s115 → g60s163g48a1614external1
g60e243g60s163 → g60s163g60a2103self_loop2
g60e251g49s127 → g60s163g49a1686external0
g62e266g60s165 → g60s163g60a2113external1
g60e246g49s121 → g60s163g49a1654external0
g69e532g62s177 → g60s163g62a2275external1
g62e264g60s165 → g60s163g60a2116external1
g69e507g59s161 → g60s163g59a2089external1

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

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