invar-tools 1.17.18__tar.gz → 1.17.20__tar.gz

{invar_tools-1.17.18 → invar_tools-1.17.20}/CHANGELOG.md

@@ -14,6 +14,21 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   - TypeScript-specific `exclude_paths`: `node_modules`, `.next`, `coverage`
   - Python projects unaffected (still get Python-specific config)
 
+## [1.17.19] - 2026-01-06
+
+### Fixed
+- **TypeScript Guard: ESLint timeout in large monorepos**
+  - `@invar/require-schema-validation` now traverses AST using `visitorKeys` (avoids pathological walks via non-AST properties)
+  - Precomputes `.parse()` / `.safeParse()` arguments once per function for O(1) checks
+  - Fixes real-world hangs (e.g. `src/paralex/shell/actions/message.actions.ts`) that caused the 120s ESLint timeout
+
+- **ESLint CLI: Faster file discovery**
+  - Prefer `git ls-files` for TS/TSX inputs when linting a directory
+  - Avoids expensive filesystem globbing in repos with huge `node_modules`
+
+- **ESLint CLI: Parser resolution**
+  - Prefer resolving `@typescript-eslint/parser` via project `typescript-eslint` installation when available
+
 ## [1.17.18] - 2026-01-06
 
 ### Fixed

{invar_tools-1.17.18 → invar_tools-1.17.20}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.18
+Version: 1.17.20
 Summary: AI-native software engineering tools with design-by-contract verification
 Project-URL: Homepage, https://github.com/tefx/invar
 Project-URL: Documentation, https://github.com/tefx/invar#readme
@@ -23,13 +23,14 @@ Classifier: Typing :: Typed
 Requires-Python: >=3.11
 Requires-Dist: crosshair-tool>=0.0.60
 Requires-Dist: hypothesis>=6.0
-Requires-Dist: invar-runtime>=1.0
+Requires-Dist: invar-runtime>=1.3.0
 Requires-Dist: jedi>=0.19
 Requires-Dist: jinja2>=3.0
 Requires-Dist: markdown-it-py>=3.0
 Requires-Dist: mcp>=1.0
 Requires-Dist: pre-commit>=3.0
 Requires-Dist: pydantic>=2.0
+Requires-Dist: pytest>=7.0
 Requires-Dist: questionary>=2.0
 Requires-Dist: returns>=0.20
 Requires-Dist: rich>=13.0
@@ -38,7 +39,6 @@ Provides-Extra: dev
 Requires-Dist: coverage[toml]>=7.0; extra == 'dev'
 Requires-Dist: mypy>=1.0; extra == 'dev'
 Requires-Dist: pytest-cov>=4.0; extra == 'dev'
-Requires-Dist: pytest>=7.0; extra == 'dev'
 Requires-Dist: ruff>=0.1; extra == 'dev'
 Description-Content-Type: text/markdown
 

{invar_tools-1.17.18 → invar_tools-1.17.20}/pyproject.toml

@@ -15,7 +15,7 @@ ignore-vcs = true
 
 [project]
 name = "invar-tools"
-version = "1.17.18"
+version = "1.17.20"
 description = "AI-native software engineering tools with design-by-contract verification"
 readme = "README.md"
 license = "GPL-3.0-or-later"
