invar-tools 1.17.21__py3-none-any.whl → 1.17.24__py3-none-any.whl

invar/core/models.py

@@ -160,7 +160,10 @@ def get_layer(file_info: FileInfo) -> CodeLayer:
     return CodeLayer.DEFAULT
 
 
-@pre(lambda layer, language="python": isinstance(layer, CodeLayer) and language in ("python", "typescript"))
+@pre(
+    lambda layer, language="python": isinstance(layer, CodeLayer)
+    and language in ("python", "typescript")
+)
 @post(lambda result: result.max_file_lines > 0 and result.max_function_lines > 0)
 def get_limits(layer: CodeLayer, language: str = "python") -> LayerLimits:
     """
@@ -424,8 +427,9 @@ class RuleConfig(BaseModel):
     """
 
     # MINOR-6: Added ge=1 constraints for numeric fields
-    max_file_lines: int = Field(default=500, ge=1)  # Phase 9 P1: Raised from 300
-    max_function_lines: int = Field(default=50, ge=1)
+    # BUG-55: These override layer-based limits when set to non-default values
+    max_file_lines: int = Field(default=500, ge=1)  # Override all layers if != 500
+    max_function_lines: int = Field(default=50, ge=1)  # Override all layers if != 50
     entry_max_lines: int = Field(default=15, ge=1)  # DX-23: Entry point max lines
     shell_max_branches: int = Field(default=3, ge=1)  # DX-22: Shell function max branches
     shell_complexity_debt_limit: int = Field(default=5, ge=0)  # DX-22: 0 = no limit

invar/core/rules.py

@@ -71,7 +71,11 @@ def _build_size_suggestion(base: str, extraction_hint: str, func_hint: str) -> s
 def _get_func_hint(file_info: FileInfo) -> str:
     """Get top 5 largest functions as hint string."""
     funcs = sorted(
-        [(s.name, s.end_line - s.line + 1) for s in file_info.symbols if s.kind in (SymbolKind.FUNCTION, SymbolKind.METHOD)],
+        [
+            (s.name, s.end_line - s.line + 1)
+            for s in file_info.symbols
+            if s.kind in (SymbolKind.FUNCTION, SymbolKind.METHOD)
+        ],
         key=lambda x: -x[1],
     )[:5]
     return f" Functions: {', '.join(f'{n}({sz}L)' for n, sz in funcs)}" if funcs else ""
@@ -104,6 +108,7 @@ def check_file_size(file_info: FileInfo, config: RuleConfig) -> list[Violation]:
     Check if file exceeds maximum line count or warning threshold.
 
     LX-10: Uses layer-based limits (Core/Shell/Tests/Default).
+    BUG-55: Config override - if max_file_lines is set to non-default, use it.
     P18: Shows function groups in size warnings to help agents decide what to extract.
     P25: Shows extractable groups with dependencies for warnings.
 
@@ -121,6 +126,10 @@ def check_file_size(file_info: FileInfo, config: RuleConfig) -> list[Violation]:
         >>> # Core layer: 500 lines max (strict)
         >>> len(check_file_size(FileInfo(path="core/calc.py", lines=550, is_core=True), RuleConfig()))
         1
