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

invar/shell/property_tests.py

@@ -7,13 +7,10 @@ Handles I/O and file scanning, returns Result[T, E].
 
 from __future__ import annotations
 
-import importlib.util
 import sys
+import tomllib
 from contextlib import contextmanager, suppress
-from typing import TYPE_CHECKING
-
-if TYPE_CHECKING:
-    from pathlib import Path
+from pathlib import Path
 
 from returns.result import Failure, Result, Success
 from rich.console import Console
@@ -24,9 +21,98 @@ from invar.shell.subprocess_env import detect_project_venv, find_site_packages
 console = Console()
 
 
+def _extract_src_dirs_from_paths(project_root: Path, paths: list[str]) -> set[str]:
+    """
+    Extract unique src directories from configured paths.
+
+    For monorepo structures like 'packages/pkg-a/src/pkg_a/core',
+    extracts 'packages/pkg-a/src' as the directory to add to sys.path.
+
+    Examples:
+        >>> from pathlib import Path
+        >>> root = Path("/project")
+        >>> paths = ["packages/a/src/pkg/core", "packages/b/src/pkg/shell"]
+        >>> # Returns src dirs (would check existence in real use)
+        >>> sorted(_extract_src_dirs_from_paths(root, paths))  # doctest: +SKIP
+        ['/project/packages/a/src', '/project/packages/b/src']
+    """
+    src_dirs: set[str] = set()
+    for p in paths:
+        parts = Path(p).parts
+        if "src" in parts:
+            idx = parts.index("src")
+            src_dir = project_root / Path(*parts[: idx + 1])
+            if src_dir.exists():
+                src_dirs.add(str(src_dir))
+    return src_dirs
+
+
+# @shell_complexity: Config fallthrough requires checking 3 sources with error handling
+def _get_invar_paths_from_config(project_root: Path) -> list[str]:
+    """
+    Get 'paths' from [tool.invar] config across all config locations.
+
+    Checks in priority order:
+    1. pyproject.toml [tool.invar].paths
+    2. invar.toml [invar].paths (root level)
+    3. .invar/config.toml [invar].paths (root level)
+
+    Returns first found, or empty list.
+    """
+    # 1. pyproject.toml [tool.invar].paths
+    pyproject = project_root / "pyproject.toml"
+    if pyproject.exists():
+        try:
+            with pyproject.open("rb") as f:
+                data = tomllib.load(f)
+            paths = data.get("tool", {}).get("invar", {}).get("paths", [])
+            if paths:
+                return paths
+        except Exception:
+            pass
+
+    # 2. invar.toml [invar].paths (root level, since no [tool] wrapper)
+    invar_toml = project_root / "invar.toml"
+    if invar_toml.exists():
+        try:
+            with invar_toml.open("rb") as f:
+                data = tomllib.load(f)
+            # In invar.toml, paths could be at root or under [invar]
+            paths = data.get("paths", []) or data.get("invar", {}).get("paths", [])
+            if paths:
+                return paths
+        except Exception:
+            pass
+
+    # 3. .invar/config.toml
+    invar_config = project_root / ".invar" / "config.toml"
+    if invar_config.exists():
+        try:
+            with invar_config.open("rb") as f:
+                data = tomllib.load(f)
+            paths = data.get("paths", []) or data.get("invar", {}).get("paths", [])
+            if paths:
+                return paths
+        except Exception:
+            pass
+
+    return []
+
+
 # @shell_orchestration: Temporarily inject venv site-packages for module imports
+# @shell_complexity: Monorepo support requires reading config and extracting src dirs
 @contextmanager
 def _inject_project_site_packages(project_root: Path):
+    """
+    Context manager that temporarily injects project dependencies into sys.path.
+
+    Supports:
+    - Standard layout: project_root/src
+    - Monorepo layout: paths from config (pyproject.toml, invar.toml, .invar/config.toml)
+    - Configured paths: extracted from core_paths/shell_paths in [tool.invar.guard]
+    """
+    from invar.shell.config import get_path_classification
+
     venv = detect_project_venv(project_root)
     site_packages = find_site_packages(venv) if venv is not None else None
 
@@ -34,13 +120,35 @@ def _inject_project_site_packages(project_root: Path):
         yield
         return
 
-    src_dir = project_root / "src"
-
     added: list[str] = []
