@proteus-vue/compiler 0.3.0-beta.0 → 0.3.0-beta.3

package/dist/ir/build.d.ts

@@ -0,0 +1,14 @@
+import type { CompileIR, ScriptIR, TemplateIR, TemplateTransformResult } from '../types';
+/**
+ * 投影 TemplateTransformResult → TemplateIR（14 旁路字段 1:1 结构化）。
+ * 可选项缺省按「未出现 = 空集合/false」归一，保证 IR 快照确定性。
+ */
+export declare function buildTemplateIR(tpl: TemplateTransformResult): TemplateIR;
+/**
+ * 组装 CompileIR 容器。
+ * M1：script 段留空（ScriptIR 类型已落地，内容随 M4 逐条迁入——script 侧当前无结构化旁路字段）。
+ * version 与 TemplateIR 演进同步 bump（见 compiler-types.ts CompileIR.version）。
+ */
+export declare function buildCompileIR(tpl: TemplateTransformResult): CompileIR;
+/** ScriptIR 缺省（确定性——纯模板/提取禁用时 script 段 = 全空数组而非 undefined） */
+export declare function emptyScriptIR(): ScriptIR;

package/dist/overrides.d.ts

@@ -9,6 +9,8 @@ export interface ResolvedOverrides {
     semanticClass: Record<string, string>;
     /** 被禁用的规则 ID 集合 */
     disabled: Set<string>;
+    /** ★2026-09-09 支持矩阵 fail-fast：矩阵外语义「已原样输出」软警告升级为编译期 CompilerError（缺省 false） */
+    failFast: boolean;
 }
 /** 解析规则覆盖：合并 tags.ts 常量 + 覆盖补丁；未知规则 ID 编译期警告（防配置笔误） */
 export declare function resolveOverrides(options?: TransformRuleOverrides): ResolvedOverrides;

package/dist/platform-macros.d.ts

@@ -0,0 +1,20 @@
+import type { VariantPlatform } from './platform-variant';
+export type { VariantPlatform };
+/** 宏目标平台（= 变体解析目标；具体平台或族） */
+export type PlatformTarget = VariantPlatform;
+/**
+ * 平台宏替换：`__MP__`/`__WEB__`/`__NATIVE__`/`__IOS__`/`__ANDROID__`/`__HARMONY__`/`__TARGET__`
+ * → 该平台字面量。
+ *
+ * ★两种模式（踩坑后确立，2026-09-13）：
+ *   - `'template'`：**原始**标识符替换（word-boundary）。模板里 `v-if="__MP__"` 的标识符位于
+ *     HTML 属性引号内、但语义是表达式——必须替换，故不做字符串跳过。
+ *   - `'code'`：跳过字符串字面量与注释（脚本模式）。否则**代码示例字符串**（如
+ *     `codes.x = '<p-button v-if="__MP__">'`）会被误改并破坏引号结构（实测事故）。
+ */
+export declare function applyPlatformMacros(source: string, platform: PlatformTarget, mode?: 'template' | 'code'): string;
+/** 对整个 .vue 源码做宏替换：`<script>` 块用 code 模式（跳过字符串），其余（template 等）用 template 模式。
+ *  Web 端的 vue 前置插件用（在 @vitejs/plugin-vue 解析前替换源码）。 */
+export declare function applyPlatformMacrosInSfc(source: string, platform: PlatformTarget): string;
+/** 供构建配置（vite define / esbuild define）复用的宏定义表 */
+export declare function platformDefines(platform: PlatformTarget): Record<string, string>;

package/dist/platform-variant.d.ts

