invar-tools 1.7.0__py3-none-any.whl → 1.7.1__py3-none-any.whl

invar/shell/commands/uninstall.py

@@ -15,6 +15,8 @@ from pathlib import Path
 import typer
 from rich.console import Console
 
+from invar.shell.claude_hooks import is_invar_hook
+
 console = Console()
 
 
@@ -52,9 +54,42 @@ def has_invar_hook_marker(path: Path) -> bool:
         return False
 
 
+# @shell_orchestration: Regex patterns tightly coupled to file removal logic
+def _is_empty_user_region(content: str) -> bool:
+    """Check if user region only contains template comments (no real user content)."""
+    # Extract user region content
+    match = re.search(r"<!--invar:user-->(.*?)<!--/invar:user-->", content, flags=re.DOTALL)
+    if not match:
+        return True  # No user region = empty
+
+    user_content = match.group(1)
+
+    # Remove all HTML/markdown comments
+    cleaned = re.sub(r"<!--.*?-->", "", user_content, flags=re.DOTALL)
+
+    # Remove invar-generated merge markers and headers
+    invar_patterns = [
+        r"## Claude Analysis \(Preserved\)\s*",
+        r"## My Custom Rules\s*",
+        r"- Rule \d+:.*\n?",  # Template rules
+    ]
+    for pattern in invar_patterns:
+        cleaned = re.sub(pattern, "", cleaned)
+
+    # Remove whitespace
+    cleaned = re.sub(r"\s+", " ", cleaned).strip()
+
+    # If only whitespace or empty after removing comments and invar content, it's "empty"
+    return len(cleaned) == 0
+
+
 # @shell_orchestration: Regex patterns tightly coupled to file removal logic
 def remove_invar_regions(content: str) -> str:
-    """Remove <!--invar:xxx-->...<!--/invar:xxx--> regions except user region."""
+    """Remove <!--invar:xxx-->...<!--/invar:xxx--> regions.
+
+    User region is also removed if it only contains template comments.
+    Merge markers are always cleaned from user region.
+    """
     patterns = [
         # HTML-style regions (CLAUDE.md)
         (r"<!--invar:critical-->.*?<!--/invar:critical-->\n?", ""),
@@ -63,8 +98,34 @@ def remove_invar_regions(content: str) -> str:
         # Comment-style regions (.pre-commit-config.yaml)
         (r"# invar:begin\n.*?# invar:end\n?", ""),
     ]
+
+    # Also remove empty user region (only has template comments)
+    if _is_empty_user_region(content):
+        patterns.append((r"<!--invar:user-->.*?<!--/invar:user-->\n?", ""))
+    else:
+        # User region has real content - just remove the markers but keep content
+        patterns.append((r"<!--invar:user-->\n?", ""))
+        patterns.append((r"<!--/invar:user-->\n?", ""))
+        # Also clean invar-generated merge markers from user content
+        patterns.extend([
+            (r"<!-- =+ -->\n?", ""),
+            (r"<!-- MERGED CONTENT.*?-->\n?", ""),
+            (r"<!-- Original source:.*?-->\n?", ""),
+            (r"<!-- Merge date:.*?-->\n?", ""),
+            (r"<!-- END MERGED CONTENT -->\n?", ""),
+            (r"<!-- =+ -->\n?", ""),
+            (r"## Claude Analysis \(Preserved\)\n*", ""),
+        ])
+
     for pattern, replacement in patterns:
         content = re.sub(pattern, replacement, content, flags=re.DOTALL)
+
+    # Clean up trailing footer if nothing else left
+    content = re.sub(r"\n*---\n+\*Generated by.*?\*\s*$", "", content, flags=re.DOTALL)
+
+    # Clean up multiple blank lines
+    content = re.sub(r"\n{3,}", "\n\n", content)
+
     return content.strip()
 
 
@@ -84,6 +145,59 @@ def remove_mcp_invar_entry(path: Path) -> tuple[bool, str]:
         return False, ""
 
 
