deveco_hmigbot 0.1.0

package/skills/migrate-core/scripts/closure/check-stubs.mjs

@@ -0,0 +1,69 @@
+#!/usr/bin/env node
+/**
+ * check-stubs.mjs — 未落地交互/属性桩检查（补门禁盲区：TODO 桩能编译、能过闭合，但按钮是死的）。
+ *
+ * 病根：transpile-layout 把无法直译的属性留成 `// TODO(attrs): ... onClick="X" ...` 注释，交由切片实现期接。
+ * 若实现期没接，组件就是死按钮（点击无反应）——却过 build（注释能编译）、过闭合（无悬空引用）、
+ * 过运行时走查（没测到那个交互）。实测应用科学键盘 49 个按钮全桩住即此类。
+ *
+ * 判据（确定性、任何阶段都错 → violation）：某 `TODO(attrs)` 注释声明了 onClick="handler"，
+ *   但其所属组件的方法链里**没有真实 `.onClick(`** → 死交互。前瞻窗口内见到 `.onClick(` 则视为已接、放过。
+ * 非交互属性桩（fontFamily/background 等未落地）→ case（外观债，集成/收尾阶段裁决）。
+ *
+ * 用法：check-stubs.mjs --project <鸿蒙工程根> [--json out]　退出码：0 无死交互 / 10 有 / 3 用法错
+ */
+import { readFileSync, writeFileSync, existsSync, mkdirSync } from 'node:fs';
+import { join, relative, resolve, dirname } from 'node:path';
+import { walkFiles } from '../lib/scan.mjs';
+
+const argv = process.argv.slice(2);
+const argOf = (n, d) => { const i = argv.indexOf(n); return i >= 0 && argv[i + 1] ? argv[i + 1] : d; };
+const PROJECT = argOf('--project', null);
+if (!PROJECT) { console.error('usage: check-stubs.mjs --project <root> [--json out]'); process.exit(3); }
+
+// ArkUI 源根：优先 entry/src/main/ets，兜底工程根（排除 build/产物）
+const CAND = ['entry/src/main/ets', 'src/main/ets'];
+let SRC = resolve(PROJECT);
+for (const c of CAND) { const p = join(resolve(PROJECT), c); if (existsSync(p)) { SRC = p; break; } }
+const rel = f => relative(resolve(PROJECT), f).replace(/\\/g, '/');
+const SKIP = /(^|\/)(build|node_modules|oh_modules|\.hvigor|\.cxx)(\/|$)/;
+
+const findings = [];
+let files = 0, dead = 0, attrCases = 0, markers = 0;   // markers=转译桩总数：0 = 本门不适用（Compose 源/手写页面没有 TODO(attrs)），不是"无死交互"
+for (const f of walkFiles(SRC, { match: (_p, e) => e.endsWith('.ets') })) {
+  if (SKIP.test(rel(f))) continue;
+  files++;
+  const lines = readFileSync(f, 'utf8').split('\n');
+  for (let i = 0; i < lines.length; i++) {
+    if (!lines[i].includes('TODO(attrs)')) continue;
+    markers++;
+    const m = lines[i].match(/onClick=["']?([A-Za-z_$][\w$]*)["']?/);
+    if (m) {
+      // 前瞻：该组件方法链内是否已接真实 .onClick( ；遇下一个元素标记（⚓/TODO）即停
+      let implemented = false;
+      for (let j = i + 1; j < Math.min(i + 16, lines.length); j++) {
+        if (/\.onClick\s*\(/.test(lines[j]) || /\.onClick\b/.test(lines[j])) { implemented = true; break; }
+        if (j > i + 1 && /\/\/\s*(⚓|TODO\()/.test(lines[j])) break;
+      }
+      if (!implemented) {
+        dead++;
+        findings.push({ severity: 'violation', type: 'dead_interaction', name: m[1], file: rel(f), line: i + 1,
+          evidence: `${rel(f)}:${i + 1} 声明 onClick="${m[1]}" 但组件未接 .onClick()——死按钮（点击无反应），实现期漏接` });
+      }
+    } else {
+      attrCases++;
+      findings.push({ severity: 'case', type: 'attr_stub', name: 'attrs', file: rel(f), line: i + 1,
+        evidence: `${rel(f)}:${i + 1} 未落地的样式属性桩（外观债，需裁决：补样式或豁免）` });
+    }
+  }
+}
+
+const report = { project: relative(process.cwd(), resolve(PROJECT)) || '.', stats: { files, markers, applicable: markers > 0, deadInteractions: dead, attrStubs: attrCases }, findings };
+const out = argOf('--json', null);
+if (out) { mkdirSync(dirname(resolve(out)), { recursive: true }); writeFileSync(out, JSON.stringify(report, null, 2)); }
+const vio = findings.filter(f => f.severity === 'violation');
+console.log(`[check-stubs] 扫 ${files} 个 .ets · 死交互 ${dead} · 样式桩 ${attrCases}`);
+for (const v of vio.slice(0, 12)) console.log(`  ✗ ${v.evidence}`);
+if (vio.length > 12) console.log(`  …共 ${vio.length} 条死交互`);
+if (!vio.length) console.log(markers ? '  ✓ 转译桩里无未接的 onClick 死交互' : '  · 无转译桩（TODO(attrs)）——本门不适用，模型自写组件的点击死只能靠 4b 走查的 tapsNoChange 发现');
+process.exit(vio.length ? 10 : 0);

package/skills/migrate-core/scripts/closure/closure-suite.mjs

@@ -0,0 +1,256 @@
+#!/usr/bin/env node
+/**
+ * closure-suite.mjs — 闭合检查套件统一入口（时机学说的执行者）。
+ *
+ * 检查带阶段属性，什么阶段跑什么：
+ *   slice       切片收尾：资源悬空 + 路由硬违规（ghost）——"任何时候都错"的类别；软立案此阶段不计
+ *   integration 集成闭合：全量三检查（路由含 orphan/dead/unreachable 立案 + 消费对账 + 资源）
+ *   final       收尾：同 integration 且 --strict（软立案也阻断，逼裁决清零或豁免）
+ *
+ * 用法：node closure-suite.mjs --project <鸿蒙工程根> --stage slice|integration|final
+ *       [--json out] [--profile p.json] [--waivers spec/closure-waivers.json]
+ *       [--manifest spec/interface-manifest.json] [--idioms <写法表>] [--ledger <ledger.json>] [--prd <PRD 文件>]
+ * 退出码：0 通过 / 10 有硬违规 / 2 final 阶段有未裁决立案 / 3 环境错
+ * 豁免票：--waivers 文件里的票吸收同 type 软立案（精确票 name；模式票 match 须附 sampled ≥3 条实例证据），
+ *         票的 reason ≥20 字；final 阶段只对未被有效票吸收的立案计 exit 2。
+ */
+import { readFileSync, writeFileSync, mkdtempSync, existsSync, mkdirSync, statSync, realpathSync } from 'node:fs';
+import { join, dirname, resolve, relative } from 'node:path';
+import { tmpdir } from 'node:os';
+import { spawnSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+import { moduleSrcRoots, walkFiles, stripComments } from '../lib/scan.mjs';
+
+const HERE = dirname(fileURLToPath(import.meta.url));
+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);
+const STAGE = argOf('--stage', 'integration');
+const OUT = argOf('--json', null);
+const PROFILE = argOf('--profile', null);
+if (!PROJECT || !['slice', 'integration', 'final'].includes(STAGE)) {
+  console.error('usage: closure-suite.mjs --project <root> --stage slice|integration|final [--json out] [--profile p.json] [--waivers f] [--manifest f] [--idioms f] [--ledger f] [--prd f]');
+  process.exit(3);
+}
+const tmp = mkdtempSync(join(tmpdir(), 'closure-'));
+// 子工具崩溃/超时/报告缺失绝不静默当"通过"——记 tool_error 硬违规（吞错=最危险的假阴）
+function runTool(script, extra = []) {
+  const jf = join(tmp, script.replace(/\W/g, '_') + '.json');
+  const args = [join(HERE, script), '--project', PROJECT, '--json', jf, ...extra];
+  if (PROFILE) args.push('--profile', PROFILE);
+  const r = spawnSync(process.execPath, args, { encoding: 'utf8', timeout: 180000 });
+  let rep = null;
+  try { rep = JSON.parse(readFileSync(jf, 'utf8')); } catch { rep = null; }
+  const ranOk = rep && Array.isArray(rep.findings) && (r.status === 0 || r.status === 10 || r.status === 2);
+  const toolError = ranOk ? null : {
+    severity: 'violation', type: 'tool_error', name: script,
+    basis: '判据：闭合子工具未产出有效报告（崩溃/超时/退出码异常）——检查结果不可信，必须先修工具',
+    evidence: `${script} exit=${r.status === null ? 'timeout/killed' : r.status}；stderr: ${(r.stderr || '').trim().slice(0, 300) || '(空)'}`,
+  };
+  return { code: r.status, rep: ranOk ? rep : null, toolError, out: (r.stdout || '').trim().split('\n').slice(0, 3).join(' | ') };
+}
+// 跑 closure 目录外的检查器（如 interface.mjs），自带 --json 写临时文件供解析
+function runTool2(scriptPath, args) {
+  const jf = join(tmp, scriptPath.replace(/\W/g, '_') + '.json');
+  const r = spawnSync(process.execPath, [scriptPath, ...args, '--json', jf], { encoding: 'utf8', timeout: 180000 });
+  let rep = null;
+  try { rep = JSON.parse(readFileSync(jf, 'utf8')); } catch { rep = null; }
+  const ranOk = rep && Array.isArray(rep.findings) && (r.status === 0 || r.status === 10);
+  const toolError = ranOk ? null : { severity: 'violation', type: 'tool_error', name: scriptPath, basis: '判据：子工具未产出有效报告', evidence: `${scriptPath} exit=${r.status === null ? 'timeout/killed' : r.status}；stderr: ${(r.stderr || '').trim().slice(0, 300) || '(空)'}` };
+  return { code: r.status, rep: ranOk ? rep : null, toolError };
+}
+
+const results = [];
+const toolErrors = [];
+const routes = runTool('check-routes.mjs', ['--stage', STAGE]);
+if (routes.toolError) toolErrors.push(routes.toolError);
+const routeVio = routes.rep ? routes.rep.findings.filter(f => f.severity === 'violation') : [];
+const routeCases = routes.rep ? routes.rep.findings.filter(f => f.severity === 'case') : [];
+results.push({ tool: 'routes', violations: routeVio.length, cases: STAGE === 'slice' ? `(${routeCases.length} 条软立案，本阶段不计)` : routeCases.length });
+
+const res = runTool('check-resources.mjs');
+if (res.toolError) toolErrors.push(res.toolError);
+const resVio = res.rep ? res.rep.findings.filter(f => f.severity === 'violation') : [];
+const resCases = res.rep ? res.rep.findings.filter(f => f.severity === 'case') : [];
+results.push({ tool: 'resources', violations: resVio.length, cases: STAGE === 'slice' ? `(${resCases.length} 条软立案，本阶段不计)` : resCases.length });
+
+let consFindings = [];
+let stubVio = [], stubCases = [], permVio = [], permCases = [], guardVio = [], guardCases = [], saCases = [], ancCases = [];
+if (STAGE !== 'slice') {
+  // --idioms <file>：透传给 check-consumers（数据驱动的写法表覆盖——项目私有 helper 名与
+  // 泛型 prefs API 撞名时按项目覆盖，改数据不改代码）。
+  const idiomsFile = argOf('--idioms', null);
+  const cons = runTool('check-consumers.mjs', idiomsFile ? ['--idioms', idiomsFile] : []);
+  if (cons.toolError) toolErrors.push(cons.toolError);
+  consFindings = cons.rep ? cons.rep.findings : [];
+  results.push({ tool: 'consumers', violations: 0, cases: consFindings.length });
+
+  // 未落地交互桩：TODO(attrs) 声明了 onClick 但组件没接 → 死按钮（硬违规）。只在集成/收尾跑——
+  // 切片阶段别的未实现片仍是原始桩，会误伤；集成期"该接的都接了吗"才是正确时机。样式桩记软立案。
+  const stubs = runTool('check-stubs.mjs');
+  if (stubs.toolError) toolErrors.push(stubs.toolError);
+  stubVio = stubs.rep ? stubs.rep.findings.filter(f => f.severity === 'violation') : [];
+  stubCases = stubs.rep ? stubs.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'stubs', violations: stubVio.length, cases: stubCases.length });
+
+  // 权限完整性：用到要权限的 API 但 module.json5 没声明 → 真机能力失效/崩（硬违规）。
+  const perms = runTool('check-permissions.mjs');
+  if (perms.toolError) toolErrors.push(perms.toolError);
+  permVio = perms.rep ? perms.rep.findings.filter(f => f.severity === 'violation') : [];
+  // 契约链断环/静默降级为软立案（final 阶段裁决）——能力"声明齐但运行时静默死"类
+  permCases = perms.rep ? perms.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'permissions', violations: permVio.length, cases: permCases.length });
+
+  // 崩溃防护：同步会抛的平台 API 未 try/catch → 未捕获异常杀进程（硬违规）。
+  const guards = runTool('check-api-guards.mjs');
+  if (guards.toolError) toolErrors.push(guards.toolError);
+  guardVio = guards.rep ? guards.rep.findings.filter(f => f.severity === 'violation') : [];
+  // 立案：async 体/Promise 回调内裸调（静默失败档）、@Builder 裸引用等——final 阶段裁决
+  guardCases = guards.rep ? guards.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'api-guards', violations: guardVio.length, cases: guardCases.length });
+
+  // 布局保真度（安全区）：edge-to-edge 页顶部避让脆弱 → 顶部重合。概率性、非确定性坏，故记**软立案**
+  // （final 阶段裁决：真重合就修、时序稳则豁免），绝不设硬违规——避免假阳性让模型循环修。
+  const sa = runTool('check-safearea.mjs');
+  if (sa.toolError) toolErrors.push(sa.toolError);
+  saCases = sa.rep ? sa.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'safearea', violations: 0, cases: saCases.length });
+
+  // 字面锚点：断言/PRD 引用的稳定 id 与可见文本，产物里须真有（只软立案——字面匹配有天然误报；
+  // 实证基准 13 条失败 11 条属此类）。--ledger 缺省 <project>/spec/ledger/ledger.json；--prd 缺省按断言锚点自动定位；都没有就空跑。
+  const anchorExtra = [];
+  const ledgerArg = argOf('--ledger', null), prdArg = argOf('--prd', null);
+  if (ledgerArg) anchorExtra.push('--ledger', ledgerArg);
+  if (prdArg) anchorExtra.push('--prd', prdArg);
+  const anc = runTool('check-anchors.mjs', anchorExtra);
+  if (anc.toolError) toolErrors.push(anc.toolError);
+  ancCases = anc.rep ? anc.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'anchors', violations: 0, cases: ancCases.length });
+}
+
+// 跨切片接口一致性（契约靠派生）：--manifest 提供时，下游对地基 import 必须对齐 manifest。
+// 漂移=硬违规（确定性、任何阶段都错）——把契约冲突从末端 verify 降到检查点。地基未建（无 manifest）时跳过。
+let ifaceVio = [], ifaceCases = [];
+const MANIFEST = argOf('--manifest', null);
+if (MANIFEST && existsSync(MANIFEST)) {
+  const iface = runTool2(join(HERE, '..', 'interface', 'interface.mjs'), ['check', '--project', PROJECT, '--manifest', MANIFEST]);
+  if (iface.toolError) toolErrors.push(iface.toolError);
+  ifaceVio = iface.rep ? iface.rep.findings.filter(f => f.severity === 'violation') : [];
+  // manifest 过期（下游 import 与真实导出一致、只是快照没跟上）=立案：重跑 extract 即消，不是下游漂移
+  ifaceCases = iface.rep ? iface.rep.findings.filter(f => f.severity === 'case') : [];
+  results.push({ tool: 'interface', violations: ifaceVio.length, cases: ifaceCases.length });
+}
+
+// ---- 死文件（结构判据：引用图）：ets 树里既没被任何相对 import 引用、也不在路由表/页面表/ability 入口/worker 清单里的 .ets/.ts ----
+// 实证 45 工程：244 份转译骨架 244 份从未被引用（现已改为参考件不进工程）、antennapod 终检删了 10 个孤儿骨架页；死文件里的
+// 悬空资源/样式桩每一波都要模型裁决。规则不看目录名：引用来源只认平台自己的登记表（route_map.pageSourceFile、main_pages.src、
+// module.json5 srcEntry、build-profile workers）与源码 import。非 final 阶段把死文件内的立案/违规降为 info；final 记 dead_file 硬违规。
+const deadFiles = [];
+{
+  const norm = (x) => String(x).replace(/\\/g, '/');
+  const P = resolve(PROJECT); const relP = (f) => norm(relative(P, f));
+  const exists = (f) => { try { return statSync(f).isFile(); } catch { return false; } };
+  // 引用键统一取真实路径（macOS/Windows 文件系统大小写不敏感：import '../feedback' 能解析到 Index.ets，键必须按盘上真实大小写比）
+  const key = (f) => { try { return realpathSync.native(f); } catch { return resolve(f); } };
+  const resolveImport = (from, spec) => { const base = resolve(dirname(from), spec); for (const c of [base, base + '.ets', base + '.ts', join(base, 'index.ets'), join(base, 'index.ts')]) if (exists(c)) return c; return null; };
+  const referenced = new Set(); const all = [];
+  for (const etsRoot of moduleSrcRoots(P)) {
+    const mainDir = dirname(etsRoot), modRoot = dirname(dirname(mainDir));
+    const files = [...walkFiles(etsRoot, { match: (_p, e) => e.endsWith('.ets') || e.endsWith('.ts') })];
+    all.push(...files);
+    for (const f of files) {
+      let code; try { code = stripComments(readFileSync(f, 'utf8')); } catch { continue; }
+      for (const m of code.matchAll(/(?:from\s+|import\s*\(?\s*)['"](\.[^'"]+)['"]/g)) { const t = resolveImport(f, m[1]); if (t) referenced.add(key(t)); }
+    }
+    const addIf = (f) => { if (f && exists(f)) referenced.add(key(f)); };
+    // 平台登记表
+    const rm = join(mainDir, 'resources', 'base', 'profile', 'route_map.json');
+    if (exists(rm)) { try { for (const r of JSON.parse(readFileSync(rm, 'utf8')).routerMap || []) if (r.pageSourceFile) addIf(join(modRoot, r.pageSourceFile)); } catch { /* 坏 JSON 由路由门报 */ } }
+    const mj = join(mainDir, 'module.json5');
+    const mjText = exists(mj) ? stripComments(readFileSync(mj, 'utf8')) : '';
+    for (const m of mjText.matchAll(/["']srcEntry["']\s*:\s*["']([^"']+)["']/g)) addIf(join(mainDir, m[1]));
+    // 页面表文件名取 module.json5 的 "pages": "$profile:<名>"（不写死 main_pages）
+    for (const m of mjText.matchAll(/["']pages["']\s*:\s*["']\$profile:([^"']+)["']/g)) {
+      const mp = join(mainDir, 'resources', 'base', 'profile', m[1] + '.json');
+      if (exists(mp)) { try { for (const src of JSON.parse(readFileSync(mp, 'utf8')).src || []) addIf(join(etsRoot, src + '.ets')); } catch { /* 坏 JSON 由路由门报 */ } }
+    }
+    const bp = join(modRoot, 'build-profile.json5');
+    if (exists(bp)) { const t = stripComments(readFileSync(bp, 'utf8')); const w = t.match(/["']workers["']\s*:\s*\[([^\]]*)\]/); if (w) for (const m of w[1].matchAll(/["']([^"']+)["']/g)) addIf(join(modRoot, m[1])); }
+  }
+  for (const f of all) if (!referenced.has(key(f))) deadFiles.push(relP(f));
+}
+const deadSet = new Set(deadFiles);
+const fileOf = (x) => String(x.file || (String(x.evidence || '').match(/^([^\s:]+\.(?:ets|ts))/) || [])[1] || '').replace(/\\/g, '/');
+const inDead = (x) => deadSet.has(fileOf(x));
+const demote = (arr) => arr.filter(x => { if (!inDead(x)) return true; x.severity = 'info'; x.demoted = 'dead_file'; return false; });
+for (const arr of [routeVio, resVio, ifaceVio, stubVio, permVio, guardVio, routeCases, resCases, consFindings, stubCases, permCases, guardCases, saCases, ancCases, ifaceCases]) arr.splice(0, arr.length, ...demote(arr));
+const deadFindings = STAGE === 'final' ? deadFiles.map(f => ({ severity: 'violation', type: 'dead_file', name: f.replace(/^.*\//, '').replace(/\.(ets|ts)$/, ''), file: f,
+  basis: '判据：该文件不在任何相对 import、route_map.pageSourceFile、main_pages.src、module.json5 srcEntry、build-profile workers 里——不在任何渲染/执行路径上',
+  evidence: `${f} 无任何引用；交付物不带死代码：删除它（其 $r 悬空引用与样式桩随之消失），确需保留则让真正的页面/组件 import 它` })) : [];
+// 降级后重算各工具计数行（行是在降级前 push 的）
+const recount = { routes: [routeVio, routeCases], resources: [resVio, resCases], consumers: [[], consFindings], stubs: [stubVio, stubCases], permissions: [permVio, permCases], 'api-guards': [guardVio, guardCases], safearea: [[], saCases], anchors: [[], ancCases], interface: [ifaceVio, ifaceCases] };
+for (const r of results) { const pair = recount[r.tool]; if (pair && typeof r.cases === 'number') { r.violations = pair[0].length; r.cases = pair[1].length; } }
+if (deadFiles.length) results.push({ tool: 'dead-files', violations: deadFindings.length, cases: `${deadFiles.length} 个未被引用的 .ets/.ts${STAGE === 'final' ? '（final 记 dead_file 硬违规）' : '（其内立案/违规已降 info）'}` });
+
+const violations = [...toolErrors, ...routeVio, ...resVio, ...ifaceVio, ...stubVio, ...permVio, ...guardVio, ...deadFindings];
+const rawCases = STAGE === 'slice' ? [] : [...routeCases, ...resCases, ...consFindings, ...stubCases, ...permCases, ...guardCases, ...saCases, ...ancCases, ...ifaceCases];
+
+// ---- 豁免票（--waivers <file>）：软立案裁决落盘且可核，批量豁免有门槛 ----
+// 实证：550 条软立案被 4 张自写批量票全豁免。规则：每票 type + reason(≥20 字) + （name 精确 | match 正则）；
+// 模式票（match）必须附 sampled ≥3 条逐条核过的实例证据，否则票无效；票只吸收同 type 的立案。
+// 格式：{ "waivers": [ { "type": "attr_stub", "match": "^layouts/", "reason": "...", "sampled": ["layouts/a.ets:12 …", …] },
+//                     { "type": "orphan_route", "name": "DeepLinkEntry", "reason": "深链入口，无静态跳转属合法" } ] }
+const WAIVERS = argOf('--waivers', null);
+const waiverStat = { file: WAIVERS, valid: 0, invalid: [], absorbed: 0, byTicket: [] };
+let cases = rawCases;
+if (WAIVERS && existsSync(WAIVERS)) {
+  let entries = [];
+  try { const w = JSON.parse(readFileSync(WAIVERS, 'utf8')); entries = Array.isArray(w) ? w : (w.waivers || []); } catch { waiverStat.invalid.push('文件解析失败'); }
+  const tickets = [];
+  for (const e of entries) {
+    const label = `${e.type || e.id || e.title || '?'}:${e.match || e.name || '?'}`;
+    if (!e.type || !(e.match || e.name)) { waiverStat.invalid.push(`${label}（缺 type 或 name/match）`); continue; }
+    if (typeof e.reason !== 'string' || e.reason.trim().length < 20) { waiverStat.invalid.push(`${label}（reason 不足 20 字）`); continue; }
+    if (e.match && !(Array.isArray(e.sampled) && e.sampled.length >= 3)) { waiverStat.invalid.push(`${label}（模式票须附 sampled ≥3 条实例证据）`); continue; }
+    let re = null; if (e.match) { try { re = new RegExp(e.match); } catch { waiverStat.invalid.push(`${label}（match 非法正则）`); continue; } }
+    // 无界票：能匹配任意乱序 token 的正则（.* / .+ / ^ / [\s\S]*）等于豁免整个 type——实证一轮 3 张 .* 票吸收 72 条
+    if (re && ['zq9x7k2wv4nm', 'QX-mt_88Kd', '乱序票核'].every(t => re.test(t))) { waiverStat.invalid.push(`${label}（match 无界：能匹配任意文本，票等于豁免整个 ${e.type}）`); continue; }
+    // 模式票的 sampled 必须指向本次报告里真实存在的立案（name 或 file:line 出现在 sampled 文本里）≥3 条——抄名单不算证据
+    if (re) {
+      const pool = rawCases.filter(c => c.type === e.type);
+      const realHit = (e.sampled || []).filter(sm => pool.some(c => (c.name && String(sm).includes(String(c.name))) || (c.file && String(sm).includes(`${c.file}:${c.line}`)) || (c.file && c.line == null && String(sm).includes(c.file))));
+      if (new Set(realHit).size < 3) { waiverStat.invalid.push(`${label}（sampled 里对得上本次立案的只有 ${new Set(realHit).size} 条，须 ≥3 条真实立案的 name 或 file:line）`); continue; }
+    }
+    tickets.push({ label, type: e.type, re, name: e.name, absorbed: 0 });
+  }
+  waiverStat.valid = tickets.length;
+  cases = rawCases.filter(c => {
+    const key = `${c.name || c.key || ''} ${c.file || ''} ${c.evidence || ''}`;
+    const hit = tickets.find(t => t.type === c.type && (t.re ? t.re.test(key) : t.name === (c.name || c.key)));
+    if (hit) { hit.absorbed++; waiverStat.absorbed++; return false; }
+    return true;
+  });
+  waiverStat.byTicket = tickets.map(t => ({ ticket: t.label, absorbed: t.absorbed }));
+}
+const summary = { project: PROJECT, stage: STAGE, violations, cases, results, ...(WAIVERS ? { waivers: waiverStat } : {}) };
+if (OUT) { mkdirSync(dirname(resolve(OUT)), { recursive: true }); writeFileSync(OUT, JSON.stringify(summary, null, 2)); }
+
+console.log(`[closure-suite] stage=${STAGE}`);
+for (const r of results) console.log(`  ${r.tool}: 硬违规 ${r.violations} · 立案 ${r.cases}`);
+if (WAIVERS) {
+  console.log(`  豁免票：有效 ${waiverStat.valid} 张吸收 ${waiverStat.absorbed} 条${waiverStat.byTicket.length ? '（' + waiverStat.byTicket.map(t => `${t.ticket}→${t.absorbed}`).join('；') + '）' : ''}${waiverStat.invalid.length ? `；无效票 ${waiverStat.invalid.length}：${waiverStat.invalid.join('，')}` : ''}`);
+}
+for (const v of violations.slice(0, 10)) console.log(`  ✗ ${v.type || ''} ${v.name || ''} ${v.evidence || ''}`.slice(0, 160));
+// 立案全部按类型分组打出（名字 + 证据首句），模型据此直接裁决/写票，不必再去翻 JSON（实证：一次跑里 4 次 node -e 读报告）
+if (STAGE !== 'slice' && cases.length) {
+  const byType = new Map(); for (const c of cases) { if (!byType.has(c.type)) byType.set(c.type, []); byType.get(c.type).push(c); }
+  let budget = 80;
+  for (const [t, arr] of byType) {
+    console.log(`  ▲ ${t} ×${arr.length}`);
+    for (const c of arr) { if (budget-- <= 0) { console.log(`    …（其余见 --json 报告）`); break; } console.log(`    - [${c.name || c.key}] ${String(c.evidence || '').replace(/\s+/g, ' ').slice(0, 130)}`); }
+  }
+}
+const exitCode = violations.length ? 10 : (STAGE === 'final' && cases.length ? 2 : 0);
+console.log(exitCode === 0 ? '  ✓ 本阶段闭合' : exitCode === 2 ? `  ✋ final 阶段有 ${cases.length} 条立案未裁决（去裁决：修复或豁免）` : '  ✗ 有硬违规');
+process.exit(exitCode);

package/skills/migrate-core/scripts/closure/idioms.json

@@ -0,0 +1,105 @@
+{
+  "version": "0.1.2",
+  "_doc": "闭合检查器的写法知识表（数据即语料：新写法加条目→过 benchmarks→发版，不改检查器代码）。每次修订必须跑 benchmarks/run.mjs 全绿。",
+  "nav": {
+    "pushApis": [
+      "pushPathByName",
+      "replacePathByName",
+      "pushDestinationByName"
+    ],
+    "pushObjApis": [
+      "pushDestination",
+      "pushDestinationByName",
+      "pushPath"
+    ],
+    "registrationVars": [
+      "name",
+      "routeName",
+      "destName"
+    ],
+    "registrationMarker": ".navDestination(",
+    "patternPrefixMinLen": 2
+  },
+  "pageRouter": {
+    "pushApis": [
+      "pushUrl",
+      "replaceUrl"
+    ],
+    "profileFile": "main_pages.json"
+  },
+  "prefs": {
+    "writeApis": [
+      "putSync",
+      "put",
+      "setOrCreate",
+      "setAndProp",
+      "setAndLink",
+      "set",
+      "setStr",
+      "setInt",
+      "setBool",
+      "setLong",
+      "setFloat",
+      "putString",
+      "putInt",
+      "putBoolean",
+      "putLong",
+      "putFloat",
+      "putStringSet"
+    ],
+    "readApis": [
+      "getSync",
+      "get",
+      "has",
+      "hasSync",
+      "link",
+      "prop",
+      "getStr",
+      "getInt",
+      "getBool",
+      "getLong",
+      "getFloat",
+      "getString",
+      "getBoolean",
+      "getStringSet",
+      "getOptionalString",
+      "getOptionalInt",
+      "getOptionalBool",
+      "getOptionalLong",
+      "getOptionalFloat",
+      "getOptional"
+    ],
+    "deleteApis": [
+      "deleteSync",
+      "delete"
+    ],
+    "strongApis": [
+      "putSync",
+      "getSync",
+      "setOrCreate",
+      "hasSync",
+      "deleteSync"
+    ],
+    "recvHint": "pref|storage|store|settings|config|kv",
+    "persistKeyShape": "^[a-z][a-z0-9_.-]{3,63}$"
+  },
+  "wrappers": {
+    "excludeFnNames": [
+      "if",
+      "for",
+      "while",
+      "switch",
+      "catch",
+      "constructor",
+      "return"
+    ],
+    "componentDecorators": "@(Component|ComponentV2|Entry|CustomDialog|Reusable|Builder)\\b",
+    "chainRounds": 3
+  },
+  "risk": {
+    "keywords": "auth|pay|vip|push|share|oauth|crypto|wallet|login|会员|支付|登录|鉴权|推送|分享"
+  },
+  "plan": {
+    "unitIdPattern": "u-[a-z0-9-]+"
+  }
+}