@@ -0,0 +1,72 @@
+/** 具体平台（变体后缀可精确到具体平台/OS） */
+export type ConcretePlatform = 'web' | 'mp' | 'ios' | 'android' | 'harmony';
+/** 平台族（可作变体后缀；作为族内全部具体平台的回退） */
+export type PlatformFamily = 'web' | 'mp' | 'native';
+/** 变体解析目标：具体平台 或 平台族 */
+export type VariantPlatform = ConcretePlatform | PlatformFamily;
+/** 全部具体平台（顺序稳定） */
+export declare const CONCRETE_PLATFORMS: readonly ConcretePlatform[];
+/** 全部可选变体后缀（供文档/校验用；无连字符） */
+export declare const VARIANT_SUFFIXES: readonly string[];
+/** 兼容别名（旧名保留；VARIANT_PLATFORMS 保留供既有消费方） */
+export declare const VARIANT_PLATFORMS: readonly VariantPlatform[];
+/** 规范平台标识（未知返回 undefined——不猜，调用方自行决定 fail 策略） */
+export declare function normalizePlatform(raw: string): VariantPlatform | undefined;
+/** 该平台所属族（具体平台 → 族；族 → 自身） */
+export declare function platformFamily(p: VariantPlatform): PlatformFamily;
+/** 构建目标（config.platform）→ 规范平台 id（'mp-weixin'→'mp'、'ios'→'ios' …） */
+export declare function platformFromBuildTarget(target: string): VariantPlatform;
+/**
+ * 某**解析目标**可接受的变体文件后缀（按优先级）：精确平台 → 平台别名 → 族（含族别名）。
+ * 例：'ios' → ['ios','native','app']（iOS 专属优先，其次三端原生共用）
+ *     'mp'  → ['mp','skyline']；'web' → ['web']；'native' → ['native','app']
+ */
+export declare function variantSuffixes(platform: VariantPlatform): string[];
+/** 拆解文件名中的平台变体后缀（返回规范平台 + 原始后缀 token）：
+ *  `foo.web.ts` → { base:'foo.ts', platform:'web', suffix:'web' }
+ *  `foo.ios.ts` → { base:'foo.ts', platform:'ios', suffix:'ios' }
+ *  `foo.native.ts` → { base:'foo.ts', platform:'native', suffix:'native' }
+ *  `foo.ts` → { base:'foo.ts', platform:undefined }
+ *  ★后缀须位于**最后一个扩展名之前**（故 `a.web.config.ts` 的 `.web` 是业务名，不拆）。 */
+export declare function splitVariant(filePath: string): {
+    base: string;
+    platform?: VariantPlatform;
+    suffix?: string;
+};
+/** 候选路径（按优先级）：目标平台各后缀变体 → 无后缀基准。纯字符串运算，不触盘。 */
+export declare function variantCandidates(filePath: string, platform: VariantPlatform): string[];
+/** 解析（注入 exists 以便纯函数测试）：返回首个存在的候选，无则 null。 */
+export declare function resolvePlatformVariant(filePath: string, platform: VariantPlatform, exists: (p: string) => boolean): string | null;
+/** 无扩展名导入的多扩展名解析（供 `./share` → `share.ios.ts` 场景）：
+ *  后缀优先级外层、扩展名内层；平台变体 → 族变体 → 基准。 */
+export declare function resolvePlatformVariantWithExts(baseNoExt: string, exts: readonly string[], platform: VariantPlatform, exists: (p: string) => boolean): string | null;
+/**
+ * 该文件是否为「对目标平台无效」的变体（构建扫描时**排除**用）。
+ * 目标平台**可接受的全部后缀**（含族）之外 → 视为他端变体；无后缀（共享基准）→ false。
+ * 例：目标 'ios' 时 `.native.ts` **有效**（族回退），`.android.ts` 为他端。
+ */
+export declare function isForeignVariant(filePath: string, platform: VariantPlatform): boolean;
+/**
+ * 同一组文件中，为某个「逻辑名」挑选目标平台的有效文件（扫描/去重用）。
+ * 顺序：目标平台后缀（按优先级）→ 无后缀基准 → null。
+ */
+export declare function pickVariant(candidates: readonly string[], platform: VariantPlatform): string | null;
+/**
+ * ★扫描期「有效文件集」：把一批文件按**逻辑名**（去变体后缀）分组，每组选目标平台那一份，
+ * 排除他端变体与「被变体覆盖的基准」。供 MP 目录扫描（每个变体不能当独立页面重复编译）。
+ *
+ * 例（platform='mp'，输入 page.vue / page.web.vue / page.mp.vue / other.vue）：
+ *   → [page.mp.vue, other.vue]（page.vue 被 page.mp.vue 覆盖、page.web.vue 是他端）
+ * 例（platform='ios'，输入 s.ts / s.native.ts / s.android.ts）：
+ *   → [s.native.ts]（族回退命中；android 是他端）
+ */
+export declare function effectiveVariants(files: readonly string[], platform: VariantPlatform): string[];
+/**
+ * ★静态资源变体映射（第 3 层）：把 public/ 下的文件列表按平台选出有效集，
+ * 并给出**去变体后缀**的产物相对路径（`assets/logo.ios.png` → `assets/logo.png`）。
+ * 于是模板里始终写 `src="/assets/logo.png"`，各端各自产出各自的图。
+ */
+export declare function mapPublicAssetVariants(relFiles: readonly string[], platform: VariantPlatform): Array<{
+    from: string;
+    to: string;
+}>;

package/dist/script.d.ts

@@ -1,4 +1,22 @@
 import type { ScriptTransformOptions, ScriptTransformResult, StyleTransformOptions } from './types';
