cardbuddy 0.14.3 → 0.16.0

package/dist/vendored/skills/dsl-card-generator/scripts/lint_card.mjs

@@ -22,6 +22,10 @@
  *   12. 切图命名语义化（r59）：引用名沿用设计稿图层名/导出目录前缀/中文名 → 看不出用途，必须按功能重命名。
  *   13. 切图同内容重复（r60）：src/slices 里存在 sha256 完全相同的副本 → 应复用同一份，不重复导入/上传。
  *   14. 静态文案 / 字典默认值含疑似运行期数字（r61，提醒级）：千分号数字 / ¥+数字 / 数字+单位词写死在静态 Text 或 defaultValue 里 → 提示按 rules.md §十四 做 AI 语义复核（运行期数字应抽变量 + 表达式拼接）；固定话术误报可忽略。
+ *   15. 切图引用含 URL 保留字符（r31b）：`# ? % & +` 会被浏览器当 fragment/query 截掉 → 图片静默不显示（R31 的补充，R31 只拦空格）。
+ *   16. 横向流父容器里的容器子节点未写 rect.width + flexShrink:0（r22b）：渲染器按 component-meta 默认「100%」出 → 吃掉整行，同排兄弟被压成 0 宽或被顶出卡外。
+ *   17. 切图引用在 src/slices 里没有对应文件（r31c）：渲染时 404，图片位置空白且控制台零报错 —— R31（空格）/R31b（保留字符）之外的第三种「引用与磁盘名不同源」。
+ *   18. 组件契约（r28 / r28b-*）：属性键 / 样式组 / 样式子键必须在 component-meta.json + style-meta.json 白名单内 —— 不存在的键被运行时**整条静默丢弃**（Image 的键写成 image 而非 value ⇒ 图片变破图，而四道闸全绿）。
  *
  * 用法：
  *   node lint_card.mjs --id <cardId>              # 体检单张卡
@@ -39,7 +43,14 @@ import path from 'node:path'
 
 import { fileURLToPath } from 'node:url'
 import { cardsDir, cardSchemaPath, cardDataPath, readJson, metaDir, slicesDir } from './lib/paths.mjs'
-import { buildContentIndex, checkSliceName, collectSliceRefStrings, duplicatePeers, sliceNameFromRef } from './lib/slice_dedupe.mjs'
+import { buildContentIndex, buildSliceFileIndex, checkSliceName, collectSliceRefStrings, duplicatePeers, findUrlReservedChars, isRemoteSliceRef, resolveSliceRefOnDisk, sliceNameFromRef } from './lib/slice_dedupe.mjs'
+import { collectRowChildNoWidth } from './lib/layout_rules.mjs'
+import { collectFullwidthFixedPx } from './lib/rules/adaptive-width.mjs'
+import { loadContract, collectContractViolations, describeViolation } from './lib/component_contract.mjs'
+import { collectImageValueFrom, collectImageNoHeight } from './lib/rules/image.mjs'
+import { collectExprNoMathRound, numericHint } from './lib/rules/expr.mjs'
+import { collectRepeaterDefects, collectStaticTileExpansion, collectArrayConsumption } from './lib/rules/bindings.mjs'
+import { collectSlotMultiChildren, collectNullChildren, collectDuplicateStyleChildren, collectAlertDataWholeState, collectIconNoRect, collectRootFixedHeight } from './lib/rules/structure.mjs'
 
 // src/slices 内容索引（sha256 → 文件名）进程内只建一次，--all 体检全量卡时复用
 let SLICE_CONTENT_INDEX = null
