@harmonyos-arkts/d2h 0.0.0-stage → 0.1.0

package/agents/d2h.md

@@ -0,0 +1,168 @@
+---
+name: d2h
+description: Android 应用到 HarmonyOS 的结果驱动迁移主 Agent，以完整实现一致的鸿蒙应用为最高目标
+---
+
+# Android to HarmonyOS Migration Agent
+
+你是一个安卓应用到鸿蒙应用的迁移助手，你必须按照相关策略，将安卓应用中 **所有页面、所有交互功能、所有业务功能、所有影响行为的资源与配置** 迁移至鸿蒙应用中。
+
+
+
+## 专项 Skill
+
+你可以在迁移过程中按需加载以下 Skill：
+
+- 迁移开始或恢复时加载 `preparing-migration-workspace`；它按顺序完成 Android 基线检查、HarmonyOS 工程创建或复用、HarmonyOS 基线与设备检查。
+- 初始化或更新迁移报告时加载 `maintaining-migration-report`。
+- 规划或执行 HarmonyOS 端到端 UI 验证、遇到具体迁移故障，或提交后确有可复用经验时加载 `harmonyos-migration-playbook`；UI 验证只读取其 `ui-automation.md` 相关经验。
+- 完整迁移结束或本次运行明确中止时加载 `reviewing-migration-process`，生成给维护者人工分析的 Agent 优化建议；普通实现过程中不要加载。
+- 图表、资源等迁移 skill：`arkts-app-identity`
+- 字符串，国际化迁移 skill：`arkts-i18n`。禁止把用户可见文案硬编码进 `.ets` 页面替代字符串资源迁移。
+- 图片，图形大小校准 skill： `arkts-icon-sizing`
+- 图片/图形资源转换 skill：`android2hmos_resources_convert`（res/ 图片资产 → `media/`、XML drawable → SVG、自适应图标 → layered-image）。需要 Preflight 已创建或复用的 HarmonyOS 工程
+- 安卓/鸿蒙三方库映射关系 skill：`native-library-substitution`
+
+
+
+## 迁移流程
+
+### 前提
+
+1. 迁移工作区固定位于安卓工程父目录下的 `<工程名>-migration/.migration/`（spec、report、logs、evidence 等都在其中，不写入安卓工程内部）。下文所有 `.migration/...` 路径均相对该工作区根目录。
+
+### 一、环境检查
+
+在迁移任务开始之前，需要检查核心工具链与本机运行环境是否满足迁移需求：
+
+1. 检查 droid2hmos、appgraph cli 命令是否存在，若不存在则使用 `npm install -g @harmonyos-arkt/droid2hmos` 和 ``npm install -g @harmonyos-arkt/appgraph`` 全局安装
+
+2. 执行 `droid2hmos --help` 和 `droid2hmos status <ANDROID_PROJECT>`,  验证 droid2homs 和当前安卓工作空间是否正常
+3. 执行 `droid2hmos preflight <ANDROID_PROJECT> [--sdk-path <PATH>] [--timeout-ms <MS>]`，开始检查本机运行环境，包括 git、鸿蒙工具链等
+
+注意：上述任一条规则检查不通过，需要告知用户当前情况
+
+
+
+### 二、安卓工程分析
+
+1. 执行 `droid2hmos analyze android <android-project>`，静态扫描安卓工程的代码事实，输出结果在`.migration/spec/facts/`  目录中。
+2. 加载 `maintaining-migration-report` 技能根据静态分析结果初始化迁移报告
+
+
+
+### 三、鸿蒙工程初始化
+
+使用对应专项 skill 完成安卓静态资源迁移，包含应用名称、图片等相关资源
+
+res/ 图片资产、XML drawable、自适应图标转换 → `android2hmos_resources_convert`；
+
+应用名称、图标、版本号、包名等身份信息迁移 → `arkts-app-identity`；
+
+用户可见文案与多语言资源迁移 → `arkts-i18n`；
+
+图标/图片尺寸失真校准 → `arkts-icon-sizing`；
+
+
+
+### 四、任务计划制定
+
+运行 `droid2hmos task plan <android-project>` 生成 `.migration/tasks/`，随后运行 `droid2hmos task validate <android-project>`
+
+
+
+### 五、代码开发
+
+代码开发需要根据对应任务完成小循环，每个循环包括查看计划、代码转换、编译构建、功能验收、记录归档等步骤，下面将详细描述：
+
+1. 查询计划：运行 `droid2hmos task next <android-project>`，再用 `droid2hmos task show <android-project> <task-id>` 取得对应任务 id 的任务清单
+2. 代码转换：根据任务内容阅读对应安卓源码，实现代码转换，你需要根据安卓代码情况，选择是代码翻译、还是代码重构，转换的目标是功能一致
+3. 编译构建：在编写完代码后，需调用 `droid2hmos build harmony` 完成鸿蒙应用构建，并且根据编译报错完成修复，保证编译通过。你可以通过查看本地鸿蒙 sdk 或调用鸿蒙知识库 mcp 工具，完成资料查询
+4. 功能验收：你需要编写 hypium 用例来验证当前任务对应的需求实现正确，安装并启动真实 HAP，从应用真实入口操作对应控件，走通页面、导航、Dialog、状态变化和业务结果。每个可交互功能标记完成前必须完成三步：为关键控件提供稳定、唯一的语义 ID → 编写或更新对应 Hypium 用例 → 本次实现后在设备上实际执行成功。用例编写后使用 `droid2hmos test harmony` 命令完成验证
+5. 记录归档：根据 `maintaining-migration-report` 技能完成记录归档，并且完成 git 提交，commit 描述文本模版为 `<task-id>-<功能描述>-<测试通过>`
+
+全部开发小循环结束后，需执行  `droid2hmos test harmony <android-project> --all --target <DEVICE> --ref <REPORT_REF>...` 名称保证全部用例执行通过
+
+最后执行 `droid2hmos complete <android-project>` 和  `droid2hmos report render <android-project>` 结束任务和转换报告生成
+
+
+
+### 六、经验沉淀
+
+完整迁移结束或本次运行明确中止后，加载 `reviewing-migration-process`，基于本次真实日志、返工和人工介入生成 `.migration/agent-feedback.md`。它只供人分析如何优化 Agent、Skill、脚本和流程，不得作为迁移完成条件，不得自动采纳，也不得与技术经验混写。
+
+
+
+## 持续执行与人工介入边界
+
+本节是「何时允许暂停等待用户」的唯一权威清单。迁移一旦开始即默认全自动连续执行：完成一个 Task 或连贯批次后直接进入下一个推荐任务，直到 `complete` 硬门禁通过或命中下列暂停情形。不得在任务、批次或阶段之间以“是否继续”“是否处理剩余项”等任何形式停下来等待用户确认；阶段性汇报（含诚实声明未完成项）只随批次附带上报，不得附带提问，也不得把“还有剩余项”本身作为暂停等待确认的理由。
+
+允许暂停并等待用户的情形只有：
+
+- 真机签名未配置或失效、或真机无法保持亮屏，且没有可用的 HarmonyOS 模拟器；此时只阻塞依赖设备的工作，分析与实现继续（见「设备签名与真机常亮」）。
+- 设备、CLI 或构建环境持续不可用：按 `retry.kind` 分类完成自诊与有限重试后仍为 `external`。
+- 用户主动中断、修改需求或发出新指令。
+
+除上述情形外的一切问题——实现缺陷、构建或测试失败、方案选型、平台差异、facts 与源码的行为歧义——都必须自主决策并继续：选择证据更强的一侧实现，把差异与决策写入 `discoveries.json` 或报告说明；把它们当作暂停或提问的理由，按「禁止的伪完成」的“把实现缺陷写成阻塞”条判定。
+
+
+
+## 可用命令
+
+统一入口是已通过 npm 安装并位于 `PATH` 中的 `droid2hmos` 命令，直接执行 `droid2hmos ...`。CLI 可用性自检已包含在主流程步骤 0 与步骤 1，此处不再重复。不得寻找或调用已经删除的插件内置脚本，也不得自行拼接内部 Node 入口。只有统一命令实际失败、缺少当前能力，或正在定位 CLI 自身缺陷时，才检查独立 `droid2hmos` 代码仓；此时必须说明统一命令、失败证据和采用调试入口的原因，问题解决后恢复全局命令。
+
+| 阶段 | 命令 | 作用与使用时机 |
+|---|---|---|
+| 自检 | `--help` | 验证 CLI 可用并查看当前版本支持的命令。 |
+| 状态 | `status <ANDROID_PROJECT>` | 验证 Android 工作区并读取当前迁移阶段、完成缺口和允许动作。 |
+| 准备 | `preflight <ANDROID_PROJECT> [--sdk-path <PATH>] [--timeout-ms <MS>]` | 检查 Git、HarmonyOS 工具链和设备等迁移环境。 |
+| 分析 | `analyze android <android-project>` | 纯源码静态分析 Android 工程并生成 `.migration/spec/facts/`。 |
+| 规划 | `task plan <android-project>` | 根据当前 Facts 生成 `.migration/tasks/` 派生计划。 |
+| 规划 | `task validate <android-project>` | 检查计划的新鲜度、行为闭包、所有权和依赖关系。 |
+| 规划 | `task next <android-project>` | 取得下一项可以执行的迁移任务。 |
+| 规划 | `task show <android-project> <task-id>` | 取得指定任务的责任范围、验收要求和源码位置索引。 |
+| 实现 | `build harmony <android-project>` | 构建 HarmonyOS 应用并根据编译错误持续修复。 |
+| 验收 | `test harmony <android-project> (--class <CLASS> [--case <CASE>] \| --all) [--target <DEVICE>] [--case-timeout-ms <MS>] [--ref <REPORT_REF>...]` | 执行定向或全量 Hypium 测试；最终验收使用 `--all`。 |
+| 交付 | `complete <android-project>` | 执行最终完成硬门禁。 |
+| 交付 | `report render <android-project>` | 完成门禁通过后生成迁移报告。 |
+
+
+
+
+
+## 禁止的伪完成
+
+以下情况即使脚本或报告通过，也必须判定为未完成并继续修复：
+
+- **只有报告映射**：报告写着 `verified`，但映射文件中只有注释、空函数或未被调用的代码。必须让真实入口执行该实现并验证效果。
+- **代码存在但不可达**：创建了页面或组件文件，但没有被 Ability、页面注册、导航或真实控件引用。必须从应用真实入口能够到达。
+- **另加控件绕过原设计**：为了测试导航新增一个按钮，而 Android 原控件仍无响应。必须在 Android 对应控件上实现原交互，不得用额外控件替代。
+- **能编译就宣布成功**：HAP 编译、安装、启动且不白屏，但页面布局错误、Dialog 打不开或业务没有效果。必须逐项执行模拟器端到端用例。
+- **截图代替功能验证**：页面截图看起来存在，但控件无法点击、状态不变化或数据不保存。必须真实操作并检查可观察结果。
+- **只覆盖 facts**：报告覆盖所有静态 ref，但源码中还有脚本未发现的页面、入口或业务逻辑。必须主动审查源码并写入 `discoveries.json` 后实现。
+- **测试只写不跑**：存在测试文件或用例描述，但没有本次运行结果和证据。必须实际执行并记录通过证据。
+- **坐标点击冒充验收**：使用 `uitest uiInput click x y` 走通流程，但没有对应 Hypium 用例和本次执行结果。坐标只可用于探索控件，或处理经证据确认没有语义节点的 Canvas、系统界面等例外，不能替代正式端到端验收。
+- **无限推迟测试基建**：以“Hypium 尚未建立”为由连续完成功能并只做手工或坐标验证。第一个可交互功能完成前必须建立并跑通测试模块，否则该功能仍未完成。
+- **用桩隐藏缺口**：返回固定值、空实现、假数据或吞掉错误以通过测试或编译。桩只能保持未完成状态，不能标记 implemented/verified。
+- **把实现缺陷写成阻塞**：编译错误、遗漏回调、错误布局或未完成业务属于当前实现问题，必须修复，不能包装成外部 blocker。
+
+判断原则始终是：**用户在 HarmonyOS 应用中实际看到和操作到的结果是否与 Android 一致**，而不是文件、字段、状态或检查标记是否齐全。
+
+
+
+## 完成条件
+
+只有同时满足以下条件，才允许宣布迁移完成：
+
+- HarmonyOS 工程完整编译、安装、启动和运行成功；
+- 已建立可运行的 Hypium 测试模块，关键交互控件具有稳定语义 ID，所有可交互功能均有本次实际通过的语义化端到端用例；无法语义定位的例外具有明确证据和替代验证；
+- 全量端到端功能回归已按「设备验证标准」节在合格设备上从真实入口完成，并保留可检查证据；
+- Android 的所有页面、可见控件和状态均有真实且一致的 HarmonyOS 实现；
+- 所有导航、Dialog 打开/关闭、返回和结果流均可实际执行；
+- 所有业务功能、状态变化、数据效果和错误路径均已实现并验证；
+- 静态 facts 与 AI 补充发现均有真实实现映射和测试证据；
+- Task Plan 与当前 Facts、correction/review 和 Android 源码指纹一致，结构校验通过，全部 Task 均已取得新鲜的定向设备验证证据，且不存在 orphan Fact；
+- 最终报告完整性门禁通过，且人工需要审视的差异已明确呈现。
+- `droid2hmos complete <android-project>` 成功退出；任何手写完成标记或历史验证结果都不能替代该硬门禁。
+
+再次强调：完成报告不是完成迁移。只有真实 HarmonyOS 应用达到 Android 应用的完整功能与体验一致性，迁移才完成。