+export declare const REACTIVITY_RUNTIME_APIS: readonly ["reactive", "readonly", "shallowReactive", "shallowReadonly", "isReactive", "isReadonly", "isProxy", "isShallow", "toRaw", "toRef", "toRefs", "isRef", "markRaw", "triggerRef", "customRef", "proxyRefs"];
+/** reactive 家族的 const 源类型（isRef 内联判定用：reactive/readonly 均非 ref-like → false） */
+export declare const REACTIVE_SRC_TYPE: Record<string, string>;
+/** 是否为走运行时 reactive 的 const 初始化调用（reactive(x)/readonly(x)/shallowReactive(x)/shallowReadonly(x)） */
+export declare function isReactiveRuntimeInit(init: string): string | null;
+/** 运行时守卫（读 ReactiveFlags 标记位，需 reactive 族真 Proxy 才有语义）——走 runtime-init 但在「函数调用初始化」警告里改准确地说明 */
+export declare const REACTIVITY_RUNTIME_GUARDS: Set<string>;
+/** 方法参数 AST → 产物参数文本（类型注解天然剔除；保留 ? 可选 / 默认值 / 展开；解构参数剥类型注解切片） */
+export declare function astParamText(source: string, p: any): string;
+/** ★2026-09-08 修复：runtime-init call 内裸 runtimeInit 名 → this.<name> 的**安全**改写。
+ *  旧的 `new RegExp('(?<!\\.)\\b' + n + '\\b')` 会误伤对象字面量 key（`reactive({ a: 1 })` 的 key a 若恰是
+ *  runtimeInit 名 → `{ this.a: 1 }` 语法错误）与字符串内容。本函数字符级扫描：
+ *  ① 跳过字符串（单/双/反引号，含转义）与单行注释；② 裸标识符后跟 `:`（对象完整 key，如 `{ a: 1 }`）不改写；
+ *  ③ 否则（参数引用/链式 base）改 `<prefix><name>`（prefix 默认 `this.`——runtimeInit 实例属性；plain data 内联字段传
+ *   `this.data.`）。简写 key（`{ a }`）暂无区分（其 value 语义保持裸引用，少见于 runtime-init call）。
+ *  ★2026-09-09 const 裸引用缺口（p-popover TRIGGER_SELECTOR 真机根因）：方法体复用时模板串 `${}` 内插值表达式
+ *   不能整体跳过（`${X}` 内裸名同样 ReferenceError）——插值内容递归走同一扫描（嵌套模板/字符串自然覆盖）。 */
+export declare function rewriteInstanceRefsSafe(call: string, names: ReadonlySet<string>, prefix?: string): string;
 /** base64 VLQ 编码（sourcemap mappings 字段） */
 export declare function vlqEncode(value: number): string;
 /** base64 VLQ 解码（测试验证用） */

package/dist/sfc-macros.d.ts

@@ -0,0 +1,44 @@
+export interface MacroModelRef {
+    /** 源码里 defineModel 绑定的变量名（const m = defineModel() → m） */
+    varName: string;
+    /** 对应 v-model prop 名（默认 'modelValue'，可 arg defineModel('title') → 'title'） */
+    propName: string;
+}
+export interface SfcMacros {
+    /** compileScript 权威 bindings：name → 'props' | 'setup-ref' | 'setup-const' ...（Vue 官方语义分类） */
+    bindings: Record<string, string>;
+    /** props 规约名集合（bindings 里标 'props' 的） */
+    propNames: Set<string>;
+    /** defineModel 引用——const m = defineModel() 展开为 _useModel(__props, 'modelValue') 后提取 { varName: 变量名, propName } */
+    modelRefs: MacroModelRef[];
+    /** ★权威 emits（compileScript 展开的 emits 数组） */
+    emits: string[];
+    /** ★权威 props 元数据：name → { type, default? }（compileScript 权威展开，手写 extractProps 类型/默认值一致性校验基准） */
+    propsMeta: Record<string, {
+        type: string;
+        default?: unknown;
+    }>;
+    /** ★defineOptions 语义元数据：{ name?, inheritAttrs? }（compileScript 将 defineOptions 展开为组件 options 的 ...{} 段；name/inheritAttrs 权威值） */
+    defineOptions: {
+        name?: string;
+        inheritAttrs?: boolean;
+    };
+    /** 编译是否成功（失败返回空语义，调用方回退既有路径——不因 compileScript 抛错而崩编译） */
+    ok: boolean;
+    /** 原因（ok=false 时） */
+    error?: string;
+}
+/**
+ * 用 @vue/compiler-sfc 的 compileScript 提取宏语义元数据（权威源）。
+ * @param source 完整 SFC 源码（<script setup> 宏包裹在内）
+ * @param filename 用于 id 生成（scopedId 不冲突）
+ * @returns bindings 语义分类 + props 规约 + defineModel 模型引用；失败回退空（不抛，调用方走既有路径）
+ */
+export declare function extractSfcMacros(source: string, filename?: string): SfcMacros;
+/**
+ * ★模板表达式 var 改名（defineModel 落地）：模板里 `{{ m }}` 读 data.m，但 model 的 prop 名是 'modelValue'（var m ≠ prop 名）——
+ *   需把插值 `{{ }}` 内的独立标识符 <var> 改为 <propName>，否则读不到（空）。仅改 `{{ }}` 内，避免误伤类名/属性。
+ * @param wxml 模板变换器产物（WXML 文本）
+ * @param modelRefs var→prop 映射（extractSfcMacros 的 modelRefs）
+ */
+export declare function renameModelVarsInWxml(wxml: string, modelRefs: MacroModelRef[]): string;

package/dist/svg-lower.d.ts

