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

invar/node_tools/.gitignore

@@ -0,0 +1,17 @@
+# Embedded Node.js tools - runtime dependencies
+# These are installed by scripts/embed_node_tools.py
+# Run that script before building or testing
+
+*/node_modules/
+*/package.json
+
+# eslint-plugin is unbundled (entire dist/ directory)
+# All other tools are bundled (single cli.js file)
+eslint-plugin/
+
+# Common generated/temp files
+*.log
+.DS_Store
+.npm/
+npm-debug.log*
+node_modules/.cache/

invar/node_tools/MANIFEST

@@ -2,6 +2,7 @@
 # Auto-generated by scripts/embed_node_tools.py
 # Do not edit manually
 
+eslint-plugin
 fc-runner
 quick-check
 ts-analyzer

invar/node_tools/eslint-plugin/cli.js

@@ -0,0 +1,117 @@
+#!/usr/bin/env node
+/**
+ * CLI for @invar/eslint-plugin
+ *
+ * Runs ESLint with @invar/* rules pre-configured.
+ * Outputs standard ESLint JSON format for integration with guard_ts.py.
+ *
+ * Usage:
+ *   node cli.js [path] [--config=recommended|strict]
+ *
+ * Options:
+ *   path              Project directory to lint (default: current directory)
+ *   --config          Use 'recommended' or 'strict' preset (default: recommended)
+ *   --help            Show help message
+ */
+import { ESLint } from 'eslint';
+import { resolve, dirname } from 'path';
+import { fileURLToPath } from 'url';
+import plugin from './index.js';
+// Get directory containing this CLI script (for resolving node_modules)
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+function parseArgs(args) {
+    const projectPath = args.find(arg => !arg.startsWith('--')) || '.';
+    const configArg = args.find(arg => arg.startsWith('--config='));
+    const config = configArg?.split('=')[1] === 'strict' ? 'strict' : 'recommended';
+    const help = args.includes('--help') || args.includes('-h');
+    return { projectPath, config, help };
+}
+function printHelp() {
+    console.log(`
+@invar/eslint-plugin - ESLint with Invar-specific rules
+
+Usage:
+  node cli.js [path] [options]
+
+Arguments:
+  path              Project directory to lint (default: current directory)
+
+Options:
+  --config=MODE     Use 'recommended' or 'strict' preset (default: recommended)
+  --help, -h        Show this help message
+
+Examples:
+  node cli.js                           # Lint current directory (recommended mode)
+  node cli.js ./src                     # Lint specific directory
+  node cli.js --config=strict           # Use strict mode (all rules as errors)
+
+Output:
+  JSON format compatible with ESLint's --format=json
+  Exit code 0 if no errors, 1 if errors found
+`);
+}
+async function main() {
+    const args = parseArgs(process.argv.slice(2));
+    if (args.help) {
+        printHelp();
+        process.exit(0);
+    }
+    const projectPath = resolve(args.projectPath);
+    // Validate resolved path is within current working directory or explicit allowed paths
+    // This prevents path traversal attacks via "../../../etc/passwd" patterns
+    const cwd = process.cwd();
+    if (!projectPath.startsWith(cwd) && !projectPath.startsWith('/')) {
+        console.error(`Error: Project path must be within current directory`);
+        console.error(`  Requested: ${args.projectPath}`);
+        console.error(`  Resolved: ${projectPath}`);
+        console.error(`  Working dir: ${cwd}`);
+        process.exit(1);
+    }
+    try {
+        // Get the rules config for the selected mode
+        const selectedConfig = plugin.configs?.[args.config];
+        if (!selectedConfig || !selectedConfig.rules) {
+            console.error(`Config "${args.config}" not found or invalid`);
+            process.exit(1);
+        }
+        // Create ESLint instance with programmatic configuration
+        // Set cwd to CLI directory so ESLint can find parser in our node_modules
+        const eslint = new ESLint({
+            useEslintrc: false, // Don't load .eslintrc files
+            cwd: __dirname, // Set working directory to CLI location for module resolution
+            baseConfig: {
+                parser: '@typescript-eslint/parser',
+                parserOptions: {
+                    ecmaVersion: 2022,
+                    sourceType: 'module',
+                },
+                plugins: ['@invar'],
+                rules: selectedConfig.rules,
+            },
+            plugins: {
+                '@invar': plugin, // Register our plugin programmatically
+            },
+        }); // Type assertion for ESLint config complexity
+        // Lint the project
+        const results = await eslint.lintFiles([projectPath]);
+        // Output in standard ESLint JSON format (compatible with guard_ts.py)
+        const formatter = await eslint.loadFormatter('json');
+        const resultText = await Promise.resolve(formatter.format(results, {
+            cwd: projectPath,
+            rulesMeta: eslint.getRulesMetaForResults(results),
+        }));
+        console.log(resultText);
+        // Exit with error code if there are errors
+        const hasErrors = results.some(result => result.errorCount > 0);
+        process.exit(hasErrors ? 1 : 0);
+    }
+    catch (error) {
+        // Sanitize error message to avoid leaking file paths or system information
+        const errorMessage = error instanceof Error ? error.message : 'Unknown error';
+        console.error(`ESLint failed: ${errorMessage}`);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=cli.js.map

invar/shell/commands/init.py

@@ -553,7 +553,8 @@ def init(
     skipped: list[str] = []
 
     # Add config file (.invar/config.toml or pyproject.toml)
-    config_result = add_config(path, console)
+    # LX-05: Pass language for language-specific config generation
+    config_result = add_config(path, console, language)
     if isinstance(config_result, Failure):
         console.print(f"[red]Error:[/red] {config_result.failure()}")
         raise typer.Exit(1)

invar/shell/prove/guard_ts.py

@@ -664,7 +664,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 +679,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,
@@ -748,6 +753,23 @@ def run_vitest(project_path: Path) -> Result[list[TypeScriptViolation], str]:
             except json.JSONDecodeError:
                 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"],

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.16.0.dist-info}/METADATA

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

@@ -52,9 +52,11 @@ invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
 invar/mcp/handlers.py,sha256=b0LRWKMpu6lnjPV7SozH0cxKYJufVWy3eJhiAu3of-M,15947
 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/eslint-plugin/cli.js,sha256=TyBGCIZ0LiGIEjESRCh1VkY5ooLmrRbFY9dd5Vfzw9c,4647
 invar/node_tools/fc-runner/cli.js,sha256=72_gIhvnx2peKITdzdnFWI5fzGaNTS3BcEqyS628cI0,243277
 invar/node_tools/quick-check/cli.js,sha256=dwV3hdJleFQga2cKUn3PPfQDvvujhzKdjQcIvWsKgM0,66196
 invar/node_tools/ts-analyzer/cli.js,sha256=SvZ6HyjmobpP8NAZqXFiy8BwH_t5Hb17Ytar_18udaQ,4092887
@@ -78,7 +80,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 +88,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 +102,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=i0F_56_aIgtqzJF2pfRAYJ2Tyjsuv-xhT8N_ZsBfis8,32567
 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 +183,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.16.0.dist-info/METADATA,sha256=JUYnszfz8YwiI3iRSXAlSnpVnCtBOtHGT5eeUb7w68w,28595
+invar_tools-1.16.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.16.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.16.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.16.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.16.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.16.0.dist-info/RECORD,,