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

invar/__init__.py

@@ -8,7 +8,13 @@ This package provides development tools (guard, map, sig).
 For runtime contracts only, use invar-runtime instead.
 """
 
-__version__ = "1.0.0"
+import importlib.metadata
+
+try:
+    __version__ = importlib.metadata.version("invar-tools")
+except importlib.metadata.PackageNotFoundError:
+    __version__ = "0.0.0.dev"  # Development mode fallback
+
 __protocol_version__ = "5.0"  # Protocol/spec version (separate from package version)
 
 # Re-export from invar-runtime for backwards compatibility

invar/core/entry_points.py

@@ -100,30 +100,30 @@ def count_escape_hatches(source: str) -> int:
     return len(extract_escape_hatches(source))
 
 
-@post(lambda result: all(len(t) == 2 for t in result))  # Returns (rule, reason) tuples
-def extract_escape_hatches(source: str) -> list[tuple[str, str]]:
+@post(lambda result: all(len(t) == 3 for t in result))  # Returns (rule, reason, line) tuples
+def extract_escape_hatches(source: str) -> list[tuple[str, str, int]]:
     """
-    Extract @invar:allow markers with their reasons (DX-33 Option E).
+    Extract @invar:allow markers with their reasons and line numbers (DX-33, DX-66).
 
     Uses tokenize to only match real comments, not strings/docstrings.
-    Returns list of (rule, reason) tuples for cross-file analysis.
+    Returns list of (rule, reason, line) tuples for cross-file analysis.
 
     Examples:
         >>> extract_escape_hatches("")
         []
         >>> extract_escape_hatches("# @invar:allow shell_result: API boundary")
-        [('shell_result', 'API boundary')]
+        [('shell_result', 'API boundary', 1)]
         >>> source = '''
         ... # @invar:allow rule1: same reason
         ... # @invar:allow rule2: different reason
         ... '''
         >>> extract_escape_hatches(source)
