invar-tools 1.17.15__py3-none-any.whl → 1.17.16__py3-none-any.whl

invar/node_tools/eslint-plugin/cli.js

@@ -98,8 +98,9 @@ async function main() {
         // This allows ESLint to find embedded node_modules in site-packages
         const eslint = new ESLint({
             useEslintrc: false, // Don't load .eslintrc files
-            cwd: __dirname, // Use CLI location for module resolution (embedded node_modules)
+            cwd: projectPath, // Use project directory as working directory (fix for timeout issue)
             resolvePluginsRelativeTo: __dirname, // Resolve plugins from embedded location
+            errorOnUnmatchedPattern: false, // Don't fail if no .tsx files found
             baseConfig: {
                 parser: '@typescript-eslint/parser', // Will resolve from __dirname/node_modules
                 parserOptions: {
@@ -108,6 +109,15 @@ async function main() {
                 },
                 plugins: ['@invar'],
                 rules: selectedConfig.rules,
+                ignorePatterns: [
+                    // Explicit ignores to prevent scanning generated/cached directories
+                    '**/node_modules/**',
+                    '**/.next/**',
+                    '**/dist/**',
+                    '**/build/**',
+                    '**/.cache/**',
+                    '**/coverage/**',
+                ],
             },
             plugins: {
                 '@invar': plugin, // Register plugin directly
@@ -125,11 +135,12 @@ async function main() {
                 filesToLint = [projectPath];
             }
             else if (stats.isDirectory()) {
-                // Directory - use glob patterns for TypeScript files primarily
+                // 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 = [
-                    `${projectPath}/**/*.ts`,
-                    `${projectPath}/**/*.tsx`,
+                    "**/*.ts",
+                    "**/*.tsx",
                 ];
             }
             else {

invar/shell/prove/guard_ts.py

@@ -402,7 +402,13 @@ def _get_invar_package_cmd(package_name: str, project_path: Path) -> list[str]:
     # Resolve to absolute path to avoid path doubling issues
     resolved_path = project_path.resolve()
 
-    # Priority 2: Local development setup (Invar repo itself)
+    # Priority 1: Project-local override (for custom/modified tools)
+    # Allows projects to override embedded tools with local builds
+    local_cli = resolved_path / "typescript" / "packages" / package_name / "dist" / "cli.js"
+    if local_cli.exists():
+        return ["node", str(local_cli)]
+
+    # Priority 2: Embedded tools (from pip install)
     # Check both possible locations:
     # - resolved_path / "typescript" / "packages" / package_name / "dist" / "cli.js"
     # - resolved_path / "packages" / package_name / "dist" / "cli.js"
@@ -414,7 +420,9 @@ def _get_invar_package_cmd(package_name: str, project_path: Path) -> list[str]:
     if local_cli.exists():
         return ["node", str(local_cli)]
 
-    # Priority 2b: Walk up to find the Invar root (monorepo setup)
+    # Priority 3b: Walk up to find the Invar root (monorepo setup)
+    # This is intentional for monorepo development - allows running from subdirectories
+    # Only searches up to 5 levels to limit exposure
     check_path = resolved_path
     for _ in range(5):  # Max 5 levels up
         candidate = check_path / f"typescript/packages/{package_name}/dist/cli.js"
@@ -816,7 +824,6 @@ def run_eslint(project_path: Path) -> Result[list[TypeScriptViolation], str]:
             if result.returncode != 0 and result.stderr:
                 return Failure(f"ESLint error: {result.stderr[:200]}")
             return Failure("ESLint output parsing failed: JSON decode error")
-            return Failure("ESLint output parsing failed: JSON decode error")
 
         return Success(violations)
 

{invar_tools-1.17.15.dist-info → invar_tools-1.17.16.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.15
+Version: 1.17.16
 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

{invar_tools-1.17.15.dist-info → invar_tools-1.17.16.dist-info}/RECORD

@@ -60,7 +60,7 @@ invar/node_tools/ts-query.js,sha256=fEc_f0JT_Mb18dEoA4_vJoazvd7Lqv_rsed4eHSAbCg,
 invar/node_tools/eslint-plugin/bundle.js,sha256=tLtiwps3DtugRPxtp6RQoxEOkMxOQsessh6aCxcdEEA,56144
 invar/node_tools/eslint-plugin/cli.d.ts,sha256=mWidsJzkCvGtSHF_lykPNP3-w_Kolur7rEbdAI2772k,515
 invar/node_tools/eslint-plugin/cli.d.ts.map,sha256=DTUMceS-L2533vlJQT_y3p8TsQWPmbmQzqlcdjwnaFc,122
-invar/node_tools/eslint-plugin/cli.js,sha256=ImpQUercYO3R8BWkV7k1xxYfWxwqPOBCxyWxZD2K890,6952
+invar/node_tools/eslint-plugin/cli.js,sha256=R-Ny11nkTyGuPD72rcjy23qvkdzaHcCFt-B3jxN2-_k,7467
 invar/node_tools/eslint-plugin/cli.js.map,sha256=AZt_DYAD6NnHGjR6oxXfGYaOHc6-vfDs0ENvYsbw5Ro,4489
 invar/node_tools/eslint-plugin/index.d.ts,sha256=Z9XMvdXtx8ajI19283CHQr8XppNHQuvVB73mndSreTc,3250
 invar/node_tools/eslint-plugin/index.d.ts.map,sha256=rAPcxrQWC5hytkMg1TnIKk99CTMJix3D3PG9OmMTJxQ,443
@@ -5969,7 +5969,7 @@ invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A
 invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
 invar/shell/prove/cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
 invar/shell/prove/crosshair.py,sha256=XhJDsQWIriX9SuqeflUYvJgp9gJTDH7I7Uka6zjNzZ0,16734
-invar/shell/prove/guard_ts.py,sha256=bz3TsxcBChK9UumvcVMRx8BTyeGiVNM5ZdOkqdzcKmg,37516
+invar/shell/prove/guard_ts.py,sha256=Ssbkc4h7zVHhg2q3e1yAaE4N7hgT-aRWMPmnwjuoRa0,37866
 invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuLw0,9880
 invar/templates/CLAUDE.md.template,sha256=eaGU3SyRO_NEifw5b26k3srgQH4jyeujjCJ-HbM36_w,4913
 invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
@@ -6050,10 +6050,10 @@ invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
 invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
 invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
-invar_tools-1.17.15.dist-info/METADATA,sha256=a2o6ftCh8fiQTayyOABNnD4kMvWILGfTC1KL_pSJzfQ,28596
-invar_tools-1.17.15.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.15.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.15.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.15.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.15.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.15.dist-info/RECORD,,
+invar_tools-1.17.16.dist-info/METADATA,sha256=nclVxT-j5bTQ38-NXiyMmuNLnwOIwzuFqLF5aESJzbU,28596
+invar_tools-1.17.16.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.16.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.16.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.16.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.16.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.16.dist-info/RECORD,,