invar-tools 1.17.2__py3-none-any.whl → 1.17.5__py3-none-any.whl

invar/node_tools/eslint-plugin/utils/layer-detection.js

@@ -0,0 +1,91 @@
+/**
+ * Layer Detection Utilities
+ *
+ * Detects which architectural layer a file belongs to:
+ * - Core: Pure logic, strict limits
+ * - Shell: I/O operations, relaxed limits
+ * - Tests: Test files, most relaxed limits
+ * - Default: Other files
+ */
+/**
+ * Default limits for each layer (LX-10).
+ *
+ * TypeScript limits = Python limits × 1.3 (due to type overhead).
+ * - Python Core: 500/50 → TypeScript Core: 650/65
+ * - Python Shell: 700/100 → TypeScript Shell: 910/130
+ * - Python Tests: 1000/200 → TypeScript Tests: 1300/260
+ * - Python Default: 600/80 → TypeScript Default: 780/104
+ */
+export const LAYER_LIMITS = {
+    core: {
+        maxFileLines: 650,
+        maxFunctionLines: 65,
+    },
+    shell: {
+        maxFileLines: 910,
+        maxFunctionLines: 130,
+    },
+    tests: {
+        maxFileLines: 1300,
+        maxFunctionLines: 260,
+    },
+    default: {
+        maxFileLines: 780,
+        maxFunctionLines: 104,
+    },
+};
+/**
+ * Detect layer from filename.
+ *
+ * Priority: tests > core > shell > default
+ *
+ * @example
+ * getLayer('/project/src/core/parser.ts') // => 'core'
+ * getLayer('/project/tests/parser.test.ts') // => 'tests'
+ * getLayer('/project/src/shell/io.ts') // => 'shell'
+ */
+export function getLayer(filename) {
+    const normalized = filename.replace(/\\/g, '/').toLowerCase();
+    // Priority 1: Test files
+    if (normalized.includes('/test/') ||
+        normalized.includes('/tests/') ||
+        normalized.includes('/__tests__/') ||
+        normalized.endsWith('.test.ts') ||
+        normalized.endsWith('.test.tsx') ||
+        normalized.endsWith('.test.js') ||
+        normalized.endsWith('.test.jsx') ||
+        normalized.endsWith('.spec.ts') ||
+        normalized.endsWith('.spec.tsx') ||
+        normalized.endsWith('.spec.js') ||
+        normalized.endsWith('.spec.jsx')) {
+        return 'tests';
+    }
+    // Priority 2: Core layer
+    // Use path segment matching to avoid false positives like '/hardcore/'
+    if (normalized.includes('/core/') ||
+        normalized.endsWith('/core') ||
+        normalized.startsWith('core/')) {
+        return 'core';
+    }
+    // Priority 3: Shell layer
+    // Use path segment matching to avoid false positives like '/eggshell/'
+    if (normalized.includes('/shell/') ||
+        normalized.endsWith('/shell') ||
+        normalized.startsWith('shell/')) {
+        return 'shell';
+    }
+    // Default layer
+    return 'default';
+}
+/**
+ * Get limits for a filename.
+ *
+ * @example
+ * getLimits('/project/src/core/parser.ts')
+ * // => { maxFileLines: 650, maxFunctionLines: 65 }
+ */
+export function getLimits(filename) {
+    const layer = getLayer(filename);
+    return LAYER_LIMITS[layer];
+}
+//# sourceMappingURL=layer-detection.js.map

invar/node_tools/eslint-plugin/utils/layer-detection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-detection.js","sourceRoot":"","sources":["../../src/utils/layer-detection.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AASH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAA+B;IACtD,IAAI,EAAE;QACJ,YAAY,EAAE,GAAG;QACjB,gBAAgB,EAAE,EAAE;KACrB;IACD,KAAK,EAAE;QACL,YAAY,EAAE,GAAG;QACjB,gBAAgB,EAAE,GAAG;KACtB;IACD,KAAK,EAAE;QACL,YAAY,EAAE,IAAI;QAClB,gBAAgB,EAAE,GAAG;KACtB;IACD,OAAO,EAAE;QACP,YAAY,EAAE,GAAG;QACjB,gBAAgB,EAAE,GAAG;KACtB;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAgB;IACvC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IAE9D,yBAAyB;IACzB,IACE,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7B,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC9B,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;QAChC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;QAChC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;QAChC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,EAChC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,yBAAyB;IACzB,uEAAuE;IACvE,IACE,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7B,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC5B,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,EAC9B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,0BAA0B;IAC1B,uEAAuE;IACvE,IACE,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC9B,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7B,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,gBAAgB;IAChB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,QAAgB;IACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC"}

