@qilitt-mickey/vue3-temp-skill 1.1.74 → 1.1.76

package/scripts/check.mjs

@@ -129,6 +129,30 @@ const checks = [
       return "  negative 被拒绝并命中「基线三件套」判据（mode 唯一合法值 restore）";
     },
   },
+  {
+    name: "层间令牌链闸回归",
+    desc: "G6 层间令牌链对账：共享同链间距令牌的条目声明几何字段却缺 suppress_inner 必须被 parser match 拒绝",
+    cmd: () => {
+      const cs = path.join(ROOT, "parser/fixtures/changeset-neg9-g6-token-chain.json");
+      if (!fs.existsSync(cs)) return "SKIPPED 未发现 G6 夹具";
+      let out = "";
+      try {
+        out = run(NODE, "parser/index.js", ["match", cs]);
+        throw Object.assign(new Error("G6 负例未被拒绝"), {
+          stdout: `  ✗ neg9-g6-token-chain 竟然通过 —— 同链令牌双层叠加未拦截，必须修复\n`,
+        });
+      } catch (e) {
+        if (e.message === "G6 负例未被拒绝") throw e;
+        out = (e.stdout || "") + (e.stderr || "");
+      }
+      if (!/层间令牌链对账/.test(out)) {
+        throw Object.assign(new Error("G6 负例未命中预期判据"), {
+          stdout: `  ✗ neg9-g6-token-chain 被拒绝，但未命中「层间令牌链对账」判据 —— 断言已失效\n${out.slice(-800)}\n`,
+        });
+      }
+      return "  negative 被拒绝并命中「层间令牌链对账」判据（G6）";
+    },
+  },
 ];
 
 function run(runner, script, args = []) {

package/scripts/design-audit.mjs

@@ -32,6 +32,8 @@
  *   E13 固定尺寸内容度量 固定 width 小于内容需求且无收口兜底 → 文字换行/压缩/重叠
  *   E14 列宽预算链自洽  列宽（含公式）扣掉实际 td 内边距后装不下内容 → 操作列按钮被压
  *   E16 引用完整性   变更集引用的实物不存在（改名未同步）/ restore 缺顶层 theme
+ *   E17 层间令牌链对账  父子两层盒共享同链间距令牌：绕过令牌通道抢写物理 padding 且同链令牌幸存 → 双层叠加
+ *   E18 激活态消费者成对落地  indicator_* 形态声明后：消费者缺失 / 令牌仍透明 / 伪元素对决权重不足 → 竖条不可见
  *   E15 结构声明兑现  form 值 / suppress 通道名必须在词典枚举内，且设计层有 @sid / @closed 落点证据（G3 双向对账）
  */
 
@@ -426,9 +428,14 @@ for (const r of scopedRules) {
     info("E3", "层叠胜负：无同属性竞争的组件 scoped 规则");
     return;
   }
+  // 出厂暗色主题层（dark.scss）不属于「本次设计落地」：它与组件 scoped 的对决是出厂内部
+  // 行为（架构红线也禁止改出厂文件来「修复」），按设计层宣判会永久卡死交付闸。
+  const FACTORY_THEME_LAYERS = new Set(["dark.scss"]);
+  const isFactoryLayer = (file) => FACTORY_THEME_LAYERS.has(path.basename(String(file || "")));
   const hits = [];
   const seen = new Set();
   for (const r of designRules) {
+    if (isFactoryLayer(r.file)) continue;
     const pe = pseudoElOf(r.selector);
     for (const part of splitList(r.selector)) {
       const last = lastCompound(part);
@@ -870,12 +877,23 @@ function extractSuppressRulesAudit(entry) {
   return rules;
 }
 
-const channelNamesOf = (entry) =>
-  new Set([
+const channelNamesOf = (entry) => {
+  const names = new Set([
     ...Object.keys(entry?.forms || {}),
     ...Object.keys(entry?.css_vars || {}),
     ...Object.keys(entry?.custom_style_map || {}),
   ]);
+  // suppress_rules 的「值域通道」也是合法收口目标（与 parser G1 同源）：如 dropdown_popper / tool_divider
+  for (const channels of Object.values(entry?.suppress_rules || {})) {
+    if (Array.isArray(channels)) for (const ch of channels) if (typeof ch === "string") names.add(ch);
+  }
+  // forms 描述里「suppress 必含 x」内联标记的通道同样合法
+  for (const desc of Object.values(entry?.forms || {})) {
+    if (typeof desc !== "string") continue;
+    for (const m of desc.matchAll(/suppress\s*必含\s*([a-z][a-z0-9_]*)/gi)) names.add(m[1]);
+  }
+  return names;
+};
 
 /** 通道收口证据：@closed 标记 或（css_vars 键）关闭值覆写 */
 function channelEvidence(entry, ch) {
@@ -925,7 +943,18 @@ function visibleClosureRule(change) {
     if (typeof change.form === "string" && change.form) {
       const forms = entry.forms && typeof entry.forms === "object" ? Object.keys(entry.forms) : [];
       const rules = entry.suppress_rules || {};
-      if (forms.length && !forms.includes(change.form) && !(change.form in rules)) {
+      // modes 型条目（forms 值为数组的枚举字典，如 admin.content.container 的 mode: ["fixed","scroll","auto"]）：
+      // form 合法值取数组并集
+      const modeValues = [];
+      for (const v of Object.values(entry.forms || {})) {
+        if (Array.isArray(v)) for (const x of v) if (typeof x === "string") modeValues.push(x);
+      }
+      if (
+        forms.length &&
+        !forms.includes(change.form) &&
+        !(change.form in rules) &&
+        !modeValues.includes(change.form)
+      ) {
         err(
           "E15",
           `${change.id} 的 form="${change.form}" 不在词典 forms 枚举 [${forms.join("、")}] 内 —— 项目侧无规则可挂（壳层零规则），声明悬空。形态值只能取词典已支持的枚举；确需新形态先走 pending 补词典。`,
@@ -1391,6 +1420,8 @@ const MIN_ANY_BOX = 24;
       path.resolve(SKILL_ROOT, val),
       path.resolve(SKILL_ROOT, "..", val),
       path.resolve(PROJECT, "..", val),
+      // 设计侧 page-specs 根（效果图 / 登记表以 page-specs 根为相对基座交付）
+      path.resolve(SKILL_ROOT, "..", "project-ui-design", "references", "page-specs", val),
     ];
     if (!cands.some((p) => fs.existsSync(p))) {
       err(
@@ -1411,6 +1442,178 @@ const MIN_ANY_BOX = 24;
   if (checked && !errors.some((e) => e.id === "E16")) info("E16", `引用完整性：${checked} 个路径引用均可解析到实物 ✓`);
 })();
 
+// ── E17 层间令牌链对账（双层内边距叠加断言）──────────────────
+// 失效模式：父子两层盒共享同一条间距令牌链（--layout-content-padding → --vts-margin），
+// 设计层绕过令牌通道在父层抢写物理 padding，子层同链令牌幸存 → 设计值 + 令牌出厂值叠加
+// （24px + 8px = 32px/侧，「边距很大」）。判据（词典「层间令牌链对账」标记驱动）：
+//   ① 设计层在标记条目的 selector 上抢写物理 padding/margin 属性（非 var 消费）；
+//   ② 该条目同链令牌在项目内仍存在非零定义（子层消费者会叠加取值）。
+// 修复方向：改走令牌通道（重映射 --layout-content-padding / --vts-margin），或归零另一层。
+(function checkE17() {
+  // 从词典收集「层间令牌链对账」条目：selector 主类 ↔ 同链令牌（css_vars 值）与字段名
+  const chainEntries = dictEntries
+    .filter(({ entry }) =>
+      Array.isArray(entry.preconditions) &&
+      entry.preconditions.some((p) => typeof p === "string" && p.includes("层间令牌链对账")))
+    .map(({ sid, entry }) => ({
+      sid,
+      classes: (String(entry.selector || "").match(/\.[\w-]+/g) || []).map((c) => c.slice(1)),
+      vars: Object.values(entry.css_vars || {}).filter((v) => typeof v === "string"),
+      fields: Object.keys(entry.css_vars || {}).filter((k) => /pad|margin/i.test(k)),
+    }))
+    .filter((e) => e.classes.length && e.vars.length);
+
+  if (!chainEntries.length) {
+    info("E17", "层间令牌链对账：词典无标记条目，跳过");
+    return;
+  }
+
+  // 同链令牌在项目内（含设计层）的当前定义值（后者覆盖前者，按样式层叠顺序近似取最后定义）
+  const varValueOf = (name) => {
+    let last = null;
+    for (const t of [projectText, designCss].filter(Boolean)) {
+      const re = new RegExp(`${name.replace(/[$()*+.?[\\\]^{|}]/g, "\\$&")}\\s*:\\s*([^;]+);`, "g");
+      for (const m of t.matchAll(re)) last = m[1].trim();
+    }
+    return last;
+  };
+
+  let checked = 0;
+  for (const { sid, classes, vars, fields } of chainEntries) {
+    for (const rule of designRules) {
+      // 命中条目 selector 的主类（末位复合选择器含任一标记类）
+      const ruleClasses = new Set((rule.selector.match(/\.[\w-]+/g) || []).map((c) => c.slice(1)));
+      if (!classes.some((c) => ruleClasses.has(c))) continue;
+      for (const prop of Object.keys(rule.decls)) {
+        if (!/^(padding|margin)(-(top|right|bottom|left|inline|block))?$/.test(prop)) continue;
+        checked++;
+        const val = String(rule.decls[prop]);
+        // 写的就是 var() 消费 = 令牌通道，合法
+        if (/var\(/.test(val)) continue;
+        // 抢写物理值：同链任一令牌在项目内仍有非零定义 → 双层叠加
+        const survivors = vars
+          .map((v) => ({ v, def: varValueOf(v) }))
+          .filter(({ def }) => def && !/^(0|0px|initial|unset)$/.test(def) && !/var\(/.test(def));
+        if (survivors.length) {
+          err(
+            "E17",
+            `层间令牌链对账：${rule.selector} 的 ${prop}: ${val} 绕过令牌通道抢写物理间距，但同链令牌 ` +
+              `${survivors.map((s) => `${s.v}（当前定义 ${s.def}）`).join("、")} 仍非零 —— 父层设计值与子层令牌值叠加，` +
+              `实际边距 = 两者之和（如 24px + 8px = 32px/侧）。修复：改走令牌通道（在该点位或消费点作用域重映射 ` +
+              `${vars.join(" / ")}，两层同变），或把另一层同链间距归零；仅保留一个权威来源。`,
+          );
+        }
+      }
+    }
+  }
+  if (checked) {
+    if (!errors.some((e) => e.id === "E17")) info("E17", `层间令牌链对账：${checked} 处几何声明均走令牌通道或邻层已归零 ✓`);
+  } else {
+    info("E17", "层间令牌链对账：标记条目无物理几何声明，跳过");
+  }
+})();
+
+// ── E18 激活态消费者存活断言（成对落地 + 伪元素对决）──────────
+// 失效模式：菜单激活态令牌 --vts-theme-menu-active-before 出厂 transparent 且全项目无消费者。
+// 设计侧声明 indicator_* 形态（或 menu_active_indicator 字段）后：
+//   ① 设计层不新建 ::before/::after 消费者 → 令牌仍透明、无消费点，竖条不可见；
+//   ② 建了消费者但令牌从未供值（仍 transparent）→ 消费者渲染但不可见；
+//   ③ 消费者与出厂 sidebar.scss 的同名 ::before 胶囊（specificity 更高 + !important 背景）
+//      对决输了 → 竖条几何整体不渲染。
+// 判据（词典「激活态消费者成对落地」标记驱动）：三者缺一即 ERROR。
+(function checkE18() {
+  const marked = dictEntries
+    .filter(({ entry }) =>
+      Array.isArray(entry.preconditions) &&
+      entry.preconditions.some((p) => typeof p === "string" && p.includes("激活态消费者成对落地")))
+    .map(({ sid, entry }) => ({ sid, entry }));
+  if (!marked.length) {
+    info("E18", "激活态消费者成对落地：词典无标记条目，跳过");
+    return;
+  }
+
+  // 令牌最终定义值（projectText → designCss 顺序近似层叠，取最后定义；支持一层 var 链解析）
+  const finalVarValue = (name, seen = new Set()) => {
+    let last = null;
+    for (const t of [projectText, designCss].filter(Boolean)) {
+      const re = new RegExp(`${name.replace(/[$()*+.?[\\\]^{|}]/g, "\\$&")}\\s*:\\s*([^;]+);`, "g");
+      for (const m of t.matchAll(re)) last = m[1].trim();
+    }
+    if (last == null) return null;
+    const varRef = last.match(/^var\(\s*(--[\w-]+)/);
+    if (varRef && !seen.has(name)) {
+      seen.add(name);
+      const inner = finalVarValue(varRef[1], seen);
+      return inner != null ? inner : last;
+    }
+    return last;
+  };
+
+  for (const { sid, entry } of marked) {
+    const change = (changeset?.changes || []).find((c) => c.id === sid);
+    if (!change) continue;
+    const form = String(change.form || "");
+    const style = change.style && typeof change.style === "object" ? change.style : {};
+    const declaresIndicator =
+      /indicator/.test(form) ||
+      "menu_active_indicator" in style ||
+      Object.keys(style).some((k) => /^active_indicator/.test(k));
+    if (!declaresIndicator) continue;
+
+    const vars = Object.values(entry.css_vars || {})
+      .filter((v) => typeof v === "string" && /active/.test(v));
+    const indicatorVar = vars.find((v) => /before/.test(v)) || vars[0];
+    if (!indicatorVar) continue;
+
+    // 断言①：设计层存在该令牌的消费者（var() 引用）
+    const consumedInDesign = designRules.some((r) =>
+      Object.values(r.decls).some((v) => String(v).includes(`var(${indicatorVar}`)),
+    );
+    if (!consumedInDesign) {
+      err(
+        "E18",
+        `激活态消费者成对落地：${sid} 声明了指示条形态（form=${form || "—"}），但设计层没有任何规则消费 ` +
+          `${indicatorVar} —— 只供值不建消费者 = 未施工（令牌出厂 transparent，全项目无消费点），竖条不可见。` +
+          `修复：在 design-shell 新建 ::before/::after 消费者引用 var(${indicatorVar})。`,
+      );
+      continue;
+    }
+
+    // 断言②：令牌最终定义非 transparent/none/初始值
+    const finalVal = finalVarValue(indicatorVar);
+    if (finalVal && /^(transparent|none|initial|unset|inherit)$/i.test(finalVal.replace(/!important\s*$/i, "").trim())) {
+      err(
+        "E18",
+        `激活态消费者成对落地：${indicatorVar} 消费者已建，但最终定义仍为 ${finalVal.trim()}（出厂中性基线）——` +
+          `消费者在渲染，色值透明 = 竖条不可见。修复：在条目 style_scope（如 .sidebar-container）内显式供值 ` +
+          `（非透明设计色），或在对应 html[data-theme] 主题块确认已有非透明定义。`,
+      );
+    }
+
+    // 断言③（警告级）：消费者是伪元素规则且与出厂胶囊对决——无 !important 背景 / 无提权链则提示
+    const consumerRules = designRules.filter((r) =>
+      Object.values(r.decls).some((v) => String(v).includes(`var(${indicatorVar}`)),
+    );
+    for (const r of consumerRules) {
+      const isPseudo = /::(before|after)/.test(r.selector);
+      const bgImportant = /important/i.test(String(r.decls["background"] || r.decls["background-color"] || ""));
+      const elevated = /(^|\s)html\b[\s>]*body\b/.test(r.selector) || /body\s+\./.test(r.selector);
+      if (isPseudo && !bgImportant && !elevated) {
+        warn(
+          "E18",
+          `激活态消费者成对落地：${r.selector} 消费 ${indicatorVar} 但既无 !important 背景也无 html body 提权链——` +
+            `出厂 sidebar.scss 的同名 ::before 胶囊（!important 背景）对决大概率获胜，指示条几何可能整体不渲染。` +
+            `修复：背景加 !important 或用 html body 前缀提权（词典 priority.strategy=deep_qualified）。`,
+        );
+      }
+    }
+  }
+  const checkedAny = marked.some(({ sid }) => (changeset?.changes || []).some((c) => c.id === sid));
+  if (checkedAny && !errors.some((e) => e.id === "E18") && !warnings.some((w) => w.id === "E18")) {
+    info("E18", "激活态消费者成对落地：消费者存在、令牌非透明、对决权重足够 ✓");
+  }
+})();
+
 const result = { project: PROJECT, errors, warnings, infos };
 
 const CHECK_TITLES = {
@@ -1429,6 +1632,8 @@ const CHECK_TITLES = {
   E13: "固定尺寸内容度量",
   E14: "列宽预算链自洽",
   E16: "引用完整性",
+  E17: "层间令牌链对账",
+  E18: "激活态消费者成对落地",
   SID: "@sid 覆盖率",
 };