@ultrst-armada/krnl 1.0.0 → 1.0.2

package/packages/validate/dist/index.js

@@ -1,453 +1,491 @@
 // src/KrnlValidatorEngine.ts
-import * as fs from "fs";
-import * as path from "path";
-import { Project, SyntaxKind, Node } from "ts-morph";
-var KrnlValidatorEngine = class {
-  project;
-  projectRoot;
-  maxFileLineLimit;
-  maxMainLogicLimit;
-  maxHelperLineLimit;
-  constructor(optionsOrRoot) {
-    const options = typeof optionsOrRoot === "string" ? { projectRoot: optionsOrRoot } : optionsOrRoot;
-    this.projectRoot = path.resolve(options.projectRoot || process.cwd());
-    this.maxFileLineLimit = options.maxFileLineLimit ?? 200;
-    this.maxMainLogicLimit = options.maxMainLogicLimit ?? 20;
-    this.maxHelperLineLimit = options.maxHelperLineLimit ?? 30;
-    const tsConfigPath = path.join(this.projectRoot, "tsconfig.json");
-    if (fs.existsSync(tsConfigPath)) {
-      this.project = new Project({ tsConfigFilePath: tsConfigPath, skipAddingFilesFromTsConfig: true });
-    } else {
-      this.project = new Project({ compilerOptions: {
-        target: 99
-        /* ESNext */
-      } });
-    }
-  }
-  /**
-   * Scans and validates all source files in the project.
-   */
-  validateAll() {
-    const files = this.collectSourceFiles(this.projectRoot);
-    const errors = [];
-    const warnings = [];
-    this.validateWorkspaceLayout(errors);
-    for (const f of files) {
-      const sf = this.project.addSourceFileAtPath(f);
-      const fileReport = this.validateSourceFile(sf);
-      errors.push(...fileReport.errors);
-      warnings.push(...fileReport.warnings);
-    }
-    return {
-      valid: errors.length === 0,
-      totalFiles: files.length,
-      errors,
-      warnings
-    };
+import * as fs2 from "fs";
+import * as path4 from "path";
+import { Project } from "ts-morph";
+
+// src/rules/fileLimits.ts
+function checkFileLimits(sf, options) {
+  const errors = [];
+  const warnings = [];
+  const filePath = sf.getFilePath();
+  const sourceText = sf.getText();
+  const lines = sourceText.split("\n");
+  if (lines.length > options.maxFileLineLimit) {
+    errors.push({
+      ruleId: "krnl/file-line-limit",
+      filePath,
+      message: `File exceeds maximum length of ${options.maxFileLineLimit} lines (currently ${lines.length} lines). Decompose into sub-components, custom hooks, quad-units, or concept libraries.`,
+      severity: "error"
+    });
   }
-  /**
-   * Validates a single SourceFile.
-   */
-  validateSourceFile(sf) {
-    const errors = [];
-    const warnings = [];
-    const filePath = sf.getFilePath();
-    const sourceText = sf.getText();
-    const baseName = path.basename(filePath);
-    if (baseName.includes("_pb.") || baseName.endsWith(".d.ts")) {
-      return { errors, warnings };
-    }
-    const lines = sourceText.split("\n");
-    if (lines.length > this.maxFileLineLimit) {
+  for (const decl of sf.getImportDeclarations()) {
+    const moduleSpec = decl.getModuleSpecifierValue();
+    if (moduleSpec.startsWith(".") && !moduleSpec.endsWith(".js") && !moduleSpec.endsWith(".json") && !moduleSpec.endsWith(".css") && !moduleSpec.endsWith(".svg") && !moduleSpec.endsWith(".png")) {
       errors.push({
-        ruleId: "krnl/file-line-limit",
+        ruleId: "krnl/import-suffix",
         filePath,
-        message: `File exceeds maximum length of ${this.maxFileLineLimit} lines (currently ${lines.length} lines). Decompose into sub-components, custom hooks, quad-units, or concept libraries.`,
+        line: decl.getStartLineNumber(),
+        message: `Relative import '${moduleSpec}' must end with '.js' for NodeNext module resolution.`,
         severity: "error"
       });
     }
-    for (const decl of sf.getImportDeclarations()) {
-      const moduleSpec = decl.getModuleSpecifierValue();
-      if (moduleSpec.startsWith(".") && !moduleSpec.endsWith(".js") && !moduleSpec.endsWith(".json") && !moduleSpec.endsWith(".css") && !moduleSpec.endsWith(".svg") && !moduleSpec.endsWith(".png")) {
-        const line = decl.getStartLineNumber();
+  }
+  const isHelper = filePath.includes("helper_functions") || filePath.includes("/helpers/") || filePath.includes("\\helpers\\");
+  if (isHelper) {
+    for (const fn of sf.getFunctions()) {
+      const fnLines = fn.getText().split("\n").length;
+      if (fnLines > options.maxHelperLineLimit && !sourceText.includes("Concepts.")) {
         errors.push({
-          ruleId: "krnl/import-suffix",
+          ruleId: "krnl/helper-line-limit",
           filePath,
-          line,
-          message: `Relative import '${moduleSpec}' must end with '.js' for NodeNext module resolution.`,
+          line: fn.getStartLineNumber(),
+          message: `Helper function '${fn.getName() || "anonymous"}' exceeds ${options.maxHelperLineLimit} lines (${fnLines} lines). Must delegate to a root libraries/{Domain}Concepts.ts library.`,
           severity: "error"
         });
       }
     }
-    const isUiTopLevel = /^(App|main|index|_app|root)\.(tsx|jsx)$/i.test(baseName);
-    const isBackendTopLevel = /^(server|app)\.(ts|js)$/i.test(baseName) && (!filePath.includes("/components/") && !filePath.includes("/entities/") && !filePath.includes("/libraries/"));
-    if (isUiTopLevel) {
-      const jsxElements = sf.getDescendantsOfKind(SyntaxKind.JsxOpeningElement);
-      const jsxSelfClosing = sf.getDescendantsOfKind(SyntaxKind.JsxSelfClosingElement);
-      const allJsxTags = [...jsxElements, ...jsxSelfClosing];
-      for (const jsx of allJsxTags) {
-        const tagName = jsx.getTagNameNode().getText();
-        if (/^[a-z]/.test(tagName)) {
-          errors.push({
-            ruleId: "krnl/top-level-purity",
-            filePath,
-            line: jsx.getStartLineNumber(),
-            message: `Top-level file '${baseName}' violates Top-Level Purity Law. Raw JSX/HTML element '<${tagName}>' is strictly forbidden. Top-level files must ONLY import and compose React components.`,
-            severity: "error"
-          });
-        }
-      }
-      const calls2 = sf.getDescendantsOfKind(SyntaxKind.CallExpression);
-      for (const call of calls2) {
-        const exprText = call.getExpression().getText();
-        if (["useState", "useEffect", "useRef", "useMemo", "useCallback", "useReducer", "useContext", "useLayoutEffect"].includes(exprText) || /^use[A-Z]/.test(exprText) && exprText !== "use") {
-          errors.push({
-            ruleId: "krnl/top-level-purity",
-            filePath,
-            line: call.getStartLineNumber(),
-            message: `Top-level file '${baseName}' violates Top-Level Purity Law. React hook '${exprText}' is forbidden in top-level files. Encapsulate state and effects inside dedicated component files.`,
-            severity: "error"
-          });
-        }
-      }
+  }
+  const isMainLogic = filePath.endsWith("logic.ts") || filePath.endsWith("logic.js");
+  if (isMainLogic) {
+    const substantiveLines = lines.filter((l) => {
+      const trimmed = l.trim();
+      return trimmed.length > 0 && !trimmed.startsWith("//") && !trimmed.startsWith("/*") && !trimmed.startsWith("*");
+    });
+    if (substantiveLines.length > options.maxMainLogicLimit && !sourceText.includes("helpers") && !sourceText.includes("Concepts") && !sourceText.includes("state")) {
+      errors.push({
+        ruleId: "krnl/main-delegation",
+        filePath,
+        message: `Main logic function has ${substantiveLines.length} substantive lines without delegating to Layer 1 helper functions or Layer 0 libraries.`,
+        severity: "error"
+      });
     }
-    if (isBackendTopLevel) {
-      const calls2 = sf.getDescendantsOfKind(SyntaxKind.CallExpression);
-      for (const call of calls2) {
-        const exprText = call.getExpression().getText();
-        if (/^(app|router|server)\.(get|post|put|delete|patch|options|head)$/.test(exprText)) {
-          errors.push({
-            ruleId: "krnl/top-level-purity",
-            filePath,
-            line: call.getStartLineNumber(),
-            message: `Backend entry file '${baseName}' violates Entry Purity Law. Inline route definition '${exprText}' is forbidden. Delegate to dedicated route/controller modules.`,
-            severity: "error"
-          });
-        }
+  }
+  return { errors, warnings };
+}
+
+// src/rules/componentRules.ts
+import * as path from "path";
+import { SyntaxKind } from "ts-morph";
+function checkComponentRules(sf) {
+  const errors = [];
+  const warnings = [];
+  const filePath = sf.getFilePath();
+  const baseName = path.basename(filePath);
+  if (filePath.endsWith(".tsx") || filePath.endsWith(".jsx")) {
+    const componentNames = [];
+    for (const fn of sf.getFunctions()) {
+      const name = fn.getName();
+      if (name && /^[A-Z]/.test(name)) {
+        const hasJsx = fn.getDescendantsOfKind(SyntaxKind.JsxElement).length > 0 || fn.getDescendantsOfKind(SyntaxKind.JsxSelfClosingElement).length > 0 || fn.getDescendantsOfKind(SyntaxKind.JsxFragment).length > 0;
+        if (hasJsx) componentNames.push(name);
       }
     }
-    if (filePath.endsWith(".tsx") || filePath.endsWith(".jsx")) {
-      const componentNames = [];
-      for (const fn of sf.getFunctions()) {
-        const name = fn.getName();
-        if (name && /^[A-Z]/.test(name)) {
-          const hasJsx = fn.getDescendantsOfKind(SyntaxKind.JsxElement).length > 0 || fn.getDescendantsOfKind(SyntaxKind.JsxSelfClosingElement).length > 0 || fn.getDescendantsOfKind(SyntaxKind.JsxFragment).length > 0;
-          if (hasJsx) {
-            componentNames.push(name);
-          }
-        }
-      }
-      for (const stmt of sf.getVariableStatements()) {
-        for (const decl of stmt.getDeclarations()) {
-          const name = decl.getName();
-          if (/^[A-Z]/.test(name)) {
-            const typeText = decl.getTypeNode()?.getText() || "";
-            const isFcType = typeText.includes("FC") || typeText.includes("FunctionComponent") || typeText.includes("ComponentType");
-            const init = decl.getInitializer();
-            if (init) {
-              const hasJsx = init.getDescendantsOfKind(SyntaxKind.JsxElement).length > 0 || init.getDescendantsOfKind(SyntaxKind.JsxSelfClosingElement).length > 0 || init.getDescendantsOfKind(SyntaxKind.JsxFragment).length > 0;
-              if (isFcType || hasJsx) {
-                if (!componentNames.includes(name)) {
-                  componentNames.push(name);
-                }
-              }
+    for (const stmt of sf.getVariableStatements()) {
+      for (const decl of stmt.getDeclarations()) {
+        const name = decl.getName();
+        if (/^[A-Z]/.test(name)) {
+          const typeText = decl.getTypeNode()?.getText() || "";
+          const isFcType = typeText.includes("FC") || typeText.includes("FunctionComponent") || typeText.includes("ComponentType");
+          const init = decl.getInitializer();
+          if (init) {
+            const hasJsx = init.getDescendantsOfKind(SyntaxKind.JsxElement).length > 0 || init.getDescendantsOfKind(SyntaxKind.JsxSelfClosingElement).length > 0 || init.getDescendantsOfKind(SyntaxKind.JsxFragment).length > 0;
+            if (isFcType || hasJsx) {
+              if (!componentNames.includes(name)) componentNames.push(name);
             }
           }
         }
       }
-      for (const cls of sf.getClasses()) {
-        const name = cls.getName();
-        const ext = cls.getExtends()?.getText() || "";
-        if (name && (ext.includes("Component") || ext.includes("PureComponent"))) {
-          if (!componentNames.includes(name)) {
-            componentNames.push(name);
-          }
-        }
+    }
+    for (const cls of sf.getClasses()) {
+      const name = cls.getName();
+      const ext = cls.getExtends()?.getText() || "";
+      if (name && (ext.includes("Component") || ext.includes("PureComponent"))) {
+        if (!componentNames.includes(name)) componentNames.push(name);
       }
-      if (componentNames.length > 1) {
+    }
+    if (componentNames.length > 1) {
+      errors.push({
+        ruleId: "krnl/one-component-per-file",
+        filePath,
+        message: `File '${baseName}' defines multiple React components (${componentNames.join(
+          ", "
+        )}). Krnl strictly enforces ONE component per file. Decompose into sub-component files.`,
+        severity: "error"
+      });
+    }
+  }
+  const isHelper = filePath.includes("helper_functions") || filePath.includes("/helpers/") || filePath.includes("\\helpers\\");
+  if (isHelper) {
+    for (const decl of sf.getImportDeclarations()) {
+      const spec = decl.getModuleSpecifierValue();
+      if (["fs", "node:fs", "http", "node:http", "ws"].includes(spec)) {
         errors.push({
-          ruleId: "krnl/one-component-per-file",
+          ruleId: "krnl/helper-purity",
           filePath,
-          message: `File '${baseName}' defines multiple React components (${componentNames.join(", ")}). Krnl strictly enforces ONE component per file. Decompose into sub-component files.`,
+          line: decl.getStartLineNumber(),
+          message: `Helper functions (Layer 1) cannot directly import I/O modules ('${spec}'). Delegate to Layer 0 libraries or Entity context.`,
           severity: "error"
         });
       }
     }
-    const isHelper = filePath.includes("helper_functions") || filePath.includes("/helpers/") || filePath.includes("\\helpers\\");
-    const isMainLogic = filePath.endsWith("logic.ts") || filePath.endsWith("logic.js");
-    const isRootConcept = filePath.includes("libraries/") || filePath.includes("Concepts.ts");
-    if (isHelper) {
-      for (const decl of sf.getImportDeclarations()) {
-        const spec = decl.getModuleSpecifierValue();
-        if (["fs", "node:fs", "http", "node:http", "ws"].includes(spec)) {
-          errors.push({
-            ruleId: "krnl/helper-purity",
-            filePath,
-            line: decl.getStartLineNumber(),
-            message: `Helper functions (Layer 1) cannot directly import I/O modules ('${spec}'). Delegate to Layer 0 libraries or Entity context.`,
-            severity: "error"
-          });
-        }
-      }
-      for (const fn of sf.getFunctions()) {
-        const fnLines = fn.getText().split("\n").length;
-        if (fnLines > this.maxHelperLineLimit && !sourceText.includes("Concepts.")) {
-          errors.push({
-            ruleId: "krnl/helper-line-limit",
-            filePath,
-            line: fn.getStartLineNumber(),
-            message: `Helper function '${fn.getName() || "anonymous"}' exceeds ${this.maxHelperLineLimit} lines (${fnLines} lines). Must delegate to a root libraries/{Domain}Concepts.ts library.`,
-            severity: "error"
-          });
-        }
-      }
-    }
-    if (isMainLogic) {
-      const substantiveLines = lines.filter((l) => {
-        const trimmed = l.trim();
-        return trimmed.length > 0 && !trimmed.startsWith("//") && !trimmed.startsWith("/*") && !trimmed.startsWith("*");
+  }
+  return { errors, warnings };
+}
+
+// src/rules/entityRules.ts
+import * as path2 from "path";
+import { SyntaxKind as SyntaxKind2, Node } from "ts-morph";
+function checkEntityRules(sf) {
+  const errors = [];
+  const warnings = [];
+  const filePath = sf.getFilePath();
+  const sourceText = sf.getText();
+  const baseName = path2.basename(filePath);
+  const calls = sf.getDescendantsOfKind(SyntaxKind2.CallExpression);
+  for (const call of calls) {
+    const exprText = call.getExpression().getText();
+    if (exprText === "setInterval" || exprText === "window.setInterval") {
+      errors.push({
+        ruleId: "krnl/no-polling",
+        filePath,
+        line: call.getStartLineNumber(),
+        message: `Prohibited use of 'setInterval'. Krnl applications must use reactive event streams (entity.emitEvent / entity.on).`,
+        severity: "error"
       });
-      if (substantiveLines.length > this.maxMainLogicLimit && !sourceText.includes("helpers") && !sourceText.includes("Concepts") && !sourceText.includes("state")) {
+    }
+  }
+  if (sourceText.includes("main = async") || sourceText.includes("export const main = async")) {
+    const match = sourceText.match(/main\s*=\s*async\s*\([^,]+,\s*\{([^}]*)\}\s*\)/);
+    if (match) {
+      const destructured = match[1];
+      if (/\bsystem\b/.test(destructured) && !/\bentity\b/.test(destructured)) {
         errors.push({
-          ruleId: "krnl/main-delegation",
+          ruleId: "krnl/context-destructuring",
           filePath,
-          message: `Main logic function has ${substantiveLines.length} substantive lines without delegating to Layer 1 helper functions or Layer 0 libraries.`,
+          message: `Functionality context parameter destructures 'system'. Functionality passes { state, entity }. Always destructure 'entity'.`,
           severity: "error"
         });
       }
     }
-    if (sourceText.includes("main = async") || sourceText.includes("export const main = async")) {
-      const match = sourceText.match(/main\s*=\s*async\s*\([^,]+,\s*\{([^}]*)\}\s*\)/);
-      if (match) {
-        const destructured = match[1];
-        if (/\bsystem\b/.test(destructured) && !/\bentity\b/.test(destructured)) {
-          errors.push({
-            ruleId: "krnl/context-destructuring",
-            filePath,
-            message: `Functionality context parameter destructures 'system'. Functionality passes { state, entity }. Always destructure 'entity'.`,
-            severity: "error"
-          });
-        }
+  }
+  const isEntityClass = sf.getClasses().some((c) => {
+    const ext = c.getExtends();
+    return ext && (ext.getText().includes("Entity") || ext.getText().includes("krnlEntityBase"));
+  });
+  if (isEntityClass) {
+    for (const decl of sf.getImportDeclarations()) {
+      const spec = decl.getModuleSpecifierValue();
+      if (spec.includes("libraries/") || spec.includes("Concepts")) {
+        errors.push({
+          ruleId: "krnl/entity-no-libraries",
+          filePath,
+          line: decl.getStartLineNumber(),
+          message: `Entity class violates Library Calling Invariant. Entities must not call or import libraries directly ('${spec}'). Only functionalities in 'src/functionalities/' are permitted to call shared libraries.`,
+          severity: "error"
+        });
       }
     }
-    const calls = sf.getDescendantsOfKind(SyntaxKind.CallExpression);
+    let loadAllLine = -1;
+    const addLocalLines = [];
     for (const call of calls) {
-      const exprText = call.getExpression().getText();
-      if (exprText === "setInterval" || exprText === "window.setInterval") {
-        errors.push({
-          ruleId: "krnl/no-polling",
-          filePath,
+      const txt = call.getText();
+      if (txt.includes("MagneticLoader.loadAll") || txt.includes("KrnlMagneticLoader.loadAll")) {
+        loadAllLine = call.getStartLineNumber();
+      } else if (txt.startsWith("this.addLocal(")) {
+        const hasUiSpec = txt.includes("uiSpec");
+        const idMatch = txt.match(/id\s*:\s*["']([^"']+)["']/);
+        addLocalLines.push({
           line: call.getStartLineNumber(),
-          message: `Prohibited use of 'setInterval'. Krnl applications must use reactive event streams (entity.emitEvent / entity.on).`,
-          severity: "error"
+          hasUiSpec,
+          id: idMatch ? idMatch[1] : "unknown"
         });
       }
     }
-    const isEntityClass = sf.getClasses().some((c) => {
-      const ext = c.getExtends();
-      return ext && (ext.getText().includes("Entity") || ext.getText().includes("krnlEntityBase"));
-    });
-    if (isEntityClass) {
-      for (const decl of sf.getImportDeclarations()) {
-        const spec = decl.getModuleSpecifierValue();
-        if (spec.includes("libraries/") || spec.includes("Concepts")) {
+    if (loadAllLine !== -1) {
+      for (const al of addLocalLines) {
+        if (al.hasUiSpec && al.line > loadAllLine) {
           errors.push({
-            ruleId: "krnl/entity-no-libraries",
+            ruleId: "krnl/boot-order",
             filePath,
-            line: decl.getStartLineNumber(),
-            message: `Entity class violates Library Calling Invariant. Entities must not call or import libraries directly ('${spec}'). Only functionalities in 'src/functionalities/' are permitted to call shared libraries.`,
+            line: al.line,
+            message: `addLocal('${al.id}') with uiSpec at line ${al.line} appears AFTER loadAll() at line ${loadAllLine}. All addLocal() with UI must precede loadAll().`,
             severity: "error"
           });
         }
       }
-      let loadAllLine = -1;
-      const addLocalLines = [];
-      for (const call of calls) {
-        const txt = call.getText();
-        if (txt.includes("MagneticLoader.loadAll") || txt.includes("KrnlMagneticLoader.loadAll")) {
-          loadAllLine = call.getStartLineNumber();
-        } else if (txt.startsWith("this.addLocal(")) {
-          const hasUiSpec = txt.includes("uiSpec");
-          const idMatch = txt.match(/id\s*:\s*["']([^"']+)["']/);
-          addLocalLines.push({
-            line: call.getStartLineNumber(),
-            hasUiSpec,
-            id: idMatch ? idMatch[1] : "unknown"
+    }
+    for (const cls of sf.getClasses()) {
+      const ext = cls.getExtends();
+      if (ext && (ext.getText().includes("Entity") || ext.getText().includes("krnlEntityBase"))) {
+        const loops = [
+          ...cls.getDescendantsOfKind(SyntaxKind2.ForStatement),
+          ...cls.getDescendantsOfKind(SyntaxKind2.ForOfStatement),
+          ...cls.getDescendantsOfKind(SyntaxKind2.ForInStatement),
+          ...cls.getDescendantsOfKind(SyntaxKind2.WhileStatement),
+          ...cls.getDescendantsOfKind(SyntaxKind2.DoStatement)
+        ];
+        for (const loop of loops) {
+          errors.push({
+            ruleId: "krnl/entity-purity",
+            filePath,
+            line: loop.getStartLineNumber(),
+            message: `Entity '${cls.getName() || "Anonymous"}' violates Entity Purity Law. Loops and procedural algorithms are prohibited inside entities. Move logic to a functionality or a global library function.`,
+            severity: "error"
           });
         }
-      }
-      if (loadAllLine !== -1) {
-        for (const al of addLocalLines) {
-          if (al.hasUiSpec && al.line > loadAllLine) {
+        for (const method of cls.getMethods()) {
+          const methodName = method.getName();
+          if (!["boot", "init", "dispose"].includes(methodName)) {
             errors.push({
-              ruleId: "krnl/boot-order",
+              ruleId: "krnl/entity-purity",
               filePath,
-              line: al.line,
-              message: `addLocal('${al.id}') with uiSpec at line ${al.line} appears AFTER loadAll() at line ${loadAllLine}. All addLocal() with UI must precede loadAll().`,
+              line: method.getStartLineNumber(),
+              message: `Entity '${cls.getName() || "Anonymous"}' defines custom method '${methodName}'. Entities are purely declarative compositors/orchestrators. Define capabilities as functionalities or global library functions.`,
               severity: "error"
             });
           }
         }
       }
-      for (const cls of sf.getClasses()) {
-        const ext = cls.getExtends();
-        if (ext && (ext.getText().includes("Entity") || ext.getText().includes("krnlEntityBase"))) {
-          const loops = [
-            ...cls.getDescendantsOfKind(SyntaxKind.ForStatement),
-            ...cls.getDescendantsOfKind(SyntaxKind.ForOfStatement),
-            ...cls.getDescendantsOfKind(SyntaxKind.ForInStatement),
-            ...cls.getDescendantsOfKind(SyntaxKind.WhileStatement),
-            ...cls.getDescendantsOfKind(SyntaxKind.DoStatement)
-          ];
-          for (const loop of loops) {
+    }
+    for (const call of calls) {
+      const callText = call.getText();
+      if (callText.startsWith("this.orchestration(") || callText.startsWith("this.flow(")) {
+        let currentExpr = call;
+        const chainCalls = [];
+        while (currentExpr && Node.isCallExpression(currentExpr)) {
+          const propAccess = currentExpr.getExpression();
+          if (Node.isPropertyAccessExpression(propAccess)) {
+            const methodName = propAccess.getName();
+            const args = currentExpr.getArguments();
+            const argText = args.length > 0 ? args[0].getText() : void 0;
+            chainCalls.unshift({ name: methodName, node: currentExpr, argText });
+            currentExpr = propAccess.getExpression();
+          } else {
+            break;
+          }
+        }
+        let chainId = "orchestration";
+        for (const step of chainCalls) {
+          if (step.name === "orchestration" || step.name === "flow") {
+            chainId = step.argText ? step.argText.replace(/['"]/g, "") : "orchestration";
+          } else if (step.name === "thenFunction") {
             errors.push({
-              ruleId: "krnl/entity-purity",
+              ruleId: "krnl/entity-no-direct-library-calls",
               filePath,
-              line: loop.getStartLineNumber(),
-              message: `Entity '${cls.getName() || "Anonymous"}' violates Entity Purity Law. Loops and procedural algorithms are prohibited inside entities. Move logic to a functionality or a global library function.`,
+              line: step.node.getStartLineNumber(),
+              message: `Orchestration chain '${chainId}' violates Entity Purity Law. Entities cannot chain direct library functions via thenFunction(). Entities must only orchestrate functionalities (thenFunctionality) and orchestrations from other entities (thenEntityOrchestration).`,
               severity: "error"
             });
           }
-          for (const method of cls.getMethods()) {
-            const methodName = method.getName();
-            if (!["boot", "init", "dispose"].includes(methodName)) {
-              errors.push({
-                ruleId: "krnl/entity-purity",
-                filePath,
-                line: method.getStartLineNumber(),
-                message: `Entity '${cls.getName() || "Anonymous"}' defines custom method '${methodName}'. Entities are purely declarative compositors/orchestrators. Define capabilities as functionalities or global library functions.`,
-                severity: "error"
-              });
-            }
-          }
         }
       }
-      for (const call of calls) {
-        const callText = call.getText();
-        if (callText.startsWith("this.orchestration(") || callText.startsWith("this.flow(")) {
-          let currentExpr = call;
-          const chainCalls = [];
-          while (currentExpr && Node.isCallExpression(currentExpr)) {
-            const propAccess = currentExpr.getExpression();
-            if (Node.isPropertyAccessExpression(propAccess)) {
-              const methodName = propAccess.getName();
-              const args = currentExpr.getArguments();
-              const argText = args.length > 0 ? args[0].getText() : void 0;
-              chainCalls.unshift({ name: methodName, node: currentExpr, argText });
-              currentExpr = propAccess.getExpression();
-            } else {
-              break;
-            }
-          }
-          let consecutiveFunctions = 0;
-          let chainId = "orchestration";
-          for (const step of chainCalls) {
-            if (step.name === "orchestration" || step.name === "flow") {
-              chainId = step.argText ? step.argText.replace(/['"]/g, "") : "orchestration";
-            } else if (step.name === "thenFunctionality" || step.name === "then") {
-              consecutiveFunctions = 0;
-            } else if (step.name === "thenEntityOrchestration" || step.name === "thenEntity") {
-              consecutiveFunctions = 0;
-            } else if (step.name === "thenFunction") {
-              errors.push({
-                ruleId: "krnl/entity-no-direct-library-calls",
-                filePath,
-                line: step.node.getStartLineNumber(),
-                message: `Orchestration chain '${chainId}' violates Entity Purity Law. Entities cannot chain direct library functions via thenFunction(). Entities must only orchestrate functionalities (thenFunctionality) and orchestrations from other entities (thenEntityOrchestration).`,
-                severity: "error"
-              });
-            }
-          }
-        }
+    }
+  }
+  return { errors, warnings };
+}
+
+// src/rules/workspaceRules.ts
+import * as fs from "fs";
+import * as path3 from "path";
+import { SyntaxKind as SyntaxKind3 } from "ts-morph";
+function checkTopLevelPurity(sf) {
+  const errors = [];
+  const warnings = [];
+  const filePath = sf.getFilePath();
+  const baseName = path3.basename(filePath);
+  const isUiTopLevel = /^(App|main|index|_app|root)\.(tsx|jsx)$/i.test(baseName);
+  const isBackendTopLevel = /^(server|app)\.(ts|js)$/i.test(baseName) && !filePath.includes("/components/") && !filePath.includes("/entities/") && !filePath.includes("/libraries/");
+  if (isUiTopLevel) {
+    const jsxElements = sf.getDescendantsOfKind(SyntaxKind3.JsxOpeningElement);
+    const jsxSelfClosing = sf.getDescendantsOfKind(SyntaxKind3.JsxSelfClosingElement);
+    const allJsxTags = [...jsxElements, ...jsxSelfClosing];
+    for (const jsx of allJsxTags) {
+      const tagName = jsx.getTagNameNode().getText();
+      if (/^[a-z]/.test(tagName)) {
+        errors.push({
+          ruleId: "krnl/top-level-purity",
+          filePath,
+          line: jsx.getStartLineNumber(),
+          message: `Top-level file '${baseName}' violates Top-Level Purity Law. Raw JSX/HTML element '<${tagName}>' is strictly forbidden. Top-level files must ONLY import and compose React components.`,
+          severity: "error"
+        });
+      }
+    }
+    const calls = sf.getDescendantsOfKind(SyntaxKind3.CallExpression);
+    for (const call of calls) {
+      const exprText = call.getExpression().getText();
+      if ([
+        "useState",
+        "useEffect",
+        "useRef",
+        "useMemo",
+        "useCallback",
+        "useReducer",
+        "useContext",
+        "useLayoutEffect"
+      ].includes(exprText) || /^use[A-Z]/.test(exprText) && exprText !== "use") {
+        errors.push({
+          ruleId: "krnl/top-level-purity",
+          filePath,
+          line: call.getStartLineNumber(),
+          message: `Top-level file '${baseName}' violates Top-Level Purity Law. React hook '${exprText}' is forbidden in top-level files. Encapsulate state and effects inside dedicated component files.`,
+          severity: "error"
+        });
       }
     }
-    return { errors, warnings };
   }
-  /**
-   * Validates workspace layout invariants for symmetric Krnl architecture.
-   */
-  validateWorkspaceLayout(errors) {
-    const krnlDir = path.join(this.projectRoot, "krnl");
-    const srcDir = path.join(this.projectRoot, "src");
-    const targetDir = fs.existsSync(krnlDir) ? krnlDir : fs.existsSync(srcDir) ? srcDir : null;
-    if (!targetDir) return;
-    const backendDir = path.join(targetDir, "backend");
-    const frontendDir = path.join(targetDir, "frontend");
-    if (fs.existsSync(backendDir)) {
-      const bLibs = path.join(backendDir, "libraries");
-      if (fs.existsSync(bLibs)) {
-        for (const entry of fs.readdirSync(bLibs, { withFileTypes: true })) {
-          if (!entry.isDirectory()) continue;
-          const libPath = path.join(bLibs, entry.name);
-          const manifestPath = path.join(libPath, "manifest.json");
-          if (!fs.existsSync(manifestPath)) {
-            errors.push({
-              ruleId: "krnl/concept-manifest-required",
-              filePath: libPath,
-              message: `Backend concept library "${entry.name}" is missing a manifest.json file.`,
-              severity: "error"
-            });
-          }
+  if (isBackendTopLevel) {
+    const calls = sf.getDescendantsOfKind(SyntaxKind3.CallExpression);
+    for (const call of calls) {
+      const exprText = call.getExpression().getText();
+      if (/^(app|router|server)\.(get|post|put|delete|patch|options|head)$/.test(exprText)) {
+        errors.push({
+          ruleId: "krnl/top-level-purity",
+          filePath,
+          line: call.getStartLineNumber(),
+          message: `Backend entry file '${baseName}' violates Entry Purity Law. Inline route definition '${exprText}' is forbidden. Delegate to dedicated route/controller modules.`,
+          severity: "error"
+        });
+      }
+    }
+  }
+  return { errors, warnings };
+}
+function checkWorkspaceLayout(projectRoot, errors) {
+  const krnlDir = path3.join(projectRoot, "krnl");
+  const srcDir = path3.join(projectRoot, "src");
+  const targetDir = fs.existsSync(krnlDir) ? krnlDir : fs.existsSync(srcDir) ? srcDir : null;
+  if (!targetDir) return;
+  const backendDir = path3.join(targetDir, "backend");
+  const frontendDir = path3.join(targetDir, "frontend");
+  if (fs.existsSync(backendDir)) {
+    const bLibs = path3.join(backendDir, "libraries");
+    if (fs.existsSync(bLibs)) {
+      for (const entry of fs.readdirSync(bLibs, { withFileTypes: true })) {
+        if (!entry.isDirectory()) continue;
+        const libPath = path3.join(bLibs, entry.name);
+        if (!fs.existsSync(path3.join(libPath, "manifest.json"))) {
+          errors.push({
+            ruleId: "krnl/concept-manifest-required",
+            filePath: libPath,
+            message: `Backend concept library "${entry.name}" is missing a manifest.json file.`,
+            severity: "error"
+          });
         }
       }
-      const bFuncs = path.join(backendDir, "functionalities");
-      if (fs.existsSync(bFuncs)) {
-        for (const entry of fs.readdirSync(bFuncs, { withFileTypes: true })) {
-          if (!entry.isDirectory()) continue;
-          const funcPath = path.join(bFuncs, entry.name);
-          const manifestPath = path.join(funcPath, "manifest.json");
-          if (!fs.existsSync(manifestPath)) {
-            errors.push({
-              ruleId: "krnl/functionality-manifest-required",
-              filePath: funcPath,
-              message: `Backend functionality "${entry.name}" is missing a manifest.json file.`,
-              severity: "error"
-            });
-          }
+    }
+    const bFuncs = path3.join(backendDir, "functionalities");
+    if (fs.existsSync(bFuncs)) {
+      for (const entry of fs.readdirSync(bFuncs, { withFileTypes: true })) {
+        if (!entry.isDirectory()) continue;
+        const funcPath = path3.join(bFuncs, entry.name);
+        if (!fs.existsSync(path3.join(funcPath, "manifest.json"))) {
+          errors.push({
+            ruleId: "krnl/functionality-manifest-required",
+            filePath: funcPath,
+            message: `Backend functionality "${entry.name}" is missing a manifest.json file.`,
+            severity: "error"
+          });
         }
       }
     }
-    if (fs.existsSync(frontendDir)) {
-      const fLibs = path.join(frontendDir, "libraries");
-      if (fs.existsSync(fLibs)) {
-        for (const entry of fs.readdirSync(fLibs, { withFileTypes: true })) {
-          if (!entry.isDirectory()) continue;
-          const libPath = path.join(fLibs, entry.name);
-          const manifestPath = path.join(libPath, "manifest.json");
-          if (!fs.existsSync(manifestPath)) {
-            errors.push({
-              ruleId: "krnl/frontend-concept-manifest-required",
-              filePath: libPath,
-              message: `Frontend concept library "${entry.name}" is missing a manifest.json file.`,
-              severity: "error"
-            });
-          }
+  }
+  if (fs.existsSync(frontendDir)) {
+    const fLibs = path3.join(frontendDir, "libraries");
+    if (fs.existsSync(fLibs)) {
+      for (const entry of fs.readdirSync(fLibs, { withFileTypes: true })) {
+        if (!entry.isDirectory()) continue;
+        const libPath = path3.join(fLibs, entry.name);
+        if (!fs.existsSync(path3.join(libPath, "manifest.json"))) {
+          errors.push({
+            ruleId: "krnl/frontend-concept-manifest-required",
+            filePath: libPath,
+            message: `Frontend concept library "${entry.name}" is missing a manifest.json file.`,
+            severity: "error"
+          });
         }
       }
-      const fFuncs = path.join(frontendDir, "functionalities");
-      if (fs.existsSync(fFuncs)) {
-        for (const entry of fs.readdirSync(fFuncs, { withFileTypes: true })) {
-          if (!entry.isDirectory()) continue;
-          const funcPath = path.join(fFuncs, entry.name);
-          const manifestPath = path.join(funcPath, "manifest.json");
-          if (!fs.existsSync(manifestPath)) {
-            errors.push({
-              ruleId: "krnl/frontend-functionality-manifest-required",
-              filePath: funcPath,
-              message: `Frontend functionality "${entry.name}" is missing a manifest.json file.`,
-              severity: "error"
-            });
-          }
+    }
+    const fFuncs = path3.join(frontendDir, "functionalities");
+    if (fs.existsSync(fFuncs)) {
+      for (const entry of fs.readdirSync(fFuncs, { withFileTypes: true })) {
+        if (!entry.isDirectory()) continue;
+        const funcPath = path3.join(fFuncs, entry.name);
+        if (!fs.existsSync(path3.join(funcPath, "manifest.json"))) {
+          errors.push({
+            ruleId: "krnl/frontend-functionality-manifest-required",
+            filePath: funcPath,
+            message: `Frontend functionality "${entry.name}" is missing a manifest.json file.`,
+            severity: "error"
+          });
         }
       }
     }
   }
+}
+
+// src/KrnlValidatorEngine.ts
+var KrnlValidatorEngine = class {
+  project;
+  projectRoot;
+  limitOptions;
+  constructor(optionsOrRoot) {
+    const options = typeof optionsOrRoot === "string" ? { projectRoot: optionsOrRoot } : optionsOrRoot;
+    this.projectRoot = path4.resolve(options.projectRoot || process.cwd());
+    this.limitOptions = {
+      maxFileLineLimit: options.maxFileLineLimit ?? 200,
+      maxMainLogicLimit: options.maxMainLogicLimit ?? 20,
+      maxHelperLineLimit: options.maxHelperLineLimit ?? 30
+    };
+    const tsConfigPath = path4.join(this.projectRoot, "tsconfig.json");
+    if (fs2.existsSync(tsConfigPath)) {
+      this.project = new Project({ tsConfigFilePath: tsConfigPath, skipAddingFilesFromTsConfig: true });
+    } else {
+      this.project = new Project({ compilerOptions: {
+        target: 99
+        /* ESNext */
+      } });
+    }
+  }
+  validateAll() {
+    const files = this.collectSourceFiles(this.projectRoot);
+    const errors = [];
+    const warnings = [];
+    checkWorkspaceLayout(this.projectRoot, errors);
+    for (const f of files) {
+      const sf = this.project.addSourceFileAtPath(f);
+      const fileReport = this.validateSourceFile(sf);
+      errors.push(...fileReport.errors);
+      warnings.push(...fileReport.warnings);
+    }
+    return {
+      valid: errors.length === 0,
+      totalFiles: files.length,
+      errors,
+      warnings
+    };
+  }
+  validateSourceFile(sf) {
+    const filePath = sf.getFilePath();
+    const baseName = path4.basename(filePath);
+    if (baseName.includes("_pb.") || baseName.endsWith(".d.ts")) {
+      return { errors: [], warnings: [] };
+    }
+    const limits = checkFileLimits(sf, this.limitOptions);
+    const purity = checkTopLevelPurity(sf);
+    const components = checkComponentRules(sf);
+    const entity = checkEntityRules(sf);
+    return {
+      errors: [...limits.errors, ...purity.errors, ...components.errors, ...entity.errors],
+      warnings: [...limits.warnings, ...purity.warnings, ...components.warnings, ...entity.warnings]
+    };
+  }
   collectSourceFiles(dir, collected = []) {
-    if (!fs.existsSync(dir)) return collected;
-    const entries = fs.readdirSync(dir, { withFileTypes: true });
+    if (!fs2.existsSync(dir)) return collected;
+    const entries = fs2.readdirSync(dir, { withFileTypes: true });
     for (const entry of entries) {
       if (entry.name === "node_modules" || entry.name === "dist" || entry.name === ".git") continue;
-      const full = path.join(dir, entry.name);
+      const full = path4.join(dir, entry.name);
       if (entry.isDirectory()) {
         this.collectSourceFiles(full, collected);
       } else if (entry.isFile() && (entry.name.endsWith(".ts") || entry.name.endsWith(".js") || entry.name.endsWith(".tsx") || entry.name.endsWith(".jsx"))) {