invar/node_tools/eslint-plugin/utils/math-example.js

@@ -0,0 +1,31 @@
+/**
+ * Multiply two numbers together.
+ *
+ * @example
+ * multiply(2, 3) // => 6
+ *
+ * @example
+ * multiply(0, 100) // => 0
+ *
+ * @example
+ * multiply(-2, 5) // => -10
+ */
+export function multiply(a, b) {
+    return a * b;
+}
+/**
+ * Add two numbers together.
+ *
+ * @example
+ * add(2, 3) // => 5
+ *
+ * @example
+ * add(-1, 1) // => 0
+ *
+ * @example
+ * add(2, 2) // => 4
+ */
+export function add(a, b) {
+    return a + b;
+}
+//# sourceMappingURL=math-example.js.map

invar/node_tools/eslint-plugin/utils/math-example.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"math-example.js","sourceRoot":"","sources":["../../src/utils/math-example.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS;IACtC,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC"}

invar/shell/commands/guard.py

@@ -274,7 +274,7 @@ def guard(
         changed_result = handle_changed_mode(path)
         if isinstance(changed_result, Failure):
             if changed_result.failure() == "NO_CHANGES":
-                console.print("[green]No changed Python files.[/green]")
+                console.print("[green]No changed files to verify.[/green]")
                 raise typer.Exit(0)
             console.print(f"[red]Error:[/red] {changed_result.failure()}")
             raise typer.Exit(1)

invar/shell/commands/perception.py

@@ -31,10 +31,21 @@ if TYPE_CHECKING:
 console = Console()
 
 
+def _has_typescript_files(path: Path) -> bool:
+    """Check if directory contains TypeScript files (.ts, .tsx).
+
+    DX-78b: Fallback language detection when path is subdirectory
+    without tsconfig/package.json markers in parent directories.
+    """
+    from invar.shell.fs import discover_typescript_files
+
+    return bool(list(discover_typescript_files(path)))
+
+
 # @shell_complexity: Symbol map generation with sorting and output modes
 def run_map(path: Path, top_n: int, json_output: bool) -> Result[None, str]:
     """
-    Run the map command.
+    Run map command.
 
     Scans project and generates perception map with reference counts.
     LX-06: Supports TypeScript projects (basic symbol listing).
@@ -46,6 +57,14 @@ def run_map(path: Path, top_n: int, json_output: bool) -> Result[None, str]:
     from invar.shell.commands.init import detect_language
 
     project_language = detect_language(path)
+
+    # DX-78b: Fallback language detection by checking file extensions
+    # When path is a subdirectory without tsconfig/package.json markers,
+    # try detecting from actual file contents
+    if project_language == "python":
+        if _has_typescript_files(path):
+            project_language = "typescript"
+
     if project_language == "typescript":
         return _run_map_typescript(path, top_n, json_output)
 
@@ -174,7 +193,9 @@ def _run_sig_typescript(
                             console.print(f"    @post {post}")
                     if s.members:
                         for m in s.members:
-                            console.print(f"    [{m['kind']}] {m['name']}: {m.get('signature', '')}")
+                            console.print(
+                                f"    [{m['kind']}] {m['name']}: {m.get('signature', '')}"
+                            )
                     console.print()
 
             return Success(None)
@@ -236,12 +257,13 @@ def _run_map_python(path: Path, top_n: int, json_output: bool) -> Result[None, s
 
     if not file_infos:
         return Failure(
-            "No Python symbols found.\n\n"
-            "Available tools:\n"
-            "- invar sig <file.py> — Extract signatures\n"
-            "- invar refs <file.py>::Symbol — Find references\n"
+            "No source files found in this directory.\n\n"
+            "💡 Available tools:\n"
+            "- invar sig <file> — Extract signatures\n"
+            "- invar refs <file>::Symbol — Find references\n"
             "- invar_doc_* — Document navigation\n"
-            "- invar_guard — Static verification"
+            "- invar_guard — Static verification\n\n"
+            "Supported languages: Python, TypeScript"
         )
 
     # Build perception map
@@ -274,12 +296,13 @@ def _run_map_typescript(path: Path, top_n: int, json_output: bool) -> Result[Non
 
             if not data.get("symbols"):
                 return Failure(
-                    "No TypeScript symbols found.\n\n"
-                    "Available tools:\n"
-                    "- invar sig <file.ts> — Extract signatures\n"
-                    "- invar refs <file.ts>::Symbol — Find references\n"
+                    "No source files found in this directory.\n\n"
+                    "💡 Available tools:\n"
+                    "- invar sig <file> — Extract signatures\n"
+                    "- invar refs <file>::Symbol — Find references\n"
                     "- invar_doc_* — Document navigation\n"
-                    "- invar_guard — Static verification"
+                    "- invar_guard — Static verification\n\n"
+                    "Supported languages: Python, TypeScript"
                 )
 
             # Output using TS Compiler API format
@@ -394,16 +417,11 @@ def run_refs(target: str, json_output: bool) -> Result[None, str]:
     elif suffix in (".py", ".pyi"):
         return _run_refs_python(file_path, symbol_name, json_output)
     else:
-        return Failure(
-            f"Unsupported file type: {suffix}\n\n"
-            "Supported: .py, .pyi, .ts, .tsx"
-        )
+        return Failure(f"Unsupported file type: {suffix}\n\nSupported: .py, .pyi, .ts, .tsx")
 
 
 # @shell_complexity: Reference finding with output formatting and error handling
-def _run_refs_python(
-    file_path: Path, symbol_name: str, json_output: bool
-) -> Result[None, str]:
+def _run_refs_python(file_path: Path, symbol_name: str, json_output: bool) -> Result[None, str]:
     """Find references in Python using jedi."""
     from invar.shell.py_refs import find_all_references_to_symbol
 
@@ -460,15 +478,14 @@ def _run_refs_python(
 @dataclass
 class _SymbolPosition:
     """Temporary holder for symbol position during refs lookup."""
+
     line: int
     column: int
     name: str
 
 
 # @shell_complexity: TypeScript refs with symbol lookup and output formatting
-def _run_refs_typescript(
-    file_path: Path, symbol_name: str, json_output: bool
-) -> Result[None, str]:
+def _run_refs_typescript(file_path: Path, symbol_name: str, json_output: bool) -> Result[None, str]:
     """Find references in TypeScript using TS Compiler API."""
     from invar.shell.ts_compiler import is_typescript_available, run_refs_typescript
 
@@ -499,9 +516,7 @@ def _run_refs_typescript(
                         # Extract column if available, default to 0
                         column = member.get("column", 0)
                         symbol = _SymbolPosition(
-                            line=member["line"],
-                            column=column,
-                            name=symbol_name
+                            line=member["line"], column=column, name=symbol_name
                         )
                         break
             if symbol:

invar/shell/commands/test.py

@@ -53,7 +53,7 @@ def test(
             raise typer.Exit(1)
         files = list(changed_result.unwrap())
         if not files:
-            console.print("[green]No changed Python files.[/green]")
+            console.print("[green]No changed files to test.[/green]")
             raise typer.Exit(0)
     elif target:
         files = [Path(target)]
@@ -99,7 +99,7 @@ def verify(
             raise typer.Exit(1)
         files = list(changed_result.unwrap())
         if not files:
-            console.print("[green]No changed Python files.[/green]")
+            console.print("[green]No changed files to test.[/green]")
             raise typer.Exit(0)
     elif target:
         files = [Path(target)]

invar/shell/prove/guard_ts.py

@@ -13,6 +13,7 @@ import contextlib
 import json
 import re
 import subprocess
+import tempfile
 from dataclasses import dataclass, field
 from pathlib import Path
 from typing import Literal
@@ -104,9 +105,7 @@ def check_ts_complexity_debt(
     """
     # Count unaddressed shell-complexity warnings
     unaddressed = [
-        v
-        for v in violations
-        if v.rule == "@invar/shell-complexity" and v.severity == "warning"
+        v for v in violations if v.rule == "@invar/shell-complexity" and v.severity == "warning"
     ]
 
     if len(unaddressed) >= limit:
@@ -142,9 +141,15 @@ def format_typescript_guard_v2(result: TypeScriptGuardResult) -> dict:
     """
     # Count violations by source
     tsc_errors = sum(1 for v in result.violations if v.source == "tsc" and v.severity == "error")
-    tsc_warnings = sum(1 for v in result.violations if v.source == "tsc" and v.severity == "warning")
-    eslint_errors = sum(1 for v in result.violations if v.source == "eslint" and v.severity == "error")
-    eslint_warnings = sum(1 for v in result.violations if v.source == "eslint" and v.severity == "warning")
+    tsc_warnings = sum(
+        1 for v in result.violations if v.source == "tsc" and v.severity == "warning"
+    )
+    eslint_errors = sum(
+        1 for v in result.violations if v.source == "eslint" and v.severity == "error"
+    )
+    eslint_warnings = sum(
+        1 for v in result.violations if v.source == "eslint" and v.severity == "warning"
+    )
     vitest_failures = sum(1 for v in result.violations if v.source == "vitest")
 
     # Count files checked (unique files in violations + estimate from available tools)
@@ -459,14 +464,16 @@ def run_ts_analyzer(project_path: Path) -> Result[dict, str]:
                     )
                     # Extract key metrics from text output
                     output = summary_result.stdout
-                    coverage_match = re.search(r'Contract coverage: (\d+)%', output)
+                    coverage_match = re.search(r"Contract coverage: (\d+)%", output)
                     coverage = int(coverage_match.group(1)) if coverage_match else None
 
-                    return Success({
-                        "coverage": coverage,
-                        "summary_mode": True,
-                        "note": "Full JSON output too large, using summary metrics"
-                    })
+                    return Success(
+                        {
+                            "coverage": coverage,
+                            "summary_mode": True,
+                            "note": "Full JSON output too large, using summary metrics",
+                        }
+                    )
                 except Exception:
                     return Failure(f"JSON parse error: {str(e)[:100]}")
 
@@ -481,9 +488,7 @@ def run_ts_analyzer(project_path: Path) -> Result[dict, str]:
 
 
 # @shell_complexity: Error handling branches for subprocess/JSON parsing
-def run_fc_runner(
-    project_path: Path, *, seed: int = 42, num_runs: int = 100
-) -> Result[dict, str]:
+def run_fc_runner(project_path: Path, *, seed: int = 42, num_runs: int = 100) -> Result[dict, str]:
     """Run @invar/fc-runner for property-based testing.
 
     Calls the Node component via npx with JSON output mode.
@@ -747,17 +752,35 @@ def run_eslint(project_path: Path) -> Result[list[TypeScriptViolation], str]:
         cmd = _get_invar_package_cmd("eslint-plugin", project_path)
         cmd.append(str(project_path))  # Add project path as argument
 
-        result = subprocess.run(
-            cmd,
-            capture_output=True,
-            text=True,
-            timeout=120,
-        )
+        # Use temp file to avoid subprocess 64KB buffer limit
+        # ESLint output can be large for big projects
+        with tempfile.NamedTemporaryFile(mode="w+", suffix=".json", delete=False) as temp_file:
+            temp_path = temp_file.name
+
+            try:
+                # Redirect stdout to temp file
+                with Path(temp_path).open("w") as f:
+                    result = subprocess.run(
+                        cmd,
+                        stdout=f,
+                        stderr=subprocess.PIPE,
+                        timeout=120,
+                        cwd=project_path,
+                        text=True,
+                    )
+
+                # Read from temp file
+                with Path(temp_path).open("r") as f:
+                    eslint_json = f.read()
+            finally:
+                # Clean up temp file
+                with contextlib.suppress(OSError):
+                    Path(temp_path).unlink()
 
         violations: list[TypeScriptViolation] = []
 
         try:
-            eslint_output = json.loads(result.stdout)
+            eslint_output = json.loads(eslint_json)
             for file_result in eslint_output:
                 file_path = file_result.get("filePath", "")
                 # Make path relative
@@ -781,6 +804,8 @@ def run_eslint(project_path: Path) -> Result[list[TypeScriptViolation], str]:
             # ESLint may output non-JSON on certain errors
             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.2.dist-info → invar_tools-1.17.5.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.2
+Version: 1.17.5
 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.2.dist-info → invar_tools-1.17.5.dist-info}/RECORD

