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

invar/shell/commands/guard.py

@@ -521,9 +521,11 @@ from invar.shell.commands.init import init
 from invar.shell.commands.mutate import mutate  # DX-28
 from invar.shell.commands.sync_self import sync_self  # DX-49
 from invar.shell.commands.test import test, verify
+from invar.shell.commands.uninstall import uninstall  # DX-69
 from invar.shell.commands.update import update
 
 app.command()(init)
+app.command()(uninstall)  # DX-69: Remove Invar from project
 app.command()(update)
 app.command()(test)
 app.command()(verify)

invar/shell/commands/init.py

@@ -38,8 +38,6 @@ from invar.shell.mcp_config import (
 from invar.shell.template_engine import generate_from_manifest
 from invar.shell.templates import (
     add_config,
-    add_invar_reference,
-    create_agent_config,
     create_directories,
     detect_agent_configs,
     install_hooks,
@@ -65,18 +63,17 @@ def run_claude_init(path: Path) -> bool:
 
     console.print("\n[bold]Running claude /init...[/bold]")
     try:
+        # Don't capture output - claude /init is interactive and needs user input
         result = subprocess.run(
             ["claude", "/init"],
             cwd=path,
-            capture_output=True,
-            text=True,
             timeout=120,
         )
         if result.returncode == 0:
             console.print("[green]claude /init completed successfully[/green]")
             return True
         else:
-            console.print(f"[yellow]Warning:[/yellow] claude /init failed: {result.stderr}")
+            console.print("[yellow]Warning:[/yellow] claude /init failed")
             return False
     except subprocess.TimeoutExpired:
         console.print("[yellow]Warning:[/yellow] claude /init timed out")
@@ -86,57 +83,6 @@ def run_claude_init(path: Path) -> bool:
         return False
 
 
-def append_invar_reference_to_claude_md(path: Path) -> bool:
-    """
-    Append Invar reference to existing CLAUDE.md.
-
-    Preserves content generated by 'claude /init'.
-    Returns True if modified, False otherwise.
-    """
-    claude_md = path / "CLAUDE.md"
-    if not claude_md.exists():
-        return False
-
-    content = claude_md.read_text()
-    if "INVAR.md" in content:
-        console.print("[dim]CLAUDE.md already references INVAR.md[/dim]")
-        return False
-
-    # Append reference at the end
-    invar_reference = """
-
----
-
-## Invar Protocol
-
-> **Protocol:** Follow [INVAR.md](./INVAR.md) — includes Check-In, USBV workflow, and Task Completion.
-
-### Check-In
-
-Your first message MUST display:
-
-```
-✓ Check-In: [project] | [branch] | [clean/dirty]
-```
-
-Read `.invar/context.md` first. Do NOT run guard/map at Check-In.
-
-### Final
-
-Your last message MUST display:
-
-```
-✓ Final: guard PASS | 0 errors, 2 warnings
-```
-
-Execute `invar guard` and show this one-line summary.
-"""
-
-    claude_md.write_text(content + invar_reference)
-    console.print("[green]Updated[/green] CLAUDE.md (added Invar reference)")
-    return True
-
-
 # @shell_complexity: MCP config with method selection and validation
 def configure_mcp_with_method(
     path: Path, mcp_method: str | None
@@ -312,11 +258,9 @@ def init(
             return
 
     # DX-21B: Run claude /init if requested (before sync)
+    # DX-69: sync_templates() will merge claude's CLAUDE.md with invar template
     if claude:
-        claude_success = run_claude_init(path)
-        if claude_success:
-            # Append Invar reference to generated CLAUDE.md
-            append_invar_reference_to_claude_md(path)
+        run_claude_init(path)
 
     config_result = add_config(path, console)
     if isinstance(config_result, Failure):
@@ -371,28 +315,13 @@ def init(
         if isinstance(result, Success) and result.unwrap():
             console.print("[green]Created[/green] .invar/proposals/TEMPLATE.md")
 
-    # Agent detection and configuration (DX-11)
+    # Agent detection (DX-69: simplified, only Claude Code supported)
     console.print("\n[bold]Checking for agent configurations...[/bold]")
     agent_result = detect_agent_configs(path)
-    if isinstance(agent_result, Failure):
-        console.print(f"[yellow]Warning:[/yellow] {agent_result.failure()}")
-        agent_status: dict[str, str] = {}
-    else:
+    if isinstance(agent_result, Success):
         agent_status = agent_result.unwrap()
-
-    # Handle agent configs (DX-11, DX-17)
-    for agent, status in agent_status.items():
-        if status == "configured":
-            console.print(f"  [green]✓[/green] {agent}: already configured")
-        elif status == "found":
-            # Existing file without Invar reference - ask before modifying
-            if yes or typer.confirm(f"  Add Invar reference to {agent} config?", default=True):
-                add_invar_reference(path, agent, console)
-            else:
-                console.print(f"  [yellow]○[/yellow] {agent}: skipped")
-        elif status == "not_found":
-            # Create full template with workflow enforcement (DX-17)
-            create_agent_config(path, agent, console)
+        if agent_status.get("claude") == "configured":
+            console.print("  [green]✓[/green] claude: already configured")
 
     # Configure MCP server (DX-16, DX-21B)
     configure_mcp_with_method(path, mcp_method)

invar/shell/commands/uninstall.py

@@ -0,0 +1,341 @@
+"""
+DX-69: Uninstall Invar from a project.
+
+Safely removes Invar files and configurations while preserving user content.
+Uses marker-based detection to identify Invar-generated content.
+"""
+
+from __future__ import annotations
+
+import json
+import re
+import shutil
+from pathlib import Path
+
+import typer
+from rich.console import Console
+
+console = Console()
+
+
+def has_invar_marker(path: Path) -> bool:
+    """Check if a file has Invar markers (_invar: or <!--invar:)."""
+    try:
+        content = path.read_text()
+        return "_invar:" in content or "<!--invar:" in content
+    except (OSError, UnicodeDecodeError):
+        return False
+
+
+def has_invar_region_marker(path: Path) -> bool:
+    """Check if a file has # invar:begin marker."""
+    try:
+        content = path.read_text()
+        return "# invar:begin" in content
+    except (OSError, UnicodeDecodeError):
+        return False
+
+
+def has_invar_hook_marker(path: Path) -> bool:
+    """Check if a hook file has invar marker."""
+    try:
+        content = path.read_text()
+        # Invar hooks have specific patterns
+        return "invar" in content.lower() and (
+            "INVAR_" in content
+            or "invar guard" in content
+            or "invar_guard" in content
+            or "invar." in content.lower()  # wrapper files: source invar.PreToolUse.sh
+            or "invar hook" in content.lower()  # comment: # Invar hook wrapper
+        )
+    except (OSError, UnicodeDecodeError):
+        return False
+
+
+# @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."""
+    patterns = [
+        # HTML-style regions (CLAUDE.md)
+        (r"<!--invar:critical-->.*?<!--/invar:critical-->\n?", ""),
+        (r"<!--invar:managed[^>]*-->.*?<!--/invar:managed-->\n?", ""),
+        (r"<!--invar:project-->.*?<!--/invar:project-->\n?", ""),
+        # Comment-style regions (.pre-commit-config.yaml)
+        (r"# invar:begin\n.*?# invar:end\n?", ""),
+    ]
+    for pattern, replacement in patterns:
+        content = re.sub(pattern, replacement, content, flags=re.DOTALL)
+    return content.strip()
+
+
+def remove_mcp_invar_entry(path: Path) -> tuple[bool, str]:
+    """Remove invar entry from .mcp.json, return (modified, new_content)."""
+    try:
+        content = path.read_text()
+        data = json.loads(content)
+        if "mcpServers" in data and "invar" in data["mcpServers"]:
+            del data["mcpServers"]["invar"]
+            # If no servers left, indicate file can be deleted
+            if not data["mcpServers"]:
+                return True, ""
+            return True, json.dumps(data, indent=2)
+        return False, content
+    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."""
+    targets = {
+        "delete_dirs": [],
+        "delete_files": [],
+        "modify_files": [],
+        "skip": [],
+    }
+
+    # Directories to delete entirely
+    invar_dir = path / ".invar"
+    if invar_dir.exists():
+        targets["delete_dirs"].append((".invar/", "directory"))
+
+    # Files to delete entirely
+    for file_name, description in [
+        ("invar.toml", "config"),
+        ("INVAR.md", "protocol"),
+    ]:
+        file_path = path / file_name
+        if file_path.exists():
+            targets["delete_files"].append((file_name, description))
+
+    # Skills with _invar marker
+    skills_dir = path / ".claude" / "skills"
+    if skills_dir.exists():
+        for skill_dir in skills_dir.iterdir():
+            if skill_dir.is_dir():
+                skill_file = skill_dir / "SKILL.md"
+                if skill_file.exists():
+                    if has_invar_marker(skill_file):
+                        targets["delete_dirs"].append(
+                            (f".claude/skills/{skill_dir.name}/", "skill, has _invar marker")
+                        )
+                    else:
+                        targets["skip"].append(
+                            (f".claude/skills/{skill_dir.name}/", "no _invar marker")
+                        )
+
+    # Commands with _invar marker
+    commands_dir = path / ".claude" / "commands"
+    if commands_dir.exists():
+        for cmd_file in commands_dir.glob("*.md"):
+            if has_invar_marker(cmd_file):
+                targets["delete_files"].append(
+                    (f".claude/commands/{cmd_file.name}", "command, has _invar marker")
+                )
+            else:
+                targets["skip"].append(
+                    (f".claude/commands/{cmd_file.name}", "no _invar marker")
+                )
+
+    # Hooks with invar marker
+    hooks_dir = path / ".claude" / "hooks"
+    if hooks_dir.exists():
+        for hook_file in hooks_dir.glob("*.sh"):
+            if has_invar_hook_marker(hook_file):
+                targets["delete_files"].append(
+                    (f".claude/hooks/{hook_file.name}", "hook, has invar marker")
+                )
+
+    # CLAUDE.md - modify, not delete
+    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 ''}")
+            )
+
+    # .mcp.json - modify or delete
+    mcp_json = path / ".mcp.json"
+    if mcp_json.exists():
+        modified, new_content = remove_mcp_invar_entry(mcp_json)
+        if modified:
+            if new_content:
+                targets["modify_files"].append((".mcp.json", "remove mcpServers.invar"))
+            else:
+                targets["delete_files"].append((".mcp.json", "only had invar config"))
+
+    # Config files with region markers (DX-69: cursor/aider removed)
+    for file_name in [".pre-commit-config.yaml"]:
+        file_path = path / file_name
+        if file_path.exists():
+            if has_invar_region_marker(file_path):
+                content = file_path.read_text()
+                cleaned = remove_invar_regions(content)
+                if cleaned:
+                    targets["modify_files"].append((file_name, "remove invar:begin..end block"))
+                else:
+                    targets["delete_files"].append((file_name, "only had invar content"))
+            else:
+                targets["skip"].append((file_name, "no invar:begin marker"))
+
+    # Empty directories to clean up
+    for dir_name in ["src/core", "src/shell"]:
+        dir_path = path / dir_name
+        if dir_path.exists() and dir_path.is_dir():
+            if not any(dir_path.iterdir()):
+                targets["delete_dirs"].append((dir_name, "empty directory"))
+
+    return targets
+
+
+# @shell_complexity: Rich output formatting for different target categories
+def show_preview(targets: dict) -> None:
+    """Display what would be removed/modified."""
+    console.print("\n[bold]Invar Uninstall Preview[/bold]")
+    console.print("=" * 40)
+
+    if targets["delete_dirs"] or targets["delete_files"]:
+        console.print("\n[red]Will DELETE:[/red]")
+        for item, desc in targets["delete_dirs"]:
+            console.print(f"  {item:40} ({desc})")
+        for item, desc in targets["delete_files"]:
+            console.print(f"  {item:40} ({desc})")
+
+    if targets["modify_files"]:
+        console.print("\n[yellow]Will MODIFY:[/yellow]")
+        for item, desc in targets["modify_files"]:
+            console.print(f"  {item:40} ({desc})")
+
+    if targets["skip"]:
+        console.print("\n[dim]Will SKIP:[/dim]")
+        for item, desc in targets["skip"]:
+            console.print(f"  {item:40} ({desc})")
+
+    console.print()
+
+
+# @shell_complexity: Different file types require different removal strategies
+def execute_removal(path: Path, targets: dict) -> None:
+    """Execute the removal/modification operations."""
+    # Delete directories
+    for dir_name, _ in targets["delete_dirs"]:
+        dir_path = path / dir_name.rstrip("/")
+        if dir_path.exists():
+            shutil.rmtree(dir_path)
+            console.print(f"[red]Deleted[/red] {dir_name}")
+
+    # Delete files
+    for file_name, _ in targets["delete_files"]:
+        file_path = path / file_name
+        if file_path.exists():
+            file_path.unlink()
+            console.print(f"[red]Deleted[/red] {file_name}")
+
+    # Modify files
+    for file_name, _desc in targets["modify_files"]:
+        file_path = path / file_name
+        if not file_path.exists():
+            continue
+
+        if file_name == ".mcp.json":
+            modified, new_content = remove_mcp_invar_entry(file_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)
+            if cleaned:
+                file_path.write_text(cleaned + "\n")
+                console.print(f"[yellow]Modified[/yellow] {file_name}")
+            else:
+                file_path.unlink()
+                console.print(f"[red]Deleted[/red] {file_name} (empty after cleanup)")
+
+    # Clean up empty .claude directory if it exists and is empty
+    claude_dir = path / ".claude"
+    if claude_dir.exists():
+        # Check subdirectories
+        for subdir in ["skills", "commands", "hooks"]:
+            subdir_path = claude_dir / subdir
+            if subdir_path.exists() and not any(subdir_path.iterdir()):
+                subdir_path.rmdir()
+                console.print(f"[dim]Removed empty[/dim] .claude/{subdir}/")
+        # Check if .claude itself is empty
+        if not any(claude_dir.iterdir()):
+            claude_dir.rmdir()
+            console.print("[dim]Removed empty[/dim] .claude/")
+
+
+def uninstall(
+    path: Path = typer.Argument(
+        Path(),
+        help="Project path",
+        exists=True,
+        file_okay=False,
+        dir_okay=True,
+        resolve_path=True,
+    ),
+    dry_run: bool = typer.Option(
+        False,
+        "--dry-run",
+        "-n",
+        help="Show what would be removed without removing",
+    ),
+    force: bool = typer.Option(
+        False,
+        "--force",
+        "-f",
+        help="Skip confirmation prompt",
+    ),
+) -> None:
+    """Remove Invar from a project.
+
+    Safely removes Invar-generated files and configurations while
+    preserving user content. Uses marker-based detection.
+
+    Examples:
+        invar uninstall --dry-run    # Preview changes
+        invar uninstall              # Remove with confirmation
+        invar uninstall --force      # Remove without confirmation
+    """
+    # Check if this is an Invar project
+    invar_toml = path / "invar.toml"
+    invar_md = path / "INVAR.md"
+    invar_dir = path / ".invar"
+
+    if not (invar_toml.exists() or invar_md.exists() or invar_dir.exists()):
+        console.print("[yellow]Warning:[/yellow] This doesn't appear to be an Invar project.")
+        console.print("No invar.toml, INVAR.md, or .invar/ directory found.")
+        raise typer.Exit(1)
+
+    # Collect targets
+    targets = collect_removal_targets(path)
+
+    # Check if there's anything to do
+    if not any([targets["delete_dirs"], targets["delete_files"], targets["modify_files"]]):
+        console.print("[green]Nothing to remove.[/green] Project is clean.")
+        raise typer.Exit(0)
+
+    # Show preview
+    show_preview(targets)
+
+    # Dry run exits here
+    if dry_run:
+        console.print("[dim]Dry run complete. No changes made.[/dim]")
+        raise typer.Exit(0)
+
+    # Confirmation
+    if not force:
+        confirm = typer.confirm("Proceed with uninstall?", default=False)
+        if not confirm:
+            console.print("[dim]Cancelled.[/dim]")
+            raise typer.Exit(0)
+
+    # Execute
+    execute_removal(path, targets)
+
+    console.print("\n[green]✓ Invar has been removed from the project.[/green]")

invar/shell/templates.py

@@ -187,30 +187,16 @@ def copy_skills_directory(dest: Path, console) -> Result[bool, str]:
         return Failure(f"Failed to copy skills: {e}")
 
 
-# Agent configuration for multi-agent support (DX-11, DX-17)
+# Agent configuration - Claude Code only (DX-69: simplified, cursor/aider removed)
 AGENT_CONFIGS = {
     "claude": {
         "file": "CLAUDE.md",
         "template": "CLAUDE.md.template",
-        "reference": '> **Protocol:** Follow [INVAR.md](./INVAR.md) for the Invar development methodology.\n',
-        "check_pattern": "INVAR.md",
-    },
-    "cursor": {
-        "file": ".cursorrules",
-        "template": "cursorrules.template",
-        "reference": "Follow the Invar Protocol in INVAR.md.\n\n",
-        "check_pattern": "INVAR.md",
-    },
-    "aider": {
-        "file": ".aider.conf.yml",
-        "template": "aider.conf.yml.template",
-        "reference": "# Follow the Invar Protocol in INVAR.md\nread:\n  - INVAR.md\n",
         "check_pattern": "INVAR.md",
     },
 }
 
 
-# @shell_complexity: Agent config detection across multiple locations
 def detect_agent_configs(path: Path) -> Result[dict[str, str], str]:
     """
     Detect existing agent configuration files.
@@ -244,61 +230,6 @@ def detect_agent_configs(path: Path) -> Result[dict[str, str], str]:
         return Failure(f"Failed to detect agent configs: {e}")
 
 
-# @shell_complexity: Reference addition with existing check
-def add_invar_reference(path: Path, agent: str, console) -> Result[bool, str]:
-    """Add Invar reference to an existing agent config file."""
-    if agent not in AGENT_CONFIGS:
-        return Failure(f"Unknown agent: {agent}")
-
-    config = AGENT_CONFIGS[agent]
-    config_path = path / config["file"]
-
-    if not config_path.exists():
-        return Failure(f"Config file not found: {config['file']}")
-
-    try:
-        content = config_path.read_text()
-        if config["check_pattern"] in content:
-            return Success(False)  # Already configured
-
-        # Prepend reference
-        new_content = config["reference"] + content
-        config_path.write_text(new_content)
-        console.print(f"[green]Updated[/green] {config['file']} (added Invar reference)")
-        return Success(True)
-    except OSError as e:
-        return Failure(f"Failed to update {config['file']}: {e}")
-
-
-# @shell_complexity: Config creation with template selection
-def create_agent_config(path: Path, agent: str, console) -> Result[bool, str]:
-    """
-    Create agent config from template (DX-17).
-
-    Creates full template file for agents that don't have an existing config.
-    """
-    if agent not in AGENT_CONFIGS:
-        return Failure(f"Unknown agent: {agent}")
-
-    config = AGENT_CONFIGS[agent]
-    config_path = path / config["file"]
-
-    if config_path.exists():
-        return Success(False)  # Already exists
-
-    # Use template if available
-    template_name = config.get("template")
-    if template_name:
-        result = copy_template(template_name, path, config["file"])
-        if isinstance(result, Success) and result.unwrap():
-            console.print(f"[green]Created[/green] {config['file']} (Invar workflow enforcement)")
-            return Success(True)
-        elif isinstance(result, Failure):
-            return result
-
-    return Success(False)
-
-
 # @shell_complexity: MCP server config with JSON manipulation
 def configure_mcp_server(path: Path, console) -> Result[list[str], str]:
     """

invar/templates/commands/audit.md

@@ -1,3 +1,9 @@
+---
+_invar:
+  version: "5.0"
+  type: command
+---
+
 # Audit
 
 Read-only code review. Reports issues without fixing them.

invar/templates/commands/guard.md

@@ -1,3 +1,9 @@
+---
+_invar:
+  version: "5.0"
+  type: command
+---
+
 # Guard
 
 Run Invar verification on the project and report results.

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

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

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

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

@@ -59,18 +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=l2En95E8jRVlojdQIqdZgRLVB43f_b1d_AJapKkozwA,15908
+invar/shell/templates.py,sha256=wVG78wBoVB-SOugfqaKj6xklwSDpEyjeEOGE6EKcS0s,13387
 invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
-invar/shell/commands/guard.py,sha256=QJhL3vI_PzAPuGbi2GhxOdmHSIXtaoNuJxjgXTW3JRQ,21595
+invar/shell/commands/guard.py,sha256=vDBGOFb9mQ1D8eXrMvQB505GpjO1XLeCLrv2ig9-6dU,21718
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=UzHLfAP9ddIY32HrLd32nUveFcHnB0HlbMcIgtfob9Y,18297
+invar/shell/commands/init.py,sha256=7PhXVjnhsY-1o2kBWRfoUPvSjopB0jRjazLe4P_FyZQ,16339
 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/update.py,sha256=0V5F8vxQ6PHPHPVYDmxdRD7xXeQEFypiJMYpY5ryiek,1349
 invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
 invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
@@ -79,14 +80,12 @@ invar/shell/prove/crosshair.py,sha256=4Z_iIYBlkp-I6FqSYZa89wWB09V4Ouw2PduYhTn6rf
 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
-invar/templates/aider.conf.yml.template,sha256=4xzSs3BXzFJvwdhnWbmzSY0yCbfx5oxqnV8ZjehqHBg,853
 invar/templates/context.md.template,sha256=FKyI1ghpqcf4wftyv9-auIFHor8Nm8lETN45Ja-L8Og,2386
-invar/templates/cursorrules.template,sha256=N6AiEJRJHGkHm2tswh3PnZ_07ozeyQQI8iEOGK5Aqoc,1023
 invar/templates/manifest.toml,sha256=cEe7yEOOeaLmOF-PrwZXxiPGjHhsSJYkWBKRHDmSbac,4268
-invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE88YOlL5IZ93wkjCgQGo,1737
+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=eXBySlQrVyk054vYQWAZYzj-HgT2QXhpzziw6GlIeGM,4112
-invar/templates/commands/guard.md,sha256=PyeAKfrmlXsgbrTDypQqXmTDKK1JHKhHEQrHqftA7X0,1177
+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
@@ -105,10 +104,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.6.0.dist-info/METADATA,sha256=8_ISE8BAkc9wl7CmsPffsLT2mulMUhDAXF78v08ySPk,16964
-invar_tools-1.6.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.6.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.6.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.6.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.6.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.6.0.dist-info/RECORD,,
+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/templates/aider.conf.yml.template

@@ -1,31 +0,0 @@
-# Invar Protocol Configuration for Aider
-# Follow the Invar Protocol in INVAR.md
-
-# Auto-read protocol files at session start
-read:
-  - INVAR.md
-  - .invar/examples/contracts.py
-  - .invar/examples/core_shell.py
-  - .invar/context.md
-
-# System prompt addition
-system-prompt: |
-  Follow the Invar Protocol in INVAR.md.
-
-  ## Check-In
-  Your first message MUST display:
-  ✓ Check-In: [project] | [branch] | [clean/dirty]
-
-  Read .invar/context.md first. Do NOT run guard/map at Check-In.
-  This is your sign-in. No visible check-in = Session not started.
-
-  ## Final
-  Your last message MUST display:
-  ✓ Final: guard PASS | 0 errors, 2 warnings
-
-  Execute: invar guard
-  This is your sign-out. Completes the Check-In/Final pair.
-
-  ## Workflow (USBV)
-  Understand → Specify → Build → Validate
-  Inspect before Contract. Depth varies naturally.

invar/templates/cursorrules.template

@@ -1,40 +0,0 @@
-# Invar Protocol
-
-Follow the Invar Protocol in INVAR.md — includes Check-In, USBV workflow, and Task Completion requirements.
-
-## Check-In
-
-Your first message MUST display:
-
-```
-✓ Check-In: [project] | [branch] | [clean/dirty]
-```
-
-Actions:
-1. Read `.invar/context.md` (Key Rules + Current State + Lessons Learned)
-2. Show one-line status
-
-**Do NOT execute guard or map at Check-In.**
-Guard is for VALIDATE phase and Final only.
-
-This is your sign-in. The user sees it immediately.
-No visible check-in = Session not started.
-
-## Final
-
-Your last message for an implementation task MUST display:
-
-```
-✓ Final: guard PASS | 0 errors, 2 warnings
-```
-
-Execute `invar guard` and show this one-line summary.
-
-This is your sign-out. Completes the Check-In/Final pair.
-
-## Quick Reference
-
-- Core (`**/core/**`): @pre/@post contracts, doctests, pure (no I/O)
-- Shell (`**/shell/**`): Result[T, E] return type
-- Workflow: Understand → Specify → Build → Validate (USBV)
-- Inspect before Contract. Depth varies naturally.