@@ -37,7 +37,7 @@ classifiers = [
 
 dependencies = [
     # Runtime contracts (DX-21: Package split)
-    "invar-runtime>=1.0",
+    "invar-runtime>=1.3.0",
     # CLI and output
     "typer>=0.9",
     "rich>=13.0",
@@ -48,6 +48,7 @@ dependencies = [
     "pre-commit>=3.0",
     "markdown-it-py>=3.0",  # DX-76: Markdown document parsing
     # Verification (DX-12: Hypothesis as CrossHair fallback)
+    "pytest>=7.0",
     "hypothesis>=6.0",
     "crosshair-tool>=0.0.60",
     # MCP server (DX-16: Agent tool enforcement)
@@ -60,7 +61,6 @@ dependencies = [
 
 [project.optional-dependencies]
 dev = [
-    "pytest>=7.0",
     "pytest-cov>=4.0",
     "mypy>=1.0",
     "ruff>=0.1",

{invar_tools-1.17.18 → invar_tools-1.17.20}/src/invar/node_tools/eslint-plugin/cli.js

@@ -16,6 +16,7 @@
 import { ESLint } from 'eslint';
 import { resolve, dirname } from 'path';
 import { statSync, realpathSync } from 'fs';
+import { spawnSync } from 'child_process';
 import { fileURLToPath } from 'url';
 import { createRequire } from 'module';
 import plugin from './index.js';
@@ -27,12 +28,49 @@ const require = createRequire(import.meta.url);
 
 function resolveTsParser(projectPath) {
     try {
-        return require.resolve('@typescript-eslint/parser', { paths: [projectPath, __dirname] });
+        const tseslintEntry = require.resolve('typescript-eslint', { paths: [projectPath] });
+        if (tseslintEntry) {
+            const tseslintRoot = dirname(dirname(tseslintEntry));
+            return require.resolve('@typescript-eslint/parser', { paths: [tseslintRoot] });
+        }
+    }
+    catch {
+    }
+
+    try {
+        return require.resolve('@typescript-eslint/parser', { paths: [projectPath] });
+    }
+    catch {
+    }
+
+    try {
+        return require.resolve('@typescript-eslint/parser', { paths: [__dirname] });
     }
     catch {
         return null;
     }
 }
+function _gitLsFiles(projectPath) {
+    const check = spawnSync('git', ['-C', projectPath, 'rev-parse', '--is-inside-work-tree'], {
+        encoding: 'utf8',
+        timeout: 2000,
+    });
+    if (check.status !== 0) {
+        return null;
+    }
+
+    const ls = spawnSync('git', ['-C', projectPath, 'ls-files', '-z', '--', '*.ts', '*.tsx'], {
+        encoding: 'utf8',
+        timeout: 15000,
+    });
+    if (ls.status !== 0 || !ls.stdout) {
+        return null;
+    }
+
+    const files = ls.stdout.split('\0').filter(Boolean);
+    return files.length > 0 ? files : null;
+}
+
 function parseArgs(args) {
     const projectPath = args.find(arg => !arg.startsWith('--')) || '.';
     const configArg = args.find(arg => arg.startsWith('--config='));
@@ -107,20 +145,51 @@ async function main() {
         }
         const tsParser = resolveTsParser(projectPath);
         if (!tsParser) {
-            console.error("ESLint failed: Failed to load parser '@typescript-eslint/parser'.");
-            console.error("Install it in your project (recommended), or use npx-based ESLint.");
-            console.error("Example: pnpm add -D @typescript-eslint/parser");
+            console.error("ESLint failed: Failed to load TypeScript parser.");
+            console.error("Install either 'typescript-eslint' or '@typescript-eslint/parser' in your project.");
+            process.exit(1);
+        }
+
+        let filesToLint;
+        let lintCwd = projectPath;
+        let globInputPaths = true;
+        try {
+            const stats = statSync(projectPath);
+            if (stats.isFile()) {
+                lintCwd = dirname(projectPath);
+                filesToLint = [projectPath];
+                globInputPaths = false;
+            }
+            else if (stats.isDirectory()) {
+                const gitFiles = _gitLsFiles(projectPath);
+                if (gitFiles) {
+                    filesToLint = gitFiles;
+                    globInputPaths = false;
+                }
+                else {
+                    filesToLint = [
+                        "**/*.ts",
+                        "**/*.tsx",
+                    ];
+                }
+            }
+            else {
+                console.error(`Error: Path is neither a file nor a directory: ${projectPath}`);
+                process.exit(1);
+            }
+        }
+        catch (error) {
+            const errorMessage = error instanceof Error ? error.message : 'Unknown error';
+            console.error(`Error: Cannot access path: ${errorMessage}`);
             process.exit(1);
         }
 
-        // Create ESLint instance with programmatic configuration
-        // Use __dirname (where CLI is located) for module resolution
-        // This allows ESLint to find embedded node_modules in site-packages
         const eslint = new ESLint({
-            useEslintrc: false, // Don't load .eslintrc files
-            cwd: projectPath, // Use project directory as working directory (fix for timeout issue)
-            resolvePluginsRelativeTo: __dirname, // Resolve plugins from embedded location
+            useEslintrc: false,
+            cwd: lintCwd,
+            resolvePluginsRelativeTo: __dirname,
             errorOnUnmatchedPattern: false,
+            globInputPaths,
             baseConfig: {
                 parser: tsParser,
                 parserOptions: {
@@ -130,7 +199,6 @@ async function main() {
                 plugins: ['@invar'],
                 rules: selectedConfig.rules,
                 ignorePatterns: [
-                    // Explicit ignores to prevent scanning generated/cached directories
                     '**/node_modules/**',
                     '**/.next/**',
                     '**/dist/**',
@@ -146,37 +214,8 @@ async function main() {
             plugins: {
                 '@invar': plugin, // Register plugin directly
             },
-        }); // Type assertion for ESLint config complexity
-        // Lint the project - detect if path is a file or directory
-        // ESLint defaults to .js only, so we need glob patterns for .ts/.tsx
-        let filesToLint;
-        try {
-            const stats = statSync(projectPath);
-            // Note: Advisory check for optimization - TOCTOU race condition is acceptable
-            // because ESLint will handle file system changes gracefully during actual linting
-            if (stats.isFile()) {
-                // Single file - lint it directly
-                filesToLint = [projectPath];
-            }
-            else if (stats.isDirectory()) {
-                // Directory - use relative glob patterns for TypeScript files
-                // Note: Focus on TypeScript files as this is a TypeScript Guard tool
-                // Use relative patterns (no projectPath prefix) since cwd is set to projectPath
-                filesToLint = [
-                    "**/*.ts",
-                    "**/*.tsx",
-                ];
-            }
-            else {
-                console.error(`Error: Path is neither a file nor a directory: ${projectPath}`);
-                process.exit(1);
-            }
-        }
-        catch (error) {
-            const errorMessage = error instanceof Error ? error.message : 'Unknown error';
-            console.error(`Error: Cannot access path: ${errorMessage}`);
-            process.exit(1);
-        }
+        });
+
         const results = await eslint.lintFiles(filesToLint);
         // Output in standard ESLint JSON format (compatible with guard_ts.py)
         const formatter = await eslint.loadFormatter('json');

{invar_tools-1.17.18 → invar_tools-1.17.20}/src/invar/node_tools/eslint-plugin/rules/require-schema-validation.js

@@ -77,49 +77,58 @@ function matchesEnforcePattern(filePath, patterns) {
 function isZodType(typeAnnotation) {
     return ZOD_TYPE_PATTERNS.some(pattern => pattern.test(typeAnnotation));
 }
-function hasParseCall(body, paramName) {
+function collectParseArgs(body, visitorKeys) {
+    const parsed = new Set();
     if (!body)
-        return false;
-    let found = false;
-    const MAX_DEPTH = 50; // Prevent stack overflow on deeply nested types
-    const visit = (node, depth = 0) => {
-        if (found)
-            return;
+        return parsed;
+
+    const MAX_DEPTH = 50;
+    const stack = [{ node: body, depth: 0 }];
+
+    while (stack.length > 0) {
+        const current = stack.pop();
+        if (!current)
+            continue;
+        const node = current.node;
+        const depth = current.depth;
+        if (!node || typeof node !== 'object')
+            continue;
         if (depth > MAX_DEPTH)
-            return; // Depth limit to prevent stack overflow
+            continue;
+
         if (node.type === 'CallExpression') {
             const callee = node.callee;
-            if (callee.type === 'MemberExpression') {
+            if (callee && callee.type === 'MemberExpression') {
                 const property = callee.property;
-                if (property.type === 'Identifier' &&
-                    (property.name === 'parse' || property.name === 'safeParse')) {
-                    // Check if argument is our param
-                    if (node.arguments.some(arg => arg.type === 'Identifier' && arg.name === paramName)) {
-                        found = true;
-                        return;
+                if (property && property.type === 'Identifier' && (property.name === 'parse' || property.name === 'safeParse')) {
+                    for (const arg of node.arguments || []) {
+                        if (arg && arg.type === 'Identifier') {
+                            parsed.add(arg.name);
+                        }
                     }
                 }
             }
         }
-        // Recursively visit children with depth tracking
-        for (const key of Object.keys(node)) {
+
+        const keys = (visitorKeys && node.type && visitorKeys[node.type]) || [];
+        for (const key of keys) {
             const value = node[key];
-            if (value && typeof value === 'object') {
-                if (Array.isArray(value)) {
-                    for (const item of value) {
-                        if (item && typeof item === 'object' && 'type' in item) {
-                            visit(item, depth + 1);
-                        }
+            if (!value)
+                continue;
+            if (Array.isArray(value)) {
+                for (const item of value) {
+                    if (item && typeof item === 'object' && item.type) {
+                        stack.push({ node: item, depth: depth + 1 });
                     }
                 }
-                else if ('type' in value) {
-                    visit(value, depth + 1);
-                }
+            }
+            else if (typeof value === 'object' && value.type) {
+                stack.push({ node: value, depth: depth + 1 });
             }
         }
-    };
-    visit(body);
-    return found;
+    }
+
+    return parsed;
 }
 export const requireSchemaValidation = {
     meta: {
@@ -206,49 +215,54 @@ export const requireSchemaValidation = {
         }
         function checkFunction(node, params) {
             const functionName = getFunctionName(node);
-            // Skip if shouldn't check based on mode
             if (!shouldCheck(functionName)) {
                 return;
             }
+
             const body = 'body' in node ? node.body : null;
+            const zodParams = params.filter((p) => p.typeAnnotation && isZodType(p.typeAnnotation) && p.name && p.name !== '{...}' && p.name !== '[...]');
+            if (zodParams.length === 0) {
+                return;
+            }
+
+            const parsedArgs = collectParseArgs(body, sourceCode.visitorKeys);
             const isRiskFunction = isHighRiskFunction(functionName, filename);
-            for (const param of params) {
-                if (param.typeAnnotation && isZodType(param.typeAnnotation)) {
-                    if (!hasParseCall(body, param.name)) {
-                        // Extract schema name from type annotation (e.g., "z.infer<typeof UserSchema>" -> "UserSchema")
-                        const schemaMatch = param.typeAnnotation.match(/typeof\s+(\w+)/);
-                        const schemaName = schemaMatch ? schemaMatch[1] : 'Schema';
-                        const validatedVarName = `validated${param.name.charAt(0).toUpperCase()}${param.name.slice(1)}`;
-                        context.report({
-                            node: node,
-                            messageId: isRiskFunction ? 'missingValidationRisk' : 'missingValidation',
-                            data: {
-                                name: param.name,
-                                functionName: functionName,
-                            },
-                            suggest: [
-                                {
-                                    messageId: 'addParseCall',
-                                    data: { name: param.name },
-                                    fix(fixer) {
-                                        // Find the opening brace of the function body
-                                        if (!body || body.type !== 'BlockStatement')
-                                            return null;
-                                        const blockBody = body;
-                                        if (!blockBody.body || blockBody.body.length === 0)
-                                            return null;
-                                        const firstStatement = blockBody.body[0];
-                                        // Detect indentation from the first statement
-                                        const firstStatementStart = firstStatement.loc?.start.column ?? 2;
-                                        const indent = ' '.repeat(firstStatementStart);
-                                        const parseCode = `const ${validatedVarName} = ${schemaName}.parse(${param.name});\n${indent}`;
-                                        return fixer.insertTextBefore(firstStatement, parseCode);
-                                    },
-                                },
-                            ],
-                        });
-                    }
+
+            for (const param of zodParams) {
+                if (parsedArgs.has(param.name)) {
+                    continue;
                 }
+
+                const schemaMatch = param.typeAnnotation.match(/typeof\s+(\w+)/);
+                const schemaName = schemaMatch ? schemaMatch[1] : 'Schema';
+                const validatedVarName = `validated${param.name.charAt(0).toUpperCase()}${param.name.slice(1)}`;
+
+                context.report({
+                    node: node,
+                    messageId: isRiskFunction ? 'missingValidationRisk' : 'missingValidation',
+                    data: {
+                        name: param.name,
+                        functionName: functionName,
+                    },
+                    suggest: [
+                        {
+                            messageId: 'addParseCall',
+                            data: { name: param.name },
+                            fix(fixer) {
+                                if (!body || body.type !== 'BlockStatement')
+                                    return null;
+                                const blockBody = body;
+                                if (!blockBody.body || blockBody.body.length === 0)
+                                    return null;
+                                const firstStatement = blockBody.body[0];
+                                const firstStatementStart = firstStatement.loc?.start.column ?? 2;
+                                const indent = ' '.repeat(firstStatementStart);
+                                const parseCode = `const ${validatedVarName} = ${schemaName}.parse(${param.name});\n${indent}`;
+                                return fixer.insertTextBefore(firstStatement, parseCode);
+                            },
+                        },
+                    ],
+                });
             }
         }
         /**

{invar_tools-1.17.18 → invar_tools-1.17.20}/src/invar/shell/commands/guard.py

@@ -17,7 +17,7 @@ from invar import __version__
 from invar.core.models import GuardReport, RuleConfig
 from invar.core.rules import check_all_rules
 from invar.core.utils import get_exit_code
-from invar.shell.config import find_project_root, load_config
+from invar.shell.config import find_project_root, find_pyproject_root, load_config
 from invar.shell.fs import scan_project
 from invar.shell.guard_output import output_agent, output_rich
 
@@ -225,7 +225,14 @@ def guard(
             console.print(f"[red]Error:[/red] {path} is not a Python file")
             raise typer.Exit(1)
         single_file = path.resolve()
-        path = find_project_root(path)
+
+    pyproject_root = find_pyproject_root(single_file if single_file else path)
+    if pyproject_root is None:
+        console.print(
+            "[red]Error:[/red] pyproject.toml not found (searched upward from the target path)"
+        )
+        raise typer.Exit(1)
+    path = pyproject_root
 
     # Load and configure
     config_result = load_config(path)
@@ -373,6 +380,7 @@ def guard(
 
         # Phase 1: Doctests (DX-37: with optional coverage)
         doctest_passed, doctest_output, doctest_coverage = run_doctests_phase(
+            path,
             checked_files,
             explain,
             timeout=config.timeout_doctest,
@@ -393,6 +401,7 @@ def guard(
 
         # Phase 3: Hypothesis property tests (DX-37: with optional coverage)
         property_passed, property_output, property_coverage = run_property_tests_phase(
+            path,
             checked_files,
             doctest_passed,
             static_exit_code,

{invar_tools-1.17.18 → invar_tools-1.17.20}/src/invar/shell/config.py

@@ -39,11 +39,27 @@ class ModuleType(Enum):
 
 
 # I/O libraries that indicate Shell module (for AST import checking)
-_IO_LIBRARIES = frozenset([
-    "os", "sys", "subprocess", "pathlib", "shutil", "io", "socket",
-    "requests", "aiohttp", "httpx", "urllib", "sqlite3", "psycopg2",
-    "pymongo", "sqlalchemy", "typer", "click",
-])
+_IO_LIBRARIES = frozenset(
+    [
+        "os",
+        "sys",
+        "subprocess",
+        "pathlib",
+        "shutil",
+        "io",
+        "socket",
+        "requests",
+        "aiohttp",
+        "httpx",
+        "urllib",
+        "sqlite3",
+        "psycopg2",
+        "pymongo",
+        "sqlalchemy",
+        "typer",
+        "click",
+    ]
+)
 
 # Contract decorator names
 _CONTRACT_DECORATORS = frozenset(["pre", "post", "invariant"])
@@ -226,6 +242,7 @@ def auto_detect_module_type(source: str, file_path: str = "") -> ModuleType:
     # Unknown: neither clear pattern
     return ModuleType.UNKNOWN
 
+
 if TYPE_CHECKING:
     from pathlib import Path
 
@@ -268,6 +285,20 @@ def _find_config_source(project_root: Path) -> Result[tuple[Path | None, ConfigS
 
 
 # @shell_complexity: Project root discovery requires checking multiple markers
+def find_pyproject_root(start_path: "Path") -> "Path | None":  # noqa: UP037
+    from pathlib import Path
+
+    current = Path(start_path).resolve()
+    if current.is_file():
+        current = current.parent
+
+    for parent in [current, *current.parents]:
+        if (parent / "pyproject.toml").exists():
+            return parent
+
+    return None
+
+
 def find_project_root(start_path: "Path") -> "Path":  # noqa: UP037
     """
     Find project root by walking up from start_path looking for config files.
@@ -492,6 +523,7 @@ def classify_file(
     else:
         # Log warning about config error, use defaults
         import logging
+
         logging.getLogger(__name__).debug(
             "Pattern classification failed: %s, using defaults", pattern_result.failure()
         )
@@ -503,6 +535,7 @@ def classify_file(
     else:
         # Log warning about config error, use defaults
         import logging
+
         logging.getLogger(__name__).debug(
             "Path classification failed: %s, using defaults", path_result.failure()
         )

{invar_tools-1.17.18 → invar_tools-1.17.20}/src/invar/shell/git.py

@@ -7,13 +7,10 @@ Shell module: handles git I/O for changed file detection.
 from __future__ import annotations
 
 import subprocess
-from typing import TYPE_CHECKING
+from pathlib import Path
 
 from returns.result import Failure, Result, Success
 
-if TYPE_CHECKING:
-    from pathlib import Path
-
 
 def _run_git(args: list[str], cwd: Path) -> Result[str, str]:
     """Run a git command and return stdout."""
@@ -49,27 +46,29 @@ def get_changed_files(project_root: Path) -> Result[set[Path], str]:
         >>> isinstance(result, (Success, Failure))
         True
     """
-    # Verify git repo
     check = _run_git(["rev-parse", "--git-dir"], project_root)
     if isinstance(check, Failure):
         return Failure(f"Not a git repository: {project_root}")
 
+    repo_root_result = _run_git(["rev-parse", "--show-toplevel"], project_root)
+    if isinstance(repo_root_result, Failure):
+        return Failure(repo_root_result.failure())
+
+    repo_root = Path(repo_root_result.unwrap().strip())
+
     changed: set[Path] = set()
 
-    # Staged changes
     staged = _run_git(["diff", "--cached", "--name-only"], project_root)
     if isinstance(staged, Success):
-        changed.update(_parse_py_files(staged.unwrap(), project_root))
+        changed.update(_parse_py_files(staged.unwrap(), repo_root))
 
-    # Unstaged changes
     unstaged = _run_git(["diff", "--name-only"], project_root)
     if isinstance(unstaged, Success):
-        changed.update(_parse_py_files(unstaged.unwrap(), project_root))
+        changed.update(_parse_py_files(unstaged.unwrap(), repo_root))
 
-    # Untracked files
     untracked = _run_git(["ls-files", "--others", "--exclude-standard"], project_root)
     if isinstance(untracked, Success):
-        changed.update(_parse_py_files(untracked.unwrap(), project_root))
+        changed.update(_parse_py_files(untracked.unwrap(), repo_root))
 
     return Success(changed)