+        >>> # BUG-55: Config override allows larger files (no error at 550 with max 600)
+        >>> vs = check_file_size(FileInfo(path="core/calc.py", lines=550, is_core=True), RuleConfig(max_file_lines=600, size_warning_threshold=0))
+        >>> any(v.rule == "file_size" for v in vs)
+        False
     """
     # Check for escape hatch
     if _has_file_escape(file_info, "file_size"):
@@ -133,23 +142,38 @@ def check_file_size(file_info: FileInfo, config: RuleConfig) -> list[Violation]:
     # LX-10: Get layer-based limits
     layer = get_layer(file_info)
     limits = get_limits(layer)
-    max_lines = limits.max_file_lines
+    # BUG-55: Allow config override if user sets non-default value
+    max_lines = config.max_file_lines if config.max_file_lines != 500 else limits.max_file_lines
 
     if file_info.lines > max_lines:
-        violations.append(Violation(
-            rule="file_size", severity=Severity.ERROR, file=file_info.path, line=None,
-            message=f"File has {file_info.lines} lines (max: {max_lines} for {layer.value})",
-            suggestion=_build_size_suggestion("Split into smaller modules.", extraction_hint, func_hint),
-        ))
+        violations.append(
+            Violation(
+                rule="file_size",
+                severity=Severity.ERROR,
+                file=file_info.path,
+                line=None,
+                message=f"File has {file_info.lines} lines (max: {max_lines} for {layer.value})",
+                suggestion=_build_size_suggestion(
+                    "Split into smaller modules.", extraction_hint, func_hint
+                ),
+            )
+        )
     elif config.size_warning_threshold > 0:
         threshold = int(max_lines * config.size_warning_threshold)
         if file_info.lines >= threshold:
             pct = int(file_info.lines / max_lines * 100)
-            violations.append(Violation(
-                rule="file_size_warning", severity=Severity.WARNING, file=file_info.path, line=None,
-                message=f"File has {file_info.lines} lines ({pct}% of {max_lines} limit)",
-                suggestion=_build_size_suggestion("Consider splitting before reaching limit.", extraction_hint, func_hint),
-            ))
+            violations.append(
+                Violation(
+                    rule="file_size_warning",
+                    severity=Severity.WARNING,
+                    file=file_info.path,
+                    line=None,
+                    message=f"File has {file_info.lines} lines ({pct}% of {max_lines} limit)",
+                    suggestion=_build_size_suggestion(
+                        "Consider splitting before reaching limit.", extraction_hint, func_hint
+                    ),
+                )
+            )
     return violations
 
 
@@ -159,6 +183,7 @@ def check_function_size(file_info: FileInfo, config: RuleConfig) -> list[Violati
     Check if any function exceeds maximum line count.
 
     LX-10: Uses layer-based limits (Core/Shell/Tests/Default).
+    BUG-55: Config override - if max_function_lines is set to non-default, use it.
     DX-22: Always uses code_lines (excluding docstring) and excludes doctest lines.
 
     Examples:
@@ -177,13 +202,19 @@ def check_function_size(file_info: FileInfo, config: RuleConfig) -> list[Violati
         >>> info3 = FileInfo(path="core/calc.py", lines=100, symbols=[sym3], is_core=True)
         >>> len(check_function_size(info3, RuleConfig()))
         1
+        >>> # BUG-55: Config override allows larger functions
+        >>> len(check_function_size(info3, RuleConfig(max_function_lines=70)))
+        0
     """
     violations: list[Violation] = []
 
     # LX-10: Get layer-based limits
     layer = get_layer(file_info)
     limits = get_limits(layer)
-    max_func_lines = limits.max_function_lines
+    # BUG-55: Allow config override if user sets non-default value
+    max_func_lines = (
+        config.max_function_lines if config.max_function_lines != 50 else limits.max_function_lines
+    )
 
     for symbol in file_info.symbols:
         if symbol.kind in (SymbolKind.FUNCTION, SymbolKind.METHOD):
@@ -392,7 +423,9 @@ def check_shell_result(file_info: FileInfo, config: RuleConfig) -> list[Violatio
         ):
             continue
         # DX-23: Skip entry points; DX-22: Skip if @invar:allow marker