package/bin/install-opencode.mjs

@@ -0,0 +1,51 @@
+#!/usr/bin/env node
+import { fileURLToPath } from 'node:url';
+import path from 'node:path';
+import os from 'node:os';
+import { installOpenCode } from '../src/install-opencode.mjs';
+
+const help = `Install this package's skills and agents into OpenCode.
+
+Usage: d2h [options]
+
+  --source-dir <path>  Source root (defaults to this package)
+  --config-dir <path>  OpenCode config root (OPENCODE_CONFIG_DIR, or
+                       $XDG_CONFIG_HOME/opencode, or ~/.config/opencode)
+  --link              Create absolute symbolic links (development only)
+  --force             Replace conflicting installed skills and agents
+  --dry-run           Print operations without writing files
+  -h, --help          Show this help
+
+Only skills/*/SKILL.md trees and agents/*.md are installed.
+opencode.json and AGENTS.md are not modified.
+With npx, prefer the default copy mode: its cache can be removed.
+`;
+
+try {
+  const options = {
+    sourceDir: path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..'),
+    configDir: process.env.OPENCODE_CONFIG_DIR || path.join(
+      process.env.XDG_CONFIG_HOME || path.join(os.homedir(), '.config'), 'opencode'),
+  };
+  const args = process.argv.slice(2);
+  for (let index = 0; index < args.length; index++) {
+    const arg = args[index];
+    if (arg === '-h' || arg === '--help') {
+      console.log(help);
+      process.exit(0);
+    }
+    if (arg === '--source-dir' || arg === '--config-dir') {
+      const value = args[++index];
+      if (!value || value.startsWith('--')) throw new Error(`${arg} requires a path`);
+      options[arg === '--source-dir' ? 'sourceDir' : 'configDir'] = value;
+    } else if (arg === '--link' || arg === '--force' || arg === '--dry-run') {
+      options[{ '--link': 'link', '--force': 'force', '--dry-run': 'dryRun' }[arg]] = true;
+    } else {
+      throw new Error(`unknown option: ${arg}`);
+    }
+  }
+  installOpenCode(options);
+} catch (error) {
+  console.error(`install-opencode: ${error.message}`);
+  process.exitCode = 1;
+}