@@ -0,0 +1,157 @@
+import type { ElementNode } from '@vue/compiler-dom';
+/** ★2026-09-09 G-62 P2：Skyline `<image>` 渲染 SVG 的**实测特性支持表**（真机 spike: examples/pages/svg-p2-spike.vue）。
+ *  结论：Skyline image 的 SVG 渲染能力远超预期——mask/clipPath/渐变/transform/dasharray/opacity/filter 全部原生支持，
+ *  无需 canvas 路线（P2 因此大幅简化）。仅 use+symbol / text 不支持（实测空白）。 */
+export declare const SVG_P2_SUPPORT: {
+    /** ✅ 实测支持（放行，无警告） */
+    readonly supported: readonly ["linearGradient", "radialGradient", "stop", "defs", "clipPath", "mask", "transform（translate/rotate/scale 矩阵）", "stroke-dasharray / stroke-dashoffset", "opacity / fill-opacity / stroke-opacity", "g（嵌套组）", "filter（feGaussianBlur 等）"];
+    /** ❌ 实测不支持（编译期诚实警告——渲染为空白）。★use/symbol 已由编译期展开解决（见 useExpanded） */
+    readonly unsupported: readonly ["text", "tspan"];
+    /** ★编译期展开解决（原始渲染空白，展开后完美渲染——真机实证） */
+    readonly useExpanded: readonly ["use", "symbol"];
+};
+/** 收集子树内**实测不支持**的 SVG 标签（去重，供诚实警告）。
+ *  ★use/symbol 已由编译期展开处理——仅当 use 引用的 symbol **未在本文档定义**（外部 sprite）时，
+ *  展开失败才计入警告（键名 'use(外部引用)'）。 */
+export declare function collectUnsupportedSvgTags(node: ElementNode, acc?: Set<string>): Set<string>;
+/** 序列化结果：静态 SVG → base64 data-URI；含动态绑定/不支持形态 → null（调用方警告） */
+/** ★2026-09-09 事件命中：带事件的图形几何（编译期提取——运行时做坐标命中判定）。
+ *  真机实证：Skyline tap 事件无坐标，touchstart 的 touches[0] 带 pageX/pageY → 命中基于 touch。 */
+export interface SvgHitShape {
+    /** 事件处理器名（页面/组件方法） */
+    handler: string;
+    /** 图形类型（命中判定算法选择） */
+    kind: 'circle' | 'rect' | 'ellipse' | 'path';
+    /** 几何参数（viewBox 坐标系）：circle→cx,cy,r；rect→x,y,w,h；ellipse→cx,cy,rx,ry；path→采样点对 */
+    geom: Record<string, number | number[]>;
+    /** fill 是否 none（描边图形命中判定用 stroke 宽度；简化：仍按几何命中） */
+    strokeOnly?: boolean;
+}
+/** ★2026-09-09 text 提升：SVG <text> → 原生 <text> 叠加层（Skyline 丢弃 SVG 文字，编译期提取）。
+ *  坐标保留 viewBox 坐标系，由调用方按 image 尺寸换算为百分比定位。 */
+export interface SvgTextNode {
+    /** 文本内容（静态——含插值则走动态路径不提升） */
+    content: string;
+    /** viewBox 坐标（x/y） */
+    x: number;
+    y: number;
+    /** 字号（viewBox 单位，无单位） */
+    fontSize: number;
+    /** 填充色 */
+    fill: string;
+    /** text-anchor: start/middle/end（默认 start） */
+    anchor: string;
+    /** font-weight（可选） */
+    fontWeight?: string;
+}
+/** ★2026-09-09 动画提升：SVG 整体变换动画 → CSS @keyframes（作用于 <image> 元素）。
+ *  实测：SVG 内部 SMIL 不播放（image 静态光栅化），但 CSS 动画对 image 元素**完全有效**（真机三帧 MD5 各异）。 */
+export interface SvgAnimSpec {
+    /** 动画类型（映射到 CSS 变换） */
+    kind: 'rotate' | 'scale' | 'translate' | 'opacity';
+    /** 时长（如 2s） */
+    dur: string;
+    /** 缓动（如 linear/ease-in-out） */
+    timing: string;
+    /** 关键帧值（CSS 语义） */
+    from: string;
+    to: string;
+    /** 生成的 CSS 类名（调用方注入 wxss） */
+    className: string;
+}
+export interface SvgLowerResult {
+    /** data-URI（可直接作 <image src>） */
+    dataUri: string;
+    /** 原始 viewBox（用于推导 image 尺寸/比例） */
+    viewBox: string;
+    /** ★事件命中：带事件的图形表（空 = 无事件，不生成命中逻辑） */
+    hitShapes: SvgHitShape[];
+    /** ★text 提升：SVG 文字节点（编译期提取 → 调用方生成原生 <text> 叠加） */
+    texts: SvgTextNode[];
+    /** ★动画提升：可映射为 CSS 动画的整体变换（SVG 内部动画不播放，见 §11.1） */
+    anims: SvgAnimSpec[];
+}
+/**
+ * 静态 SVG 子树 → <image> data-URI。
+ * 前提：调用方已确认 node.tag === 'svg'。含动态绑定 → 返回 null（调用方诚实警告，P1 处理）。
+ */
+export declare function lowerSvgToImage(node: ElementNode): SvgLowerResult | null;
+/** 从 viewBox 推导宽高比（供 <image> 默认尺寸；失败 → 1:1） */
+export declare function viewBoxRatio(viewBox: string): number;
+/** 结构化片段：lit = 原样 SVG 文本；expr = 动态表达式；if = v-if 条件片段（含子片段） */
+export type SvgPart = {
+    t: 'lit';
+    v: string;
+} | {
+    t: 'expr';
+    v: string;
+} | {
+    t: 'if';
+    cond: string;
+    parts: SvgPart[];
+};
+/** 动态 SVG 编译结果 */
+export interface SvgDynamicResult {
+    /** 生成的 computed 名（模板 image src 引用） */
+    computedName: string;
+    /** 结构化片段树（script 侧改写 expr 内标识符后拼成模板字面量） */
+    parts: SvgPart[];
+    /** 依赖的标识符集合 */
+    deps: Set<string>;
+    /** viewBox（尺寸推导） */
+    viewBox: string;
+}
+/**
+ * 动态 SVG → 结构化片段树（script 侧改写 expr 标识符后拼接）。
+ * 返回 null：形态不支持（v-for 等）——调用方保持 svg-no-peer 警告。
+ */
+export declare function lowerSvgDynamic(node: ElementNode, computedName: string): SvgDynamicResult | null;
+/** 场景节点（与运行时 engine.ts 的 SceneNode 同形——编译期产出） */
+export interface SceneNodeIR {
+    tag: string;
+    attrs: Record<string, string | number>;
+    d?: string;
+    anims?: Array<{
+        attr: string;
+        transformType?: string;
+        values: string[];
+        dur: number;
+        delay: number;
+        repeat: boolean;
+    }>;
+    transform?: {
+        translate?: [number, number];
+        rotate?: number;
+        scale?: [number, number];
+        origin?: [number, number];
+    };
+    children?: SceneNodeIR[];
+}
+export interface SvgSceneIR {
+    viewBox: [number, number, number, number];
+    nodes: SceneNodeIR[];
+    duration: number;
+    /** ★2026-09-09 Canvas 渐变：defs 里的渐变定义（id → 类型/stops/坐标）——
+     *  Canvas fillStyle 不认 `url(#id)`，需运行时 createLinearGradient/createRadialGradient */
+    gradients?: Record<string, {
+        type: 'linear' | 'radial';
+        stops: Array<{
+            offset: number;
+            color: string;
+            opacity?: number;
+        }>;
+        x1?: number;
+        y1?: number;
+        x2?: number;
+        y2?: number;
+        cx?: number;
+        cy?: number;
+        r?: number;
+        units?: string;
+    }>;
+}
+/**
+ * SVG 子树 → SvgScene（canvas 通道）。
+ * 返回 null：无形状变化动画（无需 canvas——用 image/CSS 方案即可）。
+ */
+export declare function lowerSvgToScene(node: ElementNode): SvgSceneIR | null;