@@ -51,8 +51,8 @@ invar/core/patterns/types.py,sha256=ULAlWuAdmO6CFcEDjTrWBfzNTBsnomAl2d25tR11ihU,
 invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
 invar/mcp/handlers.py,sha256=Kls1aXnYmGcMvib_Mesfz5FjBaL7lmrhKaw_P2JDnyw,16551
-invar/mcp/server.py,sha256=WmVNs2_AcOMbmp3tEgWR57hjqqJkMx3nV3z9fcNuSAA,20109
-invar/node_tools/.gitignore,sha256=Tu_FtBhQTKPl9LHokxUTCTcxPadynDy6VPo0Z1WCBAQ,388
+invar/mcp/server.py,sha256=zSpY9bCFuq4mWe7XfolTnwHffhdmoyN40aFL4L7dFrE,20407
+invar/node_tools/.gitignore,sha256=M2kz8Iw7Kzmi44mKo1r7_HOZMh79a7dFDdRrqXyaEhI,530
 invar/node_tools/MANIFEST,sha256=2Z2at-27MK8K7DSjOjjtR4faTbt6eCiKQuEfvP_lwH8,145
 invar/node_tools/__init__.py,sha256=HzILh3jtP28Lm2jZwss1SY65ECxbtw2J2uFpXQA6Y94,1740
 invar/node_tools/ts-query.js,sha256=fEc_f0JT_Mb18dEoA4_vJoazvd7Lqv_rsed4eHSAbCg,13303
