{
  "schema": "lri-topic-workbench/v1",
  "topic_id": "harmonyos_runtime_validation",
  "title": "HarmonyOS Runtime Validation",
  "title_zh": "鸿蒙模拟器与运行环境验证",
  "status": "initialized",
  "maturity": "evidence-backed-domain-seed",
  "last_verified": "2026-07-13",
  "language_mode": "zh-en-separated",
  "canonical_entry": "workbench.html#overview",
  "scope": "ArkUI Previewer、本地/远程模拟器、真机矩阵、多设备协同、ArkTS 静态分析与自动化回归",
  "thesis": [
    {"id": "harmony_runtime_t1", "claim": "模拟器应被视为分层验证链的一环，而不是对真机的单点替代。", "evidence_refs": ["src_deveco", "src_openharmony_docs"], "confidence": "high"},
    {"id": "harmony_runtime_t2", "claim": "可发布结论必须同时记录构建、视觉、行为、环境指纹和真机偏差证据。", "evidence_refs": ["src_arkeval", "src_arkanalyzer"], "confidence": "medium"},
    {"id": "harmony_runtime_t3", "claim": "流转、协同、资源竞争和断连恢复必须进入多设备测试，单设备模拟不足以覆盖。", "evidence_refs": ["src_hacmony"], "confidence": "high"}
  ],
  "tracks": [
    {"id": "environment", "name_zh": "环境与镜像", "name_en": "Environment and Images"},
    {"id": "validation", "name_zh": "分层验证", "name_en": "Layered Validation"},
    {"id": "automation", "name_zh": "自动化与证据", "name_en": "Automation and Evidence"},
    {"id": "distributed", "name_zh": "多设备协同", "name_en": "Distributed Scenarios"}
  ],
  "validation_ladder": [
    {"level": "L0", "environment": "Static analysis / build", "exit": "构建成功且阻断级静态问题清零"},
    {"level": "L1", "environment": "ArkUI Previewer", "exit": "关键页面完成目标屏幕形态视觉检查"},
    {"level": "L2", "environment": "Emulator", "exit": "核心路径可重复通过并留存日志、截图和异常证据"},
    {"level": "L3", "environment": "Physical devices", "exit": "性能、权限、传感器、后台与厂商差异完成收口"},
    {"level": "L4", "environment": "Multi-device matrix", "exit": "流转、协同、断连、恢复和冲突路径可解释"}
  ],
  "release_gates": [
    {"id": "G0", "name": "可构建", "required": ["固定 IDE/SDK/API/镜像", "构建日志", "依赖锁定"]},
    {"id": "G1", "name": "可展示", "required": ["Previewer 截图基线", "关键屏幕形态", "视觉差异记录"]},
    {"id": "G2", "name": "可运行", "required": ["模拟器安装启动", "核心路径", "日志与崩溃证据"]},
    {"id": "G3", "name": "可发布", "required": ["目标真机矩阵", "性能与权限", "模拟器偏差清单"]},
    {"id": "G4", "name": "可协同", "required": ["双设备及以上", "断连恢复", "资源冲突与一致性"]}
  ],
  "environment_fingerprint": ["DevEco Studio version", "SDK/API level", "system image id", "host OS/arch", "virtualization backend", "device profile", "signing profile", "network/account region", "app commit/build id"],
  "failure_taxonomy": [
    {"class": "environment_drift", "signal": "同一代码在不同镜像或 SDK 表现不同", "first_check": "环境指纹和依赖锁"},
    {"class": "emulator_gap", "signal": "模拟器通过但真机失败", "first_check": "权限、硬件、后台和厂商差异"},
    {"class": "visual_regression", "signal": "布局、字体、适配或状态视觉变化", "first_check": "Previewer/模拟器截图基线"},
    {"class": "runtime_instability", "signal": "启动、恢复、崩溃或资源泄漏", "first_check": "日志、异常栈、冷/热启动序列"},
    {"class": "distributed_conflict", "signal": "流转、音频、状态或资源竞争异常", "first_check": "多设备事件时间线"},
    {"class": "automation_flake", "signal": "相同用例结果不稳定", "first_check": "重试率、设备状态和外部依赖"}
  ],
  "evidence_sources": [
    {"id": "src_deveco", "title": "DevEco Studio", "url": "https://developer.huawei.com/consumer/cn/deveco-studio/", "grade": "Official"},
    {"id": "src_openharmony_docs", "title": "OpenHarmony Documentation", "url": "https://docs.openharmony.cn/", "grade": "Official"},
    {"id": "src_arkanalyzer", "title": "ArkAnalyzer", "url": "https://arxiv.org/abs/2501.05798", "grade": "Research"},
    {"id": "src_hacmony", "title": "HACMony", "url": "https://arxiv.org/abs/2504.07472", "grade": "Research"},
    {"id": "src_arkeval", "title": "ArkEval", "url": "https://arxiv.org/abs/2602.08866", "grade": "Research"}
  ],
  "risks": ["HarmonyOS 商业发行版与 OpenHarmony 镜像、API 和服务能力不可直接等同。", "模拟器通过不能证明真机性能、功耗、传感器和后台行为可靠。", "IDE、SDK、系统镜像或签名配置漂移会破坏复现。", "远程环境还涉及账号、区域、网络、配额和敏感数据边界。"],
  "next_steps": ["固定一个目标 API、设备形态和镜像，建立首份环境指纹。", "用最小 ArkTS 应用贯通 L0-L3 并记录同一用例差异。", "建立冷启动、权限、网络、后台恢复、异常退出和截图基线。", "为涉及流转或协同的能力建立双设备故障与恢复用例。"]
}