From bbc241a1a43d57db759433d041c980cbbc5d4806 Mon Sep 17 00:00:00 2001
From: Sharlatan Hellseher <sharlatanus@gmail.com>
Date: Fri, 2 Jan 2026 11:44:58 +0000
Subject: [PATCH] gnu: python-crosshair: Update to 0.0.101.

* gnu/packages/python-check.scm (python-crosshair): Update to 0.0.101.
[arguments] <test-flags>: Rework skipped tests, pass more.
<phases>: Remove 'fix-dependencies; add 'relax-requirements.
[native-inputs]: Remove python-wheel.
[propagated-inputs]: Add python-pygls.

Change-Id: I5b9c84d165c09ce62d364dbbd2da7108dc2eda1c
Signed-off-by: Rutherther <rutherther@ditigal.xyz>
---
 gnu/packages/python-check.scm | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm
index 58bdf79a9231d7087ff1a47271a2a34207779e5c..51d555e663515ff1464b9a83ce031fbe4be0aae8 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -636,32 +636,35 @@ output.")
 (define-public python-crosshair
   (package
     (name "python-crosshair")
-    (version "0.0.86")
+    (version "0.0.101")
     (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "crosshair_tool" version))
        (sha256
-        (base32 "19zrv6gsap0qwn4rrs1wwajg0gkq7ys8qijsilmjrhc73dylgl72"))))
+        (base32 "10vrfrwmxgvfxcqz284xf40cpr3an788bbwsvi3lnd0v467b2vn3"))))
     (build-system pyproject-build-system)
     (arguments
      (list
+      ;; tests: 12229 passed, 12 skipped, 3 xfailed, 84 warnings
       #:test-flags
-      #~(list "--numprocesses" (number->string (parallel-job-count))
+      #~(list "--numprocesses" (number->string (min 8 (parallel-job-count)))
               ;; check_examples_test.py contains failing tests that
               ;; show what happens if a counterexample is found.
               "--ignore=crosshair/examples/check_examples_test.py"
-              "--ignore=crosshair/lsp_server_test.py") ;requires pygls
+              ;; AttributeError: 'ArithRef' object has no attribute 'as_long'
+              "--deselect=crosshair/statespace_test.py::test_model_value_to_python_ArithRef"
+              ;; AssertionError: Got MessageType.CANNOT_CONFIRM instead of
+              ;; MessageType.CONFIRMED (use `pytest -v` to show trace)
+              "--deselect=crosshair/register_contract_test.py::test_register_numpy_randint")
       #:phases
       #~(modify-phases %standard-phases
-          (add-after 'unpack 'fix-dependencies
+          (add-after 'unpack 'relax-requirements
             (lambda _
               (substitute* "setup.py"
-                ;; pygls is only used by crosshair/lsp_server.py.
-                (("pygls>=1.0.0") "")
-                ;; 'sanity-check fails for z3-solver, although it is
-                ;; included in 'propagated-inputs.
-                (("z3-solver>=4.13.0.0") ""))))
+                ;; For some reason Python version is not set properly or can't
+                ;; be identified.
+                ((".*z3-solver.*") ""))))
           (add-before 'check 'set-test-env
             (lambda _
               (setenv "PYTHONHASHSEED" "0")))))) ;tests rely on this value
@@ -672,12 +675,11 @@ output.")
            python-numpy
            python-pytest
            python-pytest-xdist
-           python-setuptools
-           python-wheel))
+           python-setuptools))
     (propagated-inputs
      (list python-importlib-metadata
            python-packaging
-           ;; python-pygls
+           python-pygls
            python-typeshed-client
            python-typing-inspect
            python-typing-extensions