+
+    # 1. Read 'paths' from config (supports pyproject.toml, invar.toml, .invar/config.toml)
+    invar_paths = _get_invar_paths_from_config(project_root)
+    for p in invar_paths:
+        src_dir = project_root / p
+        if src_dir.exists():
+            src_dir_str = str(src_dir)
+            if src_dir_str not in added:
+                sys.path.insert(0, src_dir_str)
+                added.append(src_dir_str)
+
+    # 2. Extract src dirs from core_paths and shell_paths config
+    path_result = get_path_classification(project_root)
+    if isinstance(path_result, Success):
+        core_paths, shell_paths = path_result.unwrap()
+        src_dirs = _extract_src_dirs_from_paths(project_root, core_paths + shell_paths)
+        for src_dir_str in src_dirs:
+            if src_dir_str not in added:
+                sys.path.insert(0, src_dir_str)
+                added.append(src_dir_str)
+
+    # 3. Fallback to project_root/src (standard layout)
+    src_dir = project_root / "src"
     if src_dir.exists():
         src_dir_str = str(src_dir)
-        sys.path.insert(0, src_dir_str)
-        added.append(src_dir_str)
+        if src_dir_str not in added:
+            sys.path.insert(0, src_dir_str)
+            added.append(src_dir_str)
 
     site_packages_str = str(site_packages)
     sys.path.insert(0, site_packages_str)
@@ -218,64 +326,84 @@ def _accumulate_report(
     combined_report.errors.extend(file_report.errors)
 
 
+# @shell_complexity: Path traversal logic for monorepo src detection
+def _find_module_root(file_path: Path, project_root: Path | None) -> Path | None:
+    """
+    Find the module root directory (the directory that should be in sys.path).
+
+    For monorepo structures, finds the 'src' directory containing the file.
+    Falls back to project_root for standard layouts.
+
+    Examples:
+        >>> from pathlib import Path
+        >>> # Standard layout: project/src/pkg/module.py -> project/src
+        >>> # Monorepo: project/packages/a/src/pkg/module.py -> project/packages/a/src
+    """
+    if project_root is None:
+        return None
+
+    # Check if file is under a 'src' directory
+    try:
+        relative = file_path.relative_to(project_root)
+        parts = relative.parts
+
+        if "src" in parts:
+            idx = parts.index("src")
+            # Return the src directory itself
+            return project_root / Path(*parts[: idx + 1])
+    except ValueError:
+        pass
+
+    # Fallback: check if project_root/src exists and contains the file
+    src_dir = project_root / "src"
+    if src_dir.exists():
+        try:
+            file_path.relative_to(src_dir)
+            return src_dir
+        except ValueError:
+            pass
+
+    return project_root
+
+
 # @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.
+    Monorepo fix: Calculates module name relative to src directory, not project root.
 
     Returns None if import fails.
     """
+    import importlib
+
     try:
-        # 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
+        # Find the module root (src directory) for this file
+        module_root = _find_module_root(file_path, project_root)
+
+        # Calculate module name relative to module_root (not project_root!)
+        if module_root and file_path.is_relative_to(module_root):
+            relative = file_path.relative_to(module_root)
+            parts = list(relative.with_suffix("").parts)
+            module_name = ".".join(parts)
+        elif project_root and file_path.is_relative_to(project_root):
+            # Fallback to project_root relative path
             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)
+        # Ensure module root is in sys.path
+        if module_root:
+            root_str = str(module_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
-
-        module = importlib.util.module_from_spec(spec)
-        sys.modules[module_name] = module
-
-        # Suppress output during import
-        spec.loader.exec_module(module)
+        # Use importlib.import_module which correctly handles relative imports
+        # This is simpler and more reliable than manual spec loading
+        module = importlib.import_module(module_name)
         return module
 
     except Exception:

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.25.dist-info → invar_tools-1.17.27.dist-info}/METADATA

@@ -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.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=PyW8dcTLUEFD81xcvkz-LNnCwjIQefn08OUh23fM_Po,14266
+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
@@ -2670,7 +2670,7 @@ 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=qt0CP5RH9Md2ZZV64ziNsjQ_-x0onCYtZwbQfqw9gbY,12586
+invar/shell/property_tests.py,sha256=zKkCh03MaWTLnz_gfdTMeCGb2RMK_sz0L8PAcD8-iVU,17031
 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
@@ -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.25.dist-info/METADATA,sha256=t7Kc8ideD0woPDbz-PQiXfyQzlyBOPis0VZjDQHHCPU,28582
-invar_tools-1.17.25.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.25.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.25.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.25.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.25.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.25.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,,