deveco_hmigbot 0.21.5

package/skills/migrate-core/scripts/smoke/smoke.mjs

@@ -0,0 +1,238 @@
+#!/usr/bin/env node
+/**
+ * smoke.mjs — 波级装机冒烟（可证版）。最小成本运行时验证：崩溃与空壳两类最大杀伤，脚本先裁，异常才升级模型。
+ *
+ * 判定阶梯（全部文本判定，不依赖多模态；截图只落盘不裁决）：
+ *   ⓪ 前置可证（环境类，exit 3，调用方记阻塞不派修）：设备在；hap 在且不早于源码；`hdc install` 输出含成功
+ *      （hdc 装机失败退出码仍为 0，不看输出就是拿旧包/别的包当结果）
+ *   ① faultlog 硬判：冒烟期间新增 jscrash/cppcrash → violation（exit 10）
+ *   ② 直达可证（case，exit 2）：起后前台 bundle 必须是目标（`aa dump -l`）；着陆页名取 Index 钩子打的
+ *      hilog（tag hmigSmoke，`didShow <name>`）必须等于 route——不等即 misland；曾着陆又弹回首页/navBar 记 bounced；
+ *      曾着陆后被应用自身推到新页（登录墙/引导页）记 forwarded（立案但非接线问题，模板不派修）；
+ *      工程缺钩子（EntryAbility 透传 / Index 着陆日志，均由 wire-routes 生成）记 nohook，不给绿。
+ *   ③ 控件树软判（case，exit 2）：只数着陆 NavDestination 子树（整窗口约 40 个系统节点，整窗口计数骨架页也恒过）；
+ *      子树节点 < 阈值 → hollow（着陆页仍是骨架占位记 scaffold）；--expect 文本缺失同级
+ *   ④ 截图落盘（--out）：供多模态模型/人工增强判读，本脚本不据此裁决
+ *
+ * 登录墙/空态页口径：崩溃判定不受登录态影响（未登录直达即崩=真缺陷，照抓）；渲染出登录墙/空态=有节点不误报；
+ * 确因无数据被判 hollow 的属 case 软立案——模型裁决"需登录/空态合理"即 waive；登录后业务纵深归 4b（测试账号）。
+ *
+ * 用法：smoke.mjs --project <鸿蒙工程根> [--bundle <包名>] [--routes A,B,C] [--device <hdc key>]
+ *       [--expect "RouteA:文本1|文本2,RouteB:文本"] [--nodes-min 10] [--out spec/smoke] [--json <报告>]
+ * 退出码：0 全绿 / 2 立案（misland·nohook·bounced·forwarded·scaffold·hollow·expect-miss·nodump·not-foreground）/ 3 环境阻塞（无设备·无 hap·hap 过期·装机失败）/ 10 崩溃硬违规
+ */
+import { execSync } from 'node:child_process';
+import { readFileSync, writeFileSync, mkdirSync, existsSync, readdirSync, statSync } from 'node:fs';
+import { join, resolve, dirname } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { probeVerdict } from './verdict.mjs';
+
+const argv = process.argv.slice(2);
+if (argv.includes('--help')) { console.log(readFileSync(new URL(import.meta.url), 'utf8').split('\n').filter(l => /^ \* /.test(l)).map(l => l.slice(3)).join('\n')); process.exit(0); }
+const argOf = (n, d) => { const i = argv.indexOf(n); return i >= 0 && argv[i + 1] && !argv[i + 1].startsWith('--') ? argv[i + 1] : d; };
+const PROJECT = argOf('--project', null);
+if (!PROJECT) { console.error('usage: smoke.mjs --project <root> [--bundle] [--routes] [--expect] [--out] [--json]'); process.exit(3); }
+const OUT = argOf('--out', 'spec/smoke');
+const NODES_MIN = Number(argOf('--nodes-min', '10'));
+const ROUTES = (argOf('--routes', '') || '').split(',').map(s => s.trim()).filter(Boolean);
+const EXPECT = new Map((argOf('--expect', '') || '').split(',').map(s => s.trim()).filter(Boolean)
+  .map(kv => { const i = kv.indexOf(':'); return [kv.slice(0, i), kv.slice(i + 1).split('|').filter(Boolean)]; }));
+
+// 多设备：hdc 连着多个目标时每条命令都要 -t <connect-key>（否则报 need connect-key）。HMIG_HDC_TARGET 指定，否则取列表首个。
+const hdcTargets = () => { try { return execSync('hdc list targets', { encoding: 'utf8', stdio: ['ignore', 'pipe', 'ignore'], timeout: 20000 }).split('\n').map(s => s.trim()).filter(s => s && !/\[Empty\]/i.test(s)); } catch { return []; } };
+// 设备选择：--device <key> > HMIG_HDC_TARGET > 多目标取首个（Windows 的 cmd/PowerShell 没有 `VAR=x cmd` 前缀写法，故补 --device）
+const hdcKey = (argOf('--device', '') || process.env.HMIG_HDC_TARGET || '').trim() || (() => { const t = hdcTargets(); return t.length > 1 ? t[0] : ''; })();
+const sh = (cmd, opt) => execSync(hdcKey && /^hdc\s(?!list\s+targets)/.test(cmd) ? cmd.replace(/^hdc\s/, `hdc -t ${hdcKey} `) : cmd,
+  { encoding: 'utf8', stdio: ['ignore', 'pipe', 'pipe'], timeout: 60000, ...opt }).trim();
+const shOk = (cmd) => { try { return sh(cmd); } catch { return null; } };
+const sleep = (ms) => execSync(process.platform === 'win32' ? `ping -n ${Math.ceil(ms / 1000) + 1} 127.0.0.1 > NUL` : `sleep ${ms / 1000}`);
+const envBlock = (msg) => { console.error(`[smoke] 环境阻塞（exit 3）：${msg}`); process.exit(3); };
+
+// 设备与 hap（无 target 先经 align-sdk --device-only 自动拉起模拟器，拉不起才跳过）
+const hasTarget = () => { const t = shOk('hdc list targets') || ''; return !!t && !/\[Empty\]/i.test(t); };
+if (!hasTarget()) {
+  const ensure = fileURLToPath(new URL('./align-sdk.mjs', import.meta.url));
+  try { execSync(`node "${ensure}" --device-only`, { stdio: 'inherit', timeout: 240000 }); } catch { /* exit 3 走跳过 */ }
+}
+if (!hasTarget()) envBlock('无设备/模拟器（自动拉起未成）');
+let bundle = argOf('--bundle', null);
+if (!bundle) {
+  const appPath = resolve(PROJECT, 'AppScope/app.json5');
+  const app = existsSync(appPath) ? readFileSync(appPath, 'utf8') : '';
+  const m = app.match(/"bundleName"\s*:\s*"([^"]+)"/); bundle = m ? m[1] : null;
+}
+if (!bundle) envBlock('解析不到 bundleName，--bundle 显式给');
+// 入口模块目录从 build-profile 派生（modules[].srcPath 中 module.json5 type=entry 者），不写死 entry
+function entryModule() {
+  try {
+    const bp = readFileSync(bpPath, 'utf8').replace(/\/\/.*$/gm, '');
+    for (const m of bp.matchAll(/["']?srcPath["']?\s*:\s*["']([^"']+)["']/g)) {
+      const mj = resolve(PROJECT, m[1], 'src/main/module.json5');
+      if (existsSync(mj) && /["']?type["']?\s*:\s*["']entry["']/.test(readFileSync(mj, 'utf8'))) return m[1].replace(/^\.\//, '');
+    }
+  } catch { /* 回退默认 */ }
+  return 'entry';
+}
+const bpPath = resolve(PROJECT, 'build-profile.json5');
+const MOD = entryModule();
+const hapDir = resolve(PROJECT, MOD, 'build/default/outputs/default');
+const hap = existsSync(hapDir) ? readdirSync(hapDir).filter(f => f.endsWith('.hap'))
+  .map(f => ({ f, t: statSync(join(hapDir, f)).mtimeMs, size: statSync(join(hapDir, f)).size })).sort((a, b) => b.t - a.t)[0] : null;
+if (!hap) envBlock('无 hap 产物（先构建）');
+// hap 新鲜度：源码任何一处比 hap 新 = 装的是旧包，冒烟结论无效（实测三波"绿"全在测骨架包）
+function newestSrc(dir) {
+  let t = 0;
+  const stack = [dir];
+  while (stack.length) {
+    const d = stack.pop();
+    let es; try { es = readdirSync(d, { withFileTypes: true }); } catch { continue; }
+    for (const e of es) {
+      if (e.name === 'build' || e.name === 'oh_modules' || e.name === 'node_modules' || e.name.startsWith('.')) continue;
+      const p = join(d, e.name);
+      if (e.isDirectory()) stack.push(p);
+      else if (/\.(ets|ts|json5?)$/.test(e.name)) { try { t = Math.max(t, statSync(p).mtimeMs); } catch { /* 忽略 */ } }
+    }
+  }
+  return t;
+}
+const srcNewest = newestSrc(resolve(PROJECT, MOD, 'src/main'));
+if (srcNewest > hap.t + 1000) envBlock(`hap 早于源码（hap ${new Date(hap.t).toISOString()} < 源 ${new Date(srcNewest).toISOString()}）——先构建再冒烟`);
+
+// API 一致性预检：工程 compatibleSdkVersion ≤ 设备 apiversion 才能装——不符时前置报因，
+// 免得落成 install 阶段的天书报错（分发环境高频坑）
+if (existsSync(bpPath)) {
+  const mm = readFileSync(bpPath, 'utf8').match(/"compatibleSdkVersion"\s*:\s*"?(?:[\d.]+\((\d+)\)|(\d+))"?/);
+  const compat = mm ? Number(mm[1] || mm[2]) : null;
+  const devApi = Number((shOk('hdc shell param get const.ohos.apiversion') || '').trim()) || null;
+  if (compat && devApi && devApi < compat) {
+    envBlock(`API 不匹配：设备 apiversion ${devApi} < 工程 compatibleSdkVersion ${compat}——` +
+      `换高版本镜像（Emulator -imageList / -install -osVersion 对应版）或降工程 compatibleSdkVersion 后重试`);
+  }
+  if (compat && devApi) console.log(`[smoke] API 匹配：设备 ${devApi} ≥ 工程 compatible ${compat}`);
+}
+
+// 钩子在场判定（wire-routes 生成物）：透传缺 = 直达不可能；着陆日志缺 = 直达不可证
+const etsRoot = resolve(PROJECT, MOD, 'src/main/ets');
+const readIf = (p) => (existsSync(p) ? readFileSync(p, 'utf8') : '');
+const hasPassthrough = /smokeRoute/.test(readIf(join(etsRoot, 'entryability', 'EntryAbility.ets')));
+const hasLandingLog = /hmigSmoke/.test(readIf(join(etsRoot, 'pages', 'Index.ets')));
+if (ROUTES.length && !(hasPassthrough && hasLandingLog)) {
+  console.log(`[smoke] ▲ 直达钩子不全（EntryAbility 透传:${hasPassthrough ? '有' : '缺'} · Index 着陆日志:${hasLandingLog ? '有' : '缺'}）——路由探针将记 nohook；重跑 wire-routes 补钩子`);
+}
+
+mkdirSync(resolve(OUT), { recursive: true });
+const report = { bundle, hap: { file: hap.f, size: hap.size, mtime: new Date(hap.t).toISOString() }, hooks: { passthrough: hasPassthrough, landingLog: hasLandingLog }, routes: [], crash: null };
+const FAULT_DIR = '/data/log/faultlog/faultlogger/';
+const faultBase = new Set((shOk(`hdc shell "ls ${FAULT_DIR}"`) || '').split(/\s+/).filter(Boolean));
+
+// 装机（看输出不看退出码）+ 冷启
+console.log(`[smoke] install ${hap.f} (${Math.round(hap.size / 1024)}KB, ${report.hap.mtime}) → ${bundle}`);
+const installOk = (out) => out !== null && /success/i.test(out) && !/\[fail\]|failed|error/i.test(out);
+let inst = shOk(`hdc install -r "${join(hapDir, hap.f)}"`);
+// 签名不一致（code 9568332）：设备上残留上一轮不同签名的同包名包，覆盖装必失败且旧包被当结果。
+// 被测应用是迁移产物，卸旧重装是唯一解，自动做并明说；其他失败原因不动设备。
+if (!installOk(inst) && /9568332|sign info inconsistent|signature/i.test(String(inst || ''))) {
+  console.log(`[smoke] 设备上同包名旧包签名不一致（上一轮残留）→ 卸载重装`);
+  shOk(`hdc uninstall ${bundle}`);
+  inst = shOk(`hdc install "${join(hapDir, hap.f)}"`);
+}
+if (!installOk(inst)) envBlock(`装机失败：${String(inst || '(无输出)').trim().slice(-300)}`);
+sh(`hdc shell aa force-stop ${bundle}`);
+// 着陆页是否仍是 wire 骨架占位（判据：route_map 的 pageSourceFile 含占位标记）——2a 冷启落骨架页属预期（只看崩溃与着陆），
+// 路由探针落骨架页=该片没实现（立案）。骨架残留的终审归 check-routes（integration case / final violation）。
+const rmPath = resolve(PROJECT, MOD, 'src/main/resources/base/profile/route_map.json');
+const scaffoldRoutes = new Set();
+if (existsSync(rmPath)) {
+  try {
+    for (const e of (JSON.parse(readFileSync(rmPath, 'utf8')).routerMap || [])) {
+      const pf = resolve(PROJECT, MOD, String(e.pageSourceFile || ''));
+      if (existsSync(pf) && /TODO\(切片\): 页面内容/.test(readFileSync(pf, 'utf8'))) scaffoldRoutes.add(e.name);
+    }
+  } catch { /* 坏 JSON 由构建报错 */ }
+}
+// 首页路由名：Index 壳冷启 push 的 Routes 常量 → Router.ets 里查其字面值（都是 wire-routes 生成的冻结件）。
+// 用途：区分"弹回首页"（bounced，接线/参数问题）与"被应用转发到新页"（forwarded，登录墙等分派链）；取不到时 verdict 保守按弹回。
+let launcher = null;
+try {
+  const ets = resolve(PROJECT, MOD, 'src/main/ets');
+  const c = (readFileSync(resolve(ets, 'pages/Index.ets'), 'utf8').match(/AppRouter\.push\(Routes\.([A-Z0-9_]+)/) || [])[1];
+  const m = c && readFileSync(resolve(ets, 'common/Router.ets'), 'utf8').match(new RegExp(`\\b${c}\\s*=\\s*'([^']+)'`));
+  launcher = m ? m[1] : null;
+} catch { launcher = null; }
+report.launcher = launcher;
+
+function dumpTree() {
+  const p = shOk('hdc shell uitest dumpLayout') || ''; // 输出含落盘路径 …/layout_xxx.json
+  const m = p.match(/\/\S+\.json/);
+  if (!m) return null;
+  const local = resolve(OUT, 'layout.json');
+  if (shOk(`hdc file recv ${m[0]} "${local}"`) === null) return null;
+  try { return JSON.parse(readFileSync(local, 'utf8')); } catch { return null; }
+}
+function countNodes(n) { if (!n || typeof n !== 'object') return { c: 0, texts: [] }; let c = 1; let texts = [];
+  const t = n.attributes && (n.attributes.text || n.attributes.title); if (t && String(t).trim()) texts.push(String(t).trim());
+  for (const k of ['children']) for (const ch of n[k] || []) { const r = countNodes(ch); c += r.c; texts = texts.concat(r.texts); }
+  return { c, texts }; }
+// 着陆子树：栈顶页 = 树中最后一个可见 NavDestination（Navigation 把栈内页按序挂在 NavigationContent 下）
+function landingSubtree(tree) {
+  let last = null, lastVisible = null;
+  (function w(n) {
+    if (!n || typeof n !== 'object') return;
+    const a = n.attributes || {};
+    if (a.type === 'NavDestination') { last = n; if (a.visible !== 'false') lastVisible = n; }
+    for (const ch of n.children || []) w(ch);
+  })(tree);
+  return lastVisible || last;
+}
+function foreground() {
+  const d = shOk('hdc shell aa dump -l') || '';
+  return d.split(/Mission ID #/).some(b => b.includes(`bundle name [${bundle}]`) && /state #FOREGROUND/.test(b));
+}
+const landingLines = () => (shOk('hdc shell "hilog -x -T hmigSmoke"') || '').split('\n').filter(l => /didShow/.test(l));
+
+function probe(route) {
+  const label = route || '(cold-start)';
+  sh(`hdc shell aa force-stop ${bundle}`);
+  const before = new Set(landingLines());
+  sh(`hdc shell aa start -a EntryAbility -b ${bundle}${route ? ` --ps smokeRoute ${route}` : ''}`);
+  sleep(4000);
+  const fg = foreground();
+  const fresh = landingLines().filter(l => !before.has(l));
+  const shown = fresh.map(l => (l.match(/didShow\s+(\S+)/) || [])[1]).filter(Boolean);
+  const landed = shown.length ? shown[shown.length - 1] : null;
+  const tree = dumpTree();
+  const whole = tree ? countNodes(tree).c : -1;
+  const sub = tree ? landingSubtree(tree) : null;
+  const { c, texts } = sub ? countNodes(sub) : (tree ? countNodes(tree) : { c: -1, texts: [] });
+  const shot = join(OUT, `smoke-${route || 'home'}.png`.replace(/[^\w.-]/g, '_'));   // 只清洗文件名，不动目录（Windows 盘符/反斜杠）
+  shOk(`hdc shell uitest screenCap -p /data/local/tmp/smk.png`); shOk(`hdc file recv /data/local/tmp/smk.png "${resolve(shot)}"`);
+  const miss = (EXPECT.get(route || '') || []).filter(t => !texts.some(x => x.includes(t)));
+  // 判定逻辑在 verdict.mjs（纯函数，测试覆盖各分支）
+  const { verdict, bounced, forwarded, failing, why } = probeVerdict({ route, landed, shown, foreground: fg, hasPassthrough, hasLandingLog, nodes: c, nodesMin: NODES_MIN, scaffoldRoutes, missing: miss, launcher });
+  report.routes.push({ route: label, foreground: fg, landed, nodes: c, windowNodes: whole, textCount: texts.length, missing: miss, shot, verdict, failing, ...(bounced ? { bounced: true, shown } : {}), ...(forwarded ? { forwarded: true, shown } : {}) });
+  console.log(`  ${failing ? '▲' : '✓'} ${label}: 着陆 ${landed || '-'} · 页面节点 ${c}（窗口 ${whole}）${miss.length ? ` 缺文本[${miss.join(',')}]` : ''}${why ? ` · ${why}` : ''} → ${shot}`);
+}
+
+probe(null);
+for (const r of ROUTES) probe(r);
+
+// faultlog 复查
+const faultNow = (shOk(`hdc shell "ls -t ${FAULT_DIR}"`) || '').split(/\s+/).filter(Boolean);
+const fresh = faultNow.filter(f => !faultBase.has(f) && new RegExp(bundle.replace(/\./g, '\\.')).test(f));
+if (fresh.length) {
+  const stack = (shOk(`hdc shell "cat ${FAULT_DIR}${fresh[0]}"`) || '').split('\n').slice(0, 40).join('\n');
+  report.crash = { file: fresh[0], stackHead: stack };
+  console.log(`✗ 冒烟期间崩溃：${fresh[0]}\n${stack.split('\n').filter(l => /Error|at |Reason/.test(l)).slice(0, 8).join('\n')}`);
+}
+
+const jsonOut = argOf('--json', null);
+if (jsonOut) { mkdirSync(dirname(resolve(jsonOut)), { recursive: true }); writeFileSync(resolve(jsonOut), JSON.stringify(report, null, 2)); }
+const bad = report.routes.filter(r => r.failing);
+if (report.crash) process.exit(10);
+if (bad.length) {
+  const tally = {}; for (const r of bad) tally[r.verdict] = (tally[r.verdict] || 0) + 1;
+  console.log(`[smoke] ${bad.length} 页未过（${Object.entries(tally).map(([k, v]) => `${k}×${v}`).join(' ')}）：misland/nohook=接线问题（透传·钩子·route_map 注册），bounced=推入即弹回（参数判型/pop 防御），scaffold=片未实现（only 续跑该片），forwarded=应用自身转发链（登录墙/引导页，不派修，4b 走查），hollow=页面空壳或空态（case，回模型裁决），nodump=控件树没取到（查 uitest/hdc 后重跑）`);
+  process.exit(2);
+}
+console.log('[smoke] 全绿（装机成功·前台·着陆核对·页面子树均过）');
+process.exit(0);

package/skills/migrate-core/scripts/smoke/verdict.mjs

@@ -0,0 +1,31 @@
+// 冒烟探针判定（纯函数）：smoke.mjs 与测试共用——探针本身要设备，判定逻辑抽出来才能无设备覆盖各分支。
+// 输入全是探针已取到的事实（前台、着陆序列、节点数、期望文本缺失），输出裁决与人读原因。
+export function probeVerdict({ route, landed, shown = [], foreground, hasPassthrough, hasLandingLog, nodes, nodesMin, scaffoldRoutes = new Set(), missing = [], launcher = null }) {
+  // 曾着陆目标页、随后又出现别的着陆记录：两种成因要分开——
+  //   弹回（bounced）：落回首页/navBar 或目标之前已出现过的页 = 推入后 pop 回栈底（典型：参数判型失败即 back() 的防御逻辑；实证编辑页永远打不开）
+  //   转发（forwarded）：目标之后才首次出现、且不是首页/navBar 的新页 = 应用自身的分派链（登录墙/引导页），不是接线问题
+  //     （实证：Main→PgLogin 登录分派被判 misland 派修 9 分钟，修复代理只做了豁免）。首页未知时不认转发，一律按弹回（保守）。
+  const visited = !!route && landed !== route && shown.includes(route);
+  const forwarded = visited && !!launcher && landed !== launcher && landed !== 'navBar' && shown.indexOf(landed) > shown.indexOf(route);
+  const bounced = visited && !forwarded;
+  let verdict = 'ok';
+  if (!foreground) verdict = 'not-foreground';
+  else if (route && !(hasPassthrough && hasLandingLog)) verdict = 'nohook';
+  else if (route && landed !== route) verdict = bounced ? 'bounced' : forwarded ? 'forwarded' : 'misland';
+  if (verdict === 'ok' && nodes >= 0 && nodes < nodesMin) verdict = (landed && scaffoldRoutes.has(landed)) ? 'scaffold' : 'hollow';
+  // 控件树没拿到（dumpLayout/recv 失败）不能当绿：没有证据的页记 nodump（立案），否则空壳页会假绿
+  if (verdict === 'ok' && nodes < 0) verdict = 'nodump';
+  if (missing.length) verdict = verdict === 'ok' ? 'expect-miss' : verdict + '+expect-miss';
+  // 冷启落骨架页（2a 首屏冒烟）属预期，不计失败；路由探针落骨架页=该片没实现，计失败
+  const failing = verdict !== 'ok' && !(verdict === 'scaffold' && !route);
+  const base = verdict.replace(/\+expect-miss$/, '');
+  const why = base === 'bounced' ? `曾着陆 ${route} 随后自动弹回到 ${landed || '(无)'}（多为参数判型失败即 back()/pop 的防御逻辑——参数经序列化后 instanceof 恒 false）`
+    : base === 'forwarded' ? `着陆 ${route} 后被应用自身转发到 ${landed}（登录墙/引导/分派页），非接线问题——不派修，4b 沿该转发链走查`
+    : base === 'misland' ? `着陆 ${landed || '(无着陆日志)'} ≠ ${route}`
+    : base === 'not-foreground' ? '目标 bundle 不在前台'
+    : base === 'nohook' ? '缺直达钩子'
+    : base === 'scaffold' ? (route ? '仍是骨架占位页（片未实现）' : '骨架占位页（2a 预期）')
+    : base === 'nodump' ? '控件树未取到（uitest dumpLayout/recv 失败），无页面证据'
+    : '';
+  return { verdict, bounced, forwarded, failing, why };
+}