package/install-opencode.sh

@@ -0,0 +1,160 @@
+#!/bin/sh
+
+set -eu
+
+usage() {
+  cat <<'EOF'
+Install this repository's skills and agents into the user-level OpenCode config.
+
+Usage:
+  sh install-opencode.sh [options]
+
+Options:
+  --source-dir <path>  Repository root. Defaults to the script directory.
+  --config-dir <path>  OpenCode config root. Defaults to
+                       $OPENCODE_CONFIG_DIR, or
+                       ${XDG_CONFIG_HOME:-$HOME/.config}/opencode.
+  --link               Create absolute symbolic links for local development.
+  --force              Replace conflicting installed skills and agents.
+  --dry-run            Print planned operations without changing files.
+  -h, --help           Show this help.
+
+The installer does not edit opencode.json or copy AGENTS.md. It installs only
+skills/*/SKILL.md trees and agents/*.md into OpenCode's global discovery paths.
+EOF
+}
+
+fail() {
+  printf 'install-opencode: %s\n' "$*" >&2
+  exit 1
+}
+
+script_dir=$(CDPATH= cd "$(dirname "$0")" && pwd -P)
+source_dir=$script_dir
+config_dir=${OPENCODE_CONFIG_DIR:-${XDG_CONFIG_HOME:-${HOME}/.config}/opencode}
+install_mode=copy
+force_install=0
+dry_run=0
+
+while [ "$#" -gt 0 ]; do
+  case $1 in
+    --source-dir)
+      [ "$#" -ge 2 ] || fail "--source-dir requires a path"
+      source_dir=$2
+      shift 2
+      ;;
+    --config-dir)
+      [ "$#" -ge 2 ] || fail "--config-dir requires a path"
+      config_dir=$2
+      shift 2
+      ;;
+    --link)
+      install_mode=link
+      shift
+      ;;
+    --force)
+      force_install=1
+      shift
+      ;;
+    --dry-run)
+      dry_run=1
+      shift
+      ;;
+    -h|--help)
+      usage
+      exit 0
+      ;;
+    *)
+      fail "unknown option: $1"
+      ;;
+  esac
+done
+
+[ -d "$source_dir" ] || fail "source directory not found: $source_dir"
+source_dir=$(CDPATH= cd "$source_dir" && pwd -P)
+skills_source=$source_dir/skills
+agents_source=$source_dir/agents
+
+[ -d "$skills_source" ] || fail "skills directory not found: $skills_source"
+[ -d "$agents_source" ] || fail "agents directory not found: $agents_source"
+
+case $config_dir in
+  ""|/|.|..|"${HOME}"|"${HOME}/")
+    fail "refusing unsafe OpenCode config directory: $config_dir"
+    ;;
+esac
+
+if [ "$dry_run" -eq 0 ]; then
+  mkdir -p "$config_dir"
+  config_dir=$(CDPATH= cd "$config_dir" && pwd -P)
+  mkdir -p "$config_dir/skills" "$config_dir/agents"
+  installer_tmp_root=$(mktemp -d "${TMPDIR:-/tmp}/install-opencode.XXXXXX")
+  trap 'rm -rf "$installer_tmp_root"' EXIT HUP INT TERM
+else
+  installer_tmp_root=
+fi
+
+installed_skills=0
+installed_agents=0
+
+install_entry() {
+  entry_source=$1
+  entry_destination=$2
+  entry_kind=$3
+  entry_name=$4
+
+  if [ "$install_mode" = link ] && [ -L "$entry_destination" ] && [ "$(readlink "$entry_destination")" = "$entry_source" ]; then
+    printf 'unchanged %s: %s\n' "$entry_kind" "$entry_name"
+    return
+  fi
+
+  if [ "$install_mode" = copy ] && [ -e "$entry_destination" ] && diff -qr "$entry_source" "$entry_destination" >/dev/null 2>&1; then
+    printf 'unchanged %s: %s\n' "$entry_kind" "$entry_name"
+    return
+  fi
+
+  if { [ -e "$entry_destination" ] || [ -L "$entry_destination" ]; } && [ "$force_install" -ne 1 ]; then
+    fail "$entry_kind '$entry_name' already exists at $entry_destination; rerun with --force to replace it"
+  fi
+
+  if [ "$dry_run" -eq 1 ]; then
+    printf 'would install %s: %s -> %s (%s)\n' "$entry_kind" "$entry_source" "$entry_destination" "$install_mode"
+    return
+  fi
+
+  if [ -e "$entry_destination" ] || [ -L "$entry_destination" ]; then
+    rm -rf "$entry_destination"
+  fi
+
+  if [ "$install_mode" = link ]; then
+    ln -s "$entry_source" "$entry_destination"
+  else
+    entry_stage=$installer_tmp_root/$entry_kind-$entry_name
+    cp -R "$entry_source" "$entry_stage"
+    mv "$entry_stage" "$entry_destination"
+  fi
+
+  printf 'installed %s: %s\n' "$entry_kind" "$entry_destination"
+}
+
+for skill_file in "$skills_source"/*/SKILL.md; do
+  [ -f "$skill_file" ] || continue
+  skill_directory=$(dirname "$skill_file")
+  skill_name=$(basename "$skill_directory")
+  install_entry "$skill_directory" "$config_dir/skills/$skill_name" skill "$skill_name"
+  installed_skills=$((installed_skills + 1))
+done
+
+for agent_file in "$agents_source"/*.md; do
+  [ -f "$agent_file" ] || continue
+  agent_name=$(basename "$agent_file")
+  install_entry "$agent_file" "$config_dir/agents/$agent_name" agent "$agent_name"
+  installed_agents=$((installed_agents + 1))
+done
+
+[ "$installed_skills" -gt 0 ] || fail "no skills found under $skills_source"
+[ "$installed_agents" -gt 0 ] || fail "no agents found under $agents_source"
+
+printf 'OpenCode installation complete: %s skill(s), %s agent(s).\n' "$installed_skills" "$installed_agents"
+printf 'Config directory: %s\n' "$config_dir"
+printf 'Quit and restart OpenCode to load the installed definitions.\n'

package/opencode/agents.json

@@ -0,0 +1,16 @@
+{
+  "android-to-hmos-00-orchestrator": {
+    "mode": "all",
+    "hidden": false,
+    "permissions": {
+      "read": "allow",
+      "write": "allow",
+      "edit": "allow",
+      "glob": "allow",
+      "grep": "allow",
+      "bash": "allow",
+      "skill": "allow",
+      "task": "allow"
+    }
+  }
+}

package/package.json

@@ -1,6 +1,18 @@
 {
   "name": "@harmonyos-arkts/d2h",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "description": "Install Android-to-HarmonyOS migration agents and skills into OpenCode",
+  "type": "module",
+  "bin": { "d2h": "bin/install-opencode.mjs" },
+  "files": ["bin/", "src/", "skills/", "agents/", "schemas/", "opencode/", ".claude-plugin/", "install-opencode.sh", "README.md", "LICENSE"],
+  "scripts": {
+    "check": "node --check bin/install-opencode.mjs && node --check src/install-opencode.mjs && node scripts/check-skill-refs.mjs",
+    "test": "node --test test/*.test.mjs",
+    "prepublishOnly": "npm run check && npm test"
+  },
+  "engines": { "node": ">=20 <25" },
+  "repository": { "type": "git", "url": "git+https://github.com/Harmony-Ai-Tool/android-to-hmos-migration.git" },
+  "license": "MIT",
+  "publishConfig": { "access": "public", "registry": "https://registry.npmjs.org/" },
+  "keywords": ["android", "harmonyos", "arkts", "migration", "opencode"]
+}

package/schemas/android-source-manifest.schema.json

@@ -0,0 +1,25 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/android-source-manifest.schema.json",
+  "title": "Managed Android source member manifest",
+  "type": "object",
+  "required": ["manifestVersion", "androidRoot", "members", "manifestSha256"],
+  "properties": {
+    "manifestVersion": { "const": "1.0.0" },
+    "androidRoot": { "type": "string", "minLength": 1 },
+    "members": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["androidFile", "fileSha256"],
+        "properties": {
+          "androidFile": { "type": "string", "pattern": "^(?![/\\\\])(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).+" },
+          "fileSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "manifestSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+  },
+  "additionalProperties": false
+}

package/schemas/checkpoint-provenance.schema.json

@@ -0,0 +1,67 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/checkpoint-provenance.schema.json",
+  "title": "Git-linked migration source provenance receipt",
+  "type": "object",
+  "required": ["checkpointProvenanceVersion", "reportValidationVersion", "factsSha256", "evidenceLevel", "sourceManifest", "sourceClaims", "committedFiles", "orderAudit", "closureAudit", "literalAudit"],
+  "properties": {
+    "checkpointProvenanceVersion": { "const": "1.0.0" },
+    "reportValidationVersion": { "const": "1.2.0" },
+    "factsSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+    "evidenceLevel": { "enum": ["declared-hash-validated", "observed-order-audited"] },
+    "sourceManifest": {
+      "type": "object",
+      "required": ["manifestVersion", "androidRoot", "members", "manifestSha256"],
+      "properties": {
+        "manifestVersion": { "const": "1.0.0" },
+        "androidRoot": { "type": "string", "minLength": 1 },
+        "members": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["androidFile", "fileSha256"],
+            "properties": {
+              "androidFile": { "type": "string", "minLength": 1 },
+              "fileSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+            },
+            "additionalProperties": false
+          }
+        },
+        "manifestSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      },
+      "additionalProperties": false
+    },
+    "sourceClaims": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["ref", "kind", "status", "harmonyosFiles", "sourceProvenance"],
+        "properties": {
+          "ref": { "type": "string", "minLength": 1 },
+          "kind": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["implemented", "verified"] },
+          "harmonyosFiles": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } },
+          "sourceProvenance": { "type": "array", "minItems": 1, "items": { "type": "object" } }
+        },
+        "additionalProperties": false
+      }
+    },
+    "committedFiles": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["file", "role", "fileSha256"],
+        "properties": {
+          "file": { "type": "string", "minLength": 1 },
+          "role": { "enum": ["android-source", "harmony-implementation"] },
+          "fileSha256": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "orderAudit": { "type": "object" },
+    "closureAudit": { "type": "object" },
+    "literalAudit": { "type": "object" }
+  },
+  "additionalProperties": false
+}

package/schemas/final-acceptance.schema.json

@@ -0,0 +1,29 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/final-acceptance.schema.json",
+  "title": "Lightweight migration final acceptance",
+  "type": "object",
+  "required": ["reportShardVersion", "kind", "status", "tests", "blockers", "notes"],
+  "properties": {
+    "reportShardVersion": { "const": "1.2.0" },
+    "kind": { "const": "final-acceptance" },
+    "status": { "enum": ["pending", "passed", "failed"] },
+    "tests": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["ref", "name", "status", "evidence"],
+        "properties": {
+          "ref": { "type": "string", "minLength": 1 },
+          "name": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["passed", "failed"] },
+          "evidence": { "type": "array", "items": { "type": "string" } }
+        },
+        "additionalProperties": false
+      }
+    },
+    "blockers": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+    "notes": { "type": "array", "items": { "type": "string", "minLength": 1 } }
+  },
+  "additionalProperties": false
+}

package/schemas/managed-evidence-index.schema.json

@@ -0,0 +1,15 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://harmonyos-ai.dev/schemas/managed-evidence-index.schema.json",
+  "title": "droid2hmos Managed Evidence Index",
+  "type": "object",
+  "required": ["evidenceIndexVersion", "latestByAction"],
+  "properties": {
+    "evidenceIndexVersion": { "const": "1.0.0" },
+    "latestByAction": {
+      "type": "object",
+      "additionalProperties": { "type": "string", "pattern": "^\\.migration/evidence/managed/.+\\.json$" }
+    }
+  },
+  "additionalProperties": false
+}