invar-tools 1.17.18__py3-none-any.whl → 1.17.20__py3-none-any.whl

invar/shell/testing.py

@@ -119,6 +119,7 @@ def run_doctests_on_files(
     verbose: bool = False,
     timeout: int = 60,
     collect_coverage: bool = False,
+    cwd: Path | None = None,
 ) -> Result[dict, str]:
     """
     Run doctests on a list of Python files.
@@ -143,17 +144,16 @@ def run_doctests_on_files(
         parts = f.parts
         # Check for consecutive "templates/examples" or ".invar/examples"
         for i in range(len(parts) - 1):
-            if (parts[i] == "templates" and parts[i + 1] == "examples") or \
-               (parts[i] == ".invar" and parts[i + 1] == "examples"):
+            if (parts[i] == "templates" and parts[i + 1] == "examples") or (
+                parts[i] == ".invar" and parts[i + 1] == "examples"
+            ):
                 return True
         return False
 
     py_files = [
-        f for f in files
-        if f.suffix == ".py"
-        and f.exists()
-        and f.name != "conftest.py"
-        and not is_excluded(f)
+        f
+        for f in files
+        if f.suffix == ".py" and f.exists() and f.name != "conftest.py" and not is_excluded(f)
     ]
     if not py_files:
         return Success({"status": "skipped", "reason": "no Python files", "files": []})
@@ -162,16 +162,26 @@ def run_doctests_on_files(
     if collect_coverage:
         # Use coverage run to wrap pytest
         cmd = [
-            sys.executable, "-m", "coverage", "run",
+            sys.executable,
+            "-m",
+            "coverage",
+            "run",
             "--branch",  # Enable branch coverage
             "--parallel-mode",  # For merging with hypothesis later
-            "-m", "pytest",
-            "--doctest-modules", "-x", "--tb=short",
+            "-m",
+            "pytest",
+            "--doctest-modules",
+            "-x",
+            "--tb=short",
         ]
     else:
         cmd = [
-            sys.executable, "-m", "pytest",
-            "--doctest-modules", "-x", "--tb=short",
+            sys.executable,
+            "-m",
+            "pytest",
+            "--doctest-modules",
+            "-x",
+            "--tb=short",
         ]
     cmd.extend(str(f) for f in py_files)
     if verbose:
@@ -188,14 +198,16 @@ def run_doctests_on_files(
         )
         # Pytest exit codes: 0=passed, 5=no tests collected (also OK)
         is_passed = result.returncode in (0, 5)
-        return Success({
-            "status": "passed" if is_passed else "failed",
-            "files": [str(f) for f in py_files],
-            "exit_code": result.returncode,
-            "stdout": result.stdout,
-            "stderr": result.stderr,
-            "coverage_collected": collect_coverage,  # DX-37: Flag for caller
-        })
+        return Success(
+            {
+                "status": "passed" if is_passed else "failed",
+                "files": [str(f) for f in py_files],
+                "exit_code": result.returncode,
+                "stdout": result.stdout,
+                "stderr": result.stderr,
+                "coverage_collected": collect_coverage,  # DX-37: Flag for caller
+            }
+        )
     except subprocess.TimeoutExpired:
         return Failure(f"Doctest timeout ({timeout}s)")
     except Exception as e:
@@ -204,7 +216,11 @@ def run_doctests_on_files(
 
 # @shell_complexity: Property test orchestration with subprocess
 def run_test(
-    target: str, json_output: bool = False, verbose: bool = False, timeout: int = 300
+    target: str,
+    json_output: bool = False,
+    verbose: bool = False,
+    timeout: int = 300,
+    cwd: Path | None = None,
 ) -> Result[dict, str]:
     """
     Run property-based tests using Hypothesis via deal.cases.