-        if is_entry_point(symbol, file_info.source) or has_allow_marker(symbol, file_info.source, "shell_result"):
+        if is_entry_point(symbol, file_info.source) or has_allow_marker(
+            symbol, file_info.source, "shell_result"
+        ):
             continue
         if "Result[" not in symbol.signature:
             violations.append(
@@ -435,7 +468,9 @@ def check_entry_point_thin(file_info: FileInfo, config: RuleConfig) -> list[Viol
             continue
 
         # Only check entry points; DX-22: Skip if @invar:allow marker
-        if not is_entry_point(symbol, file_info.source) or has_allow_marker(symbol, file_info.source, "entry_point_too_thick"):
+        if not is_entry_point(symbol, file_info.source) or has_allow_marker(
+            symbol, file_info.source, "entry_point_too_thick"
+        ):
             continue
         lines = get_symbol_lines(symbol)
         if lines > max_lines:

invar/shell/config.py

@@ -366,34 +366,44 @@ def load_config(project_root: Path) -> Result[RuleConfig, str]:
     3. .invar/config.toml [guard]
     4. Built-in defaults
 
+    If pyproject.toml exists but has no [tool.invar.guard] section,
+    continues to check other sources (fallback behavior).
+
     Args:
         project_root: Path to project root directory
 
     Returns:
         Result containing RuleConfig or error message
     """
-    find_result = _find_config_source(project_root)
-    if isinstance(find_result, Failure):
-        return find_result
-    config_path, source = find_result.unwrap()
+    # Try each config source in priority order
+    sources_to_try: list[tuple[Path, ConfigSource]] = []
 
-    if source == "default":
-        return Success(RuleConfig())
+    pyproject = project_root / "pyproject.toml"
+    if pyproject.exists():
+        sources_to_try.append((pyproject, "pyproject"))
 
-    assert config_path is not None  # source != "default" guarantees path exists
-    result = _read_toml(config_path)
+    invar_toml = project_root / "invar.toml"
+    if invar_toml.exists():
+        sources_to_try.append((invar_toml, "invar"))
 
-    if isinstance(result, Failure):
-        return result
+    invar_config = project_root / ".invar" / "config.toml"
+    if invar_config.exists():
+        sources_to_try.append((invar_config, "invar_dir"))
 
-    data = result.unwrap()
-    guard_config = extract_guard_section(data, source)
+    # Try each source, fallback if no guard config found
+    for config_path, source in sources_to_try:
+        result = _read_toml(config_path)
+        if isinstance(result, Failure):
+            continue  # Skip unreadable files
+
+        data = result.unwrap()
+        guard_config = extract_guard_section(data, source)
 
-    # For pyproject.toml, if no [tool.invar.guard] section, use defaults
-    if source == "pyproject" and not guard_config:
-        return Success(RuleConfig())
+        if guard_config:  # Found valid guard config
+            return Success(parse_guard_config(guard_config))
 
-    return Success(parse_guard_config(guard_config))
+    # No config found in any source, use defaults
+    return Success(RuleConfig())
 
 
 # Default paths for Core/Shell classification

invar/shell/guard_helpers.py

@@ -178,7 +178,24 @@ def run_crosshair_phase(
         return True, {"status": "skipped", "reason": "no files to verify"}
 
     # Only verify Core files (pure logic)
-    core_files = [f for f in checked_files if "core" in str(f)]
+    # BUG-57: Use config-based core detection instead of hardcoded "core" in path
+    from invar.core.utils import matches_path_prefix
+    from invar.shell.config import get_path_classification
+
+    path_result = get_path_classification(path)
+    if isinstance(path_result, Success):
+        core_paths, _ = path_result.unwrap()
+    else:
+        core_paths = ["src/core", "core"]
+
+    def is_core_file(f: Path) -> bool:
+        try:
+            rel = str(f.relative_to(path))
+        except ValueError:
+            rel = str(f)
+        return matches_path_prefix(rel, core_paths)
+
+    core_files = [f for f in checked_files if is_core_file(f)]
     if not core_files:
         return True, {"status": "skipped", "reason": "no core files found"}
 
@@ -306,7 +323,24 @@ def run_property_tests_phase(
         return True, {"status": "skipped", "reason": "no files"}, None
 
     # Only test Core files (with contracts)
-    core_files = [f for f in checked_files if "core" in str(f)]
+    # BUG-57: Use config-based core detection instead of hardcoded "core" in path
+    from invar.core.utils import matches_path_prefix
+    from invar.shell.config import get_path_classification
+
+    path_result = get_path_classification(project_root)
+    if isinstance(path_result, Success):
+        core_paths, _ = path_result.unwrap()
+    else:
+        core_paths = ["src/core", "core"]
+
+    def is_core_file(f: Path) -> bool:
+        try:
+            rel = str(f.relative_to(project_root))
+        except ValueError:
+            rel = str(f)
+        return matches_path_prefix(rel, core_paths)
+
+    core_files = [f for f in checked_files if is_core_file(f)]
     if not core_files:
         return True, {"status": "skipped", "reason": "no core files"}, None
 

invar/shell/property_tests.py

@@ -97,7 +97,7 @@ def run_property_tests_on_file(
 
     root = project_root or file_path.parent
     with _inject_project_site_packages(root):
-        module = _import_module_from_path(file_path)
+        module = _import_module_from_path(file_path, project_root=root)
 
     if module is None:
         return Failure(f"Could not import module: {file_path}")
@@ -218,15 +218,56 @@ def _accumulate_report(
     combined_report.errors.extend(file_report.errors)
 
 
-def _import_module_from_path(file_path: Path) -> object | None:
+# @shell_complexity: BUG-57 fix requires package hierarchy setup for relative imports
+def _import_module_from_path(file_path: Path, project_root: Path | None = None) -> object | None:
     """
     Import a Python module from a file path.
 
+    BUG-57: Properly handles relative imports by setting up package context.
+
     Returns None if import fails.
     """
     try:
-        module_name = file_path.stem
-        spec = importlib.util.spec_from_file_location(module_name, file_path)
+        # Calculate the full module name from project root
+        if project_root and file_path.is_relative_to(project_root):
+            # Convert path to module name: my_package/main.py -> my_package.main
+            relative = file_path.relative_to(project_root)
+            parts = list(relative.with_suffix("").parts)
+            module_name = ".".join(parts)
+        else:
+            module_name = file_path.stem
+
+        # Ensure project root is in sys.path for relative imports
+        if project_root:
+            root_str = str(project_root)
+            if root_str not in sys.path:
+                sys.path.insert(0, root_str)
+
+        # For packages with relative imports, we need to set up parent packages first
+        if "." in module_name:
+            # Import parent packages first
+            parts = module_name.split(".")
+            for i in range(1, len(parts)):
+                parent_name = ".".join(parts[:i])
+                if parent_name not in sys.modules:
+                    parent_path = project_root / "/".join(parts[:i]) if project_root else None
+                    if parent_path and (parent_path / "__init__.py").exists():
+                        parent_spec = importlib.util.spec_from_file_location(
+                            parent_name,
+                            parent_path / "__init__.py",
+                            submodule_search_locations=[str(parent_path)],
+                        )
+                        if parent_spec and parent_spec.loader:
+                            parent_module = importlib.util.module_from_spec(parent_spec)
+                            sys.modules[parent_name] = parent_module
+                            parent_spec.loader.exec_module(parent_module)
+
+        # Now import the target module
+        spec = importlib.util.spec_from_file_location(
+            module_name,
+            file_path,
+            submodule_search_locations=[str(file_path.parent)],
+        )
         if spec is None or spec.loader is None:
             return None
 

invar/shell/prove/crosshair.py

@@ -88,6 +88,88 @@ def has_verifiable_contracts(source: str) -> bool:
     return False
 
 
+# BUG-56: Detect Literal types that CrossHair cannot handle
+# @shell_orchestration: Pre-filter for CrossHair verification
+# @shell_complexity: AST traversal for type annotation analysis
+def has_literal_in_contracted_functions(source: str) -> bool:
+    """Check if any contracted function uses Literal types in parameters.
+
+    CrossHair cannot symbolically execute Literal types and silently skips them.
+    This function detects such cases for pre-filtering and warning.
+    """
+    # Fast path: no Literal import
+    if "Literal" not in source:
+        return False
+
+    # Fast path: no contracts
+    if "@pre" not in source and "@post" not in source:
+        return False
+
+    try:
+        import ast
+
+        tree = ast.parse(source)
+    except SyntaxError:
+        return False  # Can't analyze, don't skip
+
+    contract_decorators = {"pre", "post"}
+
+    def has_contract(node: ast.FunctionDef | ast.AsyncFunctionDef) -> bool:
+        for dec in node.decorator_list:
+            if isinstance(dec, ast.Call):
+                func = dec.func
+                if isinstance(func, ast.Name) and func.id in contract_decorators:
+                    return True
+                if isinstance(func, ast.Attribute) and func.attr in contract_decorators:
+                    return True
+        return False
+
+    def annotation_uses_literal(annotation: ast.expr | None) -> bool:
+        """Check if annotation contains Literal type."""
+        if annotation is None:
+            return False
+
+        # Direct Literal["..."]
+        if isinstance(annotation, ast.Subscript):
+            value = annotation.value
+            if isinstance(value, ast.Name) and value.id == "Literal":
+                return True
+            if isinstance(value, ast.Attribute) and value.attr == "Literal":
+                return True
+            # Check nested (e.g., Optional[Literal["..."]])
+            if annotation_uses_literal(annotation.slice):
+                return True
+            if annotation_uses_literal(value):
+                return True
+
+        # Union types
+        if isinstance(annotation, ast.BinOp):  # X | Y syntax
+            return annotation_uses_literal(annotation.left) or annotation_uses_literal(
+                annotation.right
+            )
+
+        # Tuple of types (for Subscript.slice)
+        if isinstance(annotation, ast.Tuple):
+            return any(annotation_uses_literal(elt) for elt in annotation.elts)
+
+        return False
+
+    for node in ast.walk(tree):
+        if isinstance(node, (ast.FunctionDef, ast.AsyncFunctionDef)):
+            if has_contract(node):
+                # Check all parameter annotations
+                for arg in node.args.args + node.args.posonlyargs + node.args.kwonlyargs:
+                    if annotation_uses_literal(arg.annotation):
+                        return True
+                # Check *args and **kwargs
+                if node.args.vararg and annotation_uses_literal(node.args.vararg.annotation):
+                    return True
+                if node.args.kwarg and annotation_uses_literal(node.args.kwarg.annotation):
+                    return True
+
+    return False
+
+
 # ============================================================
 # DX-13: Single File Verification (for parallel execution)
 # ============================================================
@@ -156,6 +238,23 @@ def _verify_single_file(
             # symbolically execute C extensions like ast.parse()
             # Check both stdout and stderr for error patterns
             output = result.stdout + "\n" + result.stderr
+
+            # BUG-56: Detect Literal type errors (CrossHair limitation)
+            literal_errors = [
+                "Cannot instantiate typing.Literal",
+                "CrosshairUnsupported",
+            ]
+            is_literal_error = any(err in output for err in literal_errors)
+
+            if is_literal_error:
+                return {
+                    "file": file_path,
+                    "status": CrossHairStatus.SKIPPED,
+                    "time_ms": elapsed_ms,
+                    "reason": "Literal type not supported (tested by Hypothesis)",
+                    "stdout": output,
+                }
+
             execution_errors = [
                 "TypeError:",
                 "AttributeError:",
@@ -298,6 +397,17 @@ def run_crosshair_parallel(
                     }
                 )
                 continue
+
+            # BUG-56: Check for Literal types that CrossHair cannot handle
+            if has_literal_in_contracted_functions(source):
+                cached_results.append(
+                    {
+                        "file": str(py_file),
+                        "status": CrossHairStatus.SKIPPED,
+                        "reason": "Literal type not supported (tested by Hypothesis)",
+                    }
+                )
+                continue
         except OSError:
             pass  # Include file anyway
 
@@ -324,6 +434,7 @@ def run_crosshair_parallel(
     verified_files: list[str] = []
     failed_files: list[str] = []
     all_counterexamples: list[str] = []
+    skipped_at_runtime: list[dict] = []  # BUG-56: Track runtime skips with reasons
     total_time_ms = 0
 
     if max_workers > 1 and len(files_to_verify) > 1:
@@ -351,6 +462,7 @@ def run_crosshair_parallel(
                         verified_files,
                         failed_files,
                         all_counterexamples,
+                        skipped_at_runtime,
                         cache,
                     )
                     total_time_ms += result.get("time_ms", 0)
@@ -372,6 +484,7 @@ def run_crosshair_parallel(
                 verified_files,
                 failed_files,
                 all_counterexamples,
+                skipped_at_runtime,
                 cache,
             )
             total_time_ms += result.get("time_ms", 0)
@@ -379,13 +492,18 @@ def run_crosshair_parallel(
     # Determine overall status
     status = CrossHairStatus.VERIFIED if not failed_files else CrossHairStatus.COUNTEREXAMPLE
 
+    # BUG-56: Combine pre-filtered skipped and runtime skipped
+    all_skipped = [r["file"] for r in cached_results if r.get("status") == "skipped"]
+    all_skipped.extend([r["file"] for r in skipped_at_runtime])
+
     return Success(
         {
             "status": status,
             "verified": verified_files,
             "failed": failed_files,
             "cached": [r["file"] for r in cached_results if r.get("status") == "cached"],
-            "skipped": [r["file"] for r in cached_results if r.get("status") == "skipped"],
+            "skipped": all_skipped,
+            "skipped_reasons": skipped_at_runtime,  # BUG-56: Include reasons
             "counterexamples": all_counterexamples,
             "files": [str(f) for f in py_files],
             "files_verified": len(files_to_verify),
@@ -404,6 +522,7 @@ def _process_verification_result(
     verified_files: list[str],
     failed_files: list[str],
     all_counterexamples: list[str],
+    skipped_at_runtime: list[dict],  # BUG-56: Track runtime skips
     cache: ProveCache | None,
 ) -> None:
     """Process a single verification result."""
@@ -425,6 +544,14 @@ def _process_verification_result(
         failed_files.append(f"{file_path} (timeout)")
     elif status == CrossHairStatus.ERROR:
         failed_files.append(f"{file_path} ({result.get('error', 'unknown error')})")
+    elif status == CrossHairStatus.SKIPPED:
+        # BUG-56: Track skipped files with reasons (e.g., Literal type)
+        skipped_at_runtime.append(
+            {
+                "file": str(file_path),
+                "reason": result.get("reason", "unsupported"),
+            }
+        )
 
 
 # ============================================================

{invar_tools-1.17.21.dist-info → invar_tools-1.17.24.dist-info}/METADATA

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

@@ -14,7 +14,7 @@ invar/core/hypothesis_strategies.py,sha256=_MfjG7KxkmJvuPsczr_1JayR_YmiDzU2jJ8fQ
 invar/core/inspect.py,sha256=l1knohwpLRHSNySPUjyeBHJusnU0vYiQGj4dMVgQZIo,4381
 invar/core/lambda_helpers.py,sha256=Ap1y7N0wpgCgPHwrs2pd7zD9Qq4Ptfd2iTliprXIkME,6457
 invar/core/language.py,sha256=aGUcrq--eQtAjb5bYE40eFmDhRs_EbBNGQ1sBYgTdt0,2637
-invar/core/models.py,sha256=DP4nfQ5O58eg1NCsBdw9OsQrVY1nSvo9GIlRdV2QjkU,16758
+invar/core/models.py,sha256=WLHCd9M8anw5mALTMboTjxt5PcXO7eJajiYA8b6FGHk,16881
 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
@@ -24,7 +24,7 @@ invar/core/purity_heuristics.py,sha256=vsgphC1XPIFtsoLB0xvp--AyaJHqlh83LyKXYda4p
 invar/core/references.py,sha256=64yGIdj9vL72Y4uUhJsi9pztZkuMnLN-7OcOziyxYMo,6339
 invar/core/review_trigger.py,sha256=4GGHUmgbVsQJAob4OO6A8G7KrLcNMwNOuqHiT6Jc7cs,14085
 invar/core/rule_meta.py,sha256=il_KUTjSlW1MOVgLguuLDS9wEdyqUe3CDvUx4gQjACo,10180
-invar/core/rules.py,sha256=XnFEDm4PSblGiCG14bfnhl-OcMmNsy7Slx7DAUbfaF4,22226
+invar/core/rules.py,sha256=y_NIpO8GAcw8WNPZjbJniu9FU7ofgfn3kZ_keexTqA8,23481
 invar/core/shell_analysis.py,sha256=i2A9SMqBI3Rb4Ai0QNTM7awIkSJIY6yZJVWS72lv0bY,6457
 invar/core/shell_architecture.py,sha256=98EVdBFIs8tO-i9jKuzdmv7fLB4PKnyI-vKh5lxnB98,6538
 invar/core/strategies.py,sha256=2DPl0z2p_CBNd4RlSbZzTeAy6Dq6cpCiBCB2p5qHHkk,8798
@@ -2657,20 +2657,20 @@ invar/node_tools/quick-check/cli.js,sha256=dwV3hdJleFQga2cKUn3PPfQDvvujhzKdjQcIv
 invar/node_tools/ts-analyzer/cli.js,sha256=SvZ6HyjmobpP8NAZqXFiy8BwH_t5Hb17Ytar_18udaQ,4092887
 invar/shell/__init__.py,sha256=FFw1mNbh_97PeKPcHIqQpQ7mw-JoIvyLM1yOdxLw5uk,204
 invar/shell/claude_hooks.py,sha256=hV4DfG3cVng32f0Rxoo070tliVlYFC5v9slIWEbAD7E,18899
-invar/shell/config.py,sha256=6N4AvhYPSUzd3YGXPIc8edF6Lp492W-cS8wwnHUJotI,18119
+invar/shell/config.py,sha256=Q8HI_bYz3mwKTAuG4JYjiXt0kXCdQdWZ0hZn3xy9r-M,18570
 invar/shell/contract_coverage.py,sha256=81OQkQqUVYUKytG5aiJyRK62gwh9UzbSG926vkvFTc8,12088
 invar/shell/coverage.py,sha256=m01o898IFIdBztEBQLwwL1Vt5PWrpUntO4lv4nWEkls,11344
 invar/shell/doc_tools.py,sha256=16gvo_ay9-_EK6lX16WkiRGg4OfTAKK_i0ucQkE7lbI,15149
 invar/shell/fs.py,sha256=ctqU-EX0NnKC4txudRCRpbWxWSgBZTInXMeOUnl3IM0,6196
 invar/shell/git.py,sha256=R-ynlYa65xtCdnNjHeu42uPyrqoo9KZDzl7BZUW0oWU,2866
-invar/shell/guard_helpers.py,sha256=lpaFIe328ZISzim92TAxZHTT8jC4N0_TcQ7PV7u327w,16083
+invar/shell/guard_helpers.py,sha256=IWiQEhDXnvN7QizGFrTNgfkSRN3ZVRF66gj-CeTjuJE,17261
 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
 invar/shell/pi_hooks.py,sha256=ulZc1sP8mTRJTBsjwFHQzUgg-h8ajRIMp7iF1Y4UUtw,6885
 invar/shell/pi_tools.py,sha256=a3ACDDXykFV8fUB5UpBmgMvppwkmLvT1k_BWm0IY47k,4068
-invar/shell/property_tests.py,sha256=SB-3tS5TupYQP1jpEUNpQs6fWCwLWxck0akNsgVwGGM,10533
+invar/shell/property_tests.py,sha256=qt0CP5RH9Md2ZZV64ziNsjQ_-x0onCYtZwbQfqw9gbY,12586
 invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
 invar/shell/skill_manager.py,sha256=Mr7Mh9rxPSKSAOTJCAM5ZHiG5nfUf6KQVCuD4LBNHSI,12440
 invar/shell/subprocess_env.py,sha256=hendEERSyAG4a8UFhYfPtOAlfspVRB03aVCYpj3uqk4,12745
@@ -2696,7 +2696,7 @@ invar/shell/commands/update.py,sha256=-NNQQScEb_0bV1B8YFxTjpUECk9c8dGAiNVRc64nWh
 invar/shell/prove/__init__.py,sha256=ZqlbmyMFJf6yAle8634jFuPRv8wNvHps8loMlOJyf8A,240
 invar/shell/prove/accept.py,sha256=cnY_6jzU1EBnpLF8-zWUWcXiSXtCwxPsXEYXsSVPG38,3717
 invar/shell/prove/cache.py,sha256=jbNdrvfLjvK7S0iqugErqeabb4YIbQuwIlcSRyCKbcg,4105
-invar/shell/prove/crosshair.py,sha256=XDOoLvOrU_6OGYm2rTjWacdvKgpJ3NjUDetMwyT9kIE,16997
+invar/shell/prove/crosshair.py,sha256=w0p7aT_TscHpAOKKZtlbta46O9EUWRfvQ2qG0OMXjCE,21970
 invar/shell/prove/guard_ts.py,sha256=8InEWFd6oqFxBUEaAdlqOvPi43p0VZKxJIrAaF0eReU,37936
 invar/shell/prove/hypothesis.py,sha256=QUclOOUg_VB6wbmHw8O2EPiL5qBOeBRqQeM04AVuLw0,9880
 invar/templates/CLAUDE.md.template,sha256=eaGU3SyRO_NEifw5b26k3srgQH4jyeujjCJ-HbM36_w,4913
@@ -2778,10 +2778,10 @@ invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
 invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
 invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
-invar_tools-1.17.21.dist-info/METADATA,sha256=EauMUAZU2xrasvG2preE0ZC6zOL74-EstsdmrBUiq-s,28582
-invar_tools-1.17.21.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.21.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.21.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.21.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.21.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.21.dist-info/RECORD,,
+invar_tools-1.17.24.dist-info/METADATA,sha256=1X_j-_QQoFhmxpzH-VwKO8QgQNWp_oDyV8qxZJFoXdY,28582
+invar_tools-1.17.24.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.24.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.24.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.24.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.24.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.24.dist-info/RECORD,,