invar-tools 1.15.6__py3-none-any.whl → 1.17.0__py3-none-any.whl

invar/shell/prove/guard_ts.py

@@ -84,6 +84,46 @@ class TypeScriptGuardResult:
     enhanced: EnhancedAnalysis | None = None
 
 
+# DX-22: Fix-or-Explain complexity debt enforcement
+# @shell_orchestration: Checks project-level complexity debt
+def check_ts_complexity_debt(
+    violations: list[TypeScriptViolation], limit: int = 3
+) -> list[TypeScriptViolation]:
+    """Check project-level shell-complexity debt (DX-22 Fix-or-Explain).
+
+    When the project has too many unaddressed shell-complexity warnings,
+    escalate to ERROR to force resolution. TypeScript default is 3 (vs Python's 5)
+    since TS projects tend to be smaller.
+
+    Args:
+        violations: All violations from ESLint/tsc/vitest.
+        limit: Maximum unaddressed complexity warnings before ERROR (default 3).
+
+    Returns:
+        List with single ERROR violation if debt limit exceeded, empty list otherwise.
+    """
+    # Count unaddressed shell-complexity warnings
+    unaddressed = [
+        v
+        for v in violations
+        if v.rule == "@invar/shell-complexity" and v.severity == "warning"
+    ]
+
+    if len(unaddressed) >= limit:
+        return [
+            TypeScriptViolation(
+                file="<project>",
+                line=None,
+                column=None,
+                rule="@invar/shell-complexity-debt",
+                message=f"Project has {len(unaddressed)} unaddressed complexity warnings (limit: {limit})",
+                severity="error",
+                source="eslint",
+            )
+        ]
+    return []
+
+
 # @shell_orchestration: Transforms TypeScriptGuardResult to JSON for agent consumption
 def format_typescript_guard_v2(result: TypeScriptGuardResult) -> dict:
     """Format TypeScript guard result as v2.0 JSON.
@@ -403,8 +443,32 @@ def run_ts_analyzer(project_path: Path) -> Result[dict, str]:
         # ts-analyzer exits non-zero when critical blind spots found, but still outputs valid JSON
         # Try to parse JSON output regardless of exit code
         if result.stdout.strip():
-            with contextlib.suppress(json.JSONDecodeError):
-                return Success(json.loads(result.stdout))
+            try:
+                data = json.loads(result.stdout)
+                return Success(data)
+            except json.JSONDecodeError as e:
+                # JSON too large or malformed - try to extract summary from text output
+                # Fall back to running without --json flag for human-readable summary
+                try:
+                    summary_result = subprocess.run(
+                        [*cmd, str(project_path)],
+                        capture_output=True,
+                        text=True,
+                        timeout=60,
+                        cwd=project_path,
+                    )
+                    # Extract key metrics from text output
+                    output = summary_result.stdout
+                    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"
+                    })
+                except Exception:
+                    return Failure(f"JSON parse error: {str(e)[:100]}")
 
         # Only report failure if no valid JSON output
         if "not found" in result.stderr.lower() or "ENOENT" in result.stderr:
@@ -664,7 +728,9 @@ def _parse_tsc_line(line: str) -> TypeScriptViolation | None:
 
 # @shell_complexity: CLI tool integration with JSON parsing and error handling
 def run_eslint(project_path: Path) -> Result[list[TypeScriptViolation], str]:
-    """Run ESLint for code quality checks.
+    """Run ESLint with @invar/eslint-plugin rules.
+
+    Uses @invar/eslint-plugin CLI which pre-loads Invar-specific rules.
 
     Args:
         project_path: Path to project root.
@@ -677,9 +743,12 @@ def run_eslint(project_path: Path) -> Result[list[TypeScriptViolation], str]:
         return Failure(f"Project path does not exist: {project_path}")
 
     try:
+        # Get command for @invar/eslint-plugin (embedded or local dev)
+        cmd = _get_invar_package_cmd("eslint-plugin", project_path)
+        cmd.append(str(project_path))  # Add project path as argument
+
         result = subprocess.run(
-            ["npx", "eslint", ".", "--format", "json", "--ext", ".ts,.tsx"],
-            cwd=project_path,
+            cmd,
             capture_output=True,
             text=True,
             timeout=120,
@@ -745,9 +814,27 @@ def run_vitest(project_path: Path) -> Result[list[TypeScriptViolation], str]:
                 deps = {**pkg.get("dependencies", {}), **pkg.get("devDependencies", {})}
                 if "vitest" not in deps:
                     return Success([])  # No vitest configured, skip
-            except json.JSONDecodeError:
+            except (json.JSONDecodeError, OSError):
+                # Handle both JSON parse errors and IO errors (file deleted, permission denied, etc.)
                 pass
 
+    # LX-15 Phase 1: Generate doctests before running vitest
+    try:
+        doctest_result = subprocess.run(
+            ["node", "scripts/generate-doctests.mjs", "doctest.config.json"],
+            cwd=project_path,
+            capture_output=True,
+            text=True,
+            timeout=60,
+        )
+        # Doctest generation failure is not fatal - continue with regular tests
+        if doctest_result.returncode != 0:
+            # Log warning but don't fail
+            pass
+    except (FileNotFoundError, subprocess.TimeoutExpired):
+        # Doctest generation not available or timed out - continue with regular tests
+        pass
+
     try:
         result = subprocess.run(
             ["npx", "vitest", "run", "--reporter=json"],
@@ -838,8 +925,19 @@ def run_typescript_guard(
         match eslint_result:
             case Success(violations):
                 all_violations.extend(violations)
-            case Failure(_):
-                pass  # ESLint errors are non-fatal
+            case Failure(err):
+                # Report ESLint failure as a violation instead of silently ignoring
+                all_violations.append(
+                    TypeScriptViolation(
+                        file="<eslint>",
+                        line=0,
+                        column=0,
+                        rule="eslint-error",
+                        message=f"ESLint failed to run: {err}",
+                        severity="error",
+                        source="eslint",
+                    )
+                )
 
     # Run vitest
     if result.vitest_available and not skip_tests:
@@ -889,6 +987,10 @@ def run_typescript_guard(
 
         result.enhanced = enhanced
 
+    # DX-22: Check for complexity debt (project-level Fix-or-Explain enforcement)
+    complexity_debt_violations = check_ts_complexity_debt(all_violations, limit=3)
+    all_violations.extend(complexity_debt_violations)
+
     # Aggregate results
     result.violations = all_violations
     result.error_count = sum(1 for v in all_violations if v.severity == "error")

invar/shell/templates.py

@@ -11,7 +11,12 @@ from pathlib import Path
 
 from returns.result import Failure, Result, Success
 
-_DEFAULT_PYPROJECT_CONFIG = """\n# Invar Configuration
+# =============================================================================
+# Language-Specific Configurations (LX-05)
+# =============================================================================
+
+# Python configuration
+_PYTHON_PYPROJECT_CONFIG = """\n# Invar Configuration
 [tool.invar.guard]
 core_paths = ["src/core"]
 shell_paths = ["src/shell"]
@@ -23,7 +28,7 @@ forbidden_imports = ["os", "sys", "socket", "requests", "urllib", "subprocess",
 exclude_paths = ["tests", "test", "scripts", ".venv", "venv", "__pycache__", ".pytest_cache", "node_modules", "dist", "build"]
 """
 