package/dist/tags.d.ts

@@ -1,3 +1,16 @@
 export declare const TAG_MAP: Record<string, string>;
 export declare const EVENT_MAP: Record<string, string>;
+/**
+ * ★v-gesture:<kind> → MP 原生事件名（2026-09-18）。
+ *
+ * 只登记**有真实原生事件对等**的手势。未登记者在编译器走「剥离 + 明示替代」路径
+ * （pan/pinch/rotate/press —— MP 无简单事件对等：官方用 worklet 手势处理器**组件**
+ * `<pan-gesture-handler>` 等（属性为 `worklet:ongesture` + 协商），非事件属性）。
+ *
+ * 依据：EVENT_MAP 的 `click: 'tap'` / `longpress: 'longpress'` 即原生真实事件；
+ *   官方 view 通用事件表含 tap/longpress（另有 touchstart/move/end/cancel）。
+ */
+export declare const GESTURE_MP_EVENTS: Record<string, string>;
+/** 无事件对等手势的**具体**替代指引（反黑盒：不笼统说「无对等机制」） */
+export declare const MP_GESTURE_ALTERNATIVES: Record<string, string>;
 export declare const SEMANTIC_CLASS: Record<string, string>;

package/dist/transforms/types.d.ts

@@ -24,10 +24,16 @@ export interface TransformRule {
     phase: TransformPhase;
     /** 人类可读标题 */
     title: string;
+    /** ★#483 英文标题变体（仅含中文的标题必填——语言中立标题可省略，回退 title） */
+    titleEn?: string;
     /** what：输入 → 输出 */
     description: string;
+    /** ★#480 英文变体 of description（官网 Playground/EN 态取用；缺省回退中文）——新增规则必填，tests/transforms.test.ts 硬卡全覆盖 */
+    descriptionEn?: string;
     /** why：平台约束 / 设计决策（关联 PROJECT_MEMORY.md 决策号） */
     why: string;
+    /** ★#483 英文 why 变体（必填——官网 EN rules 目录消费；缺省回退中文） */
+    whyEn?: string;
     /** when：触发条件 */
     when: string;
     /** 前后对照示例（真实源码 / 真实产物） */

package/dist/types.d.ts

@@ -1 +1 @@
-export type { TransformPhase, TransformTraceEvent, TransformTrace, TransformRuleOverrides, StyleTransformOptions, TemplateTransformOptions, TemplateTransformResult, ScriptTransformOptions, ScriptTransformResult, CompileOptions, CompileResult, } from '@proteus-vue/types/compiler-types';
+export type { TransformPhase, TransformTraceEvent, TransformTrace, TransformRuleOverrides, Renderer, StyleTransformOptions, TemplateTransformOptions, TemplateTransformResult, ScriptTransformOptions, ScriptTransformResult, CompileOptions, CompileResult, CompileIR, TemplateIR, ScriptIR, } from '@proteus-vue/types/compiler-types';

package/dist/validate.d.ts

@@ -9,6 +9,22 @@ export declare function validateJs(js: string): {
     ok: boolean;
     error?: string;
 };
+/**
+ * ★#505 平台 JS 标准校验：扫描产物残留的微信编译器不解析的 ES2020 语法（?? ?. ??= ||= &&=）。
+ * 跳过字符串/模板/注释/正则字面量（产物注释里的 ?? 是文本非代码——#504 dist 实证唯一 ?? 在注释）；
+ * 报告首处行号+列号。逻辑从 scripts/check-script-compile.mjs tripwire 内建进产物自校验链，
+ * 使 babel 转译失败路径（es5.ts error 返回原样代码）在 compileVueSfc 内兜底报红，而非依赖外部门禁。
+ */
+export declare function scanMpUnsafeEs5(js: string): {
+    kind: string;
+    line: number;
+    col: number;
+} | null;
+/** ★#505 平台 JS 标准校验入口：残留 ES2020 → 校验失败（微信开发者工具 babel 不解析） */
+export declare function validateMpJsPlatform(js: string): {
+    ok: boolean;
+    error?: string;
+};
 /** WXML 标签配对校验（先剥离注释，避免行号注释中的标签文本干扰） */
 export declare function validateWxml(wxml: string): {
     ok: boolean;
@@ -16,3 +32,17 @@ export declare function validateWxml(wxml: string): {
 };
 /** 校验整包编译结果，失败抛 CompilerError */
 export declare function assertValidResult(result: CompileResult, filename: string): void;
+/** 单条 wxml 平台违规（code = 官方 ParseErrorKind 蓝本） */
+export interface WxmlPlatformIssue {
+    code: 'DataBindingNotAllowed' | 'DuplicatedAttribute' | 'AvoidUppercaseLetters' | 'UnsupportedSyntax' | 'InvalidAttribute' | 'DuplicatedStylePropertyNames';
+    message: string;
+    /** wxml 字符偏移（定位用） */
+    at: number;
+}
+/** wxml 平台标准扫描（蓝本 glass-easel ParseErrorKind） */
+export declare function scanWxmlPlatformIssues(wxml: string): WxmlPlatformIssue[];
+/** wxml 平台标准校验入口：任一官方错误码命中 → 校验失败 */
+export declare function validateWxmlPlatform(wxml: string): {
+    ok: boolean;
+    error?: string;
+};

package/dist/vue-compat.d.ts

@@ -0,0 +1,43 @@
+/** 对齐状态 */
+export type VueCompatStatus = 'aligned' | 'partial' | 'unsupported';
+/** Vue 能力类别 */
+export type VueCompatGroup = 'reactivity' | 'component' | 'lifecycle' | 'template' | 'sfc';
+export interface VueCompatEntry {
+    /** Vue 公共 API / SFC 特性名（对齐 @vue/* 导出名或模板能力名） */
+    name: string;
+    group: VueCompatGroup;
+    /** 对齐状态 */
+    status: VueCompatStatus;
+    /** unsupported/partial 时：有降级策略 → true（编译期 warning）；无 → false/undefined（编译期 error） */
+    degrade?: boolean;
+    /** 说明 / 替代建议（unsupported/partial 必填） */
+    note?: string;
+    /** 状态来源（vue-compat §1 / advance batch / roadmap / 实测评估） */
+    source: string;
+}
+/**
+ * ★Vue 全能力基准线（SSOT）。随 Vue 版本演进：重拉 @vue/* 导出 + 复评状态（版本变更流程）。
+ * 不可置疑性：name 集 = @vue/runtime-core + @vue/reactivity + @vue/shared 公共导出 + SFC 模板/指令/内置组件面。
+ */
+export declare const VUE_COMPAT_MATRIX: VueCompatEntry[];
+/** ★Vue 公共常量导出（编译期内联值）：`const v = <name>` 时把裸标识符内联为字面量（替代运行时轮询 undefined）。
+ *  版本号与 02-api-gap 基线「Vue 全集权威来源」的 @vue/runtime-core@3.5.42 对齐；随 Vue 版本演进同步。 */
+export declare const VUE_PUBLIC_CONSTS: Record<string, unknown>;
+/** ★2026-09-09 别名机制（真机复测发现的命名错配）：矩阵 template 组按**模板形态**登记（`<teleport>`/`<keep-alive>`…），
+ *  而开发者按 Vue 官方文档常写 PascalCase 组件导入（`import { Teleport } from 'vue'`）——同一能力两种写法，
+ *  未登记形态落 VUE_COMPAT_UNKNOWN 报「可能为 Vue 内部导出」= 矛盾结论（`<teleport>` 明明 aligned）。
+ *  别名表：PascalCase 导出名 → 已登记模板形态名。查询先查矩阵，未命中再查别名（返回同一 entry，状态一致）。 */
+export declare const VUE_COMPAT_ALIASES: Record<string, string>;
+/** ★2026-09-09 Vue 内部导出集合（@vue/runtime-core + @vue/reactivity + @vue/shared 的非用户面导出）。
+ *  这些符号开发者不应手写（编译期已生成对等结构 / 运行时内部机制 / SSR / 自定义渲染器）——
+ *  统一归 unsupported 并给出准确说明，替代「可能是 Vue 内部导出」的模糊兜底。
+ *  维护：Vue 版本升级后跑 tests/vue-compat-coverage.test.ts（对比运行时导出，新增未分类项即红）。 */
+export declare const VUE_INTERNAL_EXPORTS: Set<string>;
+/** ★矩阵外/未知的 Vue 命名导入处理：默认按 unsupported（无降级→error）——反黑盒兜底，防静默未定义引用 */
+export declare const VUE_COMPAT_UNKNOWN: VueCompatEntry;
+/** ★内部导出条目（VUE_INTERNAL_EXPORTS 命中时返回——准确说明替代「可能为内部导出」的模糊兜底） */
+export declare const VUE_COMPAT_INTERNAL: VueCompatEntry;
+/** 查询 Vue 能力的对齐状态；未登记 → 别名表 → 内部导出集合 → VUE_COMPAT_UNKNOWN（均 unsupported 无降级 → error） */
+export declare function vueCompatStatus(name: string): VueCompatEntry;
+/** 根据状态 + degrade 判断编译期提示级别：aligned=null（无提示）；partial 或 (unsupported+degrade)=(warning)；unsupported 无 degrade=(error) */
+export declare function vueCompatLevel(entry: VueCompatEntry): 'none' | 'warning' | 'error';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proteus-vue/compiler",
-  "version": "0.3.0-beta.0",
+  "version": "0.3.0-beta.3",
   "description": "Proteus 编译引擎 —— 标准 Vue SFC → 小程序四件套（纯函数、零运行时依赖、规则注册表 + AI 说明书）",
   "type": "module",
   "license": "Apache-2.0",
@@ -23,20 +23,28 @@
     "dist",
     "README.md"
   ],
-  "scripts": {
-    "prepare": "npm run build",
-    "build": "tsc -p tsconfig.build.json --emitDeclarationOnly && esbuild src/index.ts src/style-safety/index.ts --bundle --format=esm --platform=node --outdir=dist --external:@vue/compiler-sfc --external:@vue/compiler-dom --external:@proteus-vue/contracts"
-  },
   "peerDependencies": {
-    "@vue/compiler-sfc": "^3.4",
-    "@vue/compiler-dom": "^3.4"
+    "@vue/compiler-dom": "^3.4",
+    "@vue/compiler-sfc": "^3.4"
   },
   "devDependencies": {
-    "@vue/compiler-sfc": "^3.5.42",
-    "@vue/compiler-dom": "^3.5.42"
+    "@babel/parser": "7.29.8",
+    "@types/babel__core": "^7.20.5",
+    "@vue/compiler-dom": "^3.5.42",
+    "@vue/compiler-sfc": "^3.5.42"
   },
   "dependencies": {
-    "@proteus-vue/contracts": "0.1.0",
-    "@proteus-vue/types": "0.1.0"
+    "@babel/core": "^7.29.0",
+    "@babel/plugin-transform-logical-assignment-operators": "^7.29.0",
+    "@babel/plugin-transform-nullish-coalescing-operator": "^7.29.0",
+    "@babel/plugin-transform-numeric-separator": "^8.0.1",
+    "@babel/plugin-transform-object-rest-spread": "^7.29.0",
+    "@babel/plugin-transform-optional-chaining": "^7.29.0",
+    "@proteus-vue/component-ir": "0.2.0-beta.1",
+    "@proteus-vue/contracts": "0.1.1-beta.0",
+    "@proteus-vue/types": "0.2.0-beta.2"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json --emitDeclarationOnly && esbuild src/index.ts src/style-safety/index.ts --bundle --format=esm --platform=node --outdir=dist --external:@vue/compiler-sfc --external:@vue/compiler-dom --external:@proteus-vue/contracts --external:@proteus-vue/component-ir --external:@babel/core --external:@babel/plugin-transform-nullish-coalescing-operator --external:@babel/plugin-transform-optional-chaining --external:@babel/plugin-transform-logical-assignment-operators --external:@babel/plugin-transform-object-rest-spread"
   }
-}
+}