+# @shell_complexity: JSON parsing with conditional cleanup logic
+def remove_hooks_from_settings(path: Path) -> tuple[bool, str]:
+    """Remove Invar hooks from .claude/settings.local.json.
+
+    Uses merge strategy:
+    - Only removes Invar hooks (identified by .claude/hooks/ path)
+    - Preserves user's existing hooks
+    - Cleans up empty hook types and hooks section
+    """
+    settings_path = path / ".claude" / "settings.local.json"
+
+    try:
+        if not settings_path.exists():
+            return False, ""
+        content = settings_path.read_text()
+        data = json.loads(content)
+
+        if "hooks" not in data:
+            return False, content
+
+        existing_hooks = data["hooks"]
+        modified = False
+
+        # Filter out Invar hooks from each hook type
+        for hook_type in list(existing_hooks.keys()):
+            hook_list = existing_hooks[hook_type]
+            if isinstance(hook_list, list):
+                # Keep only non-Invar hooks
+                filtered = [h for h in hook_list if not is_invar_hook(h)]
+                if len(filtered) != len(hook_list):
+                    modified = True
+                if filtered:
+                    existing_hooks[hook_type] = filtered
+                else:
+                    # No hooks left for this type, remove the key
+                    del existing_hooks[hook_type]
+
+        # If no hooks left, remove the hooks section entirely
+        if not existing_hooks:
+            del data["hooks"]
+
+        if not modified:
+            return False, content
+
+        # If nothing left in data, indicate file can be deleted
+        if not data:
+            return True, ""
+
+        return True, json.dumps(data, indent=2)
+    except (OSError, json.JSONDecodeError):
+        return False, ""
+
+
 # @shell_complexity: Multi-file type detection requires comprehensive branching
 def collect_removal_targets(path: Path) -> dict:
     """Collect files and directories to remove/modify."""
@@ -146,16 +260,20 @@ def collect_removal_targets(path: Path) -> dict:
                     (f".claude/hooks/{hook_file.name}", "hook, has invar marker")
                 )
 
-    # CLAUDE.md - modify, not delete
+    # CLAUDE.md - delete if empty user region, otherwise modify
     claude_md = path / "CLAUDE.md"
     if claude_md.exists():
         content = claude_md.read_text()
         if "<!--invar:" in content:
-            # Check if there's user content
-            has_user_region = "<!--invar:user-->" in content
-            targets["modify_files"].append(
-                ("CLAUDE.md", f"remove invar regions{', keep user region' if has_user_region else ''}")
-            )
+            # Check if user region has real content
+            if _is_empty_user_region(content):
+                # Will be empty after cleanup - delete
+                targets["delete_files"].append(("CLAUDE.md", "no user content"))
+            else:
+                # Has user content - modify
+                targets["modify_files"].append(
+                    ("CLAUDE.md", "remove invar regions, keep user content")
+                )
 
     # .mcp.json - modify or delete
     mcp_json = path / ".mcp.json"
@@ -167,6 +285,20 @@ def collect_removal_targets(path: Path) -> dict:
             else:
                 targets["delete_files"].append((".mcp.json", "only had invar config"))
 
+    # settings.local.json - remove hooks section or delete if empty
+    settings_local = path / ".claude" / "settings.local.json"
+    if settings_local.exists():
+        modified, new_content = remove_hooks_from_settings(path)
+        if modified:
+            if new_content:
+                targets["modify_files"].append(
+                    (".claude/settings.local.json", "remove hooks section")
+                )
+            else:
+                targets["delete_files"].append(
+                    (".claude/settings.local.json", "only had hooks config")
+                )
+
     # Config files with region markers (DX-69: cursor/aider removed)
     for file_name in [".pre-commit-config.yaml"]:
         file_path = path / file_name
@@ -245,6 +377,11 @@ def execute_removal(path: Path, targets: dict) -> None:
             if modified and new_content:
                 file_path.write_text(new_content)
                 console.print(f"[yellow]Modified[/yellow] {file_name}")
