invar-tools 1.6.0__tar.gz → 1.7.0__tar.gz

{invar_tools-1.6.0 → invar_tools-1.7.0}/PKG-INFO

@@ -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.7.0/docs/proposals/DX-69-project-uninstall.md

@@ -0,0 +1,181 @@
+# DX-69: Project Uninstall Command
+
+**Status:** ✅ Complete
+**Created:** 2024-12-30
+**Author:** Claude
+
+## Problem Statement
+
+When users want to remove Invar from a project, there is no `invar uninstall` command. Users must manually identify and delete Invar-generated files, risking:
+
+1. **Incomplete removal** - Missing files or leaving orphaned configurations
+2. **Data loss** - Deleting files that contain user content mixed with Invar content
+3. **Broken configurations** - Removing entire config files instead of just Invar sections
+
+### Evidence
+
+User request: "是否有命令可以从项目卸载 invar"
+
+Current situation:
+- No uninstall command exists
+- Manual deletion risks user data loss
+- Files like CLAUDE.md contain both Invar-managed and user regions
+
+## Solution
+
+### Design Principles
+
+1. **Preserve user content** - Never delete user-added content
+2. **Use markers for detection** - Only remove content with Invar markers
+3. **Safe by default** - Require `--force` for destructive operations
+4. **Dry-run support** - Show what would be removed without removing
+
+### File Classification
+
+| File | Detection Method | Removal Strategy |
+|------|------------------|------------------|
+| `.invar/` | Directory | Delete entirely |
+| `invar.toml` | File | Delete entirely |
+| `INVAR.md` | File | Delete entirely |
+| `CLAUDE.md` | Region markers | Remove `<!--invar:critical-->`, `<!--invar:managed-->`, `<!--invar:project-->` regions, keep `<!--invar:user-->` |
+| `.claude/skills/*/SKILL.md` | `_invar:` in YAML frontmatter | Delete if has marker |
+| `.claude/commands/*.md` | `_invar:` in YAML frontmatter | Delete if has marker (need to add markers first) |
+| `.claude/hooks/*.sh` | `# invar:hook` comment | Delete if has marker |
+| `.mcp.json` | JSON structure | Remove `mcpServers.invar` key only |
+| `.cursorrules` | `# invar:begin/end` markers | Remove marked region |
+| `.aider.conf.yml` | `# invar:begin/end` markers | Remove marked region |
+| `.pre-commit-config.yaml` | `# invar:begin/end` markers | Remove marked region |
+| `src/core/`, `src/shell/` | Empty check | Delete if empty |
+
+### Implementation Phases
+
+#### Phase 1: Add Missing Markers
+
+**Commands templates** - Add `_invar:` frontmatter:
+```yaml
+---
+_invar:
+  version: "5.0"
+  type: command
+---
+# Audit
+...
+```
+
+**Agent config templates** - Add region markers:
+```yaml
+# invar:begin
+# Invar Protocol Configuration
+...
+# invar:end
+```
+
+#### Phase 2: Implement Uninstall Command
+
+```python
+@app.command()
+def uninstall(
+    path: Path = typer.Argument(Path("."), help="Project path"),
+    dry_run: bool = typer.Option(False, "--dry-run", help="Show what would be removed"),
+    force: bool = typer.Option(False, "--force", help="Skip confirmation"),
+    keep_claude_md: bool = typer.Option(False, "--keep-claude-md", help="Don't touch CLAUDE.md"),
+) -> None:
+    """Remove Invar from a project."""
+```
+
+#### Phase 3: Region Removal Logic
+
+```python
+def remove_invar_regions(content: str) -> str:
+    """Remove <!--invar:xxx-->...<!--/invar:xxx--> regions except user region."""
+    patterns = [
+        (r'<!--invar:critical-->.*?<!--/invar:critical-->\n?', ''),
+        (r'<!--invar:managed[^>]*-->.*?<!--/invar:managed-->\n?', ''),
+        (r'<!--invar:project-->.*?<!--/invar:project-->\n?', ''),
+        (r'# invar:begin\n.*?# invar:end\n?', ''),
+    ]
+    for pattern, replacement in patterns:
+        content = re.sub(pattern, replacement, content, flags=re.DOTALL)
+    return content
+```
+
+### CLI Interface
+
+```bash
+# Preview what would be removed
+invar uninstall --dry-run
+
+# Perform uninstall with confirmation
+invar uninstall
+
+# Skip confirmation
+invar uninstall --force
+
+# Keep CLAUDE.md intact
+invar uninstall --keep-claude-md
+```
+
+### Output Format
+
+```
+Invar Uninstall Preview
+=======================
+
+Will DELETE:
+  .invar/                    (directory)
+  invar.toml                 (config)
+  INVAR.md                   (protocol)
+  .claude/skills/develop/    (skill, has _invar marker)
+  .claude/skills/review/     (skill, has _invar marker)
+  .claude/commands/audit.md  (command, has _invar marker)
+  .claude/hooks/*.sh         (hooks, has invar:hook marker)
+
+Will MODIFY:
+  CLAUDE.md                  (remove 3 invar regions, keep user region)
+  .mcp.json                  (remove mcpServers.invar)
+  .cursorrules               (remove invar:begin..end block)
+  .aider.conf.yml            (remove invar:begin..end block)
+
+Will SKIP:
+  .claude/skills/custom/     (no _invar marker)
+  .claude/commands/my-cmd.md (no _invar marker)
+
+Proceed? [y/N]
+```
+
+## Alternatives Considered
+
+### Alternative 1: Delete everything with "invar" in name
+Rejected: Would miss CLAUDE.md regions, would delete user files containing "invar" string.
+
+### Alternative 2: Track installed files in manifest
+Rejected: Requires maintaining state file, complex when files are manually edited.
+
+### Alternative 3: Marker-based detection (chosen)
+Pros: Self-describing, no external state, works with manual edits.
+Cons: Requires adding markers to templates first.
+
+## Implementation Checklist
+
+- [ ] Add `_invar:` marker to command templates (audit.md, guard.md)
+- [ ] Add `# invar:begin/end` markers to agent config templates
+- [ ] Implement `uninstall` command in `src/invar/shell/commands/`
+- [ ] Add `--dry-run`, `--force`, `--keep-claude-md` options
+- [ ] Handle JSON (`.mcp.json`) partial removal
+- [ ] Handle YAML (`.aider.conf.yml`) partial removal
+- [ ] Handle Markdown (`.cursorrules`) partial removal
+- [ ] Clean empty directories (`src/core/`, `src/shell/`, `.claude/skills/`, etc.)
+- [ ] Add tests
+- [ ] Update `invar --help` and documentation
+
+## Dependencies
+
+None - standalone feature.
+
+## Risk Assessment
+
+| Risk | Mitigation |
+|------|------------|
+| Accidental data loss | `--dry-run` default preview, require `--force` or confirmation |
+| Incomplete marker coverage | Phase 1 adds all missing markers before implementing uninstall |
+| Edge cases in regex parsing | Comprehensive test coverage for region parsing |