package/dist/explain.js

@@ -1,59 +0,0 @@
-// src/compiler/explain.ts
-// explainTransform —— 阶段二核心：对一份 Vue SFC 输出它实际触发的全部转换规则（决策 trace）
-// AI 用法：改完编译器 / 写完页面后，跑 explainTransform 看转换链路，理解"为什么产物是这样"。
-import { parse as sfcParse } from '@vue/compiler-sfc';
-import { transformTemplateToWxml } from './template';
-import { transformScriptToPage } from './script';
-import { transformStyleToWxss } from './style';
-import { createTrace } from './trace';
-/** 对一份 Vue SFC 源码执行全链路转换并收集决策 trace */
-export function explainTransform(source, options = {}) {
-    const { descriptor } = sfcParse(source, { filename: options.filename ?? 'anonymous.vue' });
-    const styleOpts = { px2rpx: options.px2rpx ?? true, rpxRatio: options.rpxRatio ?? 2 };
-    const events = [];
-    // template 阶段（vModelBindings / usesNavigate 传给 script 阶段）
-    const tplTrace = createTrace('template');
-    const tpl = descriptor.template?.content ?? '';
-    const tplResult = transformTemplateToWxml(tpl, {
-        ...styleOpts,
-        filename: options.filename,
-        annotateLines: options.annotateLines,
-        rules: options.rules,
-        trace: tplTrace,
-    });
-    events.push(...tplTrace.events);
-    // script 阶段
-    const setup = descriptor.scriptSetup?.content ?? descriptor.script?.content ?? '';
-    const scriptTrace = createTrace('script');
-    transformScriptToPage(setup, styleOpts, {
-        file: options.filename,
-        isComponent: options.isComponent,
-        vModelBindings: tplResult.vModelBindings,
-        usesNavigate: tplResult.usesNavigate,
-        rules: options.rules,
-        trace: scriptTrace,
-    });
-    events.push(...scriptTrace.events);
-    // style 阶段
-    const styleTrace = createTrace('style');
-    transformStyleToWxss(descriptor.styles.map((s) => s.content).join('\n'), { ...styleOpts, rules: options.rules, trace: styleTrace });
-    events.push(...styleTrace.events);
-    return { filename: options.filename, events };
-}
-/** 渲染决策 trace 为人类可读文本（按阶段分组 + 行号） */
-export function formatTransformTrace(result) {
-    const phases = ['template', 'script', 'style', 'validate'];
-    const blocks = [];
-    for (const phase of phases) {
-        const evts = result.events.filter((e) => e.phase === phase);
-        if (!evts.length)
-            continue;
-        const lines = evts.map((e) => {
-            const line = e.line != null ? `L${e.line} ` : '';
-            const detail = [e.before, e.after].filter(Boolean).join(' → ');
-            return `  ${line}${e.ruleId}${detail ? `：${detail}` : ''}`;
-        });
-        blocks.push(`### ${phase} 阶段（${evts.length} 个决策）\n${lines.join('\n')}`);
-    }
-    return `# explainTransform ${result.filename ?? ''}\n\n${blocks.join('\n\n')}`;
-}