@@ -2594,6 +2594,56 @@ invar/node_tools/eslint-plugin/node_modules/yocto-queue/index.js,sha256=A0I9LFq6
 invar/node_tools/eslint-plugin/node_modules/yocto-queue/license,sha256=XJMtiCVrSrlY9kqFb6SOi9H1W8HZa4FJxlaJ4MYXidM,1117
 invar/node_tools/eslint-plugin/node_modules/yocto-queue/package.json,sha256=6U1XHQPGXJTqsiFvT953ORihUtXTblZy4fXBWP9qxC0,725
 invar/node_tools/eslint-plugin/node_modules/yocto-queue/readme.md,sha256=rfWnHVL8T6u1HAmqZ9WPj2G6oTjG0HBbGoBZWPDFhKU,2096
+invar/node_tools/eslint-plugin/rules/max-file-lines.js,sha256=UpvTYmI_e0SedKCyzAkx1ZbRSiAkbbACmwNLOyjJHDI,4036
+invar/node_tools/eslint-plugin/rules/max-file-lines.js.map,sha256=XmXWsVlDt-M9r9cbN-ef_94XWNiYchOgTfF_VpAueh4,2631
+invar/node_tools/eslint-plugin/rules/max-function-lines.js,sha256=cphnqCRu7ttbEA4s8RhLnPJ9Xop6Gu3S4hQbKmv2xh0,4801
+invar/node_tools/eslint-plugin/rules/max-function-lines.js.map,sha256=U9lNUhJh8fZxDPsmrqfTYeC5XxsPpXcods1oC3rNlHg,3462
+invar/node_tools/eslint-plugin/rules/no-any-in-schema.js,sha256=iwnOpt46j6vVZ-_UE6QxQvbzNqDu0RjLjS-T4LNRsW0,1161
+invar/node_tools/eslint-plugin/rules/no-any-in-schema.js.map,sha256=gcyGufNyq-yg3vHXyERVtFDWuudAfrUnnAiTlUXP570,827
+invar/node_tools/eslint-plugin/rules/no-empty-schema.js,sha256=9cOvqoNfEJqFzPY2IFlil40JvsAoSNNbKm6JYCMSzXU,2665
+invar/node_tools/eslint-plugin/rules/no-empty-schema.js.map,sha256=LN3odR5hiItX5Xsx-cx3tp_puTf6OJTh1_w4GvzZ4ro,1630
+invar/node_tools/eslint-plugin/rules/no-impure-calls-in-core.js,sha256=cj-pkOYyOcdpiW2KFL2VdnElLsprCX8zkBh_OtrZgDQ,1871
+invar/node_tools/eslint-plugin/rules/no-impure-calls-in-core.js.map,sha256=AVjJyCG9wcDY49Et-98nFZWMkRoaBnHMNKQ7YdqJvZc,1140
+invar/node_tools/eslint-plugin/rules/no-io-in-core.js,sha256=GuLL2q4JQw48AMmm2bxIv6pb4wxoI5GW3wKWvNg4g-M,2828
+invar/node_tools/eslint-plugin/rules/no-io-in-core.js.map,sha256=24czZgT72KDPOgLLaU7XD-xWOGYtdnZ954NIg57Mppc,2142
+invar/node_tools/eslint-plugin/rules/no-pure-logic-in-shell.js,sha256=odeFcMdoGbT7btwRMRmKKe8AZbtj_t356aI0rLKoxF8,7204
+invar/node_tools/eslint-plugin/rules/no-pure-logic-in-shell.js.map,sha256=d69VN2b5spFdKgt6BTA1lPir1Ivic3Y86mzrvp9yhX4,4323
+invar/node_tools/eslint-plugin/rules/no-redundant-type-schema.js,sha256=vf8V7_T5-oZetb3WjHslwOg9R6TDjFzRJGUb5lIpMR0,4282
+invar/node_tools/eslint-plugin/rules/no-redundant-type-schema.js.map,sha256=EVxgRb6jWXsaJPE4nJpZBA72suG3kPyE637VdrHomdg,2758
+invar/node_tools/eslint-plugin/rules/no-runtime-imports.js,sha256=GxlLKHzid3eSbO5NOkrJi0KH_SGHZQWa22gcR22hClk,2297
+invar/node_tools/eslint-plugin/rules/no-runtime-imports.js.map,sha256=9bpNyMo9l3mIChn1sTWh40_dVYRaopUnUrnncvWEpmE,1348
+invar/node_tools/eslint-plugin/rules/require-complete-validation.js,sha256=ZGeAElzcIHsnNdMNb9wHShb8irCTkUhOBg-KIhV2Mes,3943
+invar/node_tools/eslint-plugin/rules/require-complete-validation.js.map,sha256=UhEr4fql0TObHt3ya8DydqbFlig5CSDFKIIJZSf74rA,2497
+invar/node_tools/eslint-plugin/rules/require-jsdoc-example.js,sha256=Ad_TUhE_ly7H_hXR-9z4-8Pljm4gzO3-ikrKlyrR8Qw,3251
+invar/node_tools/eslint-plugin/rules/require-jsdoc-example.js.map,sha256=uKqyODyMkvGigg15kee440mhn34BXZny2PtGzJL4vww,2216
+invar/node_tools/eslint-plugin/rules/require-schema-validation.js,sha256=gdJaRr9-j8ZmUr8-u_MnafeQ4I92OoIq3RzUXeqrpBg,12372
+invar/node_tools/eslint-plugin/rules/require-schema-validation.js.map,sha256=akTSZQq-OC6ZvwMklIBRaxsesJ9w6GHaPhRTJ_ihmaE,8211
+invar/node_tools/eslint-plugin/rules/shell-complexity.js,sha256=Bhc9i7ILYMNNAUvxf9l7PlwhC_Neb69Jl1nUNABu2jg,11260
+invar/node_tools/eslint-plugin/rules/shell-complexity.js.map,sha256=0oJoDxXpXg2VTrwGMa-UDZ6te15Sv9vq-LgwWjJB5Q4,7140
+invar/node_tools/eslint-plugin/rules/shell-result-type.js,sha256=_Qa56cltufODvYWvwk95ClnTVi7GCZwrFRS_pAxMH40,5018
+invar/node_tools/eslint-plugin/rules/shell-result-type.js.map,sha256=9v70u0btd440PGm2uzjenzJZ7n0thOY8O2Kh8_jy7WY,3505
+invar/node_tools/eslint-plugin/rules/thin-entry-points.js,sha256=_mR9OjUM60Ibd6jHTC66sK3jh1G9Zvv75pB2A9wIsVI,7474
+invar/node_tools/eslint-plugin/rules/thin-entry-points.js.map,sha256=SviSkTYZJpQh170_cqVsqCNX_Kb_bfXUPx1iv1KYRjQ,4546
+invar/node_tools/eslint-plugin/rules/__tests__/behavior.test.js,sha256=vVbNLBlMxfUKRu4VqmAEZL2PyszBpV4zdI-KaYAeAbc,46153
+invar/node_tools/eslint-plugin/rules/__tests__/behavior.test.js.map,sha256=8fmKAURaFrL94zWKv9FY0MJxAe8SsA-J5hXFi-7Q1zY,24028
+invar/node_tools/eslint-plugin/rules/__tests__/e2e-scenarios.test.js,sha256=TzZh0koQLjNAQCuZ10xX4G9vr5Sx0cwU8TxJvg80DlI,15176
+invar/node_tools/eslint-plugin/rules/__tests__/e2e-scenarios.test.js.map,sha256=qSoqS-LKyuruILbr9ifljGIXup1gCw7jE-vKz4qCB2Q,5543
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/exported-functions.js,sha256=IX6M8WLbh9SHnyeR_LOnAefytAHneoeRGwtx8W7pbgA,917
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/exported-functions.js.map,sha256=iWANZtMzbuyfTurCuxJHI7oyxkNUfcAlT73gHo0z_jY,621
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/function-lengths.js,sha256=5NQwJMXTqz9NEVLQpTKw12uSN7tG9UUY2AL9009UoP0,2765
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/function-lengths.js.map,sha256=yOPff0TDS5nF1FPmtnxex0f1HsyRFaqFY6vwZiq94dM,3949
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/has-io-imports.js,sha256=HUbi1HO4IWikd1AKGe73zaubCija1Ry7ga5oVehZgSo,392
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/has-io-imports.js.map,sha256=ZyoMSaEUP2HFnRD7QgHKwkoLin21R0-8yAGt0mPN35Y,332
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/valid-small.js,sha256=HUCHklyeTmD22zYz7qbPiRakVgO6ndiU2jUZmEd2bek,493
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/core/valid-small.js.map,sha256=8CG7SnU4oQHFeFFtSVYPvg60NbaB4pBZ8SJdkMetWZE,436
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/shell/with-io.js,sha256=a4X5AR48mqrkIqBKzLFwvZ7z_GH3vUPU1ZMI2K7bGbw,676
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/shell/with-io.js.map,sha256=BFNEM57wHqatf_ljTpnarOn0EO_NFS7m4wDk3CMhBT8,575
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/tests/large.test.js,sha256=XrrIrRSLbMYseu77-fXFkYW7Rsor1MiLNchWU71lFRc,6609
+invar/node_tools/eslint-plugin/rules/__tests__/fixtures/tests/large.test.js.map,sha256=iQ3v5eFK5aohl3eS6WyUWqiXOu3Q4-0pIrLxclUNsSg,10451
+invar/node_tools/eslint-plugin/utils/layer-detection.js,sha256=uzZfWtjsuZjy5vYz_94BxxDeNg32VZeparqthsuijB0,2722
+invar/node_tools/eslint-plugin/utils/layer-detection.js.map,sha256=bJ-AZeU9Urh13hA5JGPF4r5cjr2wnbpCIhdZn5_x1gU,1591
+invar/node_tools/eslint-plugin/utils/math-example.js,sha256=LUl7lPlVK9hW9RpfAl3laEDlqWb6aVXda8er44bWpoM,457
+invar/node_tools/eslint-plugin/utils/math-example.js.map,sha256=UR2zrFklTl347aXIOwAd4Z6VdhWpxApsz7Gpi1l9cyk,326
 invar/node_tools/fc-runner/bundle.js,sha256=D1wDqXYDOwWU4eqXeZdLIFvSsJ36q56Ay_ipLdklQPw,243285
 invar/node_tools/fc-runner/cli.d.ts,sha256=UM1WM4OKVvABXIsTHt6VHdO_oQMlgltUFV6CIqeh1B0,294
 invar/node_tools/fc-runner/cli.d.ts.map,sha256=-R1m4uJf2vmDZEpU7pEaib6TVjd0YuQnTQEGwkN6I9Q,117
