@proteus-vue/compiler 0.3.0-beta.0

package/dist/overrides.d.ts

@@ -0,0 +1,14 @@
+import type { TransformRuleOverrides } from './types';
+/** 解析后的生效配置（供转换函数查询） */
+export interface ResolvedOverrides {
+    /** 生效的标签映射（TAG_MAP + customTags + tag/* 规则覆盖） */
+    tagMap: Record<string, string>;
+    /** 生效的事件映射（EVENT_MAP + event/click-to-tap 覆盖） */
+    eventMap: Record<string, string>;
+    /** 生效的语义基础类（SEMANTIC_CLASS + semantic/base-class 覆盖） */
+    semanticClass: Record<string, string>;
+    /** 被禁用的规则 ID 集合 */
+    disabled: Set<string>;
+}
+/** 解析规则覆盖：合并 tags.ts 常量 + 覆盖补丁；未知规则 ID 编译期警告（防配置笔误） */
+export declare function resolveOverrides(options?: TransformRuleOverrides): ResolvedOverrides;

package/dist/overrides.js

@@ -0,0 +1,34 @@
+// 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 };
+}

package/dist/script.d.ts

@@ -0,0 +1,15 @@
+import type { ScriptTransformOptions, ScriptTransformResult, StyleTransformOptions } from './types';
+/** base64 VLQ 编码（sourcemap mappings 字段） */
+export declare function vlqEncode(value: number): string;
+/** base64 VLQ 解码（测试验证用） */
+export declare function vlqDecode(str: string): number[];
+/**
+ * 生成 sourcemap v3 JSON：产物每行 → 源码行（lineMappings: 产物 0-based 行 → 源码 1-based 行）
+ * segment = [genCol=0, srcIdx=0, srcLine(delta), srcCol=0]；无映射行 → 空 segment
+ */
+export declare function buildSourceMap(js: string, file: string | undefined, source: string, lineMappings: Array<{
+    out: number;
+    src: number;
+}>): string;
+/** script 源码 → Page/Component 构造器 JS（纯函数，独立可测） */
+export declare function transformScriptToPage(source: string, _opts?: StyleTransformOptions, extra?: ScriptTransformOptions): ScriptTransformResult;

package/dist/script.js

@@ -0,0 +1,318 @@
+import { lineAt } from './trace';
+import { resolveOverrides } from './overrides';
+/** 构建期求值开发者自身源码中的字面量表达式（与 babel 插件同信任域） */
+function evalLiteral(expr) {
+    try {
+        return Function(`"use strict"; return (${expr})`)();
+    }
+    catch {
+        return undefined;
+    }
+}
+/** 从 openBraceIndex 的 { 开始匹配闭合大括号，返回内部内容 */
+function extractBracedBody(source, openBraceIndex) {
+    let depth = 0;
+    for (let i = openBraceIndex; i < source.length; i++) {
+        const ch = source[i];
+        if (ch === '{')
+            depth++;
+        else if (ch === '}') {
+            depth--;
+            if (depth === 0)
+                return source.slice(openBraceIndex + 1, i);
+        }
+    }
+    return null;
+}
+/**
+ * 从 valueStart 扫描 const 初始值：追踪 ()[]{} 平衡并跳过字符串/注释（字符串里的括号不影响深度），
+ * 深度归零后遇 ; 或行尾结束——支持多行数组/对象字面量（如 ref([\n { a: 1 },\n])）
+ */
+function extractInitializer(source, valueStart) {
+    let depth = 0;
+    let quote = null;
+    let escaped = false;
+    let inBlockComment = false;
+    let i = valueStart;
+    const len = source.length;
+    for (; i < len; i++) {
+        const ch = source[i];
+        const next = source[i + 1];
+        if (inBlockComment) {
+            if (ch === '*' && next === '/') {
+                inBlockComment = false;
+                i++;
+            }
+            continue;
+        }
+        if (quote) {
+            if (escaped) {
+                escaped = false;
+                continue;
+            }
+            if (ch === '\\') {
+                escaped = true;
+                continue;
+            }
+            if (ch === quote)
+                quote = null;
+            continue;
+        }
+        if (ch === '/' && next === '*') {
+            inBlockComment = true;
+            i++;
+            continue;
+        }
+        if (ch === '/' && next === '/') {
+            // 行注释：跳过至行尾；深度 0 时注释后无语句内容，行尾即结束
+            while (i < len && source[i] !== '\n')
+                i++;
+            if (depth === 0)
+                break;
+            continue;
+        }
+        if (ch === '"' || ch === "'" || ch === '`') {
+            quote = ch;
+            continue;
+        }
+        if (ch === '(' || ch === '[' || ch === '{') {
+            depth++;
+            continue;
+        }
+        if (ch === ')' || ch === ']' || ch === '}') {
+            depth--;
+            continue;
+        }
+        if (depth === 0 && (ch === ';' || ch === '\n'))
+            break;
+    }
+    return source.slice(valueStart, i).trim();
+}
+/** 顶层 const（ref/reactive/字面量）→ data 初始值 */
+function extractData(source, warnings, trace) {
+    const data = {};
+    // 只提取行首（缩进 0）的顶层 const：函数体/生命周期体/块内的局部 const 天然跳过
+    const re = /const\s+([A-Za-z_$][\w$]*)\s*=\s*/gm;
+    let m;
+    while ((m = re.exec(source))) {
+        // 只提取行首（零缩进）的顶层 const：函数体/生命周期体/块内的局部 const 天然跳过
+        const lineStart = source.lastIndexOf('\n', m.index) + 1;
+        if (source.slice(lineStart, m.index) !== '')
+            continue;
+        const name = m[1];
+        const init = extractInitializer(source, m.index + m[0].length);
+        if (!init)
+            continue;
+        trace?.add('script/const-to-data', {
+            line: lineAt(source, m.index),
+            before: `const ${name} = ${init.slice(0, 40)}${init.length > 40 ? '…' : ''}`,
+            after: `data.${name}`,
+        });
+        // 跳过函数/箭头函数（属于 methods）
+        if (/^(?:async\s+)?(?:function\b|(?:\([^)]*\)|[A-Za-z_$][\w$]*)\s*=>)/.test(init))
+            continue;
+        // 解构/嵌套 const（如 const { a } = ...）在 regex 上已天然跳过
+        const inner = init.match(/^(?:ref|reactive|shallowRef|readonly)\s*\(\s*([\s\S]*?)\s*\);?\s*$/);
+        const raw = inner ? inner[1] : init;
+        const value = evalLiteral(raw);
+        if (value === undefined && raw !== 'undefined') {
+            warnings.push(`const ${name} 的初始值 "${raw.slice(0, 40)}" 无法静态求值，data.${name} 将设为 undefined（MVP 限制：仅支持字面量）`);
+        }
+        data[name] = value;
+    }
+    return data;
+}
+/** 顶层函数（function 声明 / const 箭头）→ methods 源码 */
+function extractMethods(source, warnings, trace, disabled) {
+    const methods = {};
+    const fnRe = /function\s+([A-Za-z_$][\w$]*)\s*\(([^)]*)\)\s*\{/g;
+    let m;
+    if (!disabled?.has('script/function-to-methods')) {
+        while ((m = fnRe.exec(source))) {
+            const name = m[1];
+            const params = m[2];
+            const body = extractBracedBody(source, m.index + m[0].length - 1);
+            trace?.add('script/function-to-methods', { line: lineAt(source, m.index), before: `function ${name}(${params})`, after: `${name}(${params})` });
+            // 对象字面量方法简写：handleTap() {...}（不能输出裸 function 声明）
+            if (body !== null)
+                methods[name] = `${name}(${params}) {\n${body}\n}`;
+            else
+                warnings.push(`函数 ${name} 体解析失败，已跳过`);
+        }
+    }
+    const arrowRe = /const\s+([A-Za-z_$][\w$]*)\s*=\s*(?:async\s*)?\(([^)]*)\)\s*=>\s*\{/g;
+    if (!disabled?.has('script/arrow-to-methods')) {
+        while ((m = arrowRe.exec(source))) {
+            const name = m[1];
+            const params = m[2];
+            const braceIdx = source.indexOf('{', m.index + m[0].length - 1);
+            const body = extractBracedBody(source, braceIdx);
+            trace?.add('script/arrow-to-methods', { line: lineAt(source, m.index), before: `const ${name} = (...) =>`, after: `${name}(...)` });
+            if (body !== null)
+                methods[name] = `${name}(${params}) {\n${body}\n}`;
+        }
+    }
+    return methods;
+}
+/**
+ * 方法/生命周期体中的 setup ref 访问重写（MVP 能力）
+ * - name.value = expr    → this.setData({ name: expr })
+ * - name.value++ / --    → this.setData({ name: (null 检查 ? 0 : this.data.name) + 1 })（含前置 ++ 形式）
+ * - name.value（读取）    → this.data.name
+ * 未覆盖：复合赋值（+= 等）降级为 this.data.name 读写（不触发 setData）
+ * 注意：不能用 `??`（真机预览报 SyntaxError: Unexpected token ?），统一显式 null 检查
+ */
+function numOrZero(expr) {
+    return `(${expr} === undefined || ${expr} === null ? 0 : ${expr})`;
+}
+function rewriteRefAccess(body, refNames, trace, disabled) {
+    const skip = (id) => disabled?.has(id);
+    let out = body;
+    for (const name of refNames) {
+        const prop = `this.data.${name}`;
+        const line = lineAt(body, Math.max(0, body.indexOf(name)));
+        // 自增/自减（含前置 ++name.value / --name.value）
+        if (!skip('script/ref-incdec')) {
+            if (new RegExp(`(\\+\\+|--)\\s*${name}\\.value`).test(body) || new RegExp(`\\b${name}\\.value\\s*(\\+\\+|--)`).test(body)) {
+                trace?.add('script/ref-incdec', { line, before: `${name}.value++/--`, after: `this.setData({ ${name}: ... })` });
+            }
+            out = out.replace(new RegExp(`\\+\\+\\s*${name}\\.value`, 'g'), `${prop} = ${numOrZero(prop)} + 1; this.setData({ ${name}: ${prop} })`);
+            out = out.replace(new RegExp(`--\\s*${name}\\.value`, 'g'), `${prop} = ${numOrZero(prop)} - 1; this.setData({ ${name}: ${prop} })`);
+            out = out.replace(new RegExp(`\\b${name}\\.value\\s*\\+\\+`, 'g'), `this.setData({ ${name}: ${numOrZero(prop)} + 1 })`);
+            out = out.replace(new RegExp(`\\b${name}\\.value\\s*--`, 'g'), `this.setData({ ${name}: ${numOrZero(prop)} - 1 })`);
+        }
+        // 赋值：name.value = expr（排除 == / === / 复合赋值）
+        if (!skip('script/ref-write')) {
+            if (new RegExp(`\\b${name}\\.value\\s*=\\s*(?!=)`).test(out)) {
+                trace?.add('script/ref-write', { line, before: `${name}.value = expr`, after: `this.setData({ ${name}: expr })` });
+            }
+            out = out.replace(new RegExp(`\\b${name}\\.value\\s*=\\s*(?!=)([^;\\n]+)`), (_m, expr) => `this.setData({ ${name}: ${expr.trim()} })`);
+        }
+        // 读取：name.value → this.data.name
+        if (!skip('script/ref-read')) {
+            if (new RegExp(`\\b${name}\\.value\\b`).test(out)) {
+                trace?.add('script/ref-read', { line, before: `${name}.value`, after: `this.data.${name}` });
+            }
+            out = out.replace(new RegExp(`\\b${name}\\.value\\b`, 'g'), prop);
+        }
+    }
+    return out;
+}
+/** 生命周期映射：onMounted→onReady / onUnmounted→onUnload / onLoad→onLoad */
+function extractLifecycles(source, trace, disabled) {
+    const out = {};
+    if (disabled?.has('script/lifecycle-map'))
+        return out;
+    const hooks = [
+        { re: /onMounted\s*\(/g, key: 'onReady' },
+        { re: /onUnmounted\s*\(/g, key: 'onUnload' },
+        { re: /onLoad\s*\(/g, key: 'onLoad' },
+    ];
+    for (const h of hooks) {
+        h.re.lastIndex = 0;
+        const m = h.re.exec(source);
+        if (!m)
+            continue;
+        const braceIdx = source.indexOf('{', m.index);
+        const body = extractBracedBody(source, braceIdx);
+        trace?.add('script/lifecycle-map', { line: lineAt(source, m.index), before: m[0].replace(/\s*\(/, '()'), after: h.key });
+        if (body !== null)
+            out[h.key] = body;
+    }
+    return out;
+}
+function indentBody(body) {
+    return body.split('\n').map((l) => `  ${l}`).join('\n');
+}
+function capitalize(s) {
+    return s.charAt(0).toUpperCase() + s.slice(1);
+}
+/** script 源码 → Page/Component 构造器 JS（纯函数，独立可测） */
+export function transformScriptToPage(source, _opts = { px2rpx: true, rpxRatio: 2 }, extra = {}) {
+    const warnings = [];
+    const trace = extra.trace;
+    // ★底线循环 ①③：禁用集（config rules.disabled 即时生效）
+    const disabled = resolveOverrides(extra.rules).disabled;
+    const data = disabled.has('script/const-to-data') ? {} : extractData(source, warnings, trace);
+    const methods = extractMethods(source, warnings, trace, disabled);
+    const lifecycles = extractLifecycles(source, trace, disabled);
+    const vModelBindings = extra.vModelBindings ?? [];
+    const refNames = new Set(Object.keys(data));
+    const lines = [];
+    if (extra.file)
+        lines.push(`// ${extra.file}（Proteus mp-transform 编译产物）`);
+    lines.push('// AUTO-GENERATED by vite-plugin-mp-transform.ts. DO NOT EDIT.', '');
+    lines.push(extra.isComponent ? 'Component({' : 'Page({');
+    const dataEntries = Object.entries(data);
+    if (dataEntries.length) {
+        lines.push('  data: {');
+        for (const [k, v] of dataEntries)
+            lines.push(`    ${k}: ${JSON.stringify(v)},`);
+        lines.push('  },');
+    }
+    // v-model 自动 handler：proteusOnXxxInput(e) { this.setData({ xxx: e.detail.value }) }
+    const vmodelDisabled = disabled.has('script/vmodel-handler');
+    for (const name of vModelBindings) {
+        if (!vmodelDisabled)
+            lines.push(`  proteusOn${capitalize(name)}Input(e) { this.setData({ ${name}: e.detail.value }) },`);
+    }
+    if (vModelBindings.length && !vmodelDisabled) {
+        trace?.add('script/vmodel-handler', {
+            before: `v-model="${vModelBindings.join('", "')}"`,
+            after: `proteusOn${vModelBindings.map(capitalize).join(' / proteusOn')}Input（setData 回写）`,
+        });
+    }
+    // 导航链接自动 handler（模板出现 <a href> / <router-link> 时注入，仅 MP 产物存在）
+    // 方法名避免 __ 前缀（微信保留前缀）；当前为临时调试版：无条件输出日志（验证通过后回收门控）
+    if (extra.usesNavigate && !disabled.has('script/nav-handler')) {
+        trace?.add('script/nav-handler', { before: '<a href> / <router-link>', after: 'proteusNavigateTo(e)（data-url → wx.navigateTo）' });
+        // 注意：生成代码避免数组解构/对象展开（微信 ES5 转译依赖 babel helper 模块）
+        // 调试日志统一 [proteus][环节] 格式，仅 debug 构建注入
+        lines.push('  proteusNavigateTo(e) {', '    const ds = e.currentTarget.dataset', '    const url = String(ds.url || "")', ...(extra.debug ? [`    console.log('[proteus][nav] tap', JSON.stringify(ds), Date.now())`] : []), '    if (!url) return', ...(extra.debug ? [`    console.log('[proteus][nav] navigateTo', url, Date.now())`] : []), '    const nav = {', '      url: url,', ...(extra.debug ? [`      success: function () { console.log('[proteus][nav] navigateTo success', url, Date.now()) },`] : []), '      fail: function (err) {', ...(extra.debug ? [`        console.warn('[proteus][nav] navigateTo fail', JSON.stringify(err), Date.now())`] : []), '        if (ds.routeType) wx.navigateTo({ url: url })', '      }', '    }', '    if (ds.routeType) nav.routeType = ds.routeType', '    wx.navigateTo(nav)', '  },');
+    }
+    if (lifecycles.onReady) {
+        lines.push(`  onReady() {\n${indentBody(rewriteRefAccess(lifecycles.onReady, refNames, trace, disabled))}\n  },`);
+    }
+    else if (extra.debug) {
+        // 调试：注入页面就绪日志（无显式 onReady 时）
+        lines.push(`  onReady() {\n    console.log('[proteus][page] onReady ${extra.file ?? ''}', Date.now())\n  },`);
+    }
+    if (lifecycles.onUnload)
+        lines.push(`  onUnload() {\n${indentBody(rewriteRefAccess(lifecycles.onUnload, refNames, trace, disabled))}\n  },`);
+    if (lifecycles.onLoad) {
+        lines.push(`  onLoad(options) {\n${indentBody(rewriteRefAccess(lifecycles.onLoad, refNames, trace, disabled))}\n  },`);
+    }
+    else {
+        // 默认 onLoad：路由参数自动 decode 并注入 data（P5 契约，与 runtime/pageLifecycle 的 createPage 行为一致）
+        // 注意：不用数组解构/对象展开（微信 ES5 转译需要 babel helper 模块，真机报 arrayWithHoles 未定义）
+        if (!disabled.has('script/onload-params')) {
+            trace?.add('script/onload-params', { before: '（无显式 onLoad）', after: 'onLoad(options) → decodeURIComponent + JSON.parse + setData' });
+            lines.push([
+                '  onLoad(options) {',
+                ...(extra.debug ? [`    console.log('[proteus][page] onLoad ${extra.file ?? ''}', JSON.stringify(options), Date.now())`] : []),
+                '    const params = {}',
+                '    const keys = Object.keys(options || {})',
+                '    for (let i = 0; i < keys.length; i++) {',
+                '      const k = keys[i]',
+                '      const v = options[k]',
+                '      const s = decodeURIComponent(v)',
+                '      try { params[k] = (s.startsWith("{") || s.startsWith("[")) ? JSON.parse(s) : s } catch { params[k] = s }',
+                '    }',
+                '    this.setData(params)',
+                '  },',
+            ].join('\n'));
+        }
+    }
+    for (const src of Object.values(methods))
+        lines.push(`  ${rewriteRefAccess(src, refNames, trace, disabled)},`);
+    lines.push('})');
+    // 产物级约束（es5-safe 贯穿全部生成代码；component-mode 决定构造器）
+    trace?.add('script/component-mode', {
+        before: 'SFC',
+        after: extra.isComponent ? 'Component({ ... })' : 'Page({ ... })',
+    });
+    trace?.add('script/es5-safe', { before: '?? / ?. / 解构 / 展开', after: '显式 null 三元 / 索引循环 / 直接赋值' });
+    for (const w of warnings)
+        console.warn(`[mp-transform] ${w}`);
+    return { js: lines.join('\n') + '\n', warnings };
+}

package/dist/style-safety/constants.d.ts

@@ -0,0 +1,6 @@
+/**
+ * 提取顶层 const 字面量常量表：`const baseWidth = 100` → { baseWidth: 100 }
+ * 支持：字面量（数字/字符串/布尔/null）、数组/对象字面量、简单二元（100*2）
+ * 跳过：ref(100)/函数调用/import/非顶层缩进
+ */
+export declare function extractScriptConstants(scriptSource: string): Record<string, unknown>;

package/dist/style-safety/index.d.ts

@@ -0,0 +1,25 @@
+export type StylePlatform = 'web' | 'skyline' | 'ios' | 'android' | 'harmony';
+export interface StyleBindingViolation {
+    code: string;
+    prop: string;
+    value: string;
+    line: number;
+    message: string;
+}
+export interface StyleBindingStats {
+    staticChecked: number;
+    dynamic: number;
+    /** 静态推导覆盖率（05 §4：staticChecked / (staticChecked + dynamic)） */
+    coverage: number;
+}
+export interface StyleBindingAnalysis {
+    violations: StyleBindingViolation[];
+    stats: StyleBindingStats;
+}
+/** 静态字面量求值：字符串/数字/布尔/null → 值；否则 undefined（动态源） */
+export declare function tryStaticValue(expr: string): unknown | undefined;
+/** 模板 :style 绑定分析（B3 主入口；scriptSource 提供常量表 → 常量折叠，05 §5） */
+export declare function analyzeStyleBindings(templateSource: string, constants?: Record<string, unknown>): StyleBindingAnalysis;
+export { deriveReachableValues } from './reachability';
+export type { ReachableSet } from './reachability';
+export { extractScriptConstants } from './constants';