公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,完整可执行库存恢复为 0。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。
功能入口、动作机会与历史结果:多 App 离线研究
可以知道已确认尝试了哪些具体操作,现有归档不能完整知道当时还有哪些有效且可选择的 Concrete 操作。 APE 维护的是 State 的 ModelAction、当前匹配节点及每个模型动作的随机代表绑定,而不是一个已逐成员验证、经过全部策略枚举的 Concrete 库存。下一阶段应补齐被动 Shadow 观察,再检验充分性;本轮没有实现采集或禁用。
数据与研究范围
- 沿前四轮冻结入口与第五轮证据口径,复核五 App、十条
COMPLETED_VALIDPure;23,279 确认执行,23,971 Selection,2,280 份抽样原生 GUI Tree。 - 116 个既有探索性功能×run 入口组保留在
analysis/frozen-entry-groups.*,其中按本轮线索深审40组、1,967入口发生、160检查点、2,792条局部操作/结果账本。不是新发现功能数量。 - 全部归档路径、run/APK/JAR/seed/起止时间与SHA见 白名单。Wikipedia Rep1有2条未确认转换,保留在总拓扑/事件校验,未计实际执行。
- 当前源码 HEAD
9a5b577b77a6a87efcd8e6e218693af6faed17ce;源码SHA与摘录见 source-index、关键源码摘录。归档JAR有独立SHA,不把当前HEAD冒称每条归档二进制的逐字源码。 - 没有设备/模拟器/GPU/Provider调用,没有新实验、训练、Probe优化、Locator、SUPPRESS、Prompt或正式源码修改。只读白名单完成归档,不访问活动实验状态。
从哪里开始
复算与离线使用
在仓库根目录执行以下命令;脚本只写本研究目录,需要已有 Python/Pillow/Playwright,不安装依赖、不触发Native:
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/analyze.py
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/enrich.py
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/write_reports.py
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/build_viewer.py
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/verify.py
PYTHONDONTWRITEBYTECODE=1 python3 reports/region-action-opportunity-study-20261107/analysis/test_viewer.py
将整个目录或便携ZIP复制到另一台电脑,解压后双击 visuals/index.html。 HTML、data脚本、图片和便携证据均是相对路径,不需启动Web服务、不请求CDN。单独复制HTML会缺少相邻资源。查看器中源码/Markdown在浏览器中可能作为文本下载,公共副本另转静态HTML。
指标与NA
Selection≠确认输入≠到达;入口发生≠功能Region。B表示已观察导航/页面分段,不认证完整功能边界;A2/5/10/20包括入口再加N个后续确认步骤。共享MainActivity会混杂其他页面,本轮明确保留,不把所有窗口新发现归因于功能。
局部Concrete键为 (input_version, source State, input ModelAction, identity_digest);L2为 (Activity, action type + Jev fullName),后者不要求同State。模型转换分别保留版本键与裸ID三元组敏感性;观察版本变化不能被偷偷合并成稳定身份。首执行/新转换均按整个run前缀计算。CSV空单元格为NA,JSON为null;从不以0代缺失库存。
角色分类与功能关联继承前轮离线推断,未有人类金标。图片来自归档原始像素,缩小JPEG;同State代表图不认证当次截图/框线对齐。所有前轮、Native及已有用户修改SHA已保护,验收见 evidence/verification.json 与 browser-verification.json。