@solid-stack/mason 1.0.31 → 1.0.33

package/dist/bin.js

@@ -189,6 +189,16 @@ function getConfiguredSharedDir(projectRoot, flags) {
   }
   return path2.join(projectRoot, "shared");
 }
+function loadLintConfig(projectRoot) {
+  const configPath = path2.join(projectRoot, "mason-lint.config.json");
+  if (fs14.existsSync(configPath)) {
+    try {
+      return JSON.parse(fs14.readFileSync(configPath, "utf-8"));
+    } catch {
+    }
+  }
+  return { baseErrorPath: "src/errors/AppError.ts" };
+}
 
 // src/utils/project.ts
 function findProjectRoot(startDir = process.cwd()) {
@@ -4877,22 +4887,47 @@ function scanDirFiles(dir, projectRoot) {
 function classifyFile(fullPath, projectRoot) {
   const rel = path2.relative(projectRoot, fullPath).replace(/\\/g, "/");
   const featureMatch = rel.match(/(?:^|\/)(?:src\/)?features\/([^/]+)\/([^/]+)(?:\/.*)?$/);
-  if (!featureMatch || !featureMatch[1] || !featureMatch[2]) return {};
-  const feature = featureMatch[1];
-  const subfolder = featureMatch[2];
-  let layer;
-  if (subfolder === "domain" || subfolder === "errors") {
-    layer = "domain";
-  } else if (subfolder === "useCases" || subfolder === "usecases") {
-    layer = "useCases";
-  } else if (subfolder === "services") {
-    layer = "services";
-  } else if (subfolder === "infrastructure") {
-    layer = "infrastructure";
-  } else if (subfolder === "pxExpress" || subfolder === "presentation" || subfolder === "handlers" || subfolder.startsWith("px")) {
-    layer = "presentation";
-  }
-  return { feature, layer };
+  if (featureMatch && featureMatch[1] && featureMatch[2]) {
+    const feature = featureMatch[1];
+    const subfolder = featureMatch[2];
+    let layer;
+    if (subfolder === "domain" || subfolder === "errors") {
+      layer = "domain";
+    } else if (subfolder === "useCases" || subfolder === "usecases") {
+      layer = "useCases";
+    } else if (subfolder === "services") {
+      layer = "services";
+    } else if (subfolder === "infrastructure") {
+      layer = "infrastructure";
+    } else if (subfolder === "pxExpress" || subfolder === "presentation" || subfolder === "handlers" || subfolder.startsWith("px")) {
+      layer = "presentation";
+    }
+    return { moduleType: "feature", moduleName: feature, feature, layer };
+  }
+  const sharedMatch = rel.match(/(?:^|\/)(?:src\/)?shared\/([^/]+)(?:\/(.*))?$/);
+  if (sharedMatch && sharedMatch[1]) {
+    const moduleName = sharedMatch[1];
+    const rest = sharedMatch[2] || "";
+    let layer = "root";
+    if (rest.startsWith("domain/") || rest === "domain" || rest.startsWith("errors/") || rest === "errors") {
+      layer = "domain";
+    } else if (rest.startsWith("ports/") || rest === "ports") {
+      layer = "ports";
+    } else if (rest.startsWith("infrastructure/") || rest === "infrastructure") {
+      layer = "infrastructure";
+    }
+    return { moduleType: "shared", moduleName, feature: moduleName, layer };
+  }
+  const errorMatch = rel.match(/(?:^|\/)(?:src\/)?errors(?:\/(.*))?$/);
+  if (errorMatch) {
+    return {
+      moduleType: "error",
+      moduleName: "global-errors",
+      feature: "global-errors",
+      layer: "domain"
+    };
+  }
+  return {};
 }
 function classifyTarget(specifier, sourceFileAbs, projectRoot) {
   if (specifier === "@solid-stack/di" || specifier.startsWith("@solid-stack/di/")) {
@@ -4917,15 +4952,28 @@ function classifyTarget(specifier, sourceFileAbs, projectRoot) {
     resolvedRel = specifier.replace(/^[@~]\//, "src/");
   } else if (specifier === "@configs" || specifier.startsWith("@configs/")) {
     resolvedRel = "src/" + specifier.slice(1);
+  } else if (specifier.startsWith("@/errors/") || specifier.startsWith("~/errors/") || specifier === "@/errors" || specifier === "~/errors") {
+    resolvedRel = specifier.replace(/^[@~]\//, "src/");
+  } else if (specifier === "@errors" || specifier.startsWith("@errors/")) {
+    resolvedRel = "src/" + specifier.slice(1);
   } else if (specifier.startsWith("@/") || specifier.startsWith("~/")) {
     resolvedRel = "src/" + specifier.slice(2);
-  } else if (specifier.startsWith("features/") || specifier.startsWith("shared/") || specifier.startsWith("configs/") || specifier === "configs") {
+  } else if (specifier.startsWith("features/") || specifier.startsWith("shared/") || specifier.startsWith("configs/") || specifier === "configs" || specifier.startsWith("errors/") || specifier === "errors") {
     resolvedRel = specifier;
   }
   if (!resolvedRel) {
     return { isExternal: true, isDiFramework: false };
   }
   const isGlobalConfig = resolvedRel.startsWith("src/configs/") || resolvedRel === "src/configs" || resolvedRel.startsWith("configs/") || resolvedRel === "configs";
+  const isGlobalError = resolvedRel.startsWith("src/errors/") || resolvedRel === "src/errors" || resolvedRel.startsWith("errors/") || resolvedRel === "errors";
+  if (isGlobalError) {
+    return {
+      isExternal: false,
+      isDiFramework: false,
+      isGlobalError: true,
+      isTargetError: true
+    };
+  }
   const featMatch = resolvedRel.match(/(?:^|\/)(?:src\/)?features\/([^/]+)\/([^/]+)(?:\/(.*))?$/);
   if (featMatch && featMatch[1] && featMatch[2]) {
     const targetFeature = featMatch[1];
@@ -4947,6 +4995,7 @@ function classifyTarget(specifier, sourceFileAbs, projectRoot) {
     const targetFileName = basePart.replace(/\.(js|ts|mjs|cjs)$/, "");
     const isTargetPort = /^I[A-Z]/.test(targetFileName);
     const isTargetRepo = isTargetPort && targetFileName.includes("Repo");
+    const isTargetError = targetSubfolder === "errors" || rest.startsWith("errors/") || rest.includes("/errors/") || targetFileName.endsWith("Error") || targetFileName.endsWith("Errors");
     return {
       isExternal: false,
       isDiFramework: false,
@@ -4955,7 +5004,8 @@ function classifyTarget(specifier, sourceFileAbs, projectRoot) {
       targetSubfolder,
       targetFileName,
       isTargetPort,
-      isTargetRepo
+      isTargetRepo,
+      isTargetError
     };
   }
   const sharedMatch = resolvedRel.match(/(?:^|\/)(?:src\/)?shared\/([^/]+)(?:\/(.*))?$/);
@@ -4981,17 +5031,34 @@ function classifyTarget(specifier, sourceFileAbs, projectRoot) {
 function extractImportStatements(content) {
   const statements = [];
   const lines = content.split(/\r?\n/);
-  const regex = /(?:import\s+(?:type\s+)?(?:[\s\w*$,{}]+\s+from\s+)?|export\s+(?:type\s+)?(?:[\s\w*$,{}]+\s+from\s+)?|import\s*\(|require\s*\()\s*["']([^"']+)["']/g;
+  const regex = /(?:import\s+(type\s+)?(?:([\s\w*$,{}]+)\s+from\s+)?|export\s+(type\s+)?(?:([\s\w*$,{}]+)\s+from\s+)?|import\s*\(|require\s*\()\s*["']([^"']+)["']/g;
   let match;
   while ((match = regex.exec(content)) !== null) {
-    const specifier = match[1];
+    const isTypeOnly = Boolean(match[1] || match[3]);
+    const importClause = (match[2] || match[4] || "").trim();
+    const specifier = match[5];
     const charIndex = match.index;
     const lineNum = content.substring(0, charIndex).split("\n").length;
     const rawCode = lines[lineNum - 1]?.trim() || match[0].trim();
+    const importedNames = [];
+    if (importClause) {
+      const cleaned = importClause.replace(/[{}]/g, "");
+      const words = cleaned.split(",").map((s) => s.trim()).filter(Boolean);
+      for (const w of words) {
+        const parts = w.split(/\s+as\s+/);
+        const name = parts[0].replace(/^type\s+/, "").trim();
+        const alias = (parts[1] || name).trim();
+        if (alias && alias !== "*") {
+          importedNames.push(alias);
+        }
+      }
+    }
     statements.push({
       specifier,
       line: lineNum,
-      rawCode
+      rawCode,
+      isTypeOnly,
+      importedNames
     });
   }
   return statements;
@@ -5090,6 +5157,15 @@ function discoverAllFeatures(projectRoot) {
     dir: path2.join(featuresBase, e.name)
   })).sort((a, b) => a.name.localeCompare(b.name));
 }
+function discoverAllShared(projectRoot) {
+  const sharedBase = resolveSharedDir(projectRoot);
+  if (!fs14.existsSync(sharedBase)) return [];
+  const entries = fs14.readdirSync(sharedBase, { withFileTypes: true });
+  return entries.filter((e) => e.isDirectory() && !e.name.startsWith(".") && e.name !== "__tests__" && e.name !== "tests").map((e) => ({
+    name: e.name,
+    dir: path2.join(sharedBase, e.name)
+  })).sort((a, b) => a.name.localeCompare(b.name));
+}
 function extractClassMethods(content, className) {
   let clean = "";
   let inLineComment = false;
@@ -5438,17 +5514,56 @@ function lintCodebase(options = {}) {
   const startTime = Date.now();
   const projectRoot = options.projectRoot || findProjectRoot(options.targetDir || process.cwd());
   const failFast = !options.complete;
+  const lintConfig = loadLintConfig(projectRoot);
+  const baseErrorRelative = lintConfig.baseErrorPath || "src/errors/AppError.ts";
+  const baseErrorAbs = path2.resolve(projectRoot, baseErrorRelative);
+  const featuresBase = resolveFeaturesDir(projectRoot);
+  const sharedBase = resolveSharedDir(projectRoot);
+  let errorsBase = path2.join(projectRoot, "src/errors");
+  if (!fs14.existsSync(errorsBase) && fs14.existsSync(path2.join(projectRoot, "errors"))) {
+    errorsBase = path2.join(projectRoot, "errors");
+  }
+  const missingFoundations = [];
+  if (!fs14.existsSync(featuresBase)) missingFoundations.push("features/");
+  if (!fs14.existsSync(sharedBase)) missingFoundations.push("shared/");
+  if (!fs14.existsSync(errorsBase)) missingFoundations.push("errors/");
+  if (missingFoundations.length > 0) {
+    throw new DependencyRuleError(
+      `Project Structure Violation: Missing required foundational directories: ${missingFoundations.join(", ")}. Every project must contain 'features/', 'shared/', and 'errors/'.`,
+      [],
+      true
+    );
+  }
+  if (!fs14.existsSync(baseErrorAbs)) {
+    throw new DependencyRuleError(
+      `Project Structure Violation: Base error class not found at '${baseErrorRelative}'. Create this file or update 'baseErrorPath' in mason-lint.config.json.`,
+      [],
+      true
+    );
+  }
+  const baseErrorContent = fs14.readFileSync(baseErrorAbs, "utf-8");
+  const baseClassMatch = baseErrorContent.match(
+    /(?:export\s+(?:default\s+)?)?(?:abstract\s+)?class\s+([A-Za-z0-9_]+)/
+  );
+  const baseErrorClassName = baseClassMatch ? baseClassMatch[1] : "AppError";
   const features = discoverAllFeatures(projectRoot);
+  const sharedModules = discoverAllShared(projectRoot);
+  const errorModule = { name: "global-errors", dir: errorsBase, type: "error" };
+  const allModules = [
+    ...features.map((f) => ({ ...f, type: "feature" })),
+    ...sharedModules.map((s) => ({ ...s, type: "shared" })),
+    errorModule
+  ];
   const graph = new FeatureDependencyGraph();
   const allViolations = [];
   const results = [];
   const detectedCycles = [];
   const addViolation = (v) => {
     allViolations.push(v);
-    const featureResult = results.find((r) => r.featureName === v.feature);
-    if (featureResult) {
-      featureResult.violations.push(v);
-      featureResult.passed = false;
+    const moduleResult = results.find((r) => r.featureName === v.feature);
+    if (moduleResult) {
+      moduleResult.violations.push(v);
+      moduleResult.passed = false;
     }
     if (failFast) {
       const errorMsg = `Dependency rule violation detected in ${v.relativePath}:${v.line}:
@@ -5457,28 +5572,271 @@ Code: ${v.code}`;
       throw new DependencyRuleError(errorMsg, [v], true);
     }
   };
-  for (const feat of features) {
+  for (const mod of allModules) {
     results.push({
-      featureName: feat.name,
-      featureDir: feat.dir,
+      moduleType: mod.type,
+      moduleName: mod.name,
+      featureName: mod.name,
+      featureDir: mod.dir,
+      moduleDir: mod.dir,
       scannedFilesCount: 0,
       passed: true,
       violations: [],
-      layersChecked: ["domain", "useCases", "services", "infrastructure", "presentation"]
+      layersChecked: mod.type === "feature" ? ["domain", "useCases", "services", "infrastructure", "presentation"] : mod.type === "shared" ? ["domain", "ports", "infrastructure", "root"] : ["domain"]
     });
   }
-  for (const feat of features) {
-    const featResult = results.find((r) => r.featureName === feat.name);
-    const allFiles = scanDirFiles(feat.dir, projectRoot);
-    featResult.scannedFilesCount = allFiles.length;
+  for (const mod of allModules) {
+    const modResult = results.find((r) => r.featureName === mod.name);
+    const allFiles = scanDirFiles(mod.dir, projectRoot);
+    modResult.scannedFilesCount = allFiles.length;
     for (const file of allFiles) {
       const relPath = path2.relative(projectRoot, file).replace(/\\/g, "/");
-      const { layer } = classifyFile(file, projectRoot);
-      if (!layer) continue;
+      const { moduleType, moduleName, layer } = classifyFile(file, projectRoot);
+      if (!layer || !moduleType || !moduleName) continue;
       const content = fs14.readFileSync(file, "utf-8");
       const statements = extractImportStatements(content);
       const baseName = path2.basename(file);
       const isBarrel = baseName === "index.ts" || baseName === "index.js";
+      const throwErrorRegex = /\bthrow\s+(?:new\s+)?Error\s*\(/g;
+      let throwMatch;
+      while ((throwMatch = throwErrorRegex.exec(content)) !== null) {
+        const charIndex = throwMatch.index;
+        const lineNum = content.substring(0, charIndex).split("\n").length;
+        const lineCode = content.split(/\r?\n/)[lineNum - 1]?.trim() || throwMatch[0];
+        if (lineCode.startsWith("//")) continue;
+        addViolation({
+          feature: moduleName,
+          layer,
+          file,
+          relativePath: relPath,
+          line: lineNum,
+          category: "Plain Error Throw Violation",
+          code: lineCode,
+          ruleId: "E3_PLAIN_ERROR_THROW",
+          severity: "error",
+          advice: `Throwing plain 'Error' is prohibited. You must throw '${baseErrorClassName}' or a domain-specific error class that inherits from it.`,
+          fixExample: {
+            bad: lineCode,
+            good: `throw new ${baseErrorClassName}("Something went wrong");`
+          }
+        });
+      }
+      const isErrorFile = relPath.includes("/errors/") || relPath.startsWith("errors/") || relPath.startsWith("src/errors/") || moduleType === "error" || baseName.endsWith("Error.ts") || baseName.endsWith("Errors.ts") || baseName.endsWith("Error.js") || baseName.endsWith("Errors.js");
+      const isBaseErrorFile = path2.resolve(file) === path2.resolve(baseErrorAbs);
+      if (isErrorFile && !isBaseErrorFile) {
+        const classRegex = /(?:export\s+(?:default\s+)?)?(?:abstract\s+)?class\s+([A-Za-z0-9_]+)(?:<[^>]+>)?(?:\s+extends\s+([A-Za-z0-9_]+))?/g;
+        let classMatch;
+        while ((classMatch = classRegex.exec(content)) !== null) {
+          const className = classMatch[1];
+          const extendsName = classMatch[2];
+          const charIndex = classMatch.index;
+          const lineNum = content.substring(0, charIndex).split("\n").length;
+          const lineCode = content.split(/\r?\n/)[lineNum - 1]?.trim() || classMatch[0];
+          if (lineCode.startsWith("//")) continue;
+          if (!extendsName) {
+            addViolation({
+              feature: moduleName,
+              layer,
+              file,
+              relativePath: relPath,
+              line: lineNum,
+              category: "Error Inheritance Violation",
+              code: lineCode,
+              ruleId: "E4_MISSING_INHERITANCE",
+              severity: "error",
+              advice: `Error class '${className}' must extend '${baseErrorClassName}' (or another class that derives from it).`,
+              fixExample: {
+                bad: lineCode,
+                good: `export class ${className} extends ${baseErrorClassName} { ... }`
+              }
+            });
+          } else if (extendsName === "Error") {
+            addViolation({
+              feature: moduleName,
+              layer,
+              file,
+              relativePath: relPath,
+              line: lineNum,
+              category: "Error Inheritance Violation",
+              code: lineCode,
+              ruleId: "E5_NATIVE_ERROR_INHERITANCE",
+              severity: "error",
+              advice: `Error class '${className}' extends the native 'Error'. It must extend your base error class ('${baseErrorClassName}').`,
+              fixExample: {
+                bad: lineCode,
+                good: `export class ${className} extends ${baseErrorClassName} { ... }`
+              }
+            });
+          }
+        }
+      }
+      if (moduleType === "error") {
+        for (const stmt of statements) {
+          const target = classifyTarget(stmt.specifier, file, projectRoot);
+          if (target.targetFeature) {
+            addViolation({
+              feature: "global-errors",
+              layer: "domain",
+              file,
+              relativePath: relPath,
+              line: stmt.line,
+              category: "Global Error Purity Violation",
+              code: stmt.rawCode,
+              ruleId: "E1_FEATURE_DEPENDENCY",
+              severity: "error",
+              advice: `Global errors must not depend on features ('${target.targetFeature}'). Global errors represent pure domain or system states.`,
+              fixExample: {
+                bad: stmt.rawCode,
+                good: "// Global errors must not reference specific features. Keep error types pure."
+              }
+            });
+          }
+          if (target.targetSharedModule && !target.isSharedDomain) {
+            addViolation({
+              feature: "global-errors",
+              layer: "domain",
+              file,
+              relativePath: relPath,
+              line: stmt.line,
+              category: "Global Error Purity Violation",
+              code: stmt.rawCode,
+              ruleId: "E2_SHARED_NON_DOMAIN",
+              severity: "error",
+              advice: `Global errors can only depend on shared domain elements (e.g., value objects). They cannot depend on shared ports or infrastructure.`,
+              fixExample: {
+                bad: stmt.rawCode,
+                good: "// Depend only on pure domain types from shared modules."
+              }
+            });
+          }
+        }
+        continue;
+      }
+      if (moduleType === "shared") {
+        if (layer === "domain") {
+          const lines = content.split(/\r?\n/);
+          for (let i = 0; i < lines.length; i++) {
+            const lineText = lines[i].trim();
+            if (lineText.includes("@MakeInjectable") || lineText.includes("public static deps =")) {
+              addViolation({
+                feature: moduleName,
+                layer,
+                file,
+                relativePath: relPath,
+                line: i + 1,
+                category: "Domain Dependence Violation",
+                code: lineText,
+                ruleId: "D2_DI_DEPENDENCE",
+                severity: "error",
+                advice: "Domain layer must have zero DI dependence. Remove @MakeInjectable decorators and static deps declarations.",
+                fixExample: {
+                  bad: lineText,
+                  good: "// Domain interfaces and value objects must remain plain TypeScript classes/interfaces."
+                }
+              });
+            }
+          }
+        }
+        for (const stmt of statements) {
+          const target = classifyTarget(stmt.specifier, file, projectRoot);
+          if (target.targetFeature) {
+            addViolation({
+              feature: moduleName,
+              layer,
+              file,
+              relativePath: relPath,
+              line: stmt.line,
+              category: "Shared Architecture Violation",
+              code: stmt.rawCode,
+              ruleId: "SF1_FEATURE_DEPENDENCY",
+              severity: "error",
+              advice: `Shared modules ('${moduleName}') are foundational and must NEVER import from feature modules ('${target.targetFeature}').`,
+              fixExample: {
+                bad: stmt.rawCode,
+                good: "// Move shared logic/types to shared/ or communicate via domain events/callbacks."
+              }
+            });
+          }
+          if (target.targetSharedModule && target.targetSharedModule !== moduleName) {
+            if (target.isSharedInfra || target.isSharedPorts) {
+              addViolation({
+                feature: moduleName,
+                layer,
+                file,
+                relativePath: relPath,
+                line: stmt.line,
+                category: "Shared Architecture Violation",
+                code: stmt.rawCode,
+                ruleId: "SS1_SHARED_ENCAPSULATION",
+                severity: "error",
+                advice: `Shared module '${moduleName}' cannot import internal details (ports/infra) of shared module '${target.targetSharedModule}'. Depend only on its root classes or domain types.`,
+                fixExample: {
+                  bad: stmt.rawCode,
+                  good: `import { ... } from "@/shared/${target.targetSharedModule}/<RootClass>.js";`
+                }
+              });
+            }
+          }
+          if (layer === "domain") {
+            if (target.targetSharedModule === moduleName && (target.isSharedInfra || target.isSharedPorts || target.isSharedRoot)) {
+              addViolation({
+                feature: moduleName,
+                layer,
+                file,
+                relativePath: relPath,
+                line: stmt.line,
+                category: "Domain Purity Violation",
+                code: stmt.rawCode,
+                ruleId: "SD1_OUTER_IMPORT",
+                severity: "error",
+                advice: `Shared domain layer must not import from its own ports, infrastructure, or root classes.`,
+                fixExample: {
+                  bad: stmt.rawCode,
+                  good: "// Model pure business types and value objects directly within domain/."
+                }
+              });
+            }
+            if (target.isDiFramework) {
+              addViolation({
+                feature: moduleName,
+                layer,
+                file,
+                relativePath: relPath,
+                line: stmt.line,
+                category: "Domain Dependence Violation",
+                code: stmt.rawCode,
+                ruleId: "D2_DI_DEPENDENCE",
+                severity: "error",
+                advice: "Domain layer must have zero DI dependence. Domain interfaces and value objects are plain classes/types.",
+                fixExample: {
+                  bad: stmt.rawCode,
+                  good: "// Remove @solid-stack/di import. Domain entities are pure TypeScript."
+                }
+              });
+            }
+          }
+          if (layer === "ports" && target.targetSharedModule === moduleName && target.isSharedInfra) {
+            addViolation({
+              feature: moduleName,
+              layer,
+              file,
+              relativePath: relPath,
+              line: stmt.line,
+              category: "Shared Architecture Violation",
+              code: stmt.rawCode,
+              ruleId: "SP1_INFRA_IN_PORT",
+              severity: "error",
+              advice: `Shared ports cannot depend on infrastructure. Infrastructure implements ports, not the other way around.`,
+              fixExample: {
+                bad: stmt.rawCode,
+                good: "// Ports define abstract interfaces without concrete infrastructure dependencies."
+              }
+            });
+          }
+        }
+        continue;
+      }
+      const feat = mod;
       if (layer === "useCases" && !isBarrel) {
         checkUseCaseShape(feat.name, file, relPath, content, addViolation);
       }
@@ -5547,23 +5905,33 @@ Code: ${v.code}`;
               }
             });
           }
-          if (target.targetLayer === "domain" && !target.isTargetPort) {
-            addViolation({
-              feature: feat.name,
-              layer,
-              file,
-              relativePath: relPath,
-              line: stmt.line,
-              category: "Cross-Feature Domain Violation",
-              code: stmt.rawCode,
-              ruleId: "F1_CROSS_FEATURE_DOMAIN",
-              severity: "error",
-              advice: `Cannot import domain entities/factories directly from foreign feature '${target.targetFeature}'. This bypasses its use cases and breaks Bounded Context encapsulation. Communicate via ports instead.`,
-              fixExample: {
-                bad: stmt.rawCode,
-                good: `// Define a Port in ${feat.name}/domain/ and implement the cross-feature communication in ${feat.name}/infrastructure/ (which can then call ${target.targetFeature}'s Use Case).`
+          if (target.targetLayer === "domain" && !target.isTargetPort && !target.isTargetError && !stmt.isTypeOnly) {
+            for (const name of stmt.importedNames) {
+              const createRegex = new RegExp(`\\b${name}\\.create\\s*\\(`, "g");
+              const newRegex = new RegExp(`\\bnew\\s+${name}\\b`, "g");
+              const execMatch = createRegex.exec(content) || newRegex.exec(content);
+              if (execMatch) {
+                const charIndex = execMatch.index;
+                const lineNum = content.substring(0, charIndex).split("\n").length;
+                const lineCode = content.split(/\r?\n/)[lineNum - 1]?.trim() || stmt.rawCode;
+                addViolation({
+                  feature: feat.name,
+                  layer,
+                  file,
+                  relativePath: relPath,
+                  line: lineNum,
+                  category: "Cross-Feature Domain Violation",
+                  code: lineCode,
+                  ruleId: "F1_CROSS_FEATURE_DOMAIN",
+                  severity: "error",
+                  advice: `Cannot instantiate domain entities/factories directly from foreign feature '${target.targetFeature}' (found instantiation of '${name}'). This bypasses its use cases and breaks Bounded Context encapsulation. Importing for types or 'instanceof' checks is allowed.`,
+                  fixExample: {
+                    bad: lineCode,
+                    good: `// Define a Port in ${feat.name}/domain/ and implement the cross-feature communication in ${feat.name}/infrastructure/.`
+                  }
+                });
               }
-            });
+            }
           }
         }
         if (target.isGlobalConfig) {
@@ -5951,23 +6319,33 @@ Code: ${v.code}`;
               }
             });
           }
-          if (target.targetLayer === "domain" && !target.isTargetPort && !target.isTargetRepo) {
-            addViolation({
-              feature: feat.name,
-              layer,
-              file,
-              relativePath: relPath,
-              line: stmt.line,
-              category: "Presentation Layer Violation",
-              code: stmt.rawCode,
-              ruleId: "P5_DIRECT_DOMAIN_ENTITY",
-              severity: "error",
-              advice: "Presentation handlers must not directly instantiate or import domain entities/factories. They must map requests to flat DTOs and pass them to the Use Case.",
-              fixExample: {
-                bad: stmt.rawCode,
-                good: "// Construct a DTO and pass it into the injected Use Case's execute() method."
+          if (target.targetLayer === "domain" && !target.isTargetPort && !target.isTargetRepo && !target.isTargetError && !stmt.isTypeOnly) {
+            for (const name of stmt.importedNames) {
+              const createRegex = new RegExp(`\\b${name}\\.create\\s*\\(`, "g");
+              const newRegex = new RegExp(`\\bnew\\s+${name}\\b`, "g");
+              const execMatch = createRegex.exec(content) || newRegex.exec(content);
+              if (execMatch) {
+                const charIndex = execMatch.index;
+                const lineNum = content.substring(0, charIndex).split("\n").length;
+                const lineCode = content.split(/\r?\n/)[lineNum - 1]?.trim() || stmt.rawCode;
+                addViolation({
+                  feature: feat.name,
+                  layer,
+                  file,
+                  relativePath: relPath,
+                  line: lineNum,
+                  category: "Presentation Layer Violation",
+                  code: lineCode,
+                  ruleId: "P5_DIRECT_DOMAIN_ENTITY",
+                  severity: "error",
+                  advice: `Presentation handlers must not directly instantiate domain entities (found instantiation of '${name}'). They must map requests to flat DTOs and pass them to the Use Case. Importing for types or 'instanceof' checks is allowed.`,
+                  fixExample: {
+                    bad: lineCode,
+                    good: "// Construct a plain DTO object and pass it into the injected Use Case's execute() method."
+                  }
+                });
               }
-            });
+            }
           }
         }
       }