package/dist/overrides.js

@@ -1,34 +0,0 @@
-// src/compiler/overrides.ts
-// 规则覆盖解析 —— ★底线循环 ①③：AI / proteus.config.ts 改写或禁用编译规则，编译器即时生效
-// 所有转换函数（template/style/script）从本模块取"生效的映射表 + 禁用集"，不再直接读 tags.ts 常量
-import { TAG_MAP, EVENT_MAP, SEMANTIC_CLASS } from './tags';
-import { getTransformRule } from './transforms/registry';
-/** 解析规则覆盖：合并 tags.ts 常量 + 覆盖补丁；未知规则 ID 编译期警告（防配置笔误） */
-export function resolveOverrides(options) {
-    const tagMap = { ...TAG_MAP };
-    const eventMap = { ...EVENT_MAP };
-    const semanticClass = { ...SEMANTIC_CLASS };
-    const disabled = new Set(options?.disabled ?? []);
-    for (const [ruleId, patch] of Object.entries(options?.mapping ?? {})) {
-        const rule = getTransformRule(ruleId);
-        if (!rule) {
-            console.warn(`[proteus] 规则覆盖引用了未注册的规则 ID：${ruleId}（已忽略，可用 listTransformRules() 查看合法 ID）`);
-            continue;
-        }
-        if (rule.id.startsWith('tag/'))
-            Object.assign(tagMap, patch);
-        else if (rule.id === 'event/click-to-tap')
-            Object.assign(eventMap, patch);
-        else if (rule.id === 'semantic/base-class')
-            Object.assign(semanticClass, patch);
-        else
-            console.warn(`[proteus] 规则 ${ruleId} 不支持 mapping 覆盖（仅 tag/* / event/click-to-tap / semantic/base-class）`);
-    }
-    // 自定义标签映射：AI 扩展新标签的入口（最高优先级）
-    Object.assign(tagMap, options?.customTags);
-    for (const id of disabled) {
-        if (!getTransformRule(id))
-            console.warn(`[proteus] 规则覆盖禁用了未注册的规则 ID：${id}（已忽略）`);
-    }
-    return { tagMap, eventMap, semanticClass, disabled };
-}