@proteus-vue/component-ir 0.1.0 → 0.2.0-beta.1

package/dist/map.d.ts

@@ -1,4 +1,4 @@
-import type { BackendId } from '@proteus-vue/render-backend';
+import type { BackendId } from '@proteus-vue/contracts';
 /** 语义类型 → 各端 Backend 控件（布局原语 + UI 原语 + 能力入口——G-31 §3 组件清单）
  *  ★G-31 B5：vue-dom 列与 render-backend SEMANTIC_WEB_MAP 实际产出一致（div.proteus-* 语义类）——
  *    参考表即门禁标准，component-conformance 机器校验「快照 control == 参考表」 */

package/dist/mp-spec-coverage.d.ts

@@ -0,0 +1,106 @@
+export type MpSpecStatus = 'covered' | 'planned' | 'private' | 'na' | 'gap';
+export interface MpSpecClass {
+    status: MpSpecStatus;
+    /** covered/planned 时的 Proteus 承接（Hook/语义/组件） */
+    proteus?: string;
+}
+/** spec 快照（与 docs/generated/miniprogram-official-spec.json 同构） */
+export interface MpOfficialSpec {
+    components: string[];
+    apis: string[];
+}
+export declare const SPEC_COVERED: Record<string, string>;
+export declare const SPEC_PRIVATE: ReadonlySet<string>;
+export declare const SPEC_NA: ReadonlySet<string>;
+export declare const SPEC_PLANNED: Record<string, string>;
+/** 单条分类（规则序：显式 covered → private → na → planned → 事件基名 → gap） */
+export declare function classifySpecApi(name: string): MpSpecClass;
+/** 组件分类：由 MP_MAPPING_MATRIX 的显式登记驱动（tag 命中即 covered/private/...） */
+export declare function classifySpecComponent(tag: string, matrix: ReadonlyArray<{
+    mp: string;
+    status: string;
+    planned?: boolean;
+}>): MpSpecClass;
+/** 组件级显式分类（名不对齐/语义消灭/Skyline 专属——矩阵未逐条登记时的权威声明） */
+export declare const SPEC_COMPONENT_OVERRIDE: Record<string, MpSpecClass>;
+/**
+ * ★2026-09-18 补门禁：`SPEC_COMPONENT_OVERRIDE` 的引用一致性。
+ *
+ * 背景（本轮实测发现）：`auditMatrixReferences` 只遍历 `MP_MAPPING_MATRIX`，
+ *   override 表**完全不在引用校验范围内** → 表里长期存在两类未被发现的缺陷：
+ *   ① **虚高覆盖**：5 个手势处理器标 `covered`，但指向的 `gesture.tap/pan/pinch/press`
+ *      在 PRIMITIVE_CATALOG 中是 `planned`（`covered` 的定义是「有可运行等价」）；
+ *   ② **悬空引用**：`gesture.long-press` 拼写错误（实际名为 `gesture.longpress`）。
+ *   两者都让「真·落地率」虚高且无人察觉。本函数把 override 表纳入同一校验。
+ *
+ * @param catalog      原语清单（SSOT，判定 covered 的引用是否真已落地）
+ * @param overrideTable 可选注入（测试用；缺省 = SPEC_COMPONENT_OVERRIDE）
+ * @returns issues 结构同矩阵引用检查；`dangling` 为未登记原语，`unimplemented` 为指向 planned 原语。
+ */
+/**
+ * ★gesture-handler 组件 → **期望承载语义**（2026-09-19）。
+ *
+ * 背景（本轮实测发现）：`double-tap-gesture-handler` 长期标 `covered` 并引用
+ *   `gesture.draggable`（拖拽）——语义完全对不上，却因 `auditSpecOverrideRefs` 当时只校验
+ *   「引用存在且**已落地**」而无人发现（draggable 确实存在且已落地）。
+ *   「引用存在」≠「引用对得上」——本表把后者机器化：**covered 声明的引用必须包含期望语义**。
+ *
+ * 维护：新增 *-gesture-handler 类组件时同步本表；covered 行若换了承载语义须同步此处（否则 FAIL）。
+ */
+export declare const GESTURE_HANDLER_EXPECTED: Record<string, string>;
+export declare function auditSpecOverrideRefs(catalog: ReadonlyArray<{
+    semantic: string;
+    tag?: string;
+    status: string;
+}>, overrideTable?: Record<string, MpSpecClass>): {
+    issues: Array<{
+        mp: string;
+        ref: string;
+        kind: 'semantic' | 'component' | 'unimplemented' | 'mismatched';
+    }>;
+    coveredRefs: number;
+};
+export interface SpecCoverageReport {
+    total: number;
+    covered: number;
+    planned: number;
+    private: number;
+    na: number;
+    gap: number;
+    /** 已归类项（total − gap）——分类完整性分母（防「漏登记」）。 */
+    accounted: number;
+    /** 分类完整率 = accounted/total（恒 100 表示「全部官方项都进了某个箱子」——不是「全实现」！） */
+    classifiedPercent: number;
+    /** ★可落地项 = covered + planned（排除 private/na——非目标或废弃） */
+    actionable: number;
+    /** ★真·落地率 = covered / actionable（诚实指标——「可用比例」，非「已归类比例」） */
+    landedPercent: number;
+    gaps: Array<{
+        kind: 'component' | 'api';
+        name: string;
+    }>;
+    /** 规划待落地清单（planned——可见待办） */
+    plannedItems: Array<{
+        kind: 'component' | 'api';
+        name: string;
+        proteus?: string;
+    }>;
+}
+/**
+ * ★spec 覆盖度审计：官方清单逐项分类 → 报告（gap 列出全部缺口名）。
+ * @param spec 官方清单快照
+ * @param matrix 组件显式登记（MP_MAPPING_MATRIX）
+ */
+export declare function auditSpecCoverage(spec: MpOfficialSpec, matrix: ReadonlyArray<{
+    mp: string;
+    status: string;
+    planned?: boolean;
+}>): SpecCoverageReport;
+/**
+ * ★棘轮预算：covered 的硬下限 + gap 硬上限——只能向好的方向变。
+ *   covered 下降 或 gap 上升 → CI 红（防「悄悄丢覆盖」）；改善后应手动调高 covered 锁定成果。
+ */
+export declare const SPEC_RATCHET: {
+    coveredMin: number;
+    gapMax: number;
+};

