公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。
scarletnotes / Rep2 / g60s163
失败:新建 → Back 主页 → 其他 Header
com.maubis.scarlet.base.MainActivity;Region 2 State(含Header);205次全部精确到达,其中区外198次。
交互查看每次到达与全部来源本案例完整数据原始输入/回执/GUI摘包与所有表格
Source GUI / 回溯动作
alignment: unverified_state_representative
原图 SHA 6b130a0b29d624a119d39f998cbe7b7609ab02d51542a291b0b12a0bc63d879d
Target GUI / 观察结果
alignment: unverified_state_representative
原图 SHA 1aa016292fb8e20514451c60511c9dc34e89b38126f08b7ef124f64576f74451
Dominator Header GUI
alignment: unverified_state_representative
原图 SHA 05ea884e74f43dbe6400a7a9fac0bcbcecbd173311321d4c89f6a2bc555e40a6
一条真实连续历史
以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。
| 事件 / 行号 | Source | 实际Action / ModelAction | Target | 角色 | 收尾映射 |
|---|---|---|---|---|---|
| g66e386:1340 / 3482 | g1s1 | It seems / g1a9 | g66s196 | Ⅰ | True |
| g66e384:1341 / 3485 | g66s196 | MODEL_BACK / g66a2450 | g1s1 | Ⅱ | True |
| g62e333:1342 / 3488 | g1s1 | MODEL_CLICK / g1a10 | g60s163 | UNKNOWN | True |
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']"
}真实多次路径叠加
蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。
Dominator子树
支配树边是结构关系,并非GUI执行边。
全部已观察incoming topology
| Edge | Source → Target | ModelAction | 关系 | 精确执行次数 |
|---|---|---|---|---|
| g66e424 | g47s112 → g60s163 | g47a1591 | external | 1 |
| g60e252 | g49s126 → g60s163 | g49a1684 | external | 0 |
| g60e249 | g49s122 → g60s163 | g49a1659 | external | 0 |
| g62e432 | g48s115 → g60s163 | g48a1615 | external | 1 |
| g62e315 | g62s174 → g60s163 | g62a2236 | external | 1 |
| g62e293 | g62s174 → g60s163 | g62a2240 | external | 1 |
| g62e304 | g62s173 → g60s163 | g62a2217 | external | 1 |
| g62e354 | g12s24 → g60s163 | g12a268 | external | 4 |
| g62e335 | g1s1 → g60s163 | g1a7 | external | 72 |
| g66e443 | g47s112 → g60s163 | g47a1582 | external | 1 |
| g60e242 | g60s163 → g60s163 | g60a2102 | self_loop | 5 |
| g62e379 | g62s179 → g60s163 | g62a2286 | external | 18 |
| g62e407 | g62s179 → g60s163 | g62a2287 | external | 12 |
| g60e241 | g48s114 → g60s163 | g48a1603 | external | 0 |
| g66e411 | g62s177 → g60s163 | g62a2265 | external | 1 |
| g60e247 | g49s121 → g60s163 | g49a1655 | external | 0 |
| g62e333 | g1s1 → g60s163 | g1a10 | external | 73 |
| g60e256 | g59s161 → g60s163 | g59a2087 | external | 1 |
| g60e254 | g47s112 → g60s163 | g47a1587 | external | 0 |
| g62e309 | g62s173 → g60s163 | g62a2218 | external | 1 |
| g62e321 | g49s129 → g60s163 | g49a1704 | external | 2 |
| g66e440 | g47s112 → g60s163 | g47a1583 | external | 1 |
| g66e448 | g48s114 → g60s163 | g48a1604 | external | 1 |
| g69e508 | g59s161 → g60s163 | g59a2092 | external | 1 |
| g62e428 | g48s115 → g60s163 | g48a1614 | external | 1 |
| g60e243 | g60s163 → g60s163 | g60a2103 | self_loop | 2 |
| g60e251 | g49s127 → g60s163 | g49a1686 | external | 0 |
| g62e266 | g60s165 → g60s163 | g60a2113 | external | 1 |
| g60e246 | g49s121 → g60s163 | g49a1654 | external | 0 |
| g69e532 | g62s177 → g60s163 | g62a2275 | external | 1 |
| g62e264 | g60s165 → g60s163 | g60a2116 | external | 1 |
| g69e507 | g59s161 → g60s163 | g59a2089 | external | 1 |
相关功能组的全部具体入口成员
组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。
| 功能 | Source / ModelAction | 控件 / text / desc | 确认次数 | 观察Target |
|---|---|---|---|---|
| scarletnotes.create-note-empty-state | g1s1 / g1a8 | com.bijoysingh.quicknote:id/title / No Notes / | 64 | {'g2s3': 1, 'g66s196': 63} |
| scarletnotes.create-note-empty-state | g1s1 / g1a9 | com.bijoysingh.quicknote:id/description / It seems / | 69 | {'g57s148': 1, 'g66s196': 68} |
| scarletnotes.create-note-empty-state | g62s177 / g62a2267 | com.bijoysingh.quicknote:id/description / It seems / | 1 | {'g66s196': 1} |