@@ -2631,23 +2681,23 @@ invar/shell/ts_compiler.py,sha256=nA8brnOhThj9J_J3vAEGjDsM4NjbWQ_eX8Yf4pHPOgk,66
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
 invar/shell/commands/doc.py,sha256=SOLDoCXXGxx_JU0PKXlAIGEF36PzconHmmAtL-rM6D4,13819
 invar/shell/commands/feedback.py,sha256=lLxEeWW_71US_vlmorFrGXS8IARB9nbV6D0zruLs660,7640
-invar/shell/commands/guard.py,sha256=xTQ8cPp-x1xMCtufKxmMNUSpIpH31uUjziAB8ifCnC0,24837
+invar/shell/commands/guard.py,sha256=ZuqxYkCZHoomUPuk4-HNf0bTk86il0_uRkhOTvD6T3k,24840
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
 invar/shell/commands/init.py,sha256=rtoPFsfq7xRZ6lfTipWT1OejNK5wfzqu1ncXi1kizU0,23634
 invar/shell/commands/merge.py,sha256=nuvKo8m32-OL-SCQlS4SLKmOZxQ3qj-1nGCx1Pgzifw,8183
 invar/shell/commands/mutate.py,sha256=GwemiO6LlbGCBEQsBFnzZuKhF-wIMEl79GAMnKUWc8U,5765