+        elif file_name == ".claude/settings.local.json":
+            modified, new_content = remove_hooks_from_settings(path)
+            if modified and new_content:
+                file_path.write_text(new_content)
+                console.print(f"[yellow]Modified[/yellow] {file_name}")
         else:
             content = file_path.read_text()
             cleaned = remove_invar_regions(content)
@@ -270,6 +407,7 @@ def execute_removal(path: Path, targets: dict) -> None:
             console.print("[dim]Removed empty[/dim] .claude/")
 
 
+# @shell_complexity: CLI entry point with confirmation prompts and multi-target removal
 def uninstall(
     path: Path = typer.Argument(
         Path(),

invar/shell/contract_coverage.py

@@ -121,6 +121,7 @@ def count_contracts_in_file(
     return Success(result)
 
 
+# @shell_complexity: Git status parsing requires multiple branch conditions
 def get_changed_python_files(path: Path) -> Result[list[Path], str]:
     """Get Python files changed in git."""
     try:
@@ -153,6 +154,7 @@ def get_changed_python_files(path: Path) -> Result[list[Path], str]:
         return Failure("Git not found")
 
 
+# @shell_complexity: Coverage calculation with multiple file/directory handling paths
 def calculate_contract_coverage(
     path: Path, changed_only: bool = False
 ) -> Result[ContractCoverageReport, str]:
@@ -207,6 +209,7 @@ def calculate_contract_coverage(
     return Success(report)
 
 
+# @shell_complexity: Batch detection with git status parsing and threshold logic
 def detect_batch_creation(
     path: Path, threshold: int = 3
 ) -> Result[BatchWarning | None, str]:
@@ -263,7 +266,7 @@ def detect_batch_creation(
         return Success(None)
 
 
-# @shell_orchestration: Report formatting tightly coupled with CLI output
+# @shell_complexity: Report formatting with multiple conditional sections
 def format_contract_coverage_report(report: ContractCoverageReport) -> str:
     """Format coverage report for human-readable output."""
     lines = [

invar/shell/templates.py

@@ -76,11 +76,18 @@ def copy_template(
 
 # @shell_complexity: Config addition with existing file detection
 def add_config(path: Path, console) -> Result[bool, str]:
-    """Add configuration to project. Returns Success(True) if added, Success(False) if skipped."""
+    """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.
+    Backward compatible: still reads from invar.toml if it exists.
+    """
     pyproject = path / "pyproject.toml"
-    invar_toml = path / "invar.toml"
+    invar_dir = path / ".invar"
+    invar_config = invar_dir / "config.toml"
+    legacy_invar_toml = path / "invar.toml"
 
     try:
+        # Priority 1: Add to pyproject.toml if it exists
         if pyproject.exists():
             content = pyproject.read_text()
             if "[tool.invar]" not in content:
@@ -90,9 +97,15 @@ def add_config(path: Path, console) -> Result[bool, str]:
                 return Success(True)
             return Success(False)
 
-        if not invar_toml.exists():
-            invar_toml.write_text(_DEFAULT_INVAR_TOML)
-            console.print("[green]Created[/green] invar.toml")
+        # Skip if legacy invar.toml exists (backward compatibility)
+        if legacy_invar_toml.exists():
+            return Success(False)
+
+        # Create .invar/config.toml (DX-70: new default location)
+        if not invar_config.exists():
+            invar_dir.mkdir(exist_ok=True)
+            invar_config.write_text(_DEFAULT_INVAR_TOML)
+            console.print("[green]Created[/green] .invar/config.toml")
             return Success(True)
 
         return Success(False)
@@ -197,6 +210,7 @@ AGENT_CONFIGS = {
 }
 
 
+# @shell_complexity: Multi-agent config detection with file existence checks
 def detect_agent_configs(path: Path) -> Result[dict[str, str], str]:
     """
     Detect existing agent configuration files.
@@ -392,36 +406,28 @@ The server communicates via stdio and should be managed by your AI agent.
 
 # @shell_complexity: Git hooks installation with backup
 def install_hooks(path: Path, console) -> Result[bool, str]:
-    """Install pre-commit hooks configuration and activate them."""
+    """Run 'pre-commit install' if config exists (file created by sync_templates)."""
     import subprocess
 
     pre_commit_config = path / ".pre-commit-config.yaml"
 
-    if pre_commit_config.exists():
-        console.print("[yellow]Skipped[/yellow] .pre-commit-config.yaml (already exists)")
+    if not pre_commit_config.exists():
+        # File should be created by sync_templates; skip if missing
         return Success(False)
 
-    result = copy_template("pre-commit-config.yaml.template", path, ".pre-commit-config.yaml")
-    if isinstance(result, Failure):
-        return result
-
-    if result.unwrap():
-        console.print("[green]Created[/green] .pre-commit-config.yaml")
-
-        # Auto-install hooks (Automatic > Opt-in)
-        try:
-            subprocess.run(
-                ["pre-commit", "install"],
-                cwd=path,
-                check=True,
-                capture_output=True,
-            )
-            console.print("[green]Installed[/green] pre-commit hooks")
-        except FileNotFoundError:
-            console.print("[dim]Run: pre-commit install (pre-commit not in PATH)[/dim]")
-        except subprocess.CalledProcessError:
-            console.print("[dim]Run: pre-commit install (not a git repo?)[/dim]")
-
+    # Auto-install hooks (Automatic > Opt-in)
+    try:
+        subprocess.run(
+            ["pre-commit", "install"],
+            cwd=path,
+            check=True,
+            capture_output=True,
+        )
+        console.print("[green]Installed[/green] pre-commit hooks")
         return Success(True)
+    except FileNotFoundError:
+        console.print("[dim]Run: pre-commit install (pre-commit not in PATH)[/dim]")
+    except subprocess.CalledProcessError:
+        console.print("[dim]Run: pre-commit install (not a git repo?)[/dim]")
 
     return Success(False)

invar/templates/config/pre-commit.yaml.jinja

@@ -1,3 +1,4 @@
+# invar:begin
 # Invar Pre-commit Hooks v{{ version }}
 # Install: pre-commit install
 #
@@ -42,3 +43,4 @@ repos:
         pass_filenames: false
         stages: [pre-commit]
         types: [python]
+# invar:end

{invar_tools-1.7.0.dist-info → invar_tools-1.7.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.7.0
+Version: 1.7.1
 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
@@ -28,6 +28,7 @@ Requires-Dist: jinja2>=3.0
 Requires-Dist: mcp>=1.0
 Requires-Dist: pre-commit>=3.0
 Requires-Dist: pydantic>=2.0
+Requires-Dist: questionary>=2.0
 Requires-Dist: returns>=0.20
 Requires-Dist: rich>=13.0
 Requires-Dist: typer>=0.9
@@ -129,35 +130,24 @@ Guard passed.
 
 **Why uvx?** Always uses latest version, doesn't pollute project dependencies, auto-detects your project's venv.
 
-### 🆕 New Project
+### 🎯 Setup
 
 ```bash
-# 1. Enter your project directory
 cd your-project
 
-# 2. Initialize with Claude Code (full experience)
+# Interactive mode - choose what to install
+uvx invar-tools init
+
+# Or quick setup for Claude Code (skip prompts)
 uvx invar-tools init --claude
 
-# 3. Add runtime contracts to your project
+# Add runtime contracts to your project
 pip install invar-runtime
-# Or add to pyproject.toml: dependencies = ["invar-runtime"]
-
-# 4. Start coding with AI
 ```
 
-### 📁 Existing Project
-
-```bash
-cd your-project
-
-# Update managed files, preserve your customizations
-uvx invar-tools init --claude
-
-# Or without Claude Code integration
-uvx invar-tools init
-```
+**Safe and idempotent** — Run `invar init` anytime. It always **merges** with existing files, preserving your content.
 
-Invar's init is idempotent—safe to run multiple times. It detects existing configuration and updates only managed regions.
+> 💡 **After `claude /init`?** Just run `invar init` again to restore Invar configuration.
 
 ### 💬 Example Interaction
 
@@ -375,39 +365,57 @@ AlphaCodium · Parsel · Reflexion · Clover
 
 ---
 
-## 🖥️ Platform Experience
+## 🖥️ Agent Support
+
+| Agent | Status | Setup |
+|-------|--------|-------|
+| **Claude Code** | ✅ Full | `invar init` → select Claude Code |
+| **Pi / Cursor** | 🚧 In progress | `invar init` → select Other, include `AGENT.md` in prompt |
+| **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
-| Feature | Claude Code | Other Editors |
-|---------|-------------|---------------|
-| CLI verification (`invar guard`) | ✅ | ✅ |
-| Protocol document (INVAR.md) | ✅ | ✅ |
-| MCP tool integration | ✅ Auto-configured | Manual setup possible |
-| Workflow skills | ✅ Auto-configured | Include in system prompt |
-| Pre-commit hooks | ✅ | ✅ |
-| Sub-agent review | ✅ | — |
+### Claude Code (Full Experience)
 
-**Claude Code** provides the full experience—MCP tools, skill routing, and hooks are auto-configured by `invar init --claude`.
+All features auto-configured:
+- MCP tools (`invar_guard`, `invar_sig`, `invar_map`)
+- Workflow skills (`/develop`, `/review`, `/investigate`, `/propose`)
+- Claude Code hooks (tool guidance, verification reminders)
+- Pre-commit hooks
 
-**Other editors** can achieve similar results by:
-1. Adding INVAR.md content to system prompts
-2. Manually configuring MCP servers (if supported)
-3. Using CLI commands for verification
+### Pi / Cursor (In Progress)
+
+Currently available:
+- Protocol document (INVAR.md)
+- CLI verification (`invar guard`)
+- Pre-commit hooks
+- MCP server (manual configuration)
+
+### Other Editors (Manual)
+
+1. Run `invar init` → select "Other (AGENT.md)"
+2. Include generated `AGENT.md` in your agent's prompt
+3. Configure MCP server if supported
+4. Use CLI commands (`invar guard`) for verification
 
 ---
 
 ## 📂 What Gets Installed
 
-`invar init --claude` creates:
+`invar init` creates (select in interactive mode):
+
+| File/Directory | Purpose | Category |
+|----------------|---------|----------|
+| `INVAR.md` | Protocol for AI agents | Required |
+| `.invar/` | Config, context, examples | Required |
+| `.pre-commit-config.yaml` | Verification before commit | Optional |
+| `src/core/`, `src/shell/` | Recommended structure | Optional |
+| `CLAUDE.md` | Agent instructions | Claude Code |
+| `.claude/skills/` | Workflow automation | Claude Code |
+| `.claude/commands/` | User commands (/audit, /guard) | Claude Code |
+| `.claude/hooks/` | Tool guidance | Claude Code |
+| `.mcp.json` | MCP server config | Claude Code |
+| `AGENT.md` | Universal agent instructions | Other agents |
 
-| File/Directory | Purpose | Editable? |
-|----------------|---------|-----------|
-| `INVAR.md` | Protocol for AI agents | No (managed) |
-| `CLAUDE.md` | Project configuration | Yes |
-| `.claude/skills/` | Workflow skills | Yes |
-| `.claude/hooks/` | Tool call interception | Yes |
-| `.invar/examples/` | Reference patterns | No (managed) |
-| `.invar/context.md` | Project state, lessons | Yes |
-| `pyproject.toml` | `[tool.invar]` section | Yes |
+**Note:** If `pyproject.toml` exists, Guard configuration goes there as `[tool.invar.guard]` instead of `.invar/config.toml`.
 
 **Recommended structure:**
 
@@ -473,7 +481,9 @@ rules = ["missing_contract", "shell_result"]
 | `invar guard` | Full verification (static + doctest + property + symbolic) |
 | `invar guard --changed` | Only git-modified files |
 | `invar guard --static` | Static analysis only (~0.5s) |
-| `invar init` | Initialize or update project |
+| `invar init` | Initialize or update project (interactive) |
+| `invar init --claude` | Quick setup for Claude Code |
+| `invar uninstall` | Remove Invar from project (preserves user content) |
 | `invar sig <file>` | Show signatures and contracts |
 | `invar map` | Symbol map with reference counts |
 | `invar rules` | List all rules |

{invar_tools-1.7.0.dist-info → invar_tools-1.7.1.dist-info}/RECORD

@@ -30,7 +30,7 @@ invar/core/tautology.py,sha256=Pmn__a0Bt55W0lAQo1G5q8Ory9KuE23dRknKw45xxbs,9221
 invar/core/template_parser.py,sha256=vH3H8OX55scZ1hWh3xoA8oJMhgleKufCOhkTvsSuu_4,14730
 invar/core/timeout_inference.py,sha256=BS2fJGmwOrLpYZUku4qrizgNDSIXVLFBslW-6sRAvpc,3451
 invar/core/trivial_detection.py,sha256=KYP8jJb7QDeusAxFdX5NAML_H0NL5wLgMeBWDQmNqfU,6086
-invar/core/utils.py,sha256=4ani-6XcWF__sD0c_tKcCA2FunaF2pYIfvR5BACWkDg,14168
+invar/core/utils.py,sha256=PyW8dcTLUEFD81xcvkz-LNnCwjIQefn08OUh23fM_Po,14266
 invar/core/verification_routing.py,sha256=_jXi1txFCcUdnB3-Yavtuyk8N-XhEO_Vu_051Vuz27Y,5020
 invar/core/patterns/__init__.py,sha256=79a3ucN0BI54RnIOe49lngKASpADygs1hll9ROCrP6s,1429
 invar/core/patterns/detector.py,sha256=lZ2HPtDJDiGps8Y3e7jds3naZa1oGqDDscHRSX5Vv0s,8297
@@ -45,9 +45,9 @@ invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
 invar/mcp/server.py,sha256=ay-w2YfSa1kTmBFx3x3jEgmNRC3NFEW0EYuZRt7M39w,12244
 invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
-invar/shell/claude_hooks.py,sha256=kxkdF2gwTWcGpglccDi6-8IN1zRwelDG6Lg1VPYQgyA,12912
+invar/shell/claude_hooks.py,sha256=KJAQ-a7-mvabJ2fgsC9wPMakvi7J43GCU6ZcpWwKYFg,16180
 invar/shell/config.py,sha256=6-kbo6--SxfROXoyU-v7InSLR8f_U1Mar_xEOdCXFkY,17633
-invar/shell/contract_coverage.py,sha256=2RiXC9RBV__cKLHu0KKOWRxEgYVQNNAPAdwBjYenNHQ,11780
+invar/shell/contract_coverage.py,sha256=UPn-lEqrAFu00fl7v9PnSvNwS7KX3_SV1K_GhynQ9cw,12023
 invar/shell/coverage.py,sha256=m01o898IFIdBztEBQLwwL1Vt5PWrpUntO4lv4nWEkls,11344
 invar/shell/fs.py,sha256=wVD7DPWsCIJXuTyY_pi-5_LS82mXRdn_grJCOLn9zpU,3699
 invar/shell/git.py,sha256=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
@@ -59,19 +59,19 @@ invar/shell/pattern_integration.py,sha256=pRcjfq3NvMW_tvQCnaXZnD1k5AVEWK8CYOE2jN
 invar/shell/property_tests.py,sha256=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
 invar/shell/subprocess_env.py,sha256=9oXl3eMEbzLsFEgMHqobEw6oW_wV0qMEP7pklwm58Pw,11453
 invar/shell/template_engine.py,sha256=IzOiGsKVFo0lDUdtg27wMzIJJKToclv151RDZuDnHHo,11027
-invar/shell/templates.py,sha256=wVG78wBoVB-SOugfqaKj6xklwSDpEyjeEOGE6EKcS0s,13387
+invar/shell/templates.py,sha256=30eT61HXPA6DmsgUyUqljZNGGtB9TSR-aAaI4fmKAco,13722
 invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
 invar/shell/commands/guard.py,sha256=vDBGOFb9mQ1D8eXrMvQB505GpjO1XLeCLrv2ig9-6dU,21718
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=7PhXVjnhsY-1o2kBWRfoUPvSjopB0jRjazLe4P_FyZQ,16339
+invar/shell/commands/init.py,sha256=wAPPIDpoJyNOhrD09LldRg8w76mWv0r5qTcqlPWc920,13411
 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=TyH_HpqyKkmE3-zcU4YyBG8ghwJaSFeRC-OQMVBDTbQ,3837
 invar/shell/commands/sync_self.py,sha256=nmqBry7V2_enKwy2zzHg8UoedZNicLe3yKDhjmBeZ68,3880
 invar/shell/commands/template_sync.py,sha256=wVZ-UvJ1wpN2UBcWMfbei0n46XHYx-zRbMA2oX6FSi4,13723
 invar/shell/commands/test.py,sha256=goMf-ovvzEyWQMheq4YlJ-mwK5-w3lDj0cq0IA_1-_c,4205
-invar/shell/commands/uninstall.py,sha256=f8kGBwkdYycQ5eIdfveIefTw9ZSU6D4OyUuHt8ScUTY,12166
+invar/shell/commands/uninstall.py,sha256=u1fqE2jCod2KxFMEYbtC4UFK1zuxzoaQKQzZdAjQcDE,17368
 invar/shell/commands/update.py,sha256=0V5F8vxQ6PHPHPVYDmxdRD7xXeQEFypiJMYpY5ryiek,1349
 invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
 invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
@@ -82,13 +82,12 @@ invar/templates/CLAUDE.md.template,sha256=eaGU3SyRO_NEifw5b26k3srgQH4jyeujjCJ-Hb
 invar/templates/__init__.py,sha256=cb3ht8KPK5oBn5oG6HsTznujmo9WriJ_P--fVxJwycc,45
 invar/templates/context.md.template,sha256=FKyI1ghpqcf4wftyv9-auIFHor8Nm8lETN45Ja-L8Og,2386
 invar/templates/manifest.toml,sha256=cEe7yEOOeaLmOF-PrwZXxiPGjHhsSJYkWBKRHDmSbac,4268
-invar/templates/pre-commit-config.yaml.template,sha256=ZMqiStLCf9cC4uL2JoF59aYv_G4AV-roGdkj1tWHCBc,1763
 invar/templates/proposal.md.template,sha256=UP7SpQ7gk8jVlHGLQCSQ5c-kCj1DBQEz8M-vEStK77I,1573
 invar/templates/commands/audit.md,sha256=OrotO8420zTKnlNyAyL1Eos0VIaihzEU4AHdfDv68Oc,4162
 invar/templates/commands/guard.md,sha256=N_C_AXd9kI85W1B0aTEycjiDp_jdaP8eeq8O0FQ_WQ8,1227
 invar/templates/config/CLAUDE.md.jinja,sha256=VbtDWxn3H8qiE9-DV1hlG3DJ-GcBQU4ZiUHbFh6Bxxk,7814
 invar/templates/config/context.md.jinja,sha256=_kJ8erEQNJMLDCKrv4BXWkO6OaGzE-zW9biCf7144aY,3103
-invar/templates/config/pre-commit.yaml.jinja,sha256=Qflmii8hngHciSgfa8mIlg3-E3D4b0xflm0-Q-cWcCc,1752
+invar/templates/config/pre-commit.yaml.jinja,sha256=nUPxLxkTHAgZwhFAuOMDbZ8v0NQV9FlQPbr2MDEOsoA,1778
 invar/templates/examples/README.md,sha256=xMcJZ1KEcfLJi5Ope_4FIbqDWKK3mRleAgllvgeNT6I,572
 invar/templates/examples/conftest.py,sha256=uKA4NR7nyZWeSzY0URdZtw5zCcJpU32jNcaSKrI1Mxc,152
 invar/templates/examples/contracts.py,sha256=uqJ6Y1GADo246MjFKoLY-_2E74cfBQsLO4vTqYcR81c,3241
@@ -104,10 +103,10 @@ invar/templates/skills/develop/SKILL.md.jinja,sha256=3coPSZGh1-YKN9Xc_xcEkfEP3S0
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=bOLdLMH5WUVBYOo4NpsfyvI6xx7I1lCNr_X-8bMe_kg,2744
 invar/templates/skills/propose/SKILL.md.jinja,sha256=_iDLYN6-cfzA8n0_8sv-Dnpm1xq9IIpcDyM10mU2WUA,2420
 invar/templates/skills/review/SKILL.md.jinja,sha256=e7HULz1jjLOlk2LYejQMk2F-cu7dDIwvh6lWNjx3j-Q,14123
-invar_tools-1.7.0.dist-info/METADATA,sha256=JKBCWf7HkEIrD3m3VC7fHLA7REki-dlk1l0HxsgPFW4,16964
-invar_tools-1.7.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.7.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.7.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.7.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.7.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.7.0.dist-info/RECORD,,
+invar_tools-1.7.1.dist-info/METADATA,sha256=dBk4N2qRISfYrc6Rr66eY08_me9Rqfyq34RDBCaEj1s,17600
+invar_tools-1.7.1.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.7.1.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.7.1.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.7.1.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.7.1.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.7.1.dist-info/RECORD,,

invar/templates/pre-commit-config.yaml.template

@@ -1,46 +0,0 @@
-# invar:begin
-# Invar Pre-commit Hooks
-# Install: pre-commit install
-#
-# Default runs full verification (static + doctests + CrossHair + Hypothesis).
-# Incremental mode makes this fast: ~5s first commit, ~2s subsequent (cached).
-#
-# Smart Guard: Detects rule-affecting file changes and runs full guard when needed.
-# Structure Protection: Warns if INVAR.md is modified directly.
-
-repos:
-  - repo: local
-    hooks:
-      # Warn if INVAR.md is modified directly (use --no-verify if intentional)
-      - id: invar-md-protected
-        name: INVAR.md Protection
-        entry: bash -c 'if git diff --cached --name-only | grep -q "^INVAR.md$"; then echo "Warning - INVAR.md was modified directly. Use git commit --no-verify if intentional."; exit 1; fi'
-        language: system
-        pass_filenames: false
-        stages: [pre-commit]
-
-      # Invar Guard (full verification by default)
-      # Uses incremental mode: only verifies changed files, caches results
-      # Smart mode: runs full guard when rule files change, --changed otherwise
-      - id: invar-guard
-        name: Invar Guard
-        entry: bash -c '
-          RULE_FILES="rule_meta.py rules.py contracts.py purity.py pyproject.toml"
-          STAGED=$(git diff --cached --name-only)
-          FULL=false
-          for f in $RULE_FILES; do
-            if echo "$STAGED" | grep -q "$f"; then FULL=true; break; fi
-          done
-          if [ "$FULL" = true ]; then
-            echo "⚠️  Rule change detected - running FULL guard"
-            invar guard
-          else
-            invar guard --changed
-          fi
-        '
-        language: python
-        additional_dependencies: ['invar-tools']
-        pass_filenames: false
-        stages: [pre-commit]
-        types: [python]
-# invar:end