fix(miniapp): 修复 2 个页面 WXML 结构缺陷,并补第 15 项门禁(WXML 结构守卫)

现象:微信开发者工具报
  [ WXML 文件编译错误] ./pages/service-history/service-history.wxml
  get tag end without start, near `</`

真实缺陷(实测 2 处,非 1 处):
- pages/service-history/service-history.wxml 多 1 个 </view>
- pages/service-program/service-program.wxml  多 1 个 </view>
(均为单行压缩写法,随更早提交入库;全仓另外 84 个 WXML 结构自洽)

根因不是这两个文件写错,而是**门禁覆盖盲区**:
既有 14 项 UI 契约全是「源码内容 / 清单断言」,没有任何一条会解析 WXML,
所以「14/14 全绿」与「小程序能不能编译」之间没有因果关系。

修复:
1. 删掉两处多余闭合标签 → 86 个 WXML 结构全部自洽。
2. 新增 scripts/lib/wxml-structure.mjs:按**引号状态机**逐字符扫描标签。
   不能用懒惰正则 —— 属性值里可以合法出现 `>`(`subtitle="{{unreadTotal > 0 ? ...}}"`),
   正则会在引号内的 `>` 处提前收尾,把自闭合标签的 `/` 读掉,报出假阳性。
   (首版实现即踩此坑,曾把合法的 messages.wxml 误判为坏文件;已复核排除。)
3. 新增 scripts/check-wxml-structure.mjs(CLI,退出码 0/1/2)。
4. 新增 ui-tests/wxml-structure-contracts.mjs:全量扫描 + **3 组内置自检样例**
   (正向样例故意在属性值内放 `>`,把「假阳性」这个坑钉进门禁)。
5. scripts/run-ui-contracts.mjs:MIN_GUARDS 14 → 15(守卫被删/改名仍会拒绝报绿)。
6. 文档口径同步:AGENTS.md、STATUS.md(4 处当前口径 + 新增 rc.17 版本行);
   ci.yml ui-contracts job 注释 14 → 15。历史时点行保留原值。

负向验证(三项,全部通过):
- 注入「多余闭合 / 未闭合」→ 退出 1,且只报坏文件、合法的 `>` 属性文件未被误报;
- UI_GUARDS_MIN=99 → 拒绝报绿(数量下限分支可自检);
- CLI 直扫坏目录 → 退出 1。

验证:node scripts/run-ui-contracts.mjs → PASS 15 / 15,0 失败,退出码 0。
未跑:微信开发者工具真实编译(本机无该环境),结论仅由结构判据支撑。
This commit is contained in:
WorkBuddy
2026-09-19 11:25:05 +08:00
parent 5715987049
commit d036c9b986
9 changed files with 298 additions and 9 deletions
+74
View File
@@ -0,0 +1,74 @@
// 契约:小程序 WXML 必须结构自洽(可被编译)
//
// 由来(2026-09-19):微信开发者工具报
// [ WXML 文件编译错误] ./pages/service-history/service-history.wxml
// get tag end without start, near `</`
// 而当时 UI 契约门禁 14/14 全绿 —— 说明既有门禁全是「源码结构/内容断言」,
// **没有一条会真的去编译或解析 WXML**。两个页面(service-history、service-program)
// 因此各带一个多余 `</view>` 进入仓库且长期无人发现。
//
// 本守卫补上这一层:按引号状态机解析标签配对,任何多余闭合/错配/未闭合直接判红。
//
// 自检(防止守卫自己变哑):内置 3 组样例,正向 1 组 + 反向 2 组。
// 正向样例**故意在属性值里放了 `>`**(`"{{a > 0}}"`)—— 早期用懒惰正则实现时,
// 这里会被误判为结构错误(假阳性),把 messages.wxml 这种合法文件报成坏文件。
// 把该样例固化进守卫,等于把「假阳性」这个坑钉在门禁里。
import assert from 'node:assert/strict'
import { readFileSync } from 'node:fs'
import { relative, resolve } from 'node:path'
import { checkWxml, walkWxml } from '../scripts/lib/wxml-structure.mjs'
const root = resolve(import.meta.dirname, '..')
// ── 1. 扫描器自检 ────────────────────────────────────────────────
const selfCheckCases = [
{
name: '正向:属性值内含 `>` 比较运算符(早期正则实现的假阳性来源)',
src: '<view class="a"><ui-section-header title="x" subtitle="{{unreadTotal > 0 ? 1 : 0}}" /><text>{{n >= 3}}</text></view>',
expectErrors: 0,
},
{
name: '反向:多余的闭合标签',
src: '<view class="a"><text>x</text></view></view>',
expectErrors: 1,
},
{
name: '反向:标签未闭合',
src: '<view class="a"><text>x</text>',
expectErrors: 1,
},
]
for (const c of selfCheckCases) {
const errors = checkWxml(c.src)
assert.equal(
errors.length,
c.expectErrors,
`扫描器自检失败 —— ${c.name}\n期望 ${c.expectErrors} 条错误,实得 ${errors.length} 条:\n${errors.join('\n')}`,
)
}
// ── 2. 全量扫描小程序页面 ────────────────────────────────────────
// WXML_SCAN_ROOT 仅用于「负向注入自证」:把扫错文件的门禁指向一个临时目录,
// 确认它真的会变红。默认扫仓库内 miniapp/。
const scanRoot = resolve(root, process.env.WXML_SCAN_ROOT ?? 'miniapp')
const files = walkWxml(scanRoot)
assert.ok(files.length > 0, `未在 ${scanRoot} 下找到任何 .wxml —— 扫描清单可能失配,拒绝报绿`)
const broken = []
for (const file of files) {
const errors = checkWxml(readFileSync(file, 'utf8'))
if (errors.length) {
broken.push(`${relative(root, file).replace(/\\/g, '/')}\n ${errors.join('\n ')}`)
}
}
assert.deepEqual(
broken,
[],
`以下 WXML 结构不自洽,微信开发者工具会编译失败:\n${broken.join('\n')}`,
)
console.log(`WXML structure contracts passed(${files.length} 个文件)`)