invar-tools 1.17.26__py3-none-any.whl → 1.17.27__py3-none-any.whl

invar/core/strategies.py

@@ -111,7 +111,10 @@ PATTERNS: list[tuple[str, Callable[[re.Match, str], dict[str, Any] | None]]] = [
     ),
     (
         r"(-?[\d.]+(?:e[+-]?\d+)?)\s*<=\s*(\w+)\s*<=\s*(-?[\d.]+(?:e[+-]?\d+)?)",
-        lambda m, p: {"min_value": _parse_number(m.group(1)), "max_value": _parse_number(m.group(3))}
+        lambda m, p: {
+            "min_value": _parse_number(m.group(1)),
+            "max_value": _parse_number(m.group(3)),
+        }
         if m.group(2) == p
         else None,
     ),
@@ -140,7 +143,11 @@ PATTERNS: list[tuple[str, Callable[[re.Match, str], dict[str, Any] | None]]] = [
 ]
 
 
-@pre(lambda pre_source, param_name, param_type=None: len(param_name) > 0)  # Param must be named
+@pre(
+    lambda pre_source, param_name, param_type=None: isinstance(pre_source, str)
+    and len(param_name) > 0
+    and (param_type is None or isinstance(param_type, type))
+)  # Param must be named
 @post(lambda result: isinstance(result.constraints, dict))  # Returns valid hint
 def infer_from_lambda(
     pre_source: str,
@@ -193,7 +200,11 @@ def infer_from_lambda(
     )
 
 
-@pre(lambda pre_sources, param_name, param_type=None: len(param_name) > 0)  # Param must be named
+@pre(
+    lambda pre_sources, param_name, param_type=None: isinstance(pre_sources, list)
+    and len(param_name) > 0
+    and (param_type is None or isinstance(param_type, type))
+)  # Param must be named
 @post(lambda result: isinstance(result.constraints, dict))  # Returns valid hint
 def infer_from_multiple(
     pre_sources: list[str],

invar/core/suggestions.py

@@ -35,7 +35,7 @@ CONSTRAINT_PATTERNS: dict[str, list[str]] = {
 # Return-type-aware @post patterns for redundant_type_contract suggestions
 RETURN_TYPE_POST_PATTERNS: dict[str, str] = {
     "list[Violation]": '@post(lambda result: all(v.rule == "RULE_NAME" for v in result))',
-    "list": '@post(lambda result: all(<predicate> for item in result))',
+    "list": "@post(lambda result: all(<predicate> for item in result))",
     "dict": "@post(lambda result: all(isinstance(k, <type>) for k in result))",
     "set": "@post(lambda result: all(<predicate> for item in result))",
     "int": "@post(lambda result: result >= 0)",
@@ -331,11 +331,18 @@ _VIOLATION_PREFIXES = {
     "missing_contract": ("Add: ", "Add: "),
     "empty_contract": ("Replace with: ", "Replace with: "),
     "redundant_type_contract": ("Replace with business logic: ", "Replace with: "),
-    "semantic_tautology": ("Replace tautology with meaningful constraint: ", "Replace tautology with: "),
+    "semantic_tautology": (
+        "Replace tautology with meaningful constraint: ",
+        "Replace tautology with: ",
+    ),
 }
 
 
-@pre(lambda prefix, suggestion, patterns: bool(prefix) and bool(suggestion))
+@pre(
+    lambda prefix, suggestion, patterns: bool(prefix)
+    and bool(suggestion)
+    and isinstance(patterns, str)
+)
 @post(lambda result: isinstance(result, str) and len(result) > 0)
 def _format_with_patterns(prefix: str, suggestion: str, patterns: str) -> str:
     """Format suggestion with optional patterns.
@@ -350,7 +357,8 @@ def _format_with_patterns(prefix: str, suggestion: str, patterns: str) -> str:
 
 
 @pre(
-    lambda symbol, violation_type: violation_type
+    lambda symbol, violation_type: symbol is not None
+    and violation_type
     in ("missing_contract", "empty_contract", "redundant_type_contract", "semantic_tautology", "")
 )
 def format_suggestion_for_violation(symbol: Symbol, violation_type: str) -> str:

invar/core/tautology.py

@@ -61,7 +61,13 @@ def is_semantic_tautology(expression: str) -> tuple[bool, str]:
 
         # DX-38 Tier 1: Check for no-parameter lambda
         args = lambda_node.args
-        if not args.args and not args.posonlyargs and not args.kwonlyargs and not args.vararg and not args.kwarg:
+        if (
+            not args.args
+            and not args.posonlyargs
+            and not args.kwonlyargs
+            and not args.vararg
+            and not args.kwarg
+        ):
             return (True, "contract has no parameters (doesn't validate function inputs)")
 
         return _check_tautology_patterns(lambda_node.body)
@@ -92,9 +98,14 @@ def _check_comparison_patterns(node: ast.expr) -> tuple[bool, str] | None:
     # Length non-negative pattern
     if len(node.comparators) == 1:
         left, op, right = node.left, node.ops[0], node.comparators[0]
-        if (isinstance(left, ast.Call) and isinstance(left.func, ast.Name) and
-            left.func.id == "len" and isinstance(op, ast.GtE) and
-            isinstance(right, ast.Constant) and right.value == 0):
+        if (
+            isinstance(left, ast.Call)
+            and isinstance(left.func, ast.Name)
+            and left.func.id == "len"
+            and isinstance(op, ast.GtE)
+            and isinstance(right, ast.Constant)
+            and right.value == 0
+        ):
             arg = ast.unparse(left.args[0]) if left.args else "x"
             return (True, f"len({arg}) >= 0 is always True for any sequence")
     return None
@@ -103,8 +114,12 @@ def _check_comparison_patterns(node: ast.expr) -> tuple[bool, str] | None:
 @pre(lambda node: isinstance(node, ast.expr))
 def _check_isinstance_object(node: ast.expr) -> tuple[bool, str] | None:
     """Check for isinstance(x, object) pattern."""
-    if (isinstance(node, ast.Call) and isinstance(node.func, ast.Name) and
-        node.func.id == "isinstance" and len(node.args) == 2):
+    if (
+        isinstance(node, ast.Call)
+        and isinstance(node.func, ast.Name)
+        and node.func.id == "isinstance"
+        and len(node.args) == 2
+    ):
         type_arg = node.args[1]
         if isinstance(type_arg, ast.Name) and type_arg.id == "object":
             return (True, f"isinstance({ast.unparse(node.args[0])}, object) is always True")
@@ -139,7 +154,7 @@ def _check_boolop_patterns(node: ast.expr) -> tuple[bool, str] | None:
     return None
 
 
-@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: isinstance(result, tuple) and len(result) == 2)
 def _check_tautology_patterns(node: ast.expr) -> tuple[bool, str]:
     """Check for common tautology patterns in AST node.
@@ -157,15 +172,23 @@ def _check_tautology_patterns(node: ast.expr) -> tuple[bool, str]:
         >>> _check_tautology_patterns(ast.Constant(value=False))
         (True, 'contract always returns False (contradiction - will always fail)')
     """
-    for checker in [_check_literal_patterns, _check_comparison_patterns,
-                    _check_isinstance_object, _check_boolop_patterns]:
+    for checker in [
+        _check_literal_patterns,
+        _check_comparison_patterns,
+        _check_isinstance_object,
+        _check_boolop_patterns,
+    ]:
         result = checker(node)
         if result:
             return result
     return (False, "")
 
 
-@pre(lambda file_info, config: len(file_info.path) > 0)
+@pre(
+    lambda file_info, config: file_info is not None
+    and len(file_info.path) > 0
+    and config is not None
+)
 def check_semantic_tautology(file_info: FileInfo, config: RuleConfig) -> list[Violation]:
     """Check for semantic tautology contracts. Core files only.
 

invar/core/template_parser.py

@@ -73,9 +73,7 @@ class ParsedFile:
 # Patterns for region markers
 # <!--invar:managed version="5.0"-->
 # <!--/invar:managed-->
-REGION_START_PATTERN = re.compile(
-    r'<!--invar:(\w+)(?:\s+version=["\']([^"\']+)["\'])?-->'
-)
+REGION_START_PATTERN = re.compile(r'<!--invar:(\w+)(?:\s+version=["\']([^"\']+)["\'])?-->')
 REGION_END_PATTERN = re.compile(r"<!--/invar:(\w+)-->")
 
 
@@ -157,10 +155,15 @@ def parse_invar_regions(content: str) -> ParsedFile:
     return ParsedFile(regions=regions, before=before, after=after, raw=content)
 
 
-@pre(lambda parsed, updates: all(k == v.name for k, v in parsed.regions.items()))  # Keys must match names
-@ensure(lambda parsed, updates, result: (
-    not parsed.has_regions or all(f"<!--invar:{r}" in result for r in parsed.regions)
-))  # Checks start tag prefix (version attribute may follow)
+@pre(
+    lambda parsed, updates: isinstance(updates, dict)
+    and all(k == v.name for k, v in parsed.regions.items())
+)  # Keys must match names
+@ensure(
+    lambda parsed, updates, result: (
+        not parsed.has_regions or all(f"<!--invar:{r}" in result for r in parsed.regions)
+    )
+)  # Checks start tag prefix (version attribute may follow)
 def reconstruct_file(parsed: ParsedFile, updates: dict[str, str]) -> str:
     """Reconstruct file content with updated regions.
 
@@ -359,11 +362,16 @@ def detect_claude_md_state(content: str) -> ClaudeMdState:
     project_complete = has_project_open and has_project_close
 
     # All markers present
-    any_marker = any([
-        has_managed_open, has_managed_close,
-        has_user_open, has_user_close,
-        has_project_open, has_project_close,
-    ])
+    any_marker = any(
+        [
+            has_managed_open,
+            has_managed_close,
+            has_user_open,
+            has_user_close,
+            has_project_open,
+            has_project_close,
+        ]
+    )
 
     if not any_marker:
         return ClaudeMdState(state="missing")
@@ -424,13 +432,13 @@ def strip_invar_markers(content: str) -> str:
     """
     # Remove all <!--invar:xxx--> and <!--/invar:xxx--> markers
     # Also handle version attribute
-    cleaned = re.sub(r'<!--/?invar:\w+[^>]*-->', '', content)
+    cleaned = re.sub(r"<!--/?invar:\w+[^>]*-->", "", content)
     # Clean up excessive blank lines
-    cleaned = re.sub(r'\n{3,}', '\n\n', cleaned)
+    cleaned = re.sub(r"\n{3,}", "\n\n", cleaned)
     return cleaned.strip()
 
 
-@pre(lambda content, merge_date: len(content) > 0)
+@pre(lambda content, merge_date="": len(content) > 0 and isinstance(merge_date, str))
 @post(lambda result: "MERGED CONTENT" in result)
 def format_preserved_content(content: str, merge_date: str = "") -> str:
     """Format preserved content with review markers.

invar/core/ts_parsers.py

@@ -115,7 +115,9 @@ def parse_tsc_output(output: str) -> list[TSViolation]:
     return violations
 
 
-@pre(lambda output, base_path="": output is not None)  # Accepts any string including empty
+@pre(
+    lambda output, base_path="": output is not None and isinstance(base_path, str)
+)  # Accepts any string including empty
 @post(lambda result: all(v.source == "eslint" for v in result))
 def parse_eslint_json(output: str, base_path: str = "") -> list[TSViolation]:
     """Parse ESLint JSON output into violations list.
@@ -194,7 +196,9 @@ def parse_eslint_json(output: str, base_path: str = "") -> list[TSViolation]:
     return violations
 
 
-@pre(lambda output, base_path="": output is not None)  # Accepts any string including empty
+@pre(
+    lambda output, base_path="": output is not None and isinstance(base_path, str)
+)  # Accepts any string including empty
 @post(lambda result: all(v.source == "vitest" for v in result))
 def parse_vitest_json(output: str, base_path: str = "") -> list[TSViolation]:
     """Parse Vitest JSON output into violations list.

invar/core/ts_sig_parser.py

@@ -188,7 +188,9 @@ def extract_ts_signatures(source: str) -> list[TSSymbol]:
         # Find actual class line (skip decorators)
         match_text = match.group(0)
         class_keyword_pos = match_text.find("class ")
-        actual_start = match.start() + class_keyword_pos if class_keyword_pos >= 0 else match.start()
+        actual_start = (
+            match.start() + class_keyword_pos if class_keyword_pos >= 0 else match.start()
+        )
         line = get_line_number(actual_start)
         line_content = lines[line - 1].strip() if line <= len(lines) else ""
         signature = line_content.rstrip("{").rstrip()
@@ -241,11 +243,13 @@ def extract_ts_signatures(source: str) -> list[TSSymbol]:
     return symbols
 
 
-@pre(lambda symbols, file_path="": all(s.line > 0 for s in symbols))  # All symbols have valid line numbers
+@pre(
+    lambda symbols, file_path="": isinstance(symbols, list)
+    and isinstance(file_path, str)
+    and all(s.line > 0 for s in symbols)
+)  # All symbols have valid line numbers
 @post(lambda result: "file" in result and "symbols" in result)
-def format_ts_signatures_json(
-    symbols: list[TSSymbol], file_path: str = ""
-) -> dict:
+def format_ts_signatures_json(symbols: list[TSSymbol], file_path: str = "") -> dict:
     """Format TypeScript symbols as JSON output.
 
     Args:
@@ -277,11 +281,13 @@ def format_ts_signatures_json(
     }
 
 
-@pre(lambda symbols, file_path="": all(s.line > 0 for s in symbols))  # All symbols have valid line numbers
+@pre(
+    lambda symbols, file_path="": isinstance(symbols, list)
+    and isinstance(file_path, str)
+    and all(s.line > 0 for s in symbols)
+)  # All symbols have valid line numbers
 @post(lambda result: len(result) > 0)  # Always produces output (at least header)
-def format_ts_signatures_text(
-    symbols: list[TSSymbol], file_path: str = ""
-) -> str:
+def format_ts_signatures_text(symbols: list[TSSymbol], file_path: str = "") -> str:
     """Format TypeScript symbols as human-readable text.
 
     Args:
@@ -303,7 +309,9 @@ def format_ts_signatures_text(
         lines.append(f"  {symbol.signature}")
         if symbol.docstring:
             # Truncate long docstrings
-            doc = symbol.docstring[:100] + "..." if len(symbol.docstring) > 100 else symbol.docstring
+            doc = (
+                symbol.docstring[:100] + "..." if len(symbol.docstring) > 100 else symbol.docstring
+            )
             lines.append(f"  /** {doc} */")
         lines.append("")
 

invar/core/utils.py

@@ -15,7 +15,11 @@ from deal import post, pre
 from invar.core.models import GuardReport, RuleConfig, RuleExclusion
 
 
-@pre(lambda report, strict: report.files_checked >= 0 and report.errors >= 0)
+@pre(
+    lambda report, strict: report.files_checked >= 0
+    and report.errors >= 0
+    and isinstance(strict, bool)
+)
 @post(lambda result: result in (0, 1))
 def get_exit_code(report: GuardReport, strict: bool) -> int:
     """
@@ -43,6 +47,10 @@ def get_exit_code(report: GuardReport, strict: bool) -> int:
     doctest_passed=True,
     crosshair_passed=True,
     property_passed=True: report.files_checked >= 0
+    and isinstance(strict, bool)
+    and isinstance(doctest_passed, bool)
+    and isinstance(crosshair_passed, bool)
+    and isinstance(property_passed, bool)
 )
 @post(lambda result: result in ("passed", "failed"))
 def get_combined_status(
@@ -89,7 +97,10 @@ def get_combined_status(
     return "passed"
 
 
-@pre(lambda data, source: source in ("pyproject", "invar", "invar_dir", "default"))
+@pre(
+    lambda data, source: isinstance(data, dict)
+    and source in ("pyproject", "invar", "invar_dir", "default")
+)
 @post(lambda result: isinstance(result, dict))
 def extract_guard_section(data: dict[str, Any], source: str) -> dict[str, Any]:
     """
@@ -121,7 +132,7 @@ def extract_guard_section(data: dict[str, Any], source: str) -> dict[str, Any]:
     return result if isinstance(result, dict) else {}
 
 
-@pre(lambda config, key: len(key) > 0)
+@pre(lambda config, key: isinstance(config, dict) and len(key) > 0)
 @post(lambda result: result is None or isinstance(result, bool))
 def _get_bool(config: dict[str, Any], key: str) -> bool | None:
     """
@@ -138,7 +149,7 @@ def _get_bool(config: dict[str, Any], key: str) -> bool | None:
     return None
 
 
-@pre(lambda config, key: len(key) > 0)
+@pre(lambda config, key: isinstance(config, dict) and len(key) > 0)
 @post(lambda result: result is None or isinstance(result, int))
 def _get_int(config: dict[str, Any], key: str) -> int | None:
     """
@@ -155,7 +166,7 @@ def _get_int(config: dict[str, Any], key: str) -> int | None:
     return None
 
 
-@pre(lambda config, key: len(key) > 0)
+@pre(lambda config, key: isinstance(config, dict) and len(key) > 0)
 @post(lambda result: result is None or isinstance(result, float))
 def _get_float(config: dict[str, Any], key: str) -> float | None:
     """
@@ -174,7 +185,7 @@ def _get_float(config: dict[str, Any], key: str) -> float | None:
     return None
 
 
-@pre(lambda config, key: len(key) > 0)
+@pre(lambda config, key: isinstance(config, dict) and len(key) > 0)
 @post(lambda result: result is None or isinstance(result, list))
 def _get_str_list(config: dict[str, Any], key: str) -> list[str] | None:
     """
@@ -301,7 +312,7 @@ def parse_guard_config(guard_config: dict[str, Any]) -> RuleConfig:
         return RuleConfig()
 
 
-@pre(lambda file_path, patterns: len(file_path) > 0)
+@pre(lambda file_path, patterns: len(file_path) > 0 and isinstance(patterns, list))
 def matches_pattern(file_path: str, patterns: list[str]) -> bool:
     """
     Check if a file path matches any of the glob patterns.
@@ -331,7 +342,7 @@ def matches_pattern(file_path: str, patterns: list[str]) -> bool:
     return False
 
 
-@pre(lambda file_path, prefixes: len(file_path) > 0)
+@pre(lambda file_path, prefixes: len(file_path) > 0 and isinstance(prefixes, list))
 def matches_path_prefix(file_path: str, prefixes: list[str]) -> bool:
     """
     Check if file_path starts with any of the given prefixes.
@@ -401,7 +412,7 @@ def match_glob_pattern(file_path: str, pattern: str) -> bool:
     return False
 
 
-@pre(lambda file_path, config: len(file_path) > 0)
+@pre(lambda file_path, config: len(file_path) > 0 and isinstance(config, RuleConfig))
 def get_excluded_rules(file_path: str, config: RuleConfig) -> set[str]:
     """
     Get the set of rules to exclude for a given file path.

invar/templates/protocol/python/tools.md

@@ -23,5 +23,8 @@ 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.26.dist-info → invar_tools-1.17.27.dist-info}/METADATA

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

@@ -1,52 +1,52 @@
 invar/__init__.py,sha256=E-Mg9DG6qFzjP8D5TEkmy2ponvR99Yfn96RVJggAr64,1682
 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/doc_edit.py,sha256=kLBkSQMFiXKdZMlQYAy-pzld1f1p2UFKGpKVVJo8Nes,6690
-invar/core/doc_parser.py,sha256=yzZKzgr9myUiiRGtRidT2tubrs4-omtGlTwbUkSKhoM,18197
-invar/core/entry_points.py,sha256=1p6GRGTp9kA9spNkGKidFLlzLPheh6JO2XFb68Cr0sE,12209
-invar/core/extraction.py,sha256=mScqEMEEQdsd-Z0jx9g3scK6Z1vI9l-ESjggXPIWHZ4,6112
+invar/core/contracts.py,sha256=xLCI3rMLmI2W1sTjWeVPx98v6eLSHfJPi2FBfjO_HhA,20586
+invar/core/doc_edit.py,sha256=ZIfdMeKfqLDwA0rOn19WdgmuKgLXyZWnr12fJU5ABvs,6638
+invar/core/doc_parser.py,sha256=LJ3ljIgJP-RpiGLRAGWyNJXB14Y4IOMwFAYrGVAx5eg,18294
+invar/core/entry_points.py,sha256=WXfOFDhpOUl52rrL0EwBIUMr__9TPD7JfyUEMV4oDfk,12413
+invar/core/extraction.py,sha256=hpzW7qsWkVlLNXOmPp1TB_fuP65D1q1JrkmcvQ5TbFo,6387
 invar/core/feedback.py,sha256=JhQf32y_Qutza8D2b5qX2U4fM--vtR3sBdV22KrVNY0,3246
-invar/core/format_specs.py,sha256=P299aRHFMXyow8STwsvaT6Bg2ALPs2wSy7SByiRZZ-A,5610
-invar/core/format_strategies.py,sha256=laWixu7AV2GdKNK886Eu-3NLHRdQT-hH_HOQdgIAjKI,5848
-invar/core/formatter.py,sha256=rCGZhMpl4dPLrztgKDkNtAvnv2vKfomyIHl_6fThuno,11293
-invar/core/hypothesis_strategies.py,sha256=_MfjG7KxkmJvuPsczr_1JayR_YmiDzU2jJ8fQPoKGgs,16517
+invar/core/format_specs.py,sha256=cd9dyiux4nCYQzT6r3u3atwR8oEuaXizxyhR42Y-xZ8,5638
+invar/core/format_strategies.py,sha256=qfybRDhFiyxFWruEAypph5J_nZLpRLO6sWAZLJIaq9o,5887
+invar/core/formatter.py,sha256=m0jAbSjY5vTg_l7OW4qECOABtBFXLra9LD0CsGQMpLs,11498
+invar/core/hypothesis_strategies.py,sha256=zP_QTpXuFXnznNTzMQdkFhqNExSu8TVNDimfMh-novg,16856
 invar/core/inspect.py,sha256=l1knohwpLRHSNySPUjyeBHJusnU0vYiQGj4dMVgQZIo,4381
-invar/core/lambda_helpers.py,sha256=Ap1y7N0wpgCgPHwrs2pd7zD9Qq4Ptfd2iTliprXIkME,6457
+invar/core/lambda_helpers.py,sha256=cemVKI-9iUZrHYfNMiqDGv8vyUwnUQJu55WYSc_uDoU,6457
 invar/core/language.py,sha256=aGUcrq--eQtAjb5bYE40eFmDhRs_EbBNGQ1sBYgTdt0,2637
 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/parser.py,sha256=GJdgAn9Ys8xKmLtbEp6n-vgkxAm3WS5ihuLJQ60YUPY,9379
 invar/core/postcondition_scope.py,sha256=ykjVNqZZ1zItBmI7ebgmLW5vFGE-vpaLRTvSgWaJMgM,5245
-invar/core/property_gen.py,sha256=Pf9VpVdJFJmEkIx78HlW_Gn70cC8_sxEmW9gv-2Cifc,14342
+invar/core/property_gen.py,sha256=XOGejiVqiEpGrghsagicL2WaFPnBYsy1yxWTcPPDi8g,14557
 invar/core/purity.py,sha256=dt5dFy5V8Ch93iBJF5OuKUr1jjfimfY3oHLQD8KmLHw,12036
 invar/core/purity_heuristics.py,sha256=vsgphC1XPIFtsoLB0xvp--AyaJHqlh83LyKXYda4pWc,4546
 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=y_NIpO8GAcw8WNPZjbJniu9FU7ofgfn3kZ_keexTqA8,23481
-invar/core/shell_analysis.py,sha256=i2A9SMqBI3Rb4Ai0QNTM7awIkSJIY6yZJVWS72lv0bY,6457
+invar/core/shell_analysis.py,sha256=o1ogUvxzBlaupha88n17BUJwaV5vdcwD8UxpeSTyaKQ,6806
 invar/core/shell_architecture.py,sha256=98EVdBFIs8tO-i9jKuzdmv7fLB4PKnyI-vKh5lxnB98,6538
-invar/core/strategies.py,sha256=2DPl0z2p_CBNd4RlSbZzTeAy6Dq6cpCiBCB2p5qHHkk,8798
-invar/core/suggestions.py,sha256=LCg2Dy9EHh_n1t9jATRZ0gTkgJkAEZk3vp2nuuCyr-s,15129
+invar/core/strategies.py,sha256=XXCoiK2FVmlIvDoED6aEEvbqKZyvKy78f4r5kELuPyQ,9041
+invar/core/suggestions.py,sha256=ghN0YrXO_F21qyP8bHecQ9xKEIWZPXZ21VjBzLQnCig,15223
 invar/core/sync_helpers.py,sha256=rVfRFECO16Ntc9b9A7LxIV_0XfRJbRXaagVT-jJBYqI,8635
-invar/core/tautology.py,sha256=Pmn__a0Bt55W0lAQo1G5q8Ory9KuE23dRknKw45xxbs,9221
+invar/core/tautology.py,sha256=IUC7H3OxWYlxofcl3I4ANgqaWQz5PL1WUzmJ9nzybMs,9463
 invar/core/template_helpers.py,sha256=E1UT7ct0DaUFlfHr9oTBvW4xfxAiS81rbmZHSucPw4c,881
-invar/core/template_parser.py,sha256=vH3H8OX55scZ1hWh3xoA8oJMhgleKufCOhkTvsSuu_4,14730
+invar/core/template_parser.py,sha256=S-7M67JuUthhP_zoP8oAdPg6L-fFvO3pD8cS7KUVbes,14879
 invar/core/timeout_inference.py,sha256=BS2fJGmwOrLpYZUku4qrizgNDSIXVLFBslW-6sRAvpc,3451
 invar/core/trivial_detection.py,sha256=KYP8jJb7QDeusAxFdX5NAML_H0NL5wLgMeBWDQmNqfU,6086
-invar/core/ts_parsers.py,sha256=gXvLgb141gD8VAtiW4T1aaRnaSv10BEm0XYqArYIN00,8743
-invar/core/ts_sig_parser.py,sha256=_lUNfArFPILpENo-1dqmPY1qoVmcfAehv2Tva3r6dzw,9931
-invar/core/utils.py,sha256=BMzMOJuCZ7I74AdM0PImzHypnIMO5OqsO9ms84x-fH0,14478
+invar/core/ts_parsers.py,sha256=DTGig4qLNGBnRIM7FXAi2bYumjLf3iFK-VkfP9F7204,8817
+invar/core/ts_sig_parser.py,sha256=ZB8PaxrN4ADVYd7ArPbpEJlnRIy79aPjyxjkJIKwmI8,10125
+invar/core/utils.py,sha256=HMGB2w5B-4XhBHoOLaQkQ882a4vZFJ9deCy1qpgLrRc,14930
 invar/core/verification_routing.py,sha256=_jXi1txFCcUdnB3-Yavtuyk8N-XhEO_Vu_051Vuz27Y,5020
 invar/core/patterns/__init__.py,sha256=79a3ucN0BI54RnIOe49lngKASpADygs1hll9ROCrP6s,1429
-invar/core/patterns/detector.py,sha256=lUfED7qk2VWOAjHoGWgSqll5ynhhdzd6CjCiol-7kV8,8690
-invar/core/patterns/p0_exhaustive.py,sha256=66FNRRFAsOQh1LyxWULgkuM52CLtBWTVXlExpAVHMpo,7176
-invar/core/patterns/p0_literal.py,sha256=WkQNs4605PtBhLb5DKLXc1Nqlpezx5HjktC7JX6ltaM,10946
-invar/core/patterns/p0_newtype.py,sha256=DWI6zXRsV9YHSemEuCVFSTqWrB-ROl3xP86cPu9UC2w,7803
-invar/core/patterns/p0_nonempty.py,sha256=bJ97NqdFClYM9LaSiyViRt2qJrnT6kO9-ykBVbV20aE,10927
-invar/core/patterns/p0_validation.py,sha256=u_pQ1vskhIDLpu_xFlQfgsswZvi27s-cO8A7DTseAc0,9819
-invar/core/patterns/registry.py,sha256=2rz0wWDRarMkuHN-qM_ZrT3qeGFDSKMABvRvPNZxQNw,7495
+invar/core/patterns/detector.py,sha256=mwUDJ0Ha930BnRYF-ydbNCIF6ndQFwkHn055X1xy-OE,9107
+invar/core/patterns/p0_exhaustive.py,sha256=ykbObko9bC3BQaaCNVhUk1nt29CvqOcAjXQa_ZAkFho,7229
+invar/core/patterns/p0_literal.py,sha256=jp-3uVKwTGn5XgX_kz_wYRrtHi27oIrLvwT_MpXjY7A,10951
+invar/core/patterns/p0_newtype.py,sha256=iKlErz697lXrTCFkMKU8yn4FiTAIkP8fCTTs6kJ_6BA,7846
+invar/core/patterns/p0_nonempty.py,sha256=Ipe5eIKBBXN6w-a3h0bawigw5lEMrxUF_9CYPV9YDuU,11151
+invar/core/patterns/p0_validation.py,sha256=Ri_L9StWCpL2C_akn0QQudsRhrU51gEUtR3PHBhZBjA,9833
+invar/core/patterns/registry.py,sha256=4SPMgP9uutNTvvys8pUru41ibLNhR1mGHtQHxwKNhFw,7794
 invar/core/patterns/types.py,sha256=ULAlWuAdmO6CFcEDjTrWBfzNTBsnomAl2d25tR11ihU,5506
 invar/mcp/__init__.py,sha256=n3S7QwMjSMqOMT8cI2jf9E0yZPjKmBOJyIYhq4WZ8TQ,226
 invar/mcp/__main__.py,sha256=ZcIT2U6xUyGOWucl4jq422BDE3lRLjqyxb9pFylRBdk,219
@@ -2745,7 +2745,7 @@ invar/templates/protocol/INVAR.md.jinja,sha256=t2ZIQZJvzDTJMrRw_ijUo6ScZmeNK0-nV
 invar/templates/protocol/python/architecture-examples.md,sha256=O96LH9WFpk7G9MrhSbifLS5pyibTIDG-_EGFF7g3V4M,1175
 invar/templates/protocol/python/contracts-syntax.md,sha256=Q6supTQ3tChVrlN7xhcdb3Q8VGIESxQLA-mQvrNIZmo,1162
 invar/templates/protocol/python/markers.md,sha256=fzltCKbdPVz_vCuJFiQ9pbRPztvpMJpSf_4aFHcXFLM,1223
-invar/templates/protocol/python/tools.md,sha256=RULbZhisRxNI1oTxYzhWI3NTVyKNukrkQbwR5XWQt2Y,1043
+invar/templates/protocol/python/tools.md,sha256=qdKRRJok_ZU1z0B8SV9huhRED8qFRGaICmuWNZkwrCM,1201
 invar/templates/protocol/python/troubleshooting.md,sha256=-JHLUOxvfQeSrLpqKrxUXQ5UrkW44AHFr3LGHwxnw7w,1081
 invar/templates/protocol/typescript/architecture-examples.md,sha256=Dej-DI6OqRVsbzjukjOqdO8WEz0aT-1iwYqrah2B_xk,1454
 invar/templates/protocol/typescript/contracts-syntax.md,sha256=yKyM6WhyF5p-bt-RqD5SI4ZZudE7bLLFTAMzVSa74QE,1610
@@ -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.26.dist-info/METADATA,sha256=3iy3Ed3UYlIp66dIVkA4DvQZbADVG_IzGkYrmgLu7dI,28582
-invar_tools-1.17.26.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.26.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.26.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.26.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.26.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.26.dist-info/RECORD,,
+invar_tools-1.17.27.dist-info/METADATA,sha256=lA_4PuEF0Dloh5LYtlMf_0vNvyicErt7xJYEeoioQZA,28582
+invar_tools-1.17.27.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.27.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.27.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.27.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.27.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.27.dist-info/RECORD,,