@@ -225,20 +241,25 @@ def run_test(
         return Failure(f"Target must be a Python file: {target}")
 
     cmd = [
-        sys.executable, "-m", "pytest",
-        str(target_path), "--doctest-modules", "-x", "--tb=short",
+        sys.executable,
+        "-m",
+        "pytest",
+        str(target_path),
+        "--doctest-modules",
+        "-x",
+        "--tb=short",
     ]
     if verbose:
         cmd.append("-v")
 
     try:
-        # DX-52: Inject project venv site-packages for uvx compatibility
         result = subprocess.run(
             cmd,
             capture_output=True,
             text=True,
             timeout=timeout,
-            env=build_subprocess_env(),
+            cwd=str(cwd) if cwd is not None else None,
+            env=build_subprocess_env(cwd=cwd),
         )
         test_result = {
             "status": "passed" if result.returncode == 0 else "failed",
@@ -274,6 +295,7 @@ def run_verify(
     json_output: bool = False,
     total_timeout: int = 300,
     per_condition_timeout: int = 30,
+    cwd: Path | None = None,
 ) -> Result[dict, str]:
     """
     Run symbolic verification using CrossHair.
@@ -302,23 +324,28 @@ def run_verify(
         return Failure(f"Target must be a Python file: {target}")
 
     cmd = [
-        sys.executable, "-m", "crosshair", "check",
-        str(target_path), f"--per_condition_timeout={per_condition_timeout}",
+        sys.executable,
+        "-m",
+        "crosshair",
+        "check",
+        str(target_path),
+        f"--per_condition_timeout={per_condition_timeout}",
     ]
 
     try:
-        # DX-52: Inject project venv site-packages for uvx compatibility
         result = subprocess.run(
             cmd,
             capture_output=True,
             text=True,
             timeout=total_timeout,
-            env=build_subprocess_env(),
+            cwd=str(cwd) if cwd is not None else None,
+            env=build_subprocess_env(cwd=cwd),
         )
 
         # CrossHair format: "file:line: error: Err when calling func(...)"
         counterexamples = [
-            line.strip() for line in result.stdout.split("\n")
+            line.strip()
+            for line in result.stdout.split("\n")
             if ": error:" in line.lower() or "counterexample" in line.lower()
         ]
 

{invar_tools-1.17.18.dist-info → invar_tools-1.17.20.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.17.18
+Version: 1.17.20
 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
@@ -23,13 +23,14 @@ Classifier: Typing :: Typed
 Requires-Python: >=3.11
 Requires-Dist: crosshair-tool>=0.0.60
 Requires-Dist: hypothesis>=6.0
-Requires-Dist: invar-runtime>=1.0
+Requires-Dist: invar-runtime>=1.3.0
 Requires-Dist: jedi>=0.19
 Requires-Dist: jinja2>=3.0
 Requires-Dist: markdown-it-py>=3.0
 Requires-Dist: mcp>=1.0
 Requires-Dist: pre-commit>=3.0
 Requires-Dist: pydantic>=2.0
+Requires-Dist: pytest>=7.0
 Requires-Dist: questionary>=2.0
 Requires-Dist: returns>=0.20
 Requires-Dist: rich>=13.0
@@ -38,7 +39,6 @@ Provides-Extra: dev
 Requires-Dist: coverage[toml]>=7.0; extra == 'dev'
 Requires-Dist: mypy>=1.0; extra == 'dev'
 Requires-Dist: pytest-cov>=4.0; extra == 'dev'
-Requires-Dist: pytest>=7.0; extra == 'dev'
 Requires-Dist: ruff>=0.1; extra == 'dev'
 Description-Content-Type: text/markdown
 

{invar_tools-1.17.18.dist-info → invar_tools-1.17.20.dist-info}/RECORD

@@ -56,7 +56,7 @@ invar/node_tools/.gitignore,sha256=M2kz8Iw7Kzmi44mKo1r7_HOZMh79a7dFDdRrqXyaEhI,5
 invar/node_tools/MANIFEST,sha256=2Z2at-27MK8K7DSjOjjtR4faTbt6eCiKQuEfvP_lwH8,145
 invar/node_tools/__init__.py,sha256=HzILh3jtP28Lm2jZwss1SY65ECxbtw2J2uFpXQA6Y94,1740
 invar/node_tools/ts-query.js,sha256=fEc_f0JT_Mb18dEoA4_vJoazvd7Lqv_rsed4eHSAbCg,13303
-invar/node_tools/eslint-plugin/cli.js,sha256=nnL-ZiuGON77c_iI5HzcOEOujQZqGHNjaoMWZzRFMhE,8204
+invar/node_tools/eslint-plugin/cli.js,sha256=jgRHHHDRbyQiVbIWgmaxlsA9PlDvonWFEEYf9_XPaZ4,8481
 invar/node_tools/eslint-plugin/cli.js.map,sha256=AZt_DYAD6NnHGjR6oxXfGYaOHc6-vfDs0ENvYsbw5Ro,4489
 invar/node_tools/eslint-plugin/index.js,sha256=atrI37dn1yDznQrgKY-1xIhLnCdvJQTU53123ZI_9J4,5132
 invar/node_tools/eslint-plugin/index.js.map,sha256=MlFuNso9sZ4v9ggGJLyMq4Pt_JdEzP1OyouyCCki1wA,2344
@@ -2616,7 +2616,7 @@ invar/node_tools/eslint-plugin/rules/require-complete-validation.js,sha256=ZGeAE
 invar/node_tools/eslint-plugin/rules/require-complete-validation.js.map,sha256=UhEr4fql0TObHt3ya8DydqbFlig5CSDFKIIJZSf74rA,2497
 invar/node_tools/eslint-plugin/rules/require-jsdoc-example.js,sha256=Uql3FKdnTHFBMh_OkwGuOdMBzf4k94QHOaWo9frAcSM,4488
 invar/node_tools/eslint-plugin/rules/require-jsdoc-example.js.map,sha256=00cKhvu890f-8UXPZcEAaX44IjCxxw12E4l_gsi93JM,2960
-invar/node_tools/eslint-plugin/rules/require-schema-validation.js,sha256=gdJaRr9-j8ZmUr8-u_MnafeQ4I92OoIq3RzUXeqrpBg,12372
+invar/node_tools/eslint-plugin/rules/require-schema-validation.js,sha256=6kRnMrTBuqeHmNOdBz78jZ0WBZgTmIUBoR_0ozWlK4k,12155
 invar/node_tools/eslint-plugin/rules/require-schema-validation.js.map,sha256=akTSZQq-OC6ZvwMklIBRaxsesJ9w6GHaPhRTJ_ihmaE,8211
 invar/node_tools/eslint-plugin/rules/shell-complexity.js,sha256=Bhc9i7ILYMNNAUvxf9l7PlwhC_Neb69Jl1nUNABu2jg,11260
 invar/node_tools/eslint-plugin/rules/shell-complexity.js.map,sha256=0oJoDxXpXg2VTrwGMa-UDZ6te15Sv9vq-LgwWjJB5Q4,7140
@@ -2657,31 +2657,31 @@ 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=6-kbo6--SxfROXoyU-v7InSLR8f_U1Mar_xEOdCXFkY,17633
+invar/shell/config.py,sha256=6N4AvhYPSUzd3YGXPIc8edF6Lp492W-cS8wwnHUJotI,18119
 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=s6RQxEDQuLrmK3mru88EoYP8__4hiFW8AozlcxmY47E,2784
-invar/shell/guard_helpers.py,sha256=QeYgbW0lgUa9Z_RCjAMG7UJdiMzz5cW48Lb2u-qgQi8,15114
+invar/shell/git.py,sha256=R-ynlYa65xtCdnNjHeu42uPyrqoo9KZDzl7BZUW0oWU,2866
+invar/shell/guard_helpers.py,sha256=lpaFIe328ZISzim92TAxZHTT8jC4N0_TcQ7PV7u327w,16083
 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=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
+invar/shell/property_tests.py,sha256=SB-3tS5TupYQP1jpEUNpQs6fWCwLWxck0akNsgVwGGM,10533
 invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
 invar/shell/skill_manager.py,sha256=Mr7Mh9rxPSKSAOTJCAM5ZHiG5nfUf6KQVCuD4LBNHSI,12440
-invar/shell/subprocess_env.py,sha256=9oXl3eMEbzLsFEgMHqobEw6oW_wV0qMEP7pklwm58Pw,11453
+invar/shell/subprocess_env.py,sha256=ToPqGw5bnfJIEk5pdvJBM6dslKxn6gqspDnhr1VRCDk,11554
 invar/shell/template_engine.py,sha256=eNKMz7R8g9Xp3_1TGx-QH137jf52E0u3KaVcnotu1Tg,12056
 invar/shell/templates.py,sha256=ilhGysbUcdkUFqPgv6ySVmKI3imS_cwYNCWTCdyb5cY,15407
-invar/shell/testing.py,sha256=rTNBH0Okh2qtG9ohSXOz487baQ2gXrWT3s_WECW3HJs,11143
+invar/shell/testing.py,sha256=ig-LVe5k2-qvdz2H85mrY3_7_v440DJJX72Q3TVP5Xk,11472
 invar/shell/ts_compiler.py,sha256=nA8brnOhThj9J_J3vAEGjDsM4NjbWQ_eX8Yf4pHPOgk,6672
 invar/shell/commands/__init__.py,sha256=MEkKwVyjI9DmkvBpJcuumXo2Pg_FFkfEr-Rr3nrAt7A,284
 invar/shell/commands/doc.py,sha256=SOLDoCXXGxx_JU0PKXlAIGEF36PzconHmmAtL-rM6D4,13819
 invar/shell/commands/feedback.py,sha256=lLxEeWW_71US_vlmorFrGXS8IARB9nbV6D0zruLs660,7640
-invar/shell/commands/guard.py,sha256=I1BDqthsAVmz8FnUgwkbhvy2cozmOfjs3rxQwwqFemo,25391
+invar/shell/commands/guard.py,sha256=ZeiK5FvRlTNHMLS6StIDKl-mDAdyAFGOovkRy0tG4eQ,25703
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
 invar/shell/commands/init.py,sha256=rtoPFsfq7xRZ6lfTipWT1OejNK5wfzqu1ncXi1kizU0,23634
 invar/shell/commands/merge.py,sha256=nuvKo8m32-OL-SCQlS4SLKmOZxQ3qj-1nGCx1Pgzifw,8183
@@ -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=XhJDsQWIriX9SuqeflUYvJgp9gJTDH7I7Uka6zjNzZ0,16734
+invar/shell/prove/crosshair.py,sha256=XDOoLvOrU_6OGYm2rTjWacdvKgpJ3NjUDetMwyT9kIE,16997
 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.18.dist-info/METADATA,sha256=WbBqPPXAsiwB7rCjrpDjnYYBjGy-a1uEpjWoRdbkHO8,28596
-invar_tools-1.17.18.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.17.18.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.17.18.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.17.18.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.17.18.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.17.18.dist-info/RECORD,,
+invar_tools-1.17.20.dist-info/METADATA,sha256=_RDBs3-pAvqNBOLkNCMctnSLdDn-4Qs33RhgxIoEbok,28582
+invar_tools-1.17.20.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.17.20.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.17.20.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.17.20.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.17.20.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.17.20.dist-info/RECORD,,