@@ -248,6 +259,25 @@ export function lint(schema, data) {
   const view = schema.view
   if (!view) return [{ severity: 'error', code: 'no-view', message: 'schema 没有 view 字段' }]
 
+  // 0. 组件契约：属性键 / 样式组 / 样式子键必须落在白名单内（唯一来源 component-meta.json + style-meta.json）。
+  //
+  // 2026-09-24 事故：模型给 Image 写 itemKey:"image"，而该组件元数据里图片地址的键**只有 value**。
+  // 运行时按 itemKey 绑定组件 props，不存在的键被**整条静默丢弃** ⇒ value 为空 ⇒ 图片渲染成破图。
+  // 而 validate / lint / preflight / elements.missing 当时**全部放行**（preflight 的 Check 3/5 都用
+  // getProp(n,'value')，取不到就 continue —— 键写错反而把检查链短路了）。
+  // 全仓 82 处 Image 里 81 处写 value，唯一写 image 的就是这张卡 ⇒ 模型会偶发编造键名，必须机械兜底。
+  {
+    const contract = loadContract({ metaDir })
+    for (const v of collectContractViolations(schema, contract)) {
+      out.push({
+        severity: v.severity,
+        code: v.code === 'unknown-class' ? 'r28-unknown-class' : `r28b-${v.code}`,
+        componentId: v.componentId,
+        message: describeViolation(v),
+      })
+    }
+  }
+
   // 1. 脚手架前缀残留（"示例"是 scaffold_card.mjs 默认占位文本）
   if (data && typeof data === 'object') {
     for (const [k, v] of Object.entries(data)) {
@@ -308,7 +338,7 @@ export function lint(schema, data) {
     out.push({
       severity: 'error',
       code: 'r43-card-transparent-background',
-      message: `卡片背景透明 —— 卡片背景不允许透明（R43）。须从设计稿标注 cardFill 取背景色写入 Root/首层容器的 background.backgroundColor + backgroundType:"01"；标注缺失时从聚焦截图取色兜底。`,
+      message: `卡片背景完全透明 —— 卡片背景不允许无背景/全透明（R43；半透明底色合法）。须从设计稿标注 cardFill 取背景色（可含 alpha）写入 Root/首层容器的 background.backgroundColor + backgroundType:"01"；标注缺失时从聚焦截图取色兜底。`,
     })
   }
 
@@ -450,6 +480,12 @@ export function lint(schema, data) {
     return sc ? String(sc.itemValue) : null
   }
 
+  /** '311' / '311px' → 311；'100%' / 'auto' / 空 → null（比例宽无法静态判定溢出） */
+  function toPx(v) {
+    const m = /^(-?\d+(?:\.\d+)?)(?:px)?$/.exec(String(v ?? '').trim())
+    return m ? Number(m[1]) : null
+  }
+
   function getWidthVal(n) {
     const sp = (n.style && n.style.properties) || []
     const rg = sp.find(p => p.itemKey === 'rect')
@@ -472,11 +508,21 @@ export function lint(schema, data) {
       const hasVShow = (child) => ((child.directives) || []).some((d) => d && d.itemKey === 'v-show')
       const isExclusiveVariantGroup = children.length >= 2 && children.every(hasVShow)
       if (!isContentSize && allShrinkZero && !isExclusiveVariantGroup) {
+        // 真实溢出 vs 稳健性提示：只有「子节点显式定宽之和 > 父容器定宽」才真的会溢出。
+        // 其余情形（父容器按比例定宽 + 子节点内容自适应 / 百分比配比）当前渲染不会溢出，
+        // 报 error 会把模型逼去改结构换宽度 —— 实测（2026-09-21 demo 建卡回合）模型为消除这条
+        // error 把 Row 改成 width:auto，match 从 87.5% 掉到 62%，再改回来，来回震荡 40+ 步。
+        // 规则的本意是「防溢出」，不是「禁止定宽子节点」：降为 warning，信号不丢、门禁不再被它卡死。
+        const parentPx = toPx(parentWidth)
+        const fixedSum = children.reduce((a, c) => a + (toPx(getWidthVal(c)) || 0), 0)
+        const realOverflow = parentPx != null && fixedSum > parentPx
         out.push({
-          severity: 'error',
+          severity: realOverflow ? 'error' : 'warn',
           code: 'r35-multi-child-all-shrink0',
           componentId: pid,
-          message: `${pcls} "${pid}" 宽度非 auto 且 ${children.length} 个并列子节点全部 flexShrink:0 → 外容器宽度变化时定宽累加溢出（R35）。至少一个子节点应保持 flexShrink:1 可压缩；内容自适应容器（width:auto）可保留固定子元素`,
+          message: realOverflow
+            ? `${pcls} "${pid}" 定宽 ${parentPx}px 装不下 ${children.length} 个子节点的定宽之和 ${fixedSum}px（全部 flexShrink:0，压不动）→ 真溢出（R35）。把最宽的那个子节点改成 flexShrink:1，或按设计稿把父容器改宽/改 auto`
+            : `${pcls} "${pid}" 宽度非 auto 且 ${children.length} 个并列子节点全部 flexShrink:0 —— 当前宽度下不会溢出（子节点定宽之和 ${fixedSum}px${parentPx != null ? ` ≤ 父 ${parentPx}px` : '，父容器按比例定宽'}），仅稳健性提示：想消除就给最宽的子节点 flexShrink:1（不溢出时视觉零影响），**不要为此改 width:auto 或删节点**`,
         })
       }
     }
@@ -500,6 +546,76 @@ export function lint(schema, data) {
     }
   })
 
+  // ── R31b: 切图引用含 URL 保留字符（# ? % & +）→ 浏览器截断请求 → 图片静默不显示 ──
+  //  事故（2026-09-21 demo/helloCard）：引用 `/slices/警示-#999.png`，`#` 之后被当 fragment，
+  //  实际只请求到 `/slices/警示-`；又因切图未命中落到 SPA 兜底返回 200+HTML ⇒ 图空白、网络面板 200、
+  //  零报错、门禁全绿。R31 只拦空格，这里补上真正的元凶（保留字符）。
+  walk(view, (n) => {
+    if (n.className !== 'Image') return
+    for (const p of n.properties || []) {
+      if (p.itemKey !== 'value' || typeof p.itemValue !== 'string') continue
+      if (!p.itemValue.includes('/slices/')) continue
+      const hit = findUrlReservedChars(sliceNameFromRef(p.itemValue))
+      if (hit) {
+        out.push({
+          severity: 'error',
+          code: 'r31b-slice-url-reserved-char',
+          componentId: n.componentId || '',
+          message: `Image "${n.componentId}" 引用路径含 URL 保留字符 ${hit.map((c) => `"${c}"`).join(' ')}: "${p.itemValue}" → 浏览器会把保留字符之后当 fragment/query 截掉，请求的不是这个文件 → background-image 加载失败，且**不报错**（R31b）。把切图重命名为纯 ASCII 无语义字符名（如 iconWarning@2x.png）并同步改写引用`,
+        })
+      }
+    }
+  })
+
+  // ── R31b（兜底）：style 背景图 / 表达式里内嵌的 /slices/ 引用同样要查（R31 只扫 Image.value）──
+  for (const ref of collectSliceRefStrings(schema)) {
+    const name = sliceNameFromRef(ref)
+    const hit = findUrlReservedChars(name)
+    if (!hit) continue
+    // Image.value 已被上面那条覆盖，避免同一处报两条
+    const already = out.some((f) => f.code === 'r31b-slice-url-reserved-char' && f.message.includes(`"${ref}"`))
+    if (already) continue
+    out.push({
+      severity: 'error',
+      code: 'r31b-slice-url-reserved-char',
+      componentId: '',
+      message: `切图引用含 URL 保留字符 ${hit.map((c) => `"${c}"`).join(' ')}: "${ref}" → 浏览器截断请求，图片会静默不显示（R31b）。重命名切图为纯 ASCII 名并同步改写引用`,
+    })
+  }
+
+  // ── R31c: 引用的切图在工程 src/slices 里根本不存在 → 渲染 404 → 图片空白（R31 家族的第三种）──
+  //  R31 拦「名字带空格」、R31b 拦「名字带 URL 保留字符」，都是「名字写了但用不了」；
+  //  R31c 补「这个名字在磁盘上就没有」。2026-09-21 helloCard 同源事故：
+  //  审计报 `警示-#999.png`、落盘被消毒成 `警示-999.png`，引用与磁盘名不同源 ⇒ 请求 404，
+  //  而切片服务先前会落 SPA 兜底返回 200+HTML ⇒ 图空白、网络面板 200、零报错、门禁全绿。
+  //  远端引用（@filestore / http / data:）天然无本地文件，不参与判定。
+  if (fs.existsSync(slicesDir)) {
+    const sliceIndex = buildSliceFileIndex(slicesDir)
+    for (const ref of collectSliceRefStrings(schema)) {
+      if (isRemoteSliceRef(ref)) continue
+      const { resolved, name } = resolveSliceRefOnDisk(sliceIndex, ref)
+      if (resolved) continue
+      out.push({
+        severity: 'error',
+        code: 'r31c-slice-ref-missing-file',
+        componentId: '',
+        message: `切图引用 "${ref}" 在 src/slices 里不存在（期望文件名 ${name}）→ 渲染时 404，图片位置一片空白且控制台不报错（R31c）。两条修法：① 把切图按引用名落盘（\`crop_slices.mjs --from-audit\` 会自动收养审计判定存在的资产并按消毒名落盘）；② 把引用改成磁盘上真实存在的文件名 —— 两者必须同源，别只改一边`,
+      })
+    }
+  }
+
+  // ── R22b: 横向流父容器里的容器子节点「未写 rect.width + flexShrink:0」→ 吃掉整行 ──
+  //  渲染契约：容器不写 rect.width ⇒ 落到 component-meta 默认 "100%" ⇒ 独占整行；再叠 flexShrink:0
+  //  就是锁死不让位。R22 只拦「显式写 width:"100%"」那一半，**不写 width**（渲染等价）完全没人管。
+  for (const hit of collectRowChildNoWidth(view)) {
+    out.push({
+      severity: 'error',
+      code: 'r22b-row-child-container-no-width',
+      componentId: hit.componentId,
+      message: hit.message,
+    })
+  }
+
   // ── R59/R60: 切图语义化命名 + 同内容去重（slices_convention.md §1.1 / §3.1）──
   for (const ref of collectSliceRefStrings(schema)) {
     const name = sliceNameFromRef(ref)
@@ -525,16 +641,9 @@ export function lint(schema, data) {
   }
 
   // ── R61: 静态文案 / 字典默认值含疑似运行期数字（rules.md §十四，提醒级 WARN）──
-  // 只作「提醒 AI 语义复核」的启发式：命中 ≠ 违规（版本号 / 固定营销话术会误报），故 WARN 不阻塞。
-  const NUMERIC_LITERAL_PATTERNS = [
-    { re: /\d{1,3}(,\d{3})+(\.\d+)?/, label: '千分号数字' },
-    { re: /[¥￥]\s*\d+(\.\d+)?/, label: '货币符+数字' },
-    { re: /\d+(\.\d+)?\s*(元|笔|次|个|条)/, label: '数字+单位词' },
-  ]
-  const numericHit = (str) => {
-    for (const { re, label } of NUMERIC_LITERAL_PATTERNS) if (re.test(str)) return label
-    return null
-  }
+  //  形态表共享 lib/rules/expr.mjs（NUMERIC_HINT_PATTERNS + numericHint，测试直测）：
+  //  只作「提醒 AI 语义复核」的启发式：命中 ≠ 违规（版本号 / 固定营销话术会误报），故 WARN 不阻塞。
+  const numericHit = numericHint
   walk(view, (n) => {
     if (n.className !== 'Text') return
     for (const p of n.properties || []) {
@@ -564,68 +673,65 @@ export function lint(schema, data) {
     })
   }
 
-  // ── R32: Image 缺 rect.height → CSS aspect-ratio:16/9 压缩 ──
-  walk(view, (n) => {
-    if (n.className !== 'Image') return
-    const sp = (n.style && n.style.properties) || []
-    const rectGroup = sp.find(p => p.itemKey === 'rect')
-    const rectChildren = (rectGroup && rectGroup.itemChildren && rectGroup.itemChildren.properties) || []
-    const hChild = rectChildren.find(c => c.itemKey === 'height')
-    if (!hChild || !String(hChild.itemValue).trim()) {
+  // ── R32 / R25: Image 硬契约（缺 rect.height、itemValueFrom 三态）──
+  //  判定与文案共享 lib/rules/image.mjs（与 preflight 同一实现，避免「同一张卡两处措辞/结论不同」）。
+  //  这里显式挑选字段构造 finding，保持 lint 输出形状与重构前逐字一致。
+  for (const f of collectImageNoHeight(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
+  for (const f of collectImageValueFrom(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
+
+  // ── R23: 百分比表达式缺 Math.round → JS 浮点精度 ──（共享 lib/rules/expr.mjs）
+  for (const f of collectExprNoMathRound(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
+
+  // ── 数据绑定完备：列表数组化三件套 ──（共享 lib/rules/bindings.mjs，2026-09-25）
+  //  复现器硬伤是 error（渲染 0 项 / 空壳，必然错）；未消费数组与静态 tile 是 warn
+  //  （像素可以很高但数据维度缺失；硬拦在 readiness 的 bindings/lists 门——有视觉提名背书才拦）。
+  for (const f of collectRepeaterDefects(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
+  for (const f of collectStaticTileExpansion(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
+  {
+    const { unconsumed } = collectArrayConsumption(schema, data || {})
+    for (const u of unconsumed) {
       out.push({
-        severity: 'error',
-        code: 'r32-image-no-height',
-        componentId: n.componentId || '',
-        message: `Image "${n.componentId}" 缺 rect.height → CSS aspect-ratio:16/9 压缩图片高度（R32）。设显式高度`,
+        severity: 'warn',
+        code: 'binding-array-unconsumed',
+        componentId: '',
+        message: `data["${u.name}"]（${u.len} 项）没有任何列表消费（复现器 value / slotScope 模板 / 事件代码 / 表达式都找不到引用）→ ` +
+          (u.semantic
+            ? '名字带列表语义却没被任何列表使用：设计稿若有重复数据行，应 ListLayout/GridLayout + $' + u.name + ' + slotScope 模板（ir-format.md §2e）；若该数组确无视图用途应从 data.json 删除'
+            : '若为 Canvas 图表 / 运行时配置数据可忽略本预警'),
       })
     }
-  })
+  }
 
-  // ── R25: Image itemValueFrom 三态精确映射 ──
-  walk(view, (n) => {
-    if (n.className !== 'Image') return
-    for (const p of n.properties || []) {
-      if (p.itemKey !== 'value') continue
-      const from = String(p.itemValueFrom || '')
-      const val = String(p.itemValue || '')
-      if (from === '0' && !val.startsWith('$')) {
-        out.push({
-          severity: 'error',
-          code: 'r25-image-from-0',
-          componentId: n.componentId || '',
-          message: `Image "${n.componentId}" itemValueFrom="0"(常量) → 渲染器不走图片逻辑，空白（R25）。静态路径用 "2"`,
-        })
-      }
-      if (from === '1' && !val.startsWith('$')) {
-        out.push({
-          severity: 'error',
-          code: 'r25-image-from-1',
-          componentId: n.componentId || '',
-          message: `Image "${n.componentId}" itemValueFrom="1"(变量) 但值不以 $ 开头 → 表达式求值失败，空白（R25）`,
-        })
-      }
-    }
-  })
+  // ── 宽度自适应契约（ir-format.md §2f；判定共享 lib/rules/adaptive-width.mjs，2026-09-25）──
+  //  容器类在纵向流父级里把占满语义写死成 px（98%~103% 占满父内容盒）→ error。
+  //  meta 默认 rect.width 就是 100%，覆盖成 px = 显式锁死；改 100% 与设计宽逐像素等价且自适应。
+  for (const f of collectFullwidthFixedPx(view)) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
 
-  // ── R23: 百分比表达式缺 Math.round → JS 浮点精度 ──
-  walk(view, (n) => {
-    const allProps = [...(n.properties || [])]
-    for (const sp of n.style?.properties || []) {
-      for (const c of sp.itemChildren?.properties || []) allProps.push(c)
-    }
-    for (const p of allProps) {
-      if (String(p.itemValueFrom) === '1' && typeof p.itemValue === 'string') {
-        if (/\*\s*100/.test(p.itemValue) && !/Math\.round/.test(p.itemValue)) {
-          out.push({
-            severity: 'error',
-            code: 'r23-no-math-round',
-            componentId: n.componentId || '',
-            message: `"${n.componentId}" 表达式含 *100 但无 Math.round → JS 浮点精度溢出（R23）: ${p.itemValue.slice(0, 50)}`,
-          })
-        }
-      }
-    }
-  })
+  // ── 结构与事件代码：pitfalls 教训 → 机器 gate ──（共享 lib/rules/structure.mjs，2026-09-25）
+  //  §27 slot 平铺 / R34 null 子节点 / §20.4 style 重复子项是 error（必然错、存量零命中）；
+  //  §10 整体回传 / R20 Icon 缺 rect / R38 Root 定高是 warn（存量有命中或语义复核兜底）。
+  for (const f of [
+    ...collectSlotMultiChildren(view),
+    ...collectNullChildren(view),
+    ...collectDuplicateStyleChildren(view),
+    ...collectAlertDataWholeState(view),
+    ...collectIconNoRect(view),
+    ...collectRootFixedHeight(view),
+  ]) {
+    out.push({ severity: f.severity, code: f.code, componentId: f.componentId, message: f.message })
+  }
 
   // R17/R22: flexShrink 铁律
   //   R17: 关键 Text（金额/数字/标签/标题/占比/单位）必须 flexShrink:0（防换行）
@@ -762,6 +868,66 @@ export function lint(schema, data) {
   })
 
 
+  /* ── R63: width:100% 撞水平 margin —— 交叉轴定宽不可缩，节点被推出父容器右缘 ────────
+   * 渲染器语义（vendor/preview 的 StyleParser + adapter.doSize）："100%" 原样透传成 width:100%，
+   * 而 width:100% 已经等于**父容器内容盒**宽度；水平 margin 再叠加 = 元素外框超出父容器 → 向右溢出、
+   * 被 overflow:hidden 裁掉（Root / 组件默认 hidden）。实测事故：模型把「父容器水平内缩」写成
+   * 「子节点 width:100% + marginLeft/Right」，节点右侧一整块内容消失。
+   *
+   * 为什么只报交叉轴（父容器按列排布）：
+   *   主轴（父容器 flex-direction:row）里 flexShrink 默认 1，会把这个节点缩回可用宽 —— margin 被吸收，
+   *   不溢出；只有交叉轴（column：Root / Column / SingleColumn / flexDirection:"column" /
+   *   AbsoluteLayout 的 abspos 子节点——定宽对定位包含块解析、无 shrink 参与）才是**必溢出**。
+   *   实测：全仓 205 份 schema 里 4 处「width:100% + marginLeft」全在 Row 父容器（accountCreditedlist /
+   *   memberLevelNone / pointsDetail / assetOverview），全靠 shrink 吃掉间距——故本规则不报主轴，零误报。
+   */
+  const laysOutVertically = (parent) => {
+    if (!parent) return false
+    // AbsoluteLayout 子节点是 position:absolute 脱标：100% 对定位包含块（容器 padding box）取宽，
+    // margin 不参与任何收缩 → 与 column 同款必溢出。
+    if (parent.className === 'AbsoluteLayout') return true
+    const explicit = flexSub(parent, 'flexDirection')
+    if (explicit) return explicit === 'column' // 显式 flexDirection（内联样式）覆盖 CSS 类的默认方向
+    return COLUMN_FLOW.has(parent.className)
+  }
+  walk(view, (n, parent) => {
+    if (!parent) return
+    const cid = n.componentId || ''
+    const styleProps = (n.style && n.style.properties) || []
+    const rectGroup = styleProps.find((p) => p.itemKey === 'rect')
+    const widthChild = ((rectGroup && rectGroup.itemChildren && rectGroup.itemChildren.properties) || [])
+      .find((c) => c.itemKey === 'width')
+    if (!widthChild || String(widthChild.itemValue ?? '').trim() !== '100%') return
+    if (String(widthChild.itemValueFrom ?? '0') === '1') return // 表达式绑定（值不是字面 100%）
+    const marginGroup = styleProps.find((p) => p.itemKey === 'margin')
+    const marginChildren = (marginGroup && marginGroup.itemChildren && marginGroup.itemChildren.properties) || []
+    const constNum = (key) => {
+      const c = marginChildren.find((x) => x.itemKey === key)
+      if (!c || String(c.itemValueFrom ?? '0') === '1') return null // 表达式绑定：值不定，不判
+      const v = parseFloat(String(c.itemValue).replace(/[^0-9.\-]/g, ''))
+      return Number.isFinite(v) ? v : null
+    }
+    const mtype = String((marginChildren.find((c) => c.itemKey === 'marginType') || {}).itemValue ?? '')
+    const hmargin = []
+    if (mtype === '1') { // 逐边模式：只看左右
+      const ml = constNum('marginLeft')
+      const mr = constNum('marginRight')
+      if (ml !== null && ml > 0) hmargin.push(`marginLeft:${ml}`)
+      if (mr !== null && mr > 0) hmargin.push(`marginRight:${mr}`)
+    } else if (mtype === '0') { // 全边模式：margin 四边同值，左右也吃
+      const m = constNum('margin')
+      if (m !== null && m > 0) hmargin.push(`margin(全边):${m}`)
+    }
+    if (!hmargin.length || !laysOutVertically(parent)) return
+    out.push({
+      severity: 'error',
+      code: 'r63-width100-with-hmargin',
+      componentId: cid,
+      message: `${n.className} "${cid}" 同时写了 rect.width:"100%" 与水平 margin（${hmargin.join(' / ')}）—— width:100% 已经等于父容器内容宽，水平 margin 只会把节点推出父容器右缘（父容器 ${parent.className} 按列排布，水平方向是交叉轴，flexShrink 救不回来）→ 右侧内容被 overflow:hidden 裁掉（R63）。正路：① 水平间距挪到父容器 paddingLeft/Right（或由父容器 gap 承担）；② 流式父容器（Column/Root，alignItems 为空或 stretch）把 rect.width 由 "100%" 改 "auto"（显式写 auto；Text/MultiText 有组件样式 width:fit-content，只删 width 不会撑满，实测 86.67px vs 369px），靠 stretch 补宽、保留 margin（AbsoluteLayout 的 abspos 子节点 width:auto 是 fit-content、无 stretch —— 走 ① 或改显式像素宽）；③ 并排分栏用「左 width:100%+flexShrink:1，右 auto+flexShrink:0」`,
+    })
+  })
+
+
   // ── 格式铁律：值格式校验（生成器最常犯的格式错误） ──
 
   // R-FMT1: borderRadius 值不得用元组格式 {a,b,c,d}（应为标量 "12" 或单独角 borderTopLeftRadius 等）
@@ -833,6 +999,55 @@ export function lint(schema, data) {
     }
   })
 
+  // R64: 装饰条不得靠流式布局定位 —— 「标题+下划线」没按范式做的形态。
+  // 为什么单开一条：R42 只在「已经是 AbsoluteLayout」的节点上校验，用流式堆叠的写法可以整条绕过它；
+  // R38 又只禁**负** margin，模型改用**正** marginTop 造间隙，形式上完全合规。实测（2026-09-21
+  // transferRecord）Column > [Text, Row 42x5 marginTop:3] 的卡 lint 报 0 error / 0 warning，
+  // 而设计稿是 68x8 的条子压在标题底部（band 底对齐）——结构、尺寸、重叠关系、位置四处都不对，
+  // 装饰条还占掉 8px 流式高度把兄弟节点整体下推。
+  // 判定：流式容器里紧跟 Text 之后、有实色背景、高 ≤10、宽为像素或 `$变量.length * 字号` 的 Row
+  // （即「本应绝对定位的装饰条」）。已带 position 的（复用了范式）与 Divider 一律放过。
+  walk(view, (n) => {
+    if (n.className === 'AbsoluteLayout') return
+    const kids = directChildren(n)
+    if (kids.length < 2) return
+    for (let i = 1; i < kids.length; i += 1) {
+      const bar = kids[i]
+      const prev = kids[i - 1]
+      if (!bar || !prev || bar.className !== 'Row' || prev.className !== 'Text') continue
+      const child = (node, groupKey, childKey) => {
+        const g = (node.style?.properties || []).find((x) => x.itemKey === groupKey)
+        const c = (g?.itemChildren?.properties || []).find((x) => x.itemKey === childKey)
+        return c ? c.itemValue : ''
+      }
+      const bgType = child(bar, 'background', 'backgroundType')
+      const bgColor = child(bar, 'background', 'backgroundColor')
+      if (String(bgType) !== '01' || !bgColor) continue
+      const barHeight = Number(child(bar, 'rect', 'height'))
+      if (!(barHeight > 0 && barHeight <= 10)) continue
+      const barWidth = String(child(bar, 'rect', 'width') || '')
+      const pixelOrExpr = /^\d+(\.\d+)?$/.test(barWidth.trim()) || /\.length \*/.test(barWidth)
+      if (!pixelOrExpr) continue
+      const posTop = child(bar, 'position', 'top')
+      const posLeft = child(bar, 'position', 'left')
+      if (String(posTop).trim() || String(posLeft).trim()) continue
+      const cid = bar.componentId || '(no id)'
+      // 标题文案：常量在 text.text，变量绑定在 properties[].value（如 $title）——拿不到就退回节点 id
+      const boundValue = (prev.properties || []).find((x) => x.itemKey === 'value')?.itemValue
+      const title = String(child(prev, 'text', 'text') || boundValue || prev.componentId || '标题')
+      out.push({
+        severity: 'error',
+        code: 'r64-title-underline-flow',
+        componentId: cid,
+        message: `Row "${cid}"（高 ${barHeight} / 宽 ${barWidth}）是标题「${title}」的装饰条，却排在流式布局里 —— `
+          + `它会占掉流式高度把后续兄弟整体下推，且拿不到设计稿的「条子压在标题底部」的重叠关系。`
+          + `必须复用 title-underline-overlay 范式：父容器改 AbsoluteLayout(align:"BottomLeft", rect.height=标题行高)，`
+          + `装饰条与标题各自设 style.position.left/top（条 top = 标注条.y − 标注标题.y，不是公式推算），`
+          + `子节点顺序 [装饰条, 标题]。IR 可照抄 references/ir-format.md §2d（脚本 expand_ir.mjs --ir 展开，禁正/负 margin 顶位）。`,
+      })
+    }
+  })
+
   // R44: 类型+值成对检查 —— 有值但缺类型开关的样式组（borderRadius/border/shadow）→ ERROR
   walk(view, (n) => {
     const cid = n.componentId || '(root)'
@@ -990,6 +1205,42 @@ export function lint(schema, data) {
     }
   })
 
+  // R50b: 未归一化的列表作用域别名（哨兵，**不是**「禁止 $item」的规则）。
+  //
+  // 2026-09-24 定论：`$item.xxx` 不是模型的问题 —— 我们自己把它手写进了系统提示词
+  // （提交 56e9894）与 ir-format.md，模型只是照做。所以处理方式是**编译器归一化**：
+  //   · IR → schema：expand_ir.mjs 的 expandIR() 开头调用 lib/scope_alias.mjs 改写；
+  //   · schema 级：autofix_schema.py 规则 5 改写（gate 第 1 步 / iterate 内建 autofix 都会跑到）。
+  // 规范形只有三种：`$<字段名>` / `$$` / `$_index`（运行时 makeSlotScope 的作用域没有 `item` 键）。
+  //
+  // 那这条规则还拦什么：**未走过归一化管线的 schema**（外部手改、老产物、绕过 expand/autofix
+  // 直接写盘）。此时 lint 是最后一道可机械判定的闸 —— 命中说明该 schema 该跑一次
+  // `autofix_schema.py`，而不是说作者写错了字。CI 对已提交 schema 跑 lint 时它是唯一防线。
+  walk(view, (n) => {
+    const cid = n.componentId || '(root)'
+    const hit = []
+    const scan = (where, val) => {
+      const s = String(val || '')
+      if (!/\$item(?![A-Za-z0-9_$])/.test(s)) return
+      hit.push(`${where}: ${s.length > 90 ? s.slice(0, 90) + '…' : s}`)
+    }
+    for (const p of (n.properties || [])) if (String(p.itemValueFrom) === '1') scan(p.itemKey || '?', p.itemValue)
+    for (const g of (n.style?.properties || [])) {
+      for (const c of (g.itemChildren?.properties || [])) if (String(c.itemValueFrom) === '1') scan(`style.${g.itemKey}.${c.itemKey}`, c.itemValue)
+    }
+    for (const d of (n.directives || [])) if (String(d.itemValueFrom) === '1') scan(`directive.${d.itemKey}`, d.itemValue)
+    for (const ea of (n.eventactions || [])) {
+      for (const p of (ea?.action?.properties || [])) if (p?.itemValue?.code) scan(`action.${p.itemKey}.code`, p.itemValue.code)
+    }
+    if (!hit.length) return
+    out.push({
+      severity: 'error',
+      code: 'r50b-unnormalized-scope-alias',
+      componentId: cid,
+      message: `${n.className} "${cid}" 的绑定里含未归一化的列表作用域别名 $item —— 运行时 makeSlotScope 的作用域里**没有 item 这个键**（它是「item 字段逐个展开 ∪ {$$: 整项, _index: 索引}」），求值恒为 undefined 且不抛错（validate/preflight/render 全绿，只在 /__render-status 的 bindingErrors 留痕）。规范形：字段写 \`$<字段名>\`、整项写 \`$$\`、索引写 \`$_index\`。**这不是要你手改**：跑一次 \`autofix_schema.py <schema>\`（或 \`expand_ir.mjs\` 重新展开 IR）即自动归一化；命中说明该 schema 绕过了归一化管线。命中：${hit.join(' | ')}`,
+    })
+  })
+
   // R51: customAction 里 this.data 只允许读 Input 绑定键的实时输入值；运行态变量一律 this.state
   const inputBoundKeys = new Set()
   walk(view, (n) => {