-        [('rule1', 'same reason'), ('rule2', 'different reason')]
+        [('rule1', 'same reason', 2), ('rule2', 'different reason', 3)]
         >>> # DX-33 Option C: Strings containing the pattern should NOT match
         >>> extract_escape_hatches('suggestion = "# @invar:allow rule: reason"')
         []
     """
-    results: list[tuple[str, str]] = []
+    results: list[tuple[str, str, int]] = []
     try:
         # Use iterator-based readline to avoid io.StringIO (forbidden in Core)
         lines = iter(source.splitlines(keepends=True))
@@ -132,10 +132,12 @@ def extract_escape_hatches(source: str) -> list[tuple[str, str]]:
             if tok.type == tokenize.COMMENT:
                 match = INVAR_ALLOW_PATTERN.search(tok.string)
                 if match:
-                    results.append((match.group(1), match.group(2)))
+                    # DX-66: tok.start[0] is the 1-based line number
+                    results.append((match.group(1), match.group(2), tok.start[0]))
     except Exception:
-        # Fall back to regex if tokenization fails (invalid syntax, non-printable chars, etc.)
-        return INVAR_ALLOW_PATTERN.findall(source)
+        # Fall back to regex if tokenization fails - can't get line numbers
+        # Return line 0 to indicate unknown position
+        return [(r, reason, 0) for r, reason in INVAR_ALLOW_PATTERN.findall(source)]
     return results
 
 

invar/core/formatter.py

@@ -256,6 +256,21 @@ def format_guard_agent(report: GuardReport, combined_status: str | None = None)
     if report.suggests > 0:
         result["static"]["suggests"] = report.suggests
         result["summary"]["suggests"] = report.suggests
+    # DX-66: Add escape hatch summary if any exist
+    if report.escape_hatches.count > 0:
+        result["escape_hatches"] = {
+            "count": report.escape_hatches.count,
+            "by_rule": report.escape_hatches.by_rule,
+            "details": [
+                {
+                    "file": d.file,
+                    "line": d.line,
+                    "rule": d.rule,
+                    "reason": d.reason,
+                }
+                for d in report.escape_hatches.details
+            ],
+        }
     return result
 
 

invar/core/models.py

@@ -83,6 +83,89 @@ class Violation(BaseModel):
     suggestion: str | None = None
 
 
+class EscapeHatchDetail(BaseModel):
+    """
+    Detail of a single escape hatch (@invar:allow) marker (DX-66).
+
+    Examples:
+        >>> d = EscapeHatchDetail(file="test.py", line=10, rule="shell_result", reason="API")
+        >>> d.line
+        10
+        >>> # line=0 is valid (fallback when line number unknown)
+        >>> d0 = EscapeHatchDetail(file="test.py", line=0, rule="test", reason="fallback")
+        >>> d0.line
+        0
+    """
+
+    file: str
+    line: int = Field(ge=0)  # 0 = fallback when line number unknown
+    rule: str
+    reason: str
+
+
+class EscapeHatchSummary(BaseModel):
+    """
+    Summary of escape hatches in the codebase (DX-66).
+
+    Provides visibility into @invar:allow usage for tracking technical debt.
+
+    Examples:
+        >>> summary = EscapeHatchSummary()
+        >>> summary.count
+        0
+        >>> summary.by_rule
+        {}
+        >>> detail = EscapeHatchDetail(file="test.py", line=10, rule="shell_result", reason="API boundary")
+        >>> summary.add(detail)
+        >>> summary.count
+        1
+        >>> summary.by_rule
+        {'shell_result': 1}
+    """
+
+    details: list[EscapeHatchDetail] = Field(default_factory=list)
+
+    @property
+    @post(lambda result: result >= 0)
+    def count(self) -> int:
+        """
+        Total number of escape hatches.
+
+        Examples:
+            >>> EscapeHatchSummary().count
+            0
+        """
+        return len(self.details)
+
+    @property
+    @post(lambda result: all(v >= 0 for v in result.values()))
+    def by_rule(self) -> dict[str, int]:
+        """
+        Count of escape hatches grouped by rule.
+
+        Examples:
+            >>> EscapeHatchSummary().by_rule
+            {}
+        """
+        counts: dict[str, int] = {}
+        for detail in self.details:
+            counts[detail.rule] = counts.get(detail.rule, 0) + 1
+        return counts
+
+    @pre(lambda self, detail: bool(detail.rule) and bool(detail.file))
+    def add(self, detail: EscapeHatchDetail) -> None:
+        """
+        Add an escape hatch detail to the summary.
+
+        Examples:
+            >>> s = EscapeHatchSummary()
+            >>> s.add(EscapeHatchDetail(file="t.py", line=1, rule="r", reason="x"))
+            >>> s.count
+            1
+        """
+        self.details.append(detail)
+
+
 class GuardReport(BaseModel):
     """Complete Guard report for a project."""
 
@@ -95,6 +178,8 @@ class GuardReport(BaseModel):
     # P24: Contract coverage statistics (Core files only)
     core_functions_total: int = 0
     core_functions_with_contracts: int = 0
+    # DX-66: Escape hatch visibility
+    escape_hatches: EscapeHatchSummary = Field(default_factory=EscapeHatchSummary)
 
     @pre(lambda self, violation: violation.rule and violation.severity)  # Valid violation
     def add_violation(self, violation: Violation) -> None:

invar/shell/commands/guard.py

@@ -25,7 +25,7 @@ from invar import __version__
 from invar.core.models import GuardReport, RuleConfig
 from invar.core.rules import check_all_rules
 from invar.core.utils import get_exit_code
-from invar.shell.config import load_config
+from invar.shell.config import find_project_root, load_config
 from invar.shell.fs import scan_project
 from invar.shell.guard_output import output_agent, output_rich
 
@@ -56,13 +56,13 @@ def _count_core_functions(file_info) -> tuple[int, int]:
     return (total, with_contracts)
 
 
-# @shell_complexity: Core orchestration - iterates files, handles failures, aggregates results
 # @shell_complexity: Core orchestration - iterates files, handles failures, aggregates results
 def _scan_and_check(
     path: Path, config: RuleConfig, only_files: set[Path] | None = None
 ) -> Result[GuardReport, str]:
     """Scan project files and check against rules."""
     from invar.core.entry_points import extract_escape_hatches
+    from invar.core.models import EscapeHatchDetail
     from invar.core.review_trigger import check_duplicate_escape_reasons
     from invar.core.shell_architecture import check_complexity_debt
 
@@ -80,10 +80,17 @@ def _scan_and_check(
         report.update_coverage(total, with_contracts)
         for violation in check_all_rules(file_info, config):
             report.add_violation(violation)
-        # DX-33: Collect escape hatches for cross-file analysis
+        # DX-33 + DX-66: Collect escape hatches for cross-file analysis and visibility
         if file_info.source:
-            for rule, reason in extract_escape_hatches(file_info.source):
+            for rule, reason, line in extract_escape_hatches(file_info.source):
                 all_escapes.append((file_info.path, rule, reason))
+                # DX-66: Add to escape hatch summary
+                report.escape_hatches.add(EscapeHatchDetail(
+                    file=file_info.path,
+                    line=line,
+                    rule=rule,
+                    reason=reason,
+                ))
 
     # DX-22: Check project-level complexity debt (Fix-or-Explain enforcement)
     for debt_violation in check_complexity_debt(
@@ -102,7 +109,11 @@ def _scan_and_check(
 @app.command()
 def guard(
     path: Path = typer.Argument(
-        Path(), help="Project root directory", exists=True, file_okay=False, dir_okay=True
+        Path(),
+        help="Project directory or single Python file",
+        exists=True,
+        file_okay=True,
+        dir_okay=True,
     ),
     strict: bool = typer.Option(False, "--strict", help="Treat warnings as errors"),
     changed: bool = typer.Option(
@@ -157,6 +168,16 @@ def guard(
     )
     from invar.shell.testing import VerificationLevel
 
+    # DX-65: Handle single file mode
+    single_file_mode = path.is_file()
+    single_file: Path | None = None
+    if single_file_mode:
+        if path.suffix != ".py":
+            console.print(f"[red]Error:[/red] {path} is not a Python file")
+            raise typer.Exit(1)
+        single_file = path.resolve()
+        path = find_project_root(path)
+
     # Load and configure
     config_result = load_config(path)
     if isinstance(config_result, Failure):
@@ -179,7 +200,9 @@ def guard(
             format_contract_coverage_report,
         )
 
-        coverage_result = calculate_contract_coverage(path, changed_only=changed)
+        # DX-65: Use single file path if in single file mode
+        coverage_path = single_file if single_file else path
+        coverage_result = calculate_contract_coverage(coverage_path, changed_only=changed)
         if isinstance(coverage_result, Failure):
             console.print(f"[red]Error:[/red] {coverage_result.failure()}")
             raise typer.Exit(1)
@@ -194,10 +217,14 @@ def guard(
 
         raise typer.Exit(0 if report_data.ready_for_build else 1)
 
-    # Handle --changed mode
+    # Handle --changed mode or single file mode (DX-65)
     only_files: set[Path] | None = None
     checked_files: list[Path] = []
-    if changed:
+    if single_file:
+        # DX-65: Single file mode - only check the specified file
+        only_files = {single_file}
+        checked_files = [single_file]
+    elif changed:
         changed_result = handle_changed_mode(path)
         if isinstance(changed_result, Failure):
             if changed_result.failure() == "NO_CHANGES":
@@ -379,7 +406,7 @@ def _show_verification_level(verification_level) -> None:
 @app.command()
 def version() -> None:
     """Show Invar version."""
-    console.print(f"invar {__version__}")
+    console.print(f"invar-tools {__version__}")
 
 
 @app.command("map")

invar/shell/config.py

@@ -267,6 +267,52 @@ def _find_config_source(project_root: Path) -> Result[tuple[Path | None, ConfigS
         return Failure(f"Failed to find config: {e}")
 
 
+# @shell_complexity: Project root discovery requires checking multiple markers
+def find_project_root(start_path: "Path") -> "Path":  # noqa: UP037
+    """
+    Find project root by walking up from start_path looking for config files.
+
+    Looks for (in order): pyproject.toml, invar.toml, .invar/, .git/
+
+    Args:
+        start_path: Starting path (file or directory)
+
+    Returns:
+        Project root directory (absolute path), or start_path's parent if no markers found
+
+    Examples:
+        >>> from pathlib import Path
+        >>> import tempfile
+        >>> with tempfile.TemporaryDirectory() as tmpdir:
+        ...     root = Path(tmpdir).resolve()
+        ...     (root / "pyproject.toml").touch()
+        ...     subdir = root / "src" / "core"
+        ...     subdir.mkdir(parents=True)
+        ...     found = find_project_root(subdir / "file.py")
+        ...     found == root
+        True
+    """
+    from pathlib import Path
+
+    current = Path(start_path).resolve()  # Resolve to absolute path
+    if current.is_file():
+        current = current.parent
+
+    # Walk up looking for project markers
+    for parent in [current, *current.parents]:
+        if (parent / "pyproject.toml").exists():
+            return parent
+        if (parent / "invar.toml").exists():
+            return parent
+        if (parent / ".invar").is_dir():
+            return parent
+        if (parent / ".git").exists():
+            return parent
+
+    # Fallback to the starting directory
+    return current
+
+
 def _read_toml(path: Path) -> Result[dict[str, Any], str]:
     """Read and parse a TOML file."""
     try:

invar/shell/guard_output.py

@@ -209,6 +209,16 @@ def output_rich(
         if issue_parts:
             console.print(f"[dim]Issues: {', '.join(issue_parts)}[/dim]")
 
+    # DX-66: Escape hatch summary (only show if any exist)
+    if report.escape_hatches.count > 0:
+        escape_count = report.escape_hatches.count
+        by_rule = report.escape_hatches.by_rule
+        rule_parts = [f"{count} {rule}" for rule, count in sorted(by_rule.items())]
+        console.print(
+            f"\n[bold]Escape hatches:[/bold] {escape_count} "
+            f"({', '.join(rule_parts)})"
+        )
+
     # Code Health display (only when guard passes)
     if report.passed and report.files_checked > 0:
         # Calculate health: 100% for 0 warnings, decreases by 5% per warning, min 50%

invar/templates/CLAUDE.md.template

@@ -120,18 +120,26 @@ Guard triggers `review_suggested` for: security-sensitive files, escape hatches
 
 ## Workflow Routing (MANDATORY)
 
-When user message contains these triggers, you MUST invoke the corresponding skill:
+When user message contains these triggers, you MUST use the **Skill tool** to invoke the skill:
 
-| Trigger Words | Skill | Notes |
-|---------------|-------|-------|
-| "review", "review and fix" | `/review` | Adversarial review with fix loop |
-| "implement", "add", "fix", "update" | `/develop` | Unless in review context |
-| "why", "explain", "investigate" | `/investigate` | Research mode, no code changes |
-| "compare", "should we", "design" | `/propose` | Decision facilitation |
+| Trigger Words | Skill Tool Call | Notes |
+|---------------|-----------------|-------|
+| "review", "review and fix" | `Skill(skill="review")` | Adversarial review with fix loop |
+| "implement", "add", "fix", "update" | `Skill(skill="develop")` | Unless in review context |
+| "why", "explain", "investigate" | `Skill(skill="investigate")` | Research mode, no code changes |
+| "compare", "should we", "design" | `Skill(skill="propose")` | Decision facilitation |
+
+**⚠️ CRITICAL: You must call the Skill tool, not just follow the workflow mentally.**
+
+The Skill tool reads `.claude/skills/<skill>/SKILL.md` which contains:
+- Detailed phase instructions (USBV breakdown)
+- Error handling rules
+- Timeout policies
+- Incremental development patterns (DX-63)
 
 **Violation check (before writing ANY code):**
-- "Am I in a workflow?"
-- "Did I invoke the correct skill?"
+- "Did I call `Skill(skill="...")`?"
+- "Am I following the SKILL.md instructions?"
 
 <!--/invar:managed-->
 
@@ -146,7 +154,7 @@ When user message contains these triggers, you MUST invoke the corresponding ski
 <!-- ========================================================================
      USER REGION - EDITABLE
      Add your team conventions and project-specific rules below.
-     This section is preserved across invar update and sync-self.
+     This section is preserved across `invar update` and `invar dev sync`.
      ======================================================================== -->
 <!--/invar:user-->
 

invar/templates/config/CLAUDE.md.jinja

@@ -12,6 +12,24 @@
 | **Shell** | Returns `Result[T, E]` from `returns` library |
 | **Flow** | USBV: Understand → Specify → Build → Validate |
 
+### Contract Rules (CRITICAL)
+
+```python
+# ❌ WRONG: Lambda must include ALL parameters
+@pre(lambda x: x >= 0)
+def calc(x: int, y: int = 0): ...
+
+# ✅ CORRECT: Include defaults too
+@pre(lambda x, y=0: x >= 0)
+def calc(x: int, y: int = 0): ...
+
+# ❌ WRONG: @post cannot access parameters
+@post(lambda result: result > x)  # 'x' not available!
+
+# ✅ CORRECT: @post only sees 'result'
+@post(lambda result: result >= 0)
+```
+
 <!--/invar:critical-->
 
 <!--invar:managed version="{{ version }}"-->
@@ -19,28 +37,13 @@
 
 > **Protocol:** Follow [INVAR.md](./INVAR.md) — includes Check-In, USBV workflow, and Task Completion requirements.
 
-## Check-In (DX-54)
+## Check-In
 
-Your first message MUST display:
+> See [INVAR.md#check-in](./INVAR.md#check-in-required) for full protocol.
 
-```
-✓ Check-In: [project] | [branch] | [clean/dirty]
-```
+**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
-
-Example:
-```
-✓ Check-In: MyProject | main | clean
-```
-
-**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.
+**Actions:** Read `.invar/context.md`, then show status. Do NOT run guard at Check-In.
 
 ---
 
@@ -79,6 +82,14 @@ src/{project}/
 | Core | `@pre`/`@post` + doctests, pure (no I/O) |
 | Shell | Returns `Result[T, E]` from `returns` library |
 
+### Core vs Shell (Edge Cases)
+
+- File/network/env vars → **Shell**
+- `datetime.now()`, `random` → **Inject param** OR Shell
+- Pure logic → **Core**
+
+> Full decision tree: [INVAR.md#core-shell](./INVAR.md#decision-tree-core-vs-shell)
+
 ## Documentation Structure
 
 | File | Owner | Edit? | Purpose |
@@ -89,6 +100,8 @@ src/{project}/
 | .invar/project-additions.md | User | Yes | Project rules → injected into CLAUDE.md |
 | .invar/examples/ | Invar | No | **Must read:** Core/Shell patterns, workflow |
 
+> **Before writing code:** Check Task Router in `.invar/context.md`
+
 ## Visible Workflow (DX-30)
 
 For complex tasks (3+ functions), show 3 checkpoints in TodoList:
@@ -159,18 +172,26 @@ Guard triggers `review_suggested` for: security-sensitive files, escape hatches
 
 ## Workflow Routing (MANDATORY)
 
-When user message contains these triggers, you MUST invoke the corresponding skill:
+When user message contains these triggers, you MUST use the **Skill tool** to invoke the skill:
+
+| Trigger Words | Skill Tool Call | Notes |
+|---------------|-----------------|-------|
+| "review", "review and fix" | `Skill(skill="review")` | Adversarial review with fix loop |
+| "implement", "add", "fix", "update" | `Skill(skill="develop")` | Unless in review context |
+| "why", "explain", "investigate" | `Skill(skill="investigate")` | Research mode, no code changes |
+| "compare", "should we", "design" | `Skill(skill="propose")` | Decision facilitation |
+
+**⚠️ CRITICAL: You must call the Skill tool, not just follow the workflow mentally.**
 
-| Trigger Words | Skill | Notes |
-|---------------|-------|-------|
-| "review", "review and fix" | `/review` | Adversarial review with fix loop |
-| "implement", "add", "fix", "update" | `/develop` | Unless in review context |
-| "why", "explain", "investigate" | `/investigate` | Research mode, no code changes |
-| "compare", "should we", "design" | `/propose` | Decision facilitation |
+The Skill tool reads `.claude/skills/<skill>/SKILL.md` which contains:
+- Detailed phase instructions (USBV breakdown)
+- Error handling rules
+- Timeout policies
+- Incremental development patterns (DX-63)
 
 **Violation check (before writing ANY code):**
-- "Am I in a workflow?"
-- "Did I invoke the correct skill?"
+- "Did I call `Skill(skill="...")`?"
+- "Am I following the SKILL.md instructions?"
 
 ---
 
@@ -205,7 +226,7 @@ enters /review. Say "skip" to bypass.
 <!--invar:project-->
 <!-- ========================================================================
      PROJECT REGION - INVAR PROJECT ONLY
-     This section is populated by .invar/project-additions.md via sync-self.
+     This section is populated by .invar/project-additions.md via `invar dev sync`.
      For other projects, this region remains empty.
      ======================================================================== -->
 <!--/invar:project-->
@@ -214,7 +235,7 @@ enters /review. Say "skip" to bypass.
 <!-- ========================================================================
      USER REGION - EDITABLE
      Add your team conventions and project-specific rules below.
-     This section is preserved across invar update and sync-self.
+     This section is preserved across `invar update` and `invar dev sync`.
      ======================================================================== -->
 <!--/invar:user-->
 

invar/templates/config/context.md.jinja

@@ -27,6 +27,20 @@
 {% endif -%}
 - Final must show: `✓ Final: guard PASS | ...`
 
+## Task Router (DX-62)
+
+<!-- Before writing code, check this table -->
+
+| If you are about to... | STOP and read first |
+|------------------------|---------------------|
+| Write code in `core/` | `.invar/examples/contracts.py` |
+| Write code in `shell/` | `.invar/examples/core_shell.py` |
+| Add `@pre`/`@post` contracts | `.invar/examples/contracts.py` |
+| Use functional patterns | `.invar/examples/functional.py` |
+| Implement a feature | `.invar/examples/workflow.md` |
+
+**Rule:** Match found above? Read the file BEFORE writing code.
+
 ## Self-Reminder
 
 <!-- DX-54: AI should re-read this file periodically -->

invar/templates/protocol/INVAR.md

@@ -267,6 +267,7 @@ invar guard              # Full: static + doctests + CrossHair + Hypothesis
 invar guard --static     # Static only (quick debug, ~0.5s)
 invar guard --changed    # Modified files only
 invar guard --coverage   # Collect branch coverage
+invar guard -c           # Contract coverage only (DX-63)
 invar sig <file>         # Show contracts + signatures
 invar map --top 10       # Most-referenced symbols
 invar rules              # List all rules with detection/hints (JSON)

invar/templates/skills/develop/SKILL.md.jinja

@@ -17,7 +17,8 @@ _invar:
 
 Before any workflow action:
 1. Read `.invar/context.md` (especially Key Rules section)
-2. Display routing announcement
+2. **Check Task Router** — read examples before coding in `core/` or `shell/`
+3. Display routing announcement
 
 ### Routing Announcement
 

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

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

@@ -1,16 +1,16 @@
-invar/__init__.py,sha256=Bzp8MpdH-uUNe6qY9ITv6LLOn0HUomtIToQ0zUS1mkg,1342
+invar/__init__.py,sha256=HV5W2nywevBhAMgF7TIHdBoiFY4ETWVLBYAt_gZCPHU,1520
 invar/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 invar/core/__init__.py,sha256=01TgQ2bqTFV4VFdksfqXYPa2WUqo-DpUWUkEcIUXFb4,218
 invar/core/contracts.py,sha256=SOyF1KeJ6hrEwfQ09UzMt881OJKDXRbPTslKA6HzdKg,19085
-invar/core/entry_points.py,sha256=gB6h2O9gp9larxDWVA2IUclLadMF_H8eJErnscYm0GU,12012
+invar/core/entry_points.py,sha256=1p6GRGTp9kA9spNkGKidFLlzLPheh6JO2XFb68Cr0sE,12209
 invar/core/extraction.py,sha256=mScqEMEEQdsd-Z0jx9g3scK6Z1vI9l-ESjggXPIWHZ4,6112
 invar/core/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
 invar/core/format_strategies.py,sha256=LifL97JbsF8WEkVNmQpq2htyFUC3pW21myAjtRGpSxU,5774
-invar/core/formatter.py,sha256=YS7Ni5duz04S1DamsaAksqTBBqXzxUTvf6O6LsxjROE,10772
+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
 invar/core/lambda_helpers.py,sha256=Ap1y7N0wpgCgPHwrs2pd7zD9Qq4Ptfd2iTliprXIkME,6457
-invar/core/models.py,sha256=5R1w15O8klEMMC0g1zgds6nGFpE6uJFSRkIbXFLNOpo,10795
+invar/core/models.py,sha256=1bbhLijXHSe-o5SXQhbJgq8_EqPOOgsGKIrnWRwwtYM,13200
 invar/core/must_use.py,sha256=7HnnbT53lb4dOT-1mL64pz0JbQYytuw4eejNVe7iWKY,5496
 invar/core/parser.py,sha256=ucVpGziVzUvbkXT1n_SgOrYdStDEcNBqLuRGqK3_M5g,9205
 invar/core/postcondition_scope.py,sha256=ykjVNqZZ1zItBmI7ebgmLW5vFGE-vpaLRTvSgWaJMgM,5245
@@ -46,13 +46,13 @@ 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/config.py,sha256=cixlq47h8HYa9Ku-JOo66KCUyrf59R0NX_Yb7A1fAv4,16134
+invar/shell/config.py,sha256=6-kbo6--SxfROXoyU-v7InSLR8f_U1Mar_xEOdCXFkY,17633
 invar/shell/contract_coverage.py,sha256=2RiXC9RBV__cKLHu0KKOWRxEgYVQNNAPAdwBjYenNHQ,11780
 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
 invar/shell/guard_helpers.py,sha256=QeYgbW0lgUa9Z_RCjAMG7UJdiMzz5cW48Lb2u-qgQi8,15114
-invar/shell/guard_output.py,sha256=WrbIjy9wZ3TVAP79PMYTPwthT-_9DwmnfS3lpfeaq2M,12101
+invar/shell/guard_output.py,sha256=v3gG5P-_47nIFo8eAMKwdA_hLf2KZ0cQ-45Z6JjKp4w,12520
 invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,4580
 invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
 invar/shell/pattern_integration.py,sha256=pRcjfq3NvMW_tvQCnaXZnD1k5AVEWK8CYOE2jN6VTro,7842
@@ -62,7 +62,7 @@ invar/shell/template_engine.py,sha256=IzOiGsKVFo0lDUdtg27wMzIJJKToclv151RDZuDnHH
 invar/shell/templates.py,sha256=l2En95E8jRVlojdQIqdZgRLVB43f_b1d_AJapKkozwA,15908
 invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
-invar/shell/commands/guard.py,sha256=eKDfOcksRM4Zg0eybi5u93cXJ42OBR3ts0um5tCB5lA,20590
+invar/shell/commands/guard.py,sha256=QJhL3vI_PzAPuGbi2GhxOdmHSIXtaoNuJxjgXTW3JRQ,21595
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
 invar/shell/commands/init.py,sha256=UzHLfAP9ddIY32HrLd32nUveFcHnB0HlbMcIgtfob9Y,18297
 invar/shell/commands/merge.py,sha256=nuvKo8m32-OL-SCQlS4SLKmOZxQ3qj-1nGCx1Pgzifw,8183
@@ -77,7 +77,7 @@ invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3
 invar/shell/prove/cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
 invar/shell/prove/crosshair.py,sha256=4Z_iIYBlkp-I6FqSYZa89wWB09V4Ouw2PduYhTn6rfw,16525
 invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuLw0,9880
-invar/templates/CLAUDE.md.template,sha256=p2xFzbZ8NluumH9c03GkAQaqSOvgrG5SqyKU9qXz2HY,4498
+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
@@ -87,8 +87,8 @@ invar/templates/pre-commit-config.yaml.template,sha256=2qWY3E8iDUqi85jE_X7y0atE8
 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/config/CLAUDE.md.jinja,sha256=788jlWOcSOS7xOEpTFr9H7OKYvEMmyJnDQ-oE4AG8r0,6855
-invar/templates/config/context.md.jinja,sha256=eyjNwvtSyDCImOw6up4eqfE_ylYWv2HCHMQ1M1qJtGQ,2563
+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/examples/README.md,sha256=xMcJZ1KEcfLJi5Ope_4FIbqDWKK3mRleAgllvgeNT6I,572
 invar/templates/examples/conftest.py,sha256=uKA4NR7nyZWeSzY0URdZtw5zCcJpU32jNcaSKrI1Mxc,152
@@ -100,15 +100,15 @@ invar/templates/hooks/PreToolUse.sh.jinja,sha256=D39PaT1eFSjz_Av16xK1atoBZbhLI8t
 invar/templates/hooks/Stop.sh.jinja,sha256=3S6lLeAGIu5aPQVRz4jjFS9AfjCD9DdS_jagmkw-x8Q,960
 invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=eAQqQ-XdOCyhLpF5_1r1z7C-Ej9GQ5Isqbu_2LAtsno,2302
 invar/templates/hooks/__init__.py,sha256=RnnMoQA-8eqbr8Y_1Vu9B8h5vAz4C-vmo8wgdcGYrz0,43
-invar/templates/protocol/INVAR.md,sha256=Yjwvs0PK9sDUtNExXtS2g7nRV2LcUV22Xa0fY_K-_-0,9940
-invar/templates/skills/develop/SKILL.md.jinja,sha256=09zKj8eTDi47boDzooEE5cBwnV3TiXy8k7Zfs9enrx4,10482
+invar/templates/protocol/INVAR.md,sha256=ppQhb_-R5YaXAqW1WDMOcXptx-CrAQI_xYxld7YljK8,9998
+invar/templates/skills/develop/SKILL.md.jinja,sha256=3coPSZGh1-YKN9Xc_xcEkfEP3S0XiFMMGF0hJZEaAx8,10562
 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.5.0.dist-info/METADATA,sha256=0hzwMUBWAjfGOQc9SbF-9YxZwoaNf4R6TLUbjlIU7po,16964
-invar_tools-1.5.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.5.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.5.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.5.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.5.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.5.0.dist-info/RECORD,,
+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,,