{invar_tools-1.6.0 → invar_tools-1.7.0}/docs/proposals/index.md

@@ -8,12 +8,13 @@ This directory contains design proposals for Invar development.
 - `LX-XX-name.md` — Language eXtension (multi-language evolution)
 - Completed/archived proposals in `completed/` subdirectory
 
-## Active Proposals (9)
+## Active Proposals (10)
 
 ### DX Series (Developer Experience)
 
 | ID | Name | Status | Description |
 |----|------|--------|-------------|
+| DX-69 | project-uninstall | ✅ Complete | `invar uninstall` command with marker-based detection |
 | DX-68 | agent-behavior-optimization | Draft | Agent reading reliability improvements (P3-P5) |
 | DX-67 | explicit-skill-invocation | **New** | Require Skill tool call for workflow routing |
 | DX-62 | proactive-reference-reading | Partial | Task Router (Layer 1) done, Layers 2-4 pending |

{invar_tools-1.6.0 → invar_tools-1.7.0}/pyproject.toml

@@ -10,7 +10,7 @@ packages = ["src/invar"]
 
 [project]
 name = "invar-tools"
-version = "1.6.0"
+version = "1.7.0"
 description = "AI-native software engineering tools with design-by-contract verification"
 readme = "README.md"
 license = "GPL-3.0-or-later"

{invar_tools-1.6.0 → invar_tools-1.7.0}/src/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_tools-1.6.0 → invar_tools-1.7.0}/src/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)