package/dist/primitives.d.ts

@@ -2,7 +2,7 @@ export type PrimitiveKind = 'layout' | 'ui' | 'shell' | 'gesture' | 'capability'
 /** 状态：implemented = 已在 SEMANTIC_BACKEND_MAP 登记 ≥3 端（G-31.4/G-32.3 门禁适用）；planned = 已冻结待实现（L2 生态） */
 export type PrimitiveStatus = 'implemented' | 'planned';
 export interface PrimitiveDef {
-    /** 清单编号（L1..L12 / U1..U18 / S1..S10 / G1..G10 / C1..C50 / E1..E28） */
+    /** 清单编号（L1..L16 / U1..U29 / S1..S17 / G1..G10 / C1..C81 / E1..E29） */
     id: string;
     kind: PrimitiveKind;
     /** 语义标识（<domain>.<kind>——C-IR semantic / 能力属性） */
@@ -31,5 +31,5 @@ export declare function primitiveById(id: string): PrimitiveDef | undefined;
 export declare function primitiveBySemantic(semantic: string): PrimitiveDef | undefined;
 /** 按 p-* 标签查原语 */
 export declare function primitiveByTag(tag: string): PrimitiveDef | undefined;
-/** 清单自检：128 项 / id 唯一 / semantic 唯一 / 编号连续 */
+/** 清单自检：长度/id 唯一/semantic 唯一/tag 唯一（长度按 SSOT 常量动态——新增项同步本行注释） */
 export declare function checkPrimitiveCatalog(): string[];

package/dist/schema.d.ts

@@ -15,7 +15,7 @@ export interface ComponentIR {
     degradation?: Record<string, 'supported' | 'fallback' | 'unsupported'>;
 }
 /** 语义枚举（与 plan component-ir.schema.json 一致）——<domain>.<kind> */
-export declare const SEMANTIC_ENUM: readonly ["layout.box", "layout.inline", "layout.stack", "layout.grid", "layout.fluid", "layout.adaptive", "layout.fit", "layout.spacer", "layout.divider", "layout.scroll", "layout.virtual-list", "layout.masonry", "layout.split", "layout.safe", "layout.sidebar", "ui.text", "ui.heading", "ui.rich-text", "ui.icon", "ui.image", "ui.avatar", "ui.media", "ui.canvas", "ui.svg", "ui.input", "ui.textarea", "ui.select", "ui.checkbox", "ui.radio", "ui.switch", "ui.slider", "ui.picker", "ui.form", "ui.button", "ui.list", "ui.nav", "shell.page", "shell.nav", "shell.tabbar", "shell.segment", "shell.drawer", "shell.modal", "shell.popover", "shell.toast", "shell.action-sheet", "gesture.draggable", "gesture.scrollable", "engineering.router-link", "engineering.transition", "engineering.animate", "capability.scan-qr", "capability.pick-photo", "capability.location"];
+export declare const SEMANTIC_ENUM: readonly ["layout.box", "layout.inline", "layout.stack", "layout.grid", "layout.fluid", "layout.adaptive", "layout.fit", "layout.spacer", "layout.divider", "layout.scroll", "layout.virtual-list", "layout.masonry", "layout.split", "layout.safe", "layout.sidebar", "layout.aspect", "layout.zone", "ui.text", "ui.heading", "ui.rich-text", "ui.icon", "ui.image", "ui.avatar", "ui.media", "ui.canvas", "ui.svg", "ui.input", "ui.textarea", "ui.select", "ui.checkbox", "ui.radio", "ui.switch", "ui.slider", "ui.picker", "ui.form", "ui.button", "ui.list", "ui.nav", "ui.loading", "ui.scale", "ui.skeleton", "ui.progress", "ui.label", "ui.selection", "ui.camera", "shell.page", "shell.nav", "shell.tabbar", "shell.segment", "shell.drawer", "shell.modal", "shell.popover", "shell.toast", "shell.action-sheet", "shell.mask", "shell.popup", "shell.toolbar", "shell.page-container", "shell.keyboard-accessory", "shell.webview", "shell.ad", "ui.map", "gesture.draggable", "gesture.scrollable", "engineering.router-link", "engineering.transition", "engineering.animate", "engineering.error-boundary", "engineering.share-element", "capability.location", "capability.qr-code", "capability.camera"];
 /** C-IR JSON Schema（等价于 plan component-ir.schema.json——TS 内嵌供校验/工具消费） */
 export declare const COMPONENT_IR_SCHEMA: {
     readonly $schema: "https://json-schema.org/draft/2020-12/schema";
@@ -30,7 +30,7 @@ export declare const COMPONENT_IR_SCHEMA: {
         };
         readonly semantic: {
             readonly type: "string";
-            readonly enum: readonly ["layout.box", "layout.inline", "layout.stack", "layout.grid", "layout.fluid", "layout.adaptive", "layout.fit", "layout.spacer", "layout.divider", "layout.scroll", "layout.virtual-list", "layout.masonry", "layout.split", "layout.safe", "layout.sidebar", "ui.text", "ui.heading", "ui.rich-text", "ui.icon", "ui.image", "ui.avatar", "ui.media", "ui.canvas", "ui.svg", "ui.input", "ui.textarea", "ui.select", "ui.checkbox", "ui.radio", "ui.switch", "ui.slider", "ui.picker", "ui.form", "ui.button", "ui.list", "ui.nav", "shell.page", "shell.nav", "shell.tabbar", "shell.segment", "shell.drawer", "shell.modal", "shell.popover", "shell.toast", "shell.action-sheet", "gesture.draggable", "gesture.scrollable", "engineering.router-link", "engineering.transition", "engineering.animate", "capability.scan-qr", "capability.pick-photo", "capability.location"];
+            readonly enum: readonly ["layout.box", "layout.inline", "layout.stack", "layout.grid", "layout.fluid", "layout.adaptive", "layout.fit", "layout.spacer", "layout.divider", "layout.scroll", "layout.virtual-list", "layout.masonry", "layout.split", "layout.safe", "layout.sidebar", "layout.aspect", "layout.zone", "ui.text", "ui.heading", "ui.rich-text", "ui.icon", "ui.image", "ui.avatar", "ui.media", "ui.canvas", "ui.svg", "ui.input", "ui.textarea", "ui.select", "ui.checkbox", "ui.radio", "ui.switch", "ui.slider", "ui.picker", "ui.form", "ui.button", "ui.list", "ui.nav", "ui.loading", "ui.scale", "ui.skeleton", "ui.progress", "ui.label", "ui.selection", "ui.camera", "shell.page", "shell.nav", "shell.tabbar", "shell.segment", "shell.drawer", "shell.modal", "shell.popover", "shell.toast", "shell.action-sheet", "shell.mask", "shell.popup", "shell.toolbar", "shell.page-container", "shell.keyboard-accessory", "shell.webview", "shell.ad", "ui.map", "gesture.draggable", "gesture.scrollable", "engineering.router-link", "engineering.transition", "engineering.animate", "engineering.error-boundary", "engineering.share-element", "capability.location", "capability.qr-code", "capability.camera"];
         };
         readonly props: {
             readonly type: "object";
@@ -60,3 +60,44 @@ export declare const COMPONENT_IR_SCHEMA: {
 };
 /** C-IR 组件标签 → 语义类型（组件清单映射——G-32 ①-③ 组件原语 + G-31 L1 布局/UI 原语 + ★B4 现有组件对齐） */
 export declare const TAG_SEMANTIC_MAP: Record<string, string>;
+/**
+ * ★框架**内部运行时标签**（2026-09-18 批次 7）：由编译器产出或仅供内部运行的组件标签——
+ * 它们**刻意不获得跨端语义**（不登记进 TAG_SEMANTIC_MAP / PRIMITIVE_CATALOG），
+ * 但必须在「未登记 p-*」反黑盒检查中被识别，否则产生**错误告警**。
+ *
+ * 判定依据（与 G-31 一致：不把平台私有的实现载体上升为框架语义）：
+ *  - `p-svg-canvas`：G-62 SVG 动画降级的 **MP 运行时载体**（`template/svg-canvas` 规则从 `<svg>`
+ *    形状变化动画产出，见 packages/compiler/src/template.ts）。组件自身文档写明
+ *    「MP-only 运行时组件——离屏 canvas 逐帧绘制依赖 wx.createOffscreenCanvas；Web 端不走此组件，
+ *    故无 L2 等价物」→ 它是 `ui.svg` 语义在 MP 端的**实现形态**，不是独立跨端语义。
+ *    ★修复背景：此前它被 `tag/unknown-p-star` 检查命中，编译期报
+ *    「未入库组件？产物将按未注册自定义组件输出（MP 端不渲染）」——**该断言是错的**
+ *    （组件确实在库中、产物亦由 gen-routes 正确注册），属误导告警（实测 155 个文件受影响面）。
+ *
+ * 新增条目须给理由；**不得**用它绕过「新组件必须登记语义」的要求——仅限「实现载体」类。
+ */
+export declare const FRAMEWORK_INTERNAL_TAGS: ReadonlySet<string>;
+/**
+ * ★多标签共享语义的**显式别名登记**（2026-09-18）。
+ *
+ * 背景：`checkPrimitiveCatalog` 只校验 **catalog** 的 semantic 唯一，不校验 `TAG_SEMANTIC_MAP`
+ *   的**值**唯一——于是「两个标签指向同一语义」这一情形长期**无人校验**，实测存在 3 处：
+ *   `layout.box`（p-box / p-view）、`layout.scroll`（p-scroll / p-scroll-view）、
+ *   `engineering.router-link`（p-router-link / router-link）。
+ *
+ * 语义：这些**不是缺陷**（同一语义可由多个标签提供，如 `router-link` 是 Vue Router 风格兼容别名），
+ *   但**必须显式登记 + 给理由 + 指明规范标签**，否则属「悄悄重复」（新增重复值不再可能漏检——
+ *   由 auditCatalogConsistency 的 **C6** 强制）。
+ *
+ * ★规范标签（canonical）判定依据：**端对齐产物且实际被源码引用者**为规范；
+ *   另一者为 G-32 血统的兼容别名（历史组件，保留不删——删除属更大决策）。
+ *   ★实测源码引用（排除构建产物/缓存）：p-view 22 · p-scroll-view 2 · p-box 0 · p-scroll 1。
+ */
+export interface TagAliasDecl {
+    /** 规范标签（端对齐产物 + 实际使用；catalog 应登记此 tag） */
+    canonical: string;
+    /** 兼容别名标签 */
+    aliases: string[];
+    reason: string;
+}
+export declare const TAG_SEMANTIC_ALIASES: Record<string, TagAliasDecl>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proteus-vue/component-ir",
-  "version": "0.1.0",
+  "version": "0.2.0-beta.1",
   "description": "G-31 组件与 API 语义化（component-semantics-plan B1）：Component IR（C-IR）schema + 属性约束校验 + semantic 映射——组件=语义、属性=约束、Backend 消费 semantic 而非 tag（零依赖纯逻辑）",
   "type": "module",
   "license": "Apache-2.0",
@@ -18,10 +18,10 @@
     "dist",
     "README.md"
   ],
+  "dependencies": {
+    "@proteus-vue/contracts": "0.1.1-beta.0"
+  },
   "scripts": {
     "build": "tsc -p tsconfig.build.json --emitDeclarationOnly && esbuild src/index.ts --bundle --format=esm --platform=neutral --outfile=dist/index.js"
-  },
-  "devDependencies": {
-    "@proteus-vue/render-backend": "0.1.0"
   }
-}
+}