-_DEFAULT_INVAR_TOML = """# Invar Configuration
+_PYTHON_INVAR_TOML = """# Invar Configuration (Python)
 # For projects without pyproject.toml
 
 [guard]
@@ -41,6 +46,37 @@ exclude_paths = ["tests", "test", "scripts", ".venv", "venv", "__pycache__", ".p
 # shell_patterns = ["**/api/**", "**/cli/**"]
 """
 
+# TypeScript configuration (LX-05)
+_TYPESCRIPT_INVAR_TOML = """# Invar Configuration (TypeScript)
+# For TypeScript/JavaScript projects
+
+[guard]
+core_paths = ["src/core"]
+shell_paths = ["src/shell"]
+max_file_lines = 500
+max_function_lines = 50
+require_contracts = true
+require_doctests = false  # TypeScript uses JSDoc examples instead
+# TypeScript/Node.js I/O modules to forbid in Core
+forbidden_imports = ["fs", "path", "http", "https", "net", "child_process", "os", "process"]
+exclude_paths = ["tests", "test", "scripts", "node_modules", "dist", "build", ".next", "coverage"]
+
+# Pattern-based classification (optional, takes priority over paths)
+# core_patterns = ["**/domain/**", "**/models/**"]
+# shell_patterns = ["**/api/**", "**/cli/**"]
+"""
+
+# Backward compatibility alias
+_DEFAULT_PYPROJECT_CONFIG = _PYTHON_PYPROJECT_CONFIG
+_DEFAULT_INVAR_TOML = _PYTHON_INVAR_TOML
+
+
+def _get_invar_config(language: str) -> str:
+    """Get the appropriate config content for the language."""
+    if language == "typescript":
+        return _TYPESCRIPT_INVAR_TOML
+    return _PYTHON_INVAR_TOML
+
 
 def get_template_path(name: str) -> Result[Path, str]:
     """Get path to a template file."""
@@ -75,10 +111,11 @@ def copy_template(
 
 
 # @shell_complexity: Config addition with existing file detection
-def add_config(path: Path, console) -> Result[bool, str]:
+def add_config(path: Path, console, language: str = "python") -> Result[bool, str]:
     """Add configuration to project. Returns Success(True) if added, Success(False) if skipped.
 
     DX-70: Creates .invar/config.toml instead of invar.toml for cleaner organization.
+    LX-05: Now generates language-specific config (Python vs TypeScript).
     Backward compatible: still reads from invar.toml if it exists.
     """
     pyproject = path / "pyproject.toml"
@@ -87,8 +124,8 @@ def add_config(path: Path, console) -> Result[bool, str]:
     legacy_invar_toml = path / "invar.toml"
 
     try:
-        # Priority 1: Add to pyproject.toml if it exists
-        if pyproject.exists():
+        # Priority 1: Add to pyproject.toml if it exists (Python projects only)
+        if pyproject.exists() and language == "python":
             content = pyproject.read_text()
             if "[tool.invar]" not in content:
                 with pyproject.open("a") as f:
@@ -102,9 +139,10 @@ def add_config(path: Path, console) -> Result[bool, str]:
             return Success(False)
 
         # Create .invar/config.toml (DX-70: new default location)
+        # LX-05: Use language-specific config
         if not invar_config.exists():
             invar_dir.mkdir(exist_ok=True)
-            invar_config.write_text(_DEFAULT_INVAR_TOML)
+            invar_config.write_text(_get_invar_config(language))
             console.print("[green]Created[/green] .invar/config.toml")
             return Success(True)
 

{invar_tools-1.15.6.dist-info → invar_tools-1.17.0.dist-info}/METADATA

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

@@ -8,7 +8,7 @@ invar/core/entry_points.py,sha256=1p6GRGTp9kA9spNkGKidFLlzLPheh6JO2XFb68Cr0sE,12
 invar/core/extraction.py,sha256=mScqEMEEQdsd-Z0jx9g3scK6Z1vI9l-ESjggXPIWHZ4,6112
 invar/core/feedback.py,sha256=JhQf32y_Qutza8D2b5qX2U4fM--vtR3sBdV22KrVNY0,3246
 invar/core/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
-invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
+invar/core/format_strategies.py,sha256=laWixu7AV2GdKNK886Eu-3NLHRdQT-hH_HOQdgIAjKI,5848
 invar/core/formatter.py,sha256=rCGZhMpl4dPLrztgKDkNtAvnv2vKfomyIHl_6fThuno,11293
 invar/core/hypothesis_strategies.py,sha256=_MfjG7KxkmJvuPsczr_1JayR_YmiDzU2jJ8fQPoKGgs,16517
 invar/core/inspect.py,sha256=l1knohwpLRHSNySPUjyeBHJusnU0vYiQGj4dMVgQZIo,4381
@@ -50,12 +50,22 @@ invar/core/patterns/registry.py,sha256=2rz0wWDRarMkuHN-qM_ZrT3qeGFDSKMABvRvPNZxQ
 invar/core/patterns/types.py,sha256=ULAlWuAdmO6CFcEDjTrWBfzNTBsnomAl2d25tR11ihU,5506
 invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
-invar/mcp/handlers.py,sha256=b0LRWKMpu6lnjPV7SozH0cxKYJufVWy3eJhiAu3of-M,15947
+invar/mcp/handlers.py,sha256=Kls1aXnYmGcMvib_Mesfz5FjBaL7lmrhKaw_P2JDnyw,16551
 invar/mcp/server.py,sha256=WmVNs2_AcOMbmp3tEgWR57hjqqJkMx3nV3z9fcNuSAA,20109
-invar/node_tools/MANIFEST,sha256=UwtO2AsQ-0UwskG6ZkE2kXqz_hdp-gzRTyp32-X22Mc,131
+invar/node_tools/.gitignore,sha256=Tu_FtBhQTKPl9LHokxUTCTcxPadynDy6VPo0Z1WCBAQ,388
+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
-invar/node_tools/fc-runner/cli.js,sha256=72_gIhvnx2peKITdzdnFWI5fzGaNTS3BcEqyS628cI0,243277
+invar/node_tools/eslint-plugin/cli.js,sha256=U2BK7c5fx6J3XVMIAxW6tz3jxUwzqjuXP9hCY0KxctM,6752
+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
+invar/node_tools/fc-runner/cli.js,sha256=8T_YWJMmWEQmbCFsG8r4R03mi5qGpkfhitsh_5o455c,5007
+invar/node_tools/fc-runner/cli.js.map,sha256=G4ecWIoU7P1ME12tM09_4N_Y6tppFNlrL3IWNPwKR2g,4195
+invar/node_tools/fc-runner/index.d.ts,sha256=ejHHCxatrAbDSHWuHsedGHLnpLNa6ek7rowZLdf_NiY,12615
+invar/node_tools/fc-runner/index.d.ts.map,sha256=MK73QKaDi8IhZ7Diphvs2sYNYbmpNIobXHbUNQBaKNg,1699
+invar/node_tools/fc-runner/index.js,sha256=A0ard14fRX6ZnKjtONPGyE1EUMuRN9K-InCPwGIRuPU,8782
+invar/node_tools/fc-runner/index.js.map,sha256=2ASF8aJUvuYqBgnfL0rxw4xRSK6ur23G0HGn5w0IQZI,6754
 invar/node_tools/quick-check/cli.js,sha256=dwV3hdJleFQga2cKUn3PPfQDvvujhzKdjQcIvWsKgM0,66196
 invar/node_tools/ts-analyzer/cli.js,sha256=SvZ6HyjmobpP8NAZqXFiy8BwH_t5Hb17Ytar_18udaQ,4092887
 invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
@@ -78,7 +88,7 @@ invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
 invar/shell/skill_manager.py,sha256=Mr7Mh9rxPSKSAOTJCAM5ZHiG5nfUf6KQVCuD4LBNHSI,12440
 invar/shell/subprocess_env.py,sha256=9oXl3eMEbzLsFEgMHqobEw6oW_wV0qMEP7pklwm58Pw,11453
 invar/shell/template_engine.py,sha256=eNKMz7R8g9Xp3_1TGx-QH137jf52E0u3KaVcnotu1Tg,12056
-invar/shell/templates.py,sha256=31f5ieoGeWU0qqfLJUMWnz0yyLa1FBc_sOz6UGzToqk,13884
+invar/shell/templates.py,sha256=ilhGysbUcdkUFqPgv6ySVmKI3imS_cwYNCWTCdyb5cY,15407
 invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
 invar/shell/ts_compiler.py,sha256=nA8brnOhThj9J_J3vAEGjDsM4NjbWQ_eX8Yf4pHPOgk,6672
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
@@ -86,7 +96,7 @@ invar/shell/commands/doc.py,sha256=SOLDoCXXGxx_JU0PKXlAIGEF36PzconHmmAtL-rM6D4,1
 invar/shell/commands/feedback.py,sha256=lLxEeWW_71US_vlmorFrGXS8IARB9nbV6D0zruLs660,7640
 invar/shell/commands/guard.py,sha256=xTQ8cPp-x1xMCtufKxmMNUSpIpH31uUjziAB8ifCnC0,24837
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=vaPo0p7xBm3Nfgu9ytcvAjgk4dQBKvyEhrz_Cg1URMQ,23557
+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
@@ -100,7 +110,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=M285vnaKGC3Dokyu7PrjlNk-sT1TP8H821fz5K4CL8c,31717
+invar/shell/prove/guard_ts.py,sha256=4wY2QyyOXJ6eRjHWd6M4l866i3_o6AmfffFQVq7Q5xU,35886
 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
@@ -181,10 +191,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.15.6.dist-info/METADATA,sha256=-aaDj9nhXLxzwN2p0mIcYojuY-gfj11YFvSepUs1Zkw,28595
-invar_tools-1.15.6.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.15.6.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.15.6.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.15.6.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.15.6.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.15.6.dist-info/RECORD,,
+invar_tools-1.17.0.dist-info/METADATA,sha256=6IIm7ef2K5XQM-9Enj46x_LyzcRC-jjO-fM2XpWDoLA,28595
+invar_tools-1.17.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.0.dist-info/RECORD,,