invar-tools 1.17.25__tar.gz → 1.17.27__tar.gz

{invar_tools-1.17.25 → invar_tools-1.17.27}/CLAUDE.md

@@ -102,71 +102,51 @@ src/{project}/
 
 ### Calling Methods (Priority Order)
 
+Invar tools can be called in 3 ways. **Try in order:**
 
-Invar tools can be called in different ways depending on your agent:
+1. **MCP tools** (Claude Code with MCP enabled)
+   - Direct function calls: `invar_guard()`, `invar_sig()`, etc.
+   - No Bash wrapper needed
 
-**Claude Code (MCP enabled):**
-1. **MCP tools** - Direct function calls: `invar_guard()`, `invar_sig()`, etc.
-2. **CLI command** - Via Bash: `invar guard`, `invar sig`, etc.
-
-**Pi Coding Agent:**
-1. **Custom tools** (auto-installed via `invar init --pi`)
-   - Direct tool calls: `invar_guard(changed=true)`, `invar_sig(target="file.py")`, `invar_map(top=10)`
-   - Installed in `.pi/tools/invar/index.ts`
-   - Pi auto-discovers tools, no configuration needed
-2. **CLI command** (fallback)
+2. **CLI command** (if `invar` installed in PATH)
    - Via Bash: `invar guard`, `invar sig`, etc.
+   - Install: `pip install invar-tools`
 
-**Other agents:**
-- **CLI command** - Via Bash: `invar guard`, `invar sig`, etc.
-- **uvx fallback** - No install needed: `uvx invar-tools guard`
+3. **uvx fallback** (always available, no install needed)
+   - Via Bash: `uvx invar-tools guard`, `uvx invar-tools sig`, etc.
 
 ---
 
 ### Parameter Reference
 
-
 **guard** - Verify code quality
 ```python
-# MCP (Claude Code)
+# MCP
 invar_guard()                    # Check changed files (default)
 invar_guard(changed=False)       # Check all files
-
-# Pi Custom Tool
-invar_guard(changed=true)        # Check changed files (default)
-invar_guard(changed=false)       # Check all files
-invar_guard(coverage=true)       # Collect branch coverage
 ```
 
 **sig** - Show function signatures and contracts
 ```python
-# MCP (Claude Code)
+# MCP
 invar_sig(target="src/foo.py")
-
-# Pi Custom Tool
-invar_sig(target="src/foo.py")
-invar_sig(target="src/foo.py::MyClass")
 ```
 
 **map** - Find entry points
 ```python
-# MCP (Claude Code)
-invar_map(path=".", top=10)
-
-# Pi Custom Tool
+# MCP
 invar_map(path=".", top=10)
-invar_map(top=20)                # Show top 20 symbols
 ```
 
 **refs** - Find all references to a symbol
 ```python
-# MCP (Claude Code only - not available as Pi tool yet)
+# MCP
 invar_refs(target="src/foo.py::MyClass")
 ```
 
 **doc*** - Document tools
 ```python
-# MCP (Claude Code only - not available as Pi tool yet)
+# MCP
 invar_doc_toc(file="docs/spec.md")
 invar_doc_read(file="docs/spec.md", section="intro")
 ```

{invar_tools-1.17.25 → invar_tools-1.17.27}/INVAR.md

@@ -248,6 +248,60 @@ A task is complete only when ALL conditions are met:
 
 ---
 
