公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,完整可执行库存恢复为 0。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。

功能入口、动作机会与历史结果:多 App 离线研究

可以知道已确认尝试了哪些具体操作,现有归档不能完整知道当时还有哪些有效且可选择的 Concrete 操作。 APE 维护的是 State 的 ModelAction、当前匹配节点及每个模型动作的随机代表绑定,而不是一个已逐成员验证、经过全部策略枚举的 Concrete 库存。下一阶段应补齐被动 Shadow 观察,再检验充分性;本轮没有实现采集或禁用。

数据与研究范围

从哪里开始

  1. 结论 回答六个问题。
  2. 交互式查看器 展示24个真实案例、十run入口发生、GUI、机会缺口与检查点。
  3. 源码审计、库存完整性、最小Shadow设计。
  4. 五App对照、时间验证、共享分析、案例。

复算与离线使用

在仓库根目录执行以下命令;脚本只写本研究目录,需要已有 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。