-invar/shell/commands/perception.py,sha256=Vl6zgxkqtS3QRXBat6U_utNhpViyPFoPh899-OtDLgQ,19493
+invar/shell/commands/perception.py,sha256=mMAf6B0HSJq5WnZc7dlkQ3CJKAqUyVR97VAvTFGe6Jc,20276
 invar/shell/commands/skill.py,sha256=oKVyaxQ_LK28FpJhRpBDpXcpRdUBK3n6rC0qD77ax1M,5803
 invar/shell/commands/sync_self.py,sha256=nmqBry7V2_enKwy2zzHg8UoedZNicLe3yKDhjmBeZ68,3880
 invar/shell/commands/template_sync.py,sha256=aNWyFPMFT7pSwHrvwGCqcKAwb4dp7S9tvZzy9H4gAnw,16094
-invar/shell/commands/test.py,sha256=goMf-ovvzEyWQMheq4YlJ-mwK5-w3lDj0cq0IA_1-_c,4205
+invar/shell/commands/test.py,sha256=eXTuqjBhxpQrkWQE54blQvbRsILhq5JIAGbl453UoTo,4207
 invar/shell/commands/uninstall.py,sha256=X5wWT41RFCdXkZ2aZEwLWy9oF1ajp9UyiO1O2iR6DrQ,20188
 invar/shell/commands/update.py,sha256=-NNQQScEb_0bV1B8YFxTjpUECk9c8dGAiNVRc64nWhY,1008
 invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
 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=4wY2QyyOXJ6eRjHWd6M4l866i3_o6AmfffFQVq7Q5xU,35886
+invar/shell/prove/guard_ts.py,sha256=OKw5Pfr4PbTVnFAixe5WhScyxWr4FiHabSTvjiFqLGs,36948
 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
@@ -2728,10 +2778,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.2.dist-info/METADATA,sha256=0Ia55RdUQIH2J--ojW9QUjqRfWgR2rlY9oLOyCPgEZE,28595
-invar_tools-1.17.2.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.2.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.2.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.2.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.2.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.2.dist-info/RECORD,,
+invar_tools-1.17.5.dist-info/METADATA,sha256=7SJ527V22NzbubWOXTd-oEDfHMg9p_eo_R1gNlkGfDg,28595
+invar_tools-1.17.5.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.5.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.5.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.5.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.5.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.5.dist-info/RECORD,,