+## Baseline Protocol (Technical Debt)
+
+When working on projects with existing verification failures:
+
+### Establishing Baseline
+
+Before starting implementation:
+1. Run verification from **repository root**: `invar_guard(path=".")`
+2. If failures exist and are pre-existing debt → **Record as baseline**
+3. Note the failure count and affected files
+
+### During Implementation
+
+**Allowed:**
+- Continue work despite baseline failures
+- Use language-specific local checks (e.g., linters, type checkers, unit tests)
+- Focus on ensuring new code doesn't introduce violations
+
+**Required:**
+- New code must not expand the failure surface
+- Changes to existing files must not add new violations
+
+### Final Output Format
+
+**When baseline is cleared:**
+```
+✓ Final: guard PASS | 0 errors, 2 warnings
+```
+
+**When baseline still exists (known debt):**
+```
+✓ Final: guard BASELINE_FAIL (known debt) | local checks PASS
+```
+
+**If new violations introduced:**
+```
+✗ Final: guard FAIL | X new errors (baseline: Y)
+```
+
+### Guard Best Practices
+
+**Always run from repository root:**
+```python
+# ✅ CORRECT - Runs from repo root
+invar_guard(path=".")
+
+# ❌ WRONG - May fail language detection in subdirectories
+invar_guard(path="src/components")
+```
+
+**Reason:** Subdirectories may lack language marker files (pyproject.toml, tsconfig.json), causing incorrect detection defaults.
+
+---
+
 *Protocol v5.0 — USBV workflow | [Examples](.invar/examples/)*
 
 
@@ -325,6 +379,9 @@ core_paths = ["src/myapp/core"]    # Default: ["src/core", "core"]
 shell_paths = ["src/myapp/shell"]  # Default: ["src/shell", "shell"]
 max_file_lines = 500               # Default: 500 (warning at 80%)
 max_function_lines = 50            # Default: 50
+timeout_doctest = 60                 # Default: 60s
+timeout_crosshair = 300              # Default: 300s
+timeout_hypothesis = 300             # Default: 300s
 # Doctest lines are excluded from size calculations
 ```
 

{invar_tools-1.17.25 → invar_tools-1.17.27}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.25
+Version: 1.17.27
 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.25 → invar_tools-1.17.27}/pyproject.toml

@@ -15,7 +15,7 @@ ignore-vcs = true
 
 [project]
 name = "invar-tools"
-version = "1.17.25"
+version = "1.17.27"
 description = "AI-native software engineering tools with design-by-contract verification"
 readme = "README.md"
 license = "GPL-3.0-or-later"
@@ -114,9 +114,9 @@ strict_pure = true          # Detect internal imports and impure calls in Core
 use_code_lines = false
 exclude_doctest_lines = true  # DX-15: Reward good doctests, don't penalize documentation
 
-# Severity overrides - turn off noisy rules
+# Severity overrides
 [tool.invar.guard.severity_overrides]
-partial_contract = "off"  # Often intentional: methods don't check self, config is Pydantic-validated
+# partial_contract now auto-skips self/cls, enabled as warning
 
 # Rule exclusions for specific patterns
 [[tool.invar.guard.rule_exclusions]]

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/contracts.py

@@ -76,7 +76,7 @@ def is_redundant_type_contract(expression: str, annotations: dict[str, str]) ->
         return False
 
 
-@pre(lambda node: isinstance(node, ast.expr) and hasattr(node, '__class__'))
+@pre(lambda node: isinstance(node, ast.expr) and hasattr(node, "__class__"))
 @post(lambda result: result is None or isinstance(result, list))
 def _extract_isinstance_checks(node: ast.expr) -> list[tuple[str, str]] | None:
     """Extract isinstance checks. Returns None if other logic present.
@@ -84,17 +84,21 @@ def _extract_isinstance_checks(node: ast.expr) -> list[tuple[str, str]] | None:
     Conservative: returns None for complex expressions (nested BoolOp, etc.)
     to avoid false positives when detecting redundant type contracts.
     """
-    if isinstance(node, ast.Call) and hasattr(node, 'func'):
+    if isinstance(node, ast.Call) and hasattr(node, "func"):
         check = _parse_isinstance_call(node)
         return [check] if check else None
-    if isinstance(node, ast.BoolOp) and hasattr(node, 'op') and isinstance(node.op, ast.And):
-        valid_calls = [v for v in node.values if isinstance(v, ast.Call) and hasattr(v, 'func') and hasattr(v, 'args')]
+    if isinstance(node, ast.BoolOp) and hasattr(node, "op") and isinstance(node.op, ast.And):
+        valid_calls = [
+            v
+            for v in node.values
+            if isinstance(v, ast.Call) and hasattr(v, "func") and hasattr(v, "args")
+        ]
         checks = [_parse_isinstance_call(v) for v in valid_calls]
         return checks if len(checks) == len(node.values) and all(checks) else None
     return None
 
 
-@pre(lambda node: isinstance(node, ast.Call) and hasattr(node, 'func') and hasattr(node, 'args'))
+@pre(lambda node: isinstance(node, ast.Call) and hasattr(node, "func") and hasattr(node, "args"))
 @post(lambda result: result is None or (isinstance(result, tuple) and len(result) == 2))
 def _parse_isinstance_call(node: ast.Call) -> tuple[str, str] | None:
     """Parse isinstance(x, Type) call. Returns (param, type) or None."""
@@ -353,6 +357,9 @@ def check_partial_contract(file_info: FileInfo, config: RuleConfig) -> list[Viol
     - param_mismatch: lambda param COUNT != function param count (ERROR)
     - partial_contract: lambda has all params but doesn't USE all (WARN)
 
+    Note: For methods, 'self' and 'cls' are automatically excluded from unused params check,
+    since these are instance/class references that rarely need @pre constraints.
+
     Examples:
         >>> from invar.core.models import FileInfo, Symbol, SymbolKind, Contract, RuleConfig
         >>> c = Contract(kind="pre", expression="lambda x, y: x > 0", line=1)
@@ -364,6 +371,23 @@ def check_partial_contract(file_info: FileInfo, config: RuleConfig) -> list[Viol
         <Severity.WARNING: 'warning'>
         >>> "y" in vs[0].message
         True
+
+        Method's self is excluded from unused check:
+        >>> c2 = Contract(kind="pre", expression="lambda self, x, y: x > 0", line=1)
+        >>> m = Symbol(name="calc", kind=SymbolKind.METHOD, line=1, end_line=5, signature="(self, x: int, y: int) -> int", contracts=[c2])
+        >>> vs2 = check_partial_contract(FileInfo(path="c.py", lines=10, symbols=[m], is_core=True), RuleConfig())
+        >>> len(vs2)
+        1
+        >>> "self" in vs2[0].message  # self should NOT be reported
+        False
+        >>> "y" in vs2[0].message  # y should still be reported
+        True
+
+        When only self is unused, no violation:
+        >>> c3 = Contract(kind="pre", expression="lambda self, x: x > 0", line=1)
+        >>> m2 = Symbol(name="calc", kind=SymbolKind.METHOD, line=1, end_line=5, signature="(self, x: int) -> int", contracts=[c3])
+        >>> check_partial_contract(FileInfo(path="c.py", lines=10, symbols=[m2], is_core=True), RuleConfig())
+        []
     """
     violations: list[Violation] = []
     if not file_info.is_core:
@@ -376,6 +400,10 @@ def check_partial_contract(file_info: FileInfo, config: RuleConfig) -> list[Viol
             if contract.kind != "pre":
                 continue
             has_unused, unused, used = has_unused_params(contract.expression, symbol.signature)
+            # For methods, exclude self/cls from unused check (they rarely need @pre constraints)
+            if symbol.kind == SymbolKind.METHOD:
+                unused = [p for p in unused if p not in ("self", "cls")]
+                has_unused = len(unused) > 0
             if has_unused:
                 kind = "Method" if symbol.kind == SymbolKind.METHOD else "Function"
                 unused_str = ", ".join(f"'{p}'" for p in unused)
@@ -429,7 +457,11 @@ def check_skip_without_reason(file_info: FileInfo, config: RuleConfig) -> list[V
 
     for line_num, line in enumerate(source.split("\n"), 1):
         # Check for bare @skip_property_test, empty parens, or empty string reason
-        if bare_pattern.match(line) or no_reason_pattern.match(line) or empty_string_pattern.match(line):
+        if (
+            bare_pattern.match(line)
+            or no_reason_pattern.match(line)
+            or empty_string_pattern.match(line)
+        ):
             violations.append(
                 Violation(
                     rule="skip_without_reason",

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/doc_edit.py

@@ -15,9 +15,14 @@ if TYPE_CHECKING:
     from invar.core.doc_parser import Section
 
 
-@pre(lambda source, section, new_content, keep_heading=True: section.line_start >= 1)
-@pre(lambda source, section, new_content, keep_heading=True: section.line_end >= section.line_start)
-@pre(lambda source, section, new_content, keep_heading=True: section.line_end <= len(source.split("\n")))
+@pre(
+    lambda source, section, new_content, keep_heading=True: len(source) > 0
+    and isinstance(new_content, str)
+    and isinstance(keep_heading, bool)
+    and section.line_start >= 1
+    and section.line_end >= section.line_start
+    and section.line_end <= len(source.split("\n"))
+)
 def replace_section(
     source: str,
     section: Section,
@@ -73,9 +78,13 @@ def replace_section(
     return "\n".join(result_lines)
 
 
-@pre(lambda source, anchor, content, position="after": anchor.line_start >= 1)
-@pre(lambda source, anchor, content, position="after": anchor.line_end <= len(source.split("\n")))
-@pre(lambda source, anchor, content, position="after": position in ("before", "after", "first_child", "last_child"))
+@pre(
+    lambda source, anchor, content, position="after": len(source) > 0
+    and isinstance(content, str)
+    and anchor.line_start >= 1
+    and anchor.line_end <= len(source.split("\n"))
+    and position in ("before", "after", "first_child", "last_child")
+)
 def insert_section(
     source: str,
     anchor: Section,
@@ -132,9 +141,13 @@ def insert_section(
     return "\n".join(result_lines)
 
 
-@pre(lambda source, section, include_children=True: section.line_start >= 1)
-@pre(lambda source, section, include_children=True: section.line_end >= section.line_start)
-@pre(lambda source, section, include_children=True: section.line_end <= len(source.split("\n")))
+@pre(
+    lambda source, section, include_children=True: len(source) > 0
+    and isinstance(include_children, bool)
+    and section.line_start >= 1
+    and section.line_end >= section.line_start
+    and section.line_end <= len(source.split("\n"))
+)
 def delete_section(source: str, section: Section, include_children: bool = True) -> str:
     """Delete a section from the document.
 

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/doc_parser.py

@@ -101,9 +101,11 @@ def _slugify(title: str) -> str:
     return slug
 
 
-@skip_property_test("crosshair_incompatible: Unicode character validation conflicts with symbolic execution")  # type: ignore[untyped-decorator]
+@skip_property_test(
+    "crosshair_incompatible: Unicode character validation conflicts with symbolic execution"
+)  # type: ignore[untyped-decorator]
 @pre(lambda text: len(text) <= 1000)
-@post(lambda result: result == '' or all(c.isalnum() or c == '_' or ord(c) > 127 for c in result))
+@post(lambda result: result == "" or all(c.isalnum() or c == "_" or ord(c) > 127 for c in result))
 def _normalize_for_fuzzy(text: str) -> str:
     """
     Normalize text for Unicode-aware fuzzy matching.
@@ -128,9 +130,9 @@ def _normalize_for_fuzzy(text: str) -> str:
         'apiv20'
     """
     # Convert ASCII to lowercase, keep Unicode as-is
-    ascii_lower = ''.join(c.lower() if c.isascii() else c for c in text)
+    ascii_lower = "".join(c.lower() if c.isascii() else c for c in text)
     # Remove non-word-chars, but keep Unicode letters/digits (via re.UNICODE)
-    return re.sub(r'[^\w]', '', ascii_lower, flags=re.UNICODE)
+    return re.sub(r"[^\w]", "", ascii_lower, flags=re.UNICODE)
 
 
 @pre(lambda sections: all(1 <= s.level <= 6 for s in sections))  # Valid heading levels
@@ -313,7 +315,7 @@ def parse_toc(source: str) -> DocumentToc:
     return DocumentToc(sections=root_sections, frontmatter=frontmatter)
 
 
-@pre(lambda sections, target_line: target_line >= 1)
+@pre(lambda sections, target_line: isinstance(sections, list) and target_line >= 1)
 @post(lambda result: result is None or isinstance(result, Section))
 def _find_by_line(sections: list[Section], target_line: int) -> Section | None:
     """Find section by line number.
@@ -337,7 +339,7 @@ def _find_by_line(sections: list[Section], target_line: int) -> Section | None:
     return None
 
 
-@pre(lambda sections, path: len(path) > 0 and path.startswith("#"))
+@pre(lambda sections, path: isinstance(sections, list) and len(path) > 0 and path.startswith("#"))
 @post(lambda result: result is None or isinstance(result, Section))
 def _find_by_index(sections: list[Section], path: str) -> Section | None:
     """Find section by index path (#0/#1/#2).
@@ -378,7 +380,7 @@ def _find_by_index(sections: list[Section], path: str) -> Section | None:
 
 
 @skip_property_test("crosshair_incompatible: Calls _normalize_for_fuzzy with Unicode validation")  # type: ignore[untyped-decorator]
-@pre(lambda sections, path: len(path) > 0)
+@pre(lambda sections, path: isinstance(sections, list) and len(path) > 0)
 @post(lambda result: result is None or isinstance(result, Section))
 def _find_by_slug_or_fuzzy(sections: list[Section], path: str) -> Section | None:
     """Find section by slug path or fuzzy match.
@@ -433,7 +435,7 @@ def _find_by_slug_or_fuzzy(sections: list[Section], path: str) -> Section | None
 
 
 @skip_property_test("crosshair_incompatible: Calls _find_by_slug_or_fuzzy with Unicode validation")  # type: ignore[untyped-decorator]
-@pre(lambda sections, path: len(path) > 0)
+@pre(lambda sections, path: isinstance(sections, list) and len(path) > 0)
 @post(lambda result: result is None or isinstance(result, Section))
 def find_section(sections: list[Section], path: str) -> Section | None:
     """Find section by path (slug, fuzzy, index, or line anchor).
@@ -515,9 +517,13 @@ def _get_last_line(section: Section) -> int:
     return _get_last_line(last_child)
 
 
-@pre(lambda source, section, include_children=True: section.line_start >= 1)
-@pre(lambda source, section, include_children=True: section.line_end >= section.line_start)
-@pre(lambda source, section, include_children=True: section.line_end <= len(source.split("\n")))  # Bounds check
+@pre(
+    lambda source, section, include_children=True: len(source) > 0
+    and isinstance(include_children, bool)
+    and section.line_start >= 1
+    and section.line_end >= section.line_start
+    and section.line_end <= len(source.split("\n"))
+)
 def extract_content(source: str, section: Section, include_children: bool = True) -> str:
     """Extract section content from source.
 

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/entry_points.py

@@ -22,46 +22,48 @@ if TYPE_CHECKING:
 
 # Decorator patterns that indicate framework entry points
 # These functions interface with external frameworks and cannot return Result
-ENTRY_POINT_DECORATORS: frozenset[str] = frozenset([
-    # Web frameworks - Flask
-    "app.route",
-    "app.get",
-    "app.post",
-    "app.put",
-    "app.delete",
-    "app.patch",
-    "blueprint.route",
-    "bp.route",
-    # Web frameworks - FastAPI
-    "router.get",
-    "router.post",
-    "router.put",
-    "router.delete",
-    "router.patch",
-    "api_router.get",
-    "api_router.post",
-    "api_router.put",
-    "api_router.delete",
-    # CLI frameworks - Typer
-    "app.command",
-    "app.callback",
-    "typer.command",
-    # CLI frameworks - Click
-    "click.command",
-    "click.group",
-    "cli.command",
-    # Testing - pytest
-    "pytest.fixture",
-    "fixture",
-    # Event handlers
-    "on_event",
-    "app.on_event",
-    "middleware",
-    "app.middleware",
-    # Django
-    "admin.register",
-    "receiver",
-])
+ENTRY_POINT_DECORATORS: frozenset[str] = frozenset(
+    [
+        # Web frameworks - Flask
+        "app.route",
+        "app.get",
+        "app.post",
+        "app.put",
+        "app.delete",
+        "app.patch",
+        "blueprint.route",
+        "bp.route",
+        # Web frameworks - FastAPI
+        "router.get",
+        "router.post",
+        "router.put",
+        "router.delete",
+        "router.patch",
+        "api_router.get",
+        "api_router.post",
+        "api_router.put",
+        "api_router.delete",
+        # CLI frameworks - Typer
+        "app.command",
+        "app.callback",
+        "typer.command",
+        # CLI frameworks - Click
+        "click.command",
+        "click.group",
+        "cli.command",
+        # Testing - pytest
+        "pytest.fixture",
+        "fixture",
+        # Event handlers
+        "on_event",
+        "app.on_event",
+        "middleware",
+        "app.middleware",
+        # Django
+        "admin.register",
+        "receiver",
+    ]
+)
 
 # Explicit marker comment for edge cases
 ENTRY_MARKER_PATTERN = re.compile(r"#\s*@shell:entry\b")
@@ -188,7 +190,6 @@ def is_entry_point(symbol: Symbol, source: str) -> bool:
     return _has_entry_marker(symbol, source)
 
 
-
 @post(lambda result: isinstance(result, str))
 def _decorator_to_string(decorator: ast.AST) -> str:
     """
@@ -216,6 +217,7 @@ def _decorator_to_string(decorator: ast.AST) -> str:
         return _decorator_to_string(decorator.func)
     return ""
 
+
 @pre(lambda symbol, source: symbol is not None and isinstance(source, str))
 @post(lambda result: isinstance(result, bool))
 def _has_entry_decorator(symbol: Symbol, source: str) -> bool:
@@ -320,7 +322,11 @@ def get_symbol_lines(symbol: Symbol) -> int:
     return max(1, symbol.end_line - symbol.line + 1)
 
 
-@pre(lambda symbol, source, rule: symbol is not None and isinstance(rule, str))
+@pre(
+    lambda symbol, source, rule: symbol is not None
+    and isinstance(source, str)
+    and isinstance(rule, str)
+)
 @post(lambda result: isinstance(result, bool))
 def has_allow_marker(symbol: Symbol, source: str, rule: str) -> bool:
     """

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/extraction.py

@@ -32,9 +32,16 @@ def _build_call_graph(funcs: dict[str, Symbol]) -> dict[str, set[str]]:
     return graph
 
 
-@pre(lambda start, graph, visited: start and start in graph)  # Start must exist in graph
+@pre(
+    lambda start, graph, visited: start
+    and start in graph
+    and isinstance(graph, dict)
+    and isinstance(visited, set)
+)  # Start must exist in graph
 @post(lambda result: len(result) >= 1 or not result)  # At least 1 if found, else empty
-def _find_connected_component(start: str, graph: dict[str, set[str]], visited: set[str]) -> list[str]:
+def _find_connected_component(
+    start: str, graph: dict[str, set[str]], visited: set[str]
+) -> list[str]:
     """BFS to find all functions connected to start.
 
     >>> g = {"a": {"b"}, "b": {"a"}, "c": set()}
@@ -97,17 +104,24 @@ def find_extractable_groups(file_info: FileInfo) -> list[dict]:
         total_lines = sum(funcs[n].end_line - funcs[n].line + 1 for n in component)
         deps = _get_group_dependencies(component, funcs, file_info.imports)
 
-        groups.append({
-            "functions": sorted(component),
-            "lines": total_lines,
-            "dependencies": sorted(deps),
-        })
+        groups.append(
+            {
+                "functions": sorted(component),
+                "lines": total_lines,
+                "dependencies": sorted(deps),
+            }
+        )
 
     groups.sort(key=lambda g: -g["lines"])
     return groups
 
 
-@pre(lambda func_names, funcs, file_imports: all(n in funcs for n in func_names if n))
+@pre(
+    lambda func_names, funcs, file_imports: isinstance(func_names, list)
+    and isinstance(funcs, dict)
+    and isinstance(file_imports, list)
+    and all(n in funcs for n in func_names if n)
+)
 @post(lambda result: isinstance(result, set))
 def _get_group_dependencies(
     func_names: list[str],
@@ -135,7 +149,9 @@ def _get_group_dependencies(
     return deps.intersection(set(file_imports)) if file_imports else deps
 
 
-@pre(lambda file_info, max_groups=3: max_groups >= 1)  # At least 1 group
+@pre(
+    lambda file_info, max_groups=3: isinstance(file_info, FileInfo) and max_groups >= 1
+)  # At least 1 group
 def format_extraction_hint(file_info: FileInfo, max_groups: int = 3) -> str:
     """
     Format extraction suggestions for file_size_warning.

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/format_specs.py

@@ -111,7 +111,10 @@ class CrossHairOutputSpec(FormatSpec):
         """
         return f"{filename}:{line}: error: {error_type} when calling {function}({args})"
 
-    @pre(lambda self, count, include_success, include_errors: count >= 0 and (not include_errors or (len(self.error_types) > 0 and bool(self.error_marker))))
+    @pre(
+        lambda self, count, include_success, include_errors: count >= 0
+        and (not include_errors or (len(self.error_types) > 0 and bool(self.error_marker)))
+    )
     @post(lambda result: isinstance(result, list))
     def generate_output(
         self,
@@ -174,7 +177,9 @@ CROSSHAIR_SPEC = CrossHairOutputSpec()
 PYTEST_SPEC = PytestOutputSpec()
 
 
-@post(lambda result: all(isinstance(line, str) and line.strip() for line in result))  # Non-empty strings
+@post(
+    lambda result: all(isinstance(line, str) and line.strip() for line in result)
+)  # Non-empty strings
 def extract_by_format(text: str, spec: CrossHairOutputSpec) -> list[str]:
     """
     Extract lines matching a format specification.

{invar_tools-1.17.25 → invar_tools-1.17.27}/src/invar/core/format_strategies.py

@@ -112,7 +112,11 @@ def crosshair_output(
     )
 
 
-@pre(lambda pattern, min_occurrences, max_occurrences: len(pattern) > 0 and min_occurrences >= 0)
+@pre(
+    lambda pattern, min_occurrences, max_occurrences: len(pattern) > 0
+    and min_occurrences >= 0
+    and max_occurrences >= min_occurrences
+)
 @post(lambda result: result is not None)
 def text_with_pattern(
     pattern: str,
@@ -154,9 +158,7 @@ def text_with_pattern(
     )
 
     # Combine into full output
-    pattern_lines = st.lists(
-        pattern_line, min_size=min_occurrences, max_size=max_occurrences
-    )
+    pattern_lines = st.lists(pattern_line, min_size=min_occurrences, max_size=max_occurrences)
     noise_lines = st.lists(noise_line, min_size=0, max_size=10)
 
     # Note: Hypothesis will automatically explore different orderings of the lines,