@compelem/compiler 0.30.0-beta.1 → 0.30.0-beta.3

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { a as ComponentAnalysis, c as ReactiveKind, i as CompilerOptions, n as compelemCompiler, o as DEBUG_DIV, r as CompiledStatic, s as ReactiveField, t as VitePluginOptions } from "./vite-BtG-4Z6L.js";
+import { a as ComponentAnalysis, c as ReactiveKind, i as CompilerOptions, n as compelemCompiler, o as DEBUG_DIV, r as CompiledStatic, s as ReactiveField, t as VitePluginOptions } from "./vite-BAl4p1jA.js";
 
 //#region src/utils/oxc.d.ts
 interface ParsedFile {
@@ -11,7 +11,6 @@ interface ParsedFile {
 }
 //#endregion
 //#region src/analyze/component.d.ts
-
 /** 判断某个 import source 是否指向 compelem 本体。 */
 declare function isCompelemSource(source: string): boolean;
 /** 从 import 表里挑出 compelem 相关绑定：本地名 → 原始导入名。 */
@@ -44,14 +43,14 @@ interface RenderAnalysis {
   viewDeps: string[];
   /** 子视图依赖：回调节点 start 偏移 → 路径列表 */
   subViewDeps: Map<number, string[]>;
-  /** 降级原因列表（空表示未降级） */
-  degrades: string[];
+  /** 阻断原因列表（空表示通过）。非空 ⇒ `assertStaticAnalysis` 抛 `StaticAnalysisError`。 */
+  blockers: string[];
   /**
    * 硬性违规（当前只有 D7：模板内直接嵌套模板）。
    *
-   * 与 degrades 的区别：degrades 是「静态推不出，放弃注入（降级）」，
-   * errors 是「写法违反约束，必须改代码」——二者都导致降级，但 errors 需要在
-   * 构建期报给用户，因为它是可修的、且修掉后才能启用编译期产物。
+   * 与 `blockers` 都是「不可编译」，二者的区别只在**归因**：`blockers` 是
+   * 「静态推不出结论」（D0/D3/D4/D5/D6），`errors` 是「写法违反约束，用户可修」
+   * （D7）—— 故 errors 带源码区间，供构建期定位到具体位置。
    */
   errors: TemplateIssue[];
 }
@@ -60,17 +59,14 @@ declare function analyzeRender(comp: ComponentAnalysis, sinks?: {
   mainHits: any[];
 }): RenderAnalysis;
 //#endregion
-//#region src/analyze/degrade.d.ts
+//#region src/analyze/static-gate.d.ts
 
 /**
- * 汇总单个组件的静态分析结论。
- * 命中任何一条 ⇒ 抛错（调用方拿不到「凑合能跑」的产物）。
+ * 静态分析闸门：汇总单个组件的结论，命中任何一条即抛 `StaticAnalysisError`。
+ *
+ * 无返回值 —— 只有「通过」与「抛错」两种结局（见本文件头 §架构前提）。
  */
-declare function decideDegrade(comp: ComponentAnalysis, ra: RenderAnalysis): {
-  degraded: false;
-  reason: null;
-  errors: RenderAnalysis['errors'];
-};
+declare function assertStaticAnalysis(comp: ComponentAnalysis, ra: RenderAnalysis): void;
 /**
  * 静态分析未通过。`name` 让它在堆栈里一眼可辨。 */
 declare class StaticAnalysisError extends Error {
@@ -82,9 +78,7 @@ declare class StaticAnalysisError extends Error {
 //#endregion
 //#region src/codegen/inject.d.ts
 interface InjectOptions {
-  /** 是否生成取值函数 */
-  buildVars?: boolean;
-  /** 无视图组件标记：注入 noView: true（不创建 Shadow DOM） */
+  /** 无视图组件标记：注入 noView: true（不创建 Shadow DOM）*/
   noView?: boolean;
 }
 /** `buildStaticLiteral` 可选生成物（任一缺失则对应字段不注入）。 */
@@ -99,6 +93,8 @@ interface StaticLiteralCodes {
   fx?: string;
   /** watch effect 工厂数组 */
   watchEffects?: string;
+  /** `entries` 是否已内联**同文件**基类的 @watch —— 决定 watchEffects 是否还拼父类数组 */
+  inlinedWatchAncestors?: boolean;
   /** cssVars effect 工厂（读 CSS 依赖信号 → 更新自定义属性） */
   cssEffect?: string;
   /** 结构指令元数据占位字段，运行时从不读取（分派参数在 pointEffects 内） */
@@ -107,12 +103,7 @@ interface StaticLiteralCodes {
   /** 子视图表（结构指令的子模板元数据）：`subViews: { <subId>: { buildTemplate, fx } }` */
   subViews?: string;
   /**
-   * 抽出的表达式中用到的 `super.METHOD` 名。注入到 class 体：
-   * `__ce_s_METHOD(...a){return super.METHOD(...a)}`，
-   * 保留 home-object 的 super 绑定，供静态取值函数经 `__comp` 调用。
-   */
-  superHelpers?: string[];
-  /** `__ce_static__.props` 字面量值（@prop 前移，analyze/field-extract.ts） */
+   /** `__ce_static__.props` 字面量值（@prop 前移，analyze/field-extract.ts） */
   props?: string;
   /** `__ce_static__.states` 字面量值（@state 前移） */
   states?: string;
@@ -215,18 +206,14 @@ interface CompileResult {
   /** 本次编译的诊断信息（组件级） */
   diagnostics: Array<{
     className: string;
-    degraded: boolean;
-    reason: string | null;
     viewDeps: number;
-    /** 硬性违规（D7 嵌套模板），需在构建期暴露给用户 */
-    errors: Array<{
-      start: number;
-      end: number;
-      exprStart: number;
-      exprEnd: number;
-      message: string;
-    }>;
-    /** 约定错误（emit/@prop/@computed/@csscope 静态校验），与降级无关 */
+    /**
+     * 约定错误（emit/@prop/@computed/@csscope 静态校验）。
+     *
+     * ⚠️ 这里**只有**约定错误。静态分析未通过的组件不会出现在 diagnostics 里 ——
+     * `assertStaticAnalysis` 直接抛 `StaticAnalysisError`，模板 codegen 失败同样抛。
+     * 不合规就报错，没有「凑合能跑」的产物，因此诊断里不需要任何结论字段。
+     */
     conventionErrors: Array<{
       start: number;
       end: number;
@@ -275,5 +262,5 @@ declare function defaultInclude(id: string, code: string): boolean;
 /** 编译单个文件。不会抛出：解析失败时原样返回。 */
 declare function compileFile(code: string, id: string, options?: CompilerOptions): CompileResult;
 //#endregion
-export { type CompileResult, type CompiledStatic, type CompilerOptions, type ComponentAnalysis, DEBUG_DIV, type DepSummary, type ReactiveField, type ReactiveKind, type RenderAnalysis, StaticAnalysisError, type VitePluginOptions, analyzeFile, analyzeRender, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, decideDegrade, defaultInclude, injectInto, isCompelemSource };
+export { type CompileResult, type CompiledStatic, type CompilerOptions, type ComponentAnalysis, DEBUG_DIV, type DepSummary, type ReactiveField, type ReactiveKind, type RenderAnalysis, StaticAnalysisError, type VitePluginOptions, analyzeFile, analyzeRender, assertStaticAnalysis, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, defaultInclude, injectInto, isCompelemSource };
 //# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -1,3 +1,3 @@
-import { a as buildStaticLiteral, c as analyzeRender, d as analyzeFile, f as collectCompelemImports, i as defaultInclude, l as StaticAnalysisError, o as injectInto, p as isCompelemSource, r as compileFile, s as DEBUG_DIV, t as compelemCompiler, u as decideDegrade } from "./vite-DU4Nznh4.js";
+import { a as buildStaticLiteral, c as analyzeRender, d as analyzeFile, f as collectCompelemImports, i as defaultInclude, l as StaticAnalysisError, o as injectInto, p as isCompelemSource, r as compileFile, s as DEBUG_DIV, t as compelemCompiler, u as assertStaticAnalysis } from "./vite-DwMiG3VM.js";
 
-export { DEBUG_DIV, StaticAnalysisError, analyzeFile, analyzeRender, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, decideDegrade, defaultInclude, injectInto, isCompelemSource };
+export { DEBUG_DIV, StaticAnalysisError, analyzeFile, analyzeRender, assertStaticAnalysis, buildStaticLiteral, collectCompelemImports, compelemCompiler, compileFile, defaultInclude, injectInto, isCompelemSource };

package/dist/{vite-BtG-4Z6L.d.ts → vite-BAl4p1jA.d.ts}

@@ -1,70 +1,72 @@
 //#region src/types.d.ts
 /**
  * @compelem/compiler — 类型定义
- *
- * 与 compelem 侧 `CompiledStatic`（src/types.ts）保持结构一致。
- * 双份定义的取舍：compiler 不应强依赖 compelem 的类型包（peer 可选），
- * 因此本地镜像一份，并在 `test/` 里做一致性断言防止漂移。
  */
 /**
- * 每个类的 `props`/`states`/`computedGetters` 都是**沿构造器原型链浅替换合并后的
- * 完整表**（子类字面量叠加 `Reflect.getPrototypeOf(this).__ce_static__`）。
+ * debug 分块产物的整行注释前缀：`//////// …… <标签>`（纯注释、不改行为）。产物默认按块生成，无开关。
  */
-/** debug 分块产物的整行注释前缀：`//////// …… <标签>`（纯注释、不改行为）。产物默认按块生成，无开关。 */
 declare const DEBUG_DIV = "////////////////////////////////////";
+/** 一次建树的返回结构：主 buildTemplate 与 subViews 元素同形。 */
+interface BuiltTemplateResult {
+  fragment: any;
+  ups: any[];
+  emptyEvents?: Record<number, string[]>;
+  /** 文档序元素+文本节点（与 nodeSn 对齐；运行时免 collectNodes 回扫） */
+  nodes?: any[];
+  updateSns?: number[];
+  /** 从 fragment 根取节点的 childNodes 下标链（运行时 O(1) 定位，免 collectNodes） */
+  updatePaths?: number[][];
+}
+/** 一个结构指令回调的子视图产物（`subViews[subId]`）。 */
+interface CompiledSubView {
+  buildTemplate?: (this: any) => BuiltTemplateResult;
+  pointEffects?: any[];
+  fx?: any[];
+}
 /**
- * 编译器注入到组件类上的静态成员。
- * 强制编译插件模式：`buildTemplate` 准入静态视图路径（缺失 = 无视图，无运行时回退）；
- * 其余字段可选。取值表达式一律内联进 fx/pointEffects 工厂，产物不携带取值函数或
- * 静态依赖元数据；依赖在 effect 运行期动态建立（DepSummary 仅在 compile.ts 内部
- * 计算，供 verbose 展示）。
+ * 编译器注入到组件类上的静态成员
  */
 interface CompiledStatic {
-  version: number;
-  /**
-   * `buildTemplate` 静态实现：纯 `document` API 建 DOM 函数
-   * （以首个组件实例为 `this` 调用；与 compelem 侧 `CompiledStatic.buildTemplate` 同形）。
-   */
-  buildTemplate?: (this: any) => {
-    fragment: any;
-    ups: any[];
-    emptyEvents?: Record<number, string[]>;
-    /** 文档序元素+文本节点（与 nodeSn 对齐；运行时免 collectNodes 回扫） */
-    nodes?: any[];
-    updateSns?: number[];
-    updatePaths?: number[][];
-  };
-  /** `@watch` 编译期解析产物（`analyze/watch-extract.ts` 序列化，装饰器被删时必须注入） */
-  watchers?: CompiledWatcher[];
+  /**
+   * 静态视图产物。与 `noView` 构成**互斥二选一**，两者皆无会被运行时判为
+   * 「未编译」并抛错（`CompElem.ts` setup 的第三分支）。
+   *
+   * ⚠️ 所以**缺席不代表无视图**：缺席是错误态，专留给「插件没跑 / 该有视图却没编出来」。
+   * 无视图组件必须由编译器显式写 `noView: true`。
+   */
+  buildTemplate?: (this: any) => BuiltTemplateResult;
   /**
    * 结构指令模板回调的子视图 codegen：`__subId` → 独立 buildTemplate + fx/pointEffects。
-   * 运行时结构指令经 `fn.__subId` 查表消费；缺失按构建期报错处理。
-   */
-  subViews?: Record<number, {
-    buildTemplate?: (this: any) => {
-      fragment: any;
-      ups: any[];
-      emptyEvents?: Record<number, string[]>;
-      nodes?: any[];
-      updateSns?: number[];
-      updatePaths?: number[][];
-    };
-  }>;
+   * 运行时结构指令经 provenance / `fn.__subId` 查表消费；缺失按构建期报错处理。
+   */
+  subViews?: Record<number, CompiledSubView>;
+  /** prop 定义表（沿构造器原型链浅替换合并后的**完整**表） */
+  props?: Record<string, any>;
+  /** state 定义表（同上，合并语义） */
+  states?: Record<string, any>;
+  /** `@computed` getter 函数外提（装饰器与成员被剥离）；仅 devtools 元数据消费 */
+  computedGetters?: Record<string, () => any>;
+  /** `@watch` 产物：每个 watch 一个 effect 工厂，setup 期逐条 `effect(factory(this))` */
+  watchEffects?: Array<(comp: any) => () => void>;
+  /** `cssVars` 的响应式 effect 工厂：工厂体内直接读 `rc.__s.<k>.value` 建依赖 */
+  cssEffect?: (comp: any) => () => void;
+  /**
+   * 值点（属性/文本/指令）per-point effect 工厂表。
+   * 数值条目 = `fx` 下标（同一工厂源码在产物里只 emit 一份），其余为工厂本体。
+   */
+  pointEffects?: Array<number | ((rc: any, nodes: any[], ...params: any[]) => () => void)>;
+  /** 逐实例产物工厂表（指令实例 / 事件 handler / ref 等）；下标 = `up.ux` */
+  fx?: any[];
   /**
    * 无视图组件标记：render() 不存在 / 返回 null / 继承链终点为 CompElem（其
    * `render()` 返回 null）。注入后运行时不创建 Shadow DOM，仅支持 HOST/GLOBAL 样式。
+   *
+   * ⚠️ 与 `buildTemplate` 互斥，且**必须有** —— 缺席不等于无视图（见上）。
+   * 唯一豁免：继承链经 spread 从父类继承而来（`skipInjection`），以及
+   * `CompElem` 自身声明的本字段（运行时基类兜底，非编译器产物）。
    */
   noView?: boolean;
 }
-/** `@watch` 编译期解析条目（与 compelem `CompiledWatcher` 同形） */
-interface CompiledWatcher {
-  name: string;
-  sources: string[];
-  deep?: boolean;
-  immediate?: boolean;
-  once?: boolean;
-  static?: boolean;
-}
 /** 响应式字段类别，用于判定「该成员是否会被推入依赖收集列表」。 */
 type ReactiveKind = 'prop' | 'state' | 'computed';
 /** 组件内一个响应式成员的信息。 */
@@ -103,7 +105,7 @@ interface ComponentAnalysis {
   tagName?: string;
   /** 响应式字段（含继承链上收集到的，按声明顺序） */
   fields: Map<string, ReactiveField>;
-  /** 本类自身定义的实例方法名（用于 D2 降级判定） */
+  /** 本类自身定义的实例方法名（D2：自有方法值不可变，不推入依赖，无需拒绝） */
   ownMethods: Set<string>;
   /** 本类自身定义的 getter 名（`@computed` 之外的普通 getter，D2 视为方法） */
   ownGetters: Set<string>;
@@ -122,8 +124,8 @@ interface ComponentAnalysis {
   queryFields?: Set<string>;
   /** 本类方法 / getter / 箭头字段的函数体（name → BlockStatement 节点或表达式体），供依赖提取内联扫描 */
   bodies?: Map<string, any>;
-  /** 降级原因；null 表示未降级 */
-  degradeReason: string | null;
+  /** 静态分析未通过的原因（D0/D4/D5/D6）；null 表示通过。非 null 即闸门抛错 */
+  staticReason: string | null;
   /** 无视图组件（render() 不存在 / 返回 null / 继承链终点为 CompElem）→ 注入 noView: true */
   noView: boolean;
   /** 跳过注入（同文件继承链上有 render 的祖先，继承其 __ce_static__）→ 不生成注入语句 */
@@ -147,6 +149,17 @@ interface ComponentAnalysis {
    * 用于 D3 判定：这些名字不是「自由标识符」。
    */
   moduleBindings: Set<string>;
+  /**
+   * 模块级 `const` 的初始化器：名字 → VariableDeclarator（见 collectModuleConstInits）。
+   * 供模板静态片段折叠判定 `${CONST}` 是不是模块级 `h` 标签模板常量。
+   * 只收同文件声明 —— compileFile 是单文件纯函数，跨文件 import 不解析。
+   */
+  moduleConstInits: Map<string, any>;
+  /**
+   * 外部指令名（options.knownDirectives，compile.ts 注入）。插值位置对这些
+   * 导入名的调用按指令点分类（isDirectiveCall），同 COMpelem_DIRECTIVES。
+   */
+  knownDirectives?: Set<string>;
 }
 /** 插件选项。 */
 interface CompilerOptions {
@@ -167,10 +180,14 @@ interface CompilerOptions {
    * （TEMPLATE-CODEGEN.md §4）。
    */
   knownTags?: Iterable<string>;
-  /** 关闭指定生成步骤（用于 A/B 实测对照） */
-  disable?: {
-    buildVars?: boolean;
-  };
+  /**
+   * 外部指令注册表：经 `directive()` 包装、遵守 DirectiveInstance 契约的
+   * 跨包导入函数名（如 compelem-router 的 `outlet`）。插值位置对这些名字的
+   * 调用按指令点编译（vite 插件选项原样透传，无需跨文件累积）。
+   * 不提供则模块绑定调用退回值点语义 —— 与 0.28 动态引擎「函数值即指令」
+   * 的隐式契约断裂，外部指令将渲染成函数源码文本。
+   */
+  knownDirectives?: Iterable<string>;
 }
 //#endregion
 //#region src/vite.d.ts
@@ -188,13 +205,6 @@ interface MinimalPlugin {
 interface VitePluginOptions extends CompilerOptions {
   /** 是否输出每个文件的编译诊断 */
   verbose?: boolean;
-  /**
-   * D7（模板内直接嵌套模板）命中的处理力度。
-   * - `'warn'`（默认）：仅控制台提示 D7 消息
-   * - `'error'`：直接阻断构建，用于 CI 强制把关
-   * - `'silent'`：不提示
-   */
-  d7?: 'warn' | 'error' | 'silent';
   /**
    * 约定错误（E-*：emit 未声明/非字面量、@prop 缺 type/命名/赋值、@computed 非 getter、
    * @csscope 非 static getter）的处理力度。默认 `'error'` —— 约定违规直接阻断构建。
@@ -217,4 +227,4 @@ interface VitePluginOptions extends CompilerOptions {
 declare function compelemCompiler(options?: VitePluginOptions): MinimalPlugin;
 //#endregion
 export { ComponentAnalysis as a, ReactiveKind as c, CompilerOptions as i, compelemCompiler as n, DEBUG_DIV as o, CompiledStatic as r, ReactiveField as s, VitePluginOptions as t };
-//# sourceMappingURL=vite-BtG-4Z6L.d.ts.map
+//# sourceMappingURL=vite-BAl4p1jA.d.ts.map