@supacloud/compiler 0.1.0 → 0.3.1

package/README.md

@@ -47,7 +47,7 @@ interface ApplicationGraph {
 `<outDir>/application.ts`（头注释 `// GENERATED BY @supacloud/compiler — do not edit`）：
 
 - 文件顶部本地声明 `CompiledRoute` / `CompiledController` / `CompiledModule` 接口，不 import 任何外部包。
-- `createCompiledModules(deps)` 按 imports 拓扑序返回模块描述：`{ name, createServices, createRequestScope?, createJobScope?, controllers }`。
+- `createCompiledModules()` 按 imports 拓扑序返回模块描述：`{ name, createServices, createRequestScope?, createJobScope?, controllers, commands }`。平台依赖统一由 `createApplication({ deps })` 传入生成工厂。
 - 每个模块一个 `create<Name>Services(deps, imported)`：实例化 application 级 provider；dep 解析顺序为本模块 services > imports 模块导出的 services（`imported.<module>.<key>`）> 平台注入（`deps.<camelName>`）。
 - 含 request 级 provider/controller 的模块额外生成 `create<Name>RequestScope(services, ctx)`：依赖 `REQUEST_CONTEXT`（或 token name `supacloud.request-context`）的参数传 `ctx`，其余经 `services` 解析（运行期负责把 imports 模块导出的 application 服务合并进 `services`）；job 级同理生成 `create<Name>JobScope`。
 - services 对象的 key 为 token 名的 camelCase：`CaseService → caseService`、`CASE_REPOSITORY → caseRepository`、`LOGGER → logger`。
@@ -64,7 +64,11 @@ interface ApplicationGraph {
 | `module-boundary` | error | 依赖的 token 由未 import 的模块提供 |
 | `unresolved-token` | error | 依赖的 token 无法解析且不属于平台注入 |
 | `duplicate-token` | error | 同一 token 在同模块重复注册 |
-| `command-missing-permission` | warn（strict 时 error） | `@Command` 未声明 permission |
+| `duplicate-module` | error | 应用中存在重复模块名 |
+| `duplicate-command` | error | 应用中存在重复业务 command 名 |
+| `duplicate-route` | error | 规范化后 HTTP method + path 冲突 |
+| `route-command-unresolved` | error | 路由绑定了本模块未声明的 command 类 |
+| `command-missing-permission` | error | `@Command` 未声明 permission |
 | `missing-deps` | warn（strict 时 error） | 构造/工厂依赖无法静态解析 |
 
 依赖的 token 全图都无 provider 时不报错，记入 `externalTokens`（平台注入）。

package/dist/index.d.ts

@@ -4,4 +4,4 @@ export { generateApplication } from "./generate";
 export type { GenerateOptions } from "./generate";
 export { validateGraph } from "./validate";
 export { camelName } from "./util";
-export type { ApplicationGraph, CommandNode, CompileOptions, CompileResult, ControllerNode, Diagnostic, ModuleNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, } from "./types";
+export type { ApplicationGraph, CommandNode, CompileOptions, CompileResult, ControllerNode, Diagnostic, ModuleBoundaryRule, ModuleNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, } from "./types";

package/dist/index.js

@@ -137,6 +137,7 @@ function parseTokenVariable(decl, file) {
 function parseModule(candidate, nameByNode, ctx) {
   const { options, className, file, line } = candidate;
   const name = nameByNode.get(candidate.node) ?? className;
+  const tags = arrayProp(options, "tags").map((el) => Node.isStringLiteral(el) ? el.getLiteralText() : el.getText().replace(/['"]/g, "")).filter(Boolean);
   const imports = arrayProp(options, "imports").map((el) => {
     const decl = Node.isIdentifier(el) ? resolveDeclaration(el)[0] : undefined;
     if (decl) {
@@ -201,9 +202,9 @@ function parseModule(candidate, nameByNode, ctx) {
           className: cls.getName() ?? "<anonymous>",
           name: stringLiteralProp(meta, "name") ?? cls.getName() ?? "<anonymous>",
           permission: stringLiteralProp(meta, "permission"),
-          transaction: stringLiteralProp(meta, "transaction"),
+          transaction: commandModeProp(meta, "transaction") ?? "none",
           audit: stringLiteralProp(meta, "audit"),
-          idempotency: stringLiteralProp(meta, "idempotency")
+          idempotency: commandModeProp(meta, "idempotency") ?? "none"
         });
       }
     }
@@ -221,6 +222,7 @@ function parseModule(candidate, nameByNode, ctx) {
   return {
     name,
     className,
+    tags: tags.length > 0 ? tags : undefined,
     file: sourcePath(ctx.rootDir, file),
     line,
     imports,
@@ -231,6 +233,10 @@ function parseModule(candidate, nameByNode, ctx) {
     exports
   };
 }
+function commandModeProp(object, name) {
+  const value = stringLiteralProp(object, name);
+  return value === "required" || value === "none" ? value : undefined;
+}
 function parseProvider(el, exportsSet, ctx) {
   const file = sourcePath(ctx.rootDir, el.getSourceFile().getFilePath());
   const line = el.getStartLineNumber();
@@ -383,6 +389,11 @@ function parseController(el, ctx) {
               schemaImports[schemaExpr.getText()] = importPath;
           }
         }
+        const commandExpr = getProp(optionsArg, "command");
+        if (commandExpr && Node.isIdentifier(commandExpr)) {
+          const commandDecl = resolveDeclaration(commandExpr)[0];
+          route.command = commandDecl && Node.isClassDeclaration(commandDecl) ? commandDecl.getName() ?? commandExpr.getText() : commandExpr.getText();
+        }
       }
       routes.push(route);
     }
@@ -625,6 +636,16 @@ var INTERFACES = `export interface CompiledRoute {
   params?: unknown;
   query?: unknown;
   response?: unknown;
+  command?: string;
+}
+
+export interface CompiledCommand {
+  className: string;
+  name: string;
+  permission: string;
+  transaction: "required" | "none";
+  audit?: string;
+  idempotency: "required" | "none";
 }
 
 export interface CompiledController {
@@ -643,12 +664,15 @@ export interface CompiledModule {
   createRequestScope?(
     services: Record<string, unknown>,
     ctx: unknown,
+    imported?: Record<string, Record<string, unknown>>,
   ): Record<string, unknown>;
   createJobScope?(
     services: Record<string, unknown>,
     ctx: unknown,
+    imported?: Record<string, Record<string, unknown>>,
   ): Record<string, unknown>;
   controllers: CompiledController[];
+  commands: CompiledCommand[];
 }`;
 async function generateApplication(graph, options) {
   const modules = topoSortModules(graph.modules);
@@ -667,7 +691,7 @@ async function generateApplication(graph, options) {
     ...imports.size > 0 ? [""] : [],
     INTERFACES,
     "",
-    "export function createCompiledModules(deps: Record<string, unknown>): CompiledModule[] {",
+    "export function createCompiledModules(): CompiledModule[] {",
     "  return [",
     ...descriptorEntries.map((entry) => indent(entry, 4) + ","),
     "  ];",
@@ -798,6 +822,7 @@ class ModuleGenerator {
       lines.push(`  createJobScope: create${this.pascal}JobScope,`);
     }
     lines.push(`  controllers: ${this.renderControllers()},`);
+    lines.push(`  commands: ${JSON.stringify(this.module.commands)},`);
     lines.push(`}`);
     return lines.join(`
 `);
@@ -822,6 +847,8 @@ class ModuleGenerator {
             fields.push(`${field}: ${local}`);
           }
         }
+        if (route.command)
+          fields.push(`command: ${JSON.stringify(route.command)}`);
         return `{ ${fields.join(", ")} }`;
       });
       return [
@@ -855,6 +882,7 @@ ${indent(item, 2)}`).join(",")}
       `function create${this.pascal}${suffix}(`,
       `  services: Record<string, unknown>,`,
       `  ctx: unknown,`,
+      `  imported: Record<string, Record<string, unknown>> = {},`,
       `): Record<string, unknown> {`,
       indent(this.renderFactoryBody(kind), 2),
       `}`
@@ -953,7 +981,7 @@ ${indent(item, 2)}`).join(",")}
         continue;
       if (kind === "services")
         return `imported.${importName}.${camelName(token)}`;
-      return `services.${camelName(token)}`;
+      return `imported.${importName}.${camelName(token)}`;
     }
     if (kind === "services")
       return `deps.${camelName(token)}`;
@@ -986,7 +1014,9 @@ var SCOPE_LIFETIME_RANK = {
   request: 1,
   job: 1
 };
-function validateGraph(graph, strict = false) {
+function validateGraph(graph, options = false) {
+  const strict = typeof options === "boolean" ? options : options.strict ?? false;
+  const moduleBoundaries = typeof options === "object" ? options.moduleBoundaries : undefined;
   const diagnostics = [];
   const globalProviders = new Map;
   for (const module of graph.modules) {
@@ -1016,6 +1046,42 @@ function validateGraph(graph, strict = false) {
   const warn2 = (code, message, file, line) => {
     diagnostics.push({ severity: strict ? "error" : "warn", code, message, file, line });
   };
+  const modulesByName = new Map;
+  const commandsByName = new Map;
+  const routesByKey = new Map;
+  for (const module of graph.modules) {
+    const previousModule = modulesByName.get(module.name);
+    if (previousModule) {
+      error("duplicate-module", `模块名 ${module.name} 重复（首次声明于 ${previousModule.file}:${previousModule.line}）`, module.file, module.line);
+    } else {
+      modulesByName.set(module.name, module);
+    }
+    for (const command of module.commands) {
+      const previousName = commandsByName.get(command.name);
+      if (previousName) {
+        error("duplicate-command", `command 名 ${command.name} 重复（首次由模块 ${previousName.module.name} 的 ${previousName.className} 声明）`, module.file, module.line);
+      } else {
+        commandsByName.set(command.name, { module, className: command.className });
+      }
+    }
+  }
+  for (const module of graph.modules) {
+    for (const controller of module.controllers) {
+      for (const route of controller.routes) {
+        const fullPath = joinRoutePaths(controller.path, route.path);
+        const key = `${route.method} ${fullPath}`;
+        const previous = routesByKey.get(key);
+        if (previous) {
+          error("duplicate-route", `路由 ${key} 重复（首次声明于模块 ${previous.module.name} 的 ${previous.controller.className}）`, controller.file);
+        } else {
+          routesByKey.set(key, { module, controller });
+        }
+        if (route.command && !module.commands.some((command) => command.className === route.command)) {
+          error("route-command-unresolved", `路由 ${key} 绑定的 command 类 ${route.command} 未在模块 ${module.name} 声明`, controller.file);
+        }
+      }
+    }
+  }
   for (const module of graph.modules) {
     const seen = new Map;
     for (const provider of module.providers) {
@@ -1047,13 +1113,47 @@ function validateGraph(graph, strict = false) {
     }
     for (const command of module.commands) {
       if (!command.permission) {
-        warn2("command-missing-permission", `模块 ${module.name} 的 command ${command.name} (${command.className}) 未声明 permission`, module.file, module.line);
+        error("command-missing-permission", `模块 ${module.name} 的 command ${command.name} (${command.className}) 未声明 permission`, module.file, module.line);
+      }
+    }
+  }
+  if (moduleBoundaries && moduleBoundaries.length > 0) {
+    for (const module of graph.modules) {
+      const sourceTags = module.tags ?? [];
+      for (const importName of module.imports) {
+        const targetModule = graph.modules.find((m) => m.name === importName);
+        if (!targetModule)
+          continue;
+        const targetTags = targetModule.tags ?? [];
+        for (const rule of moduleBoundaries) {
+          const matchesSource = rule.sourceTag === "*" || sourceTags.includes(rule.sourceTag);
+          if (!matchesSource)
+            continue;
+          if (rule.bannedDependenciesWithTags) {
+            for (const bannedTag of rule.bannedDependenciesWithTags) {
+              if (targetTags.includes(bannedTag)) {
+                error("module-boundary-violation", `模块 ${module.name} (tags: [${sourceTags.join(", ")}]) 禁止依赖带有标签 '${bannedTag}' 的模块 ${targetModule.name} (tags: [${targetTags.join(", ")}])`, module.file, module.line);
+              }
+            }
+          }
+          if (rule.onlyDependOnLibsWithTags && rule.onlyDependOnLibsWithTags.length > 0) {
+            const hasAllowed = targetTags.some((t) => rule.onlyDependOnLibsWithTags.includes(t));
+            if (!hasAllowed && targetTags.length > 0) {
+              error("module-boundary-violation", `模块 ${module.name} (tags: [${sourceTags.join(", ")}]) 仅允许依赖带有 [${rule.onlyDependOnLibsWithTags.join(", ")}] 标签的模块，但模块 ${targetModule.name} 的标签为 [${targetTags.join(", ")}]`, module.file, module.line);
+            }
+          }
+        }
       }
     }
   }
   diagnostics.push(...detectCycles(graph, resolveDep));
   return diagnostics;
 }
+function joinRoutePaths(prefix, path) {
+  const joined = `${prefix}/${path}`.replace(/\/{2,}/g, "/");
+  const normalized = joined.length > 1 ? joined.replace(/\/+$/, "") : joined;
+  return normalized.replace(/:[^/]+/g, ":param");
+}
 function detectCycles(graph, resolveDep) {
   const diagnostics = [];
   const nodeId = (ref) => `${ref.module.name}:${ref.provider.token}`;
@@ -1102,7 +1202,10 @@ async function compileProject(options) {
   const graph = await analyzeProject(options.rootDir, options.include);
   const diagnostics = [
     ...graph.diagnostics ?? [],
-    ...validateGraph(graph, options.strict)
+    ...validateGraph(graph, {
+      strict: options.strict,
+      moduleBoundaries: options.moduleBoundaries
+    })
   ];
   if (options.strict) {
     for (const diagnostic of diagnostics) {

package/dist/types.d.ts

@@ -38,6 +38,8 @@ export interface RouteNode {
     params?: string;
     query?: string;
     response?: string;
+    /** @Command-decorated class explicitly bound by the route. */
+    command?: string;
 }
 export interface ControllerNode {
     className: string;
@@ -54,9 +56,9 @@ export interface CommandNode {
     className: string;
     name: string;
     permission?: string;
-    transaction?: string;
+    transaction: "required" | "none";
     audit?: string;
-    idempotency?: string;
+    idempotency: "required" | "none";
 }
 export interface QueryNode {
     className: string;
@@ -66,6 +68,8 @@ export interface ModuleNode {
     /** @Module({ name }) 或 defineModule 的 name。 */
     name: string;
     className: string;
+    /** 模块标签（如 ['scope:case', 'type:feature']），用于架构边界治理。 */
+    tags?: string[];
     file: string;
     line: number;
     /** 被 import 模块的 name。 */
@@ -102,6 +106,16 @@ export interface CompileOptions {
     outDir: string;
     /** warn 级诊断升级为 error。 */
     strict?: boolean;
+    /** 模块边界与架构治理规则（受 Nx enforce-module-boundaries 启发）。 */
+    moduleBoundaries?: ModuleBoundaryRule[];
+}
+export interface ModuleBoundaryRule {
+    /** 源模块标签模式或标签（如 'type:ui', 'scope:case', '*'）。 */
+    sourceTag: string;
+    /** 源模块仅允许依赖具有这些标签的模块。 */
+    onlyDependOnLibsWithTags?: string[];
+    /** 源模块禁止依赖具有这些标签的模块。 */
+    bannedDependenciesWithTags?: string[];
 }
 export interface CompileResult {
     diagnostics: Diagnostic[];

package/dist/validate.d.ts

@@ -1,6 +1,9 @@
-import type { ApplicationGraph, Diagnostic } from "./types";
+import type { ApplicationGraph, Diagnostic, ModuleBoundaryRule } from "./types";
 /**
  * 校验 ApplicationGraph，产出诊断列表。
  * strict 时 warn 级诊断升级为 error。
  */
-export declare function validateGraph(graph: ApplicationGraph, strict?: boolean): Diagnostic[];
+export declare function validateGraph(graph: ApplicationGraph, options?: boolean | {
+    strict?: boolean;
+    moduleBoundaries?: ModuleBoundaryRule[];
+}): Diagnostic[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.1.0",
+  "version": "0.3.1",
   "description": "Static compiler for @supacloud/app metadata: builds the application graph from AST, validates it, and generates reflection-free factory code",
   "type": "module",
   "main": "./dist/index.js",
@@ -41,7 +41,7 @@
     "directory": "packages/compiler"
   },
   "dependencies": {
-    "ts-morph": "^26.0.0"
+    "ts-morph": "^28.0.0"
   },
   "devDependencies": {
     "@types/bun": "^1.4.0",