wunderspec 0.131.1__tar.gz → 0.132.2__tar.gz

{wunderspec-0.131.1 → wunderspec-0.132.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: wunderspec
-Version: 0.131.1
+Version: 0.132.2
 Summary: Protocol specifications as Python code
 Author: Igor Konnov, Thomas Pani
 License-File: LICENSE
@@ -35,12 +35,18 @@ they become production incidents.
 
 This is **the open-core distribution**.
 
-> 📋 **Wunderspec in 5 minutes:** the [Wunderspec in Five Minutes][five-minutes]
+> :clipboard: **Wunderspec in 5 minutes:** the [Wunderspec in Five Minutes][five-minutes]
 > gives you a quick overview of the core concepts.
 
-> 📋 **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
+> :clipboard: **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
 > summarizes the DSL and CLI in a few pages — keep it open while you work.
 
+> :bulb: **Using Quint?** Try this command:
+> ```sh
+> uv tool install wunderspec
+> wunderspec convert --from=spec.qnt --to=spec.py --main=main
+> ```
+
 <div align="center">
   <img
     src="https://raw.githubusercontent.com/wunderspec/wunderspec/main/assets/design/svg/wunderspec_flower.svg"
@@ -97,8 +103,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.131.1`
-- Source commit: `622d23632bea897a636483491f96c576e3c37bbe`
+- Release tag: `v0.132.2`
+- Source commit: `de6a52bb5a7c15929a626ef0dc90fb39e61d41af`
 
 See [tests/README.md][] for the development test log captured at release time.
 

{wunderspec-0.131.1 → wunderspec-0.132.2}/README.md

@@ -19,12 +19,18 @@ they become production incidents.
 
 This is **the open-core distribution**.
 
-> 📋 **Wunderspec in 5 minutes:** the [Wunderspec in Five Minutes][five-minutes]
+> :clipboard: **Wunderspec in 5 minutes:** the [Wunderspec in Five Minutes][five-minutes]
 > gives you a quick overview of the core concepts.
 
-> 📋 **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
+> :clipboard: **Cheatsheet:** the [Wunderspec cheatsheet][cheatsheet]
 > summarizes the DSL and CLI in a few pages — keep it open while you work.
 
+> :bulb: **Using Quint?** Try this command:
+> ```sh
+> uv tool install wunderspec
+> wunderspec convert --from=spec.qnt --to=spec.py --main=main
+> ```
+
 <div align="center">
   <img
     src="https://raw.githubusercontent.com/wunderspec/wunderspec/main/assets/design/svg/wunderspec_flower.svg"
@@ -81,8 +87,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.131.1`
-- Source commit: `622d23632bea897a636483491f96c576e3c37bbe`
+- Release tag: `v0.132.2`
+- Source commit: `de6a52bb5a7c15929a626ef0dc90fb39e61d41af`
 
 See [tests/README.md][] for the development test log captured at release time.
 

{wunderspec-0.131.1 → wunderspec-0.132.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "wunderspec"
-version = "0.131.1"
+version = "0.132.2"
 description = "Protocol specifications as Python code"
 authors = [
     {name = "Igor Konnov"},

{wunderspec-0.131.1 → wunderspec-0.132.2}/tests/README.md

@@ -2,13 +2,13 @@
 
 The unit tests from the Wunderspec development repository are omitted from this
 public distribution to keep the package focused. The full development
-`make test` suite currently collects 2357 tests.
+`make test` suite currently collects 2358 tests.
 
 ## Release Provenance
 
-- Release tag: `v0.131.1`
-- Source commit: `622d23632bea897a636483491f96c576e3c37bbe`
-- Test log captured at: `2026-06-23T10:58:37Z`
+- Release tag: `v0.132.2`
+- Source commit: `de6a52bb5a7c15929a626ef0dc90fb39e61d41af`
+- Test log captured at: `2026-06-24T14:15:09Z`
 - `make test` exit code: `0`
 
 ## Full Test Log From the Development Repository
@@ -20,7 +20,7 @@ platform linux -- Python 3.12.13, pytest-8.4.2, pluggy-1.6.0
 rootdir: /home/runner/work/wunderspec-dev/wunderspec-dev/release-source
 configfile: pyproject.toml
 plugins: pytest_codeblocks-0.17.0, subtests-0.15.0, hypothesis-6.155.2, cov-6.3.0, markdown-pytest-0.3.2
-collected 2357 items
+collected 2358 items
 
 docs/user-references/booleans.md .                                       [  0%]
 docs/user-references/comprehensions.md .                                 [  0%]
@@ -82,7 +82,7 @@ tests/test_interpreter_state.py .............                            [ 48%]
 tests/test_interpreter_to_python.py .................................... [ 50%]
 .                                                                        [ 50%]
 tests/test_interpreter_tuple.py .......................                  [ 51%]
-tests/test_interpreter_unions.py ...................................     [ 52%]
+tests/test_interpreter_unions.py ....................................    [ 52%]
 tests/test_interpreter_value_sort.py ................................... [ 54%]
 ...........................................                              [ 56%]
 tests/test_is_empty.py .................                                 [ 56%]
@@ -124,5 +124,5 @@ tests/test_tla.py ...................................................... [ 94%]
 tests/test_tlc_trace.py ....                                             [ 98%]
 tests/test_trace_output.py .........................                     [100%]
 
-====================== 2346 passed, 11 skipped in 31.26s =======================
+====================== 2347 passed, 11 skipped in 30.98s =======================
 ```

{wunderspec-0.131.1 → wunderspec-0.132.2}/uv.lock

@@ -1781,7 +1781,7 @@ wheels = [
 
 [[package]]
 name = "wunderspec"
-version = "0.131.1"
+version = "0.132.2"
 source = { editable = "." }
 dependencies = [
     { name = "executing" },

{wunderspec-0.131.1 → wunderspec-0.132.2}/wunderspec/__init__.py

@@ -144,7 +144,7 @@ from .random_walk import state_view
 from .source_tracking import enable_source_tracking
 from .submachine import SubMachine
 
-__version__ = "0.131.1"
+__version__ = "0.132.2"
 
 __all__ = [
     # Constructor functions

{wunderspec-0.131.1 → wunderspec-0.132.2}/wunderspec/interpreter.py

@@ -55,6 +55,7 @@ from wunderspec.ast import (
     TupleCtorNode,
     TupleGetNode,
     TupleUpdateNode,
+    UnionSort,
     VarNode,
 )
 from wunderspec.ast.action_ast import (
@@ -1311,7 +1312,7 @@ def _value_list_keys(e: ListKeysNode, env: Env = pmap()) -> IValue:
 def _value_union_ctor(e: UnionCtorNode, env: Env = pmap()) -> IValue:
     """Evaluate union constructor nodes."""
     payload_val = value(e.payload, env) if e.payload is not None else None
-    return UnionValue(e.tag, payload_val)
+    return UnionValue(e.tag, payload_val, cast(UnionSort, e.sort))
 
 
 @_value_impl.register(UnionGetTagNode)

{wunderspec-0.131.1 → wunderspec-0.132.2}/wunderspec/interpreter_value.py

@@ -593,16 +593,23 @@ class TupleValue(IValue):
 class UnionValue(IValue):
     """A union value: tag + optional payload."""
 
-    __slots__ = ("_tag", "_payload")
+    __slots__ = ("_tag", "_payload", "_sort")
 
-    def __init__(self, tag: str, payload: IValue | None = None):
+    def __init__(
+        self,
+        tag: str,
+        payload: IValue | None = None,
+        union_sort: UnionSort | None = None,
+    ):
         self._tag = tag
         self._payload = payload
+        self._sort = union_sort
 
     @property
     def sort(self) -> Sort:
-        # Note: This creates a single-variant UnionSort based on the value's tag.
-        # For a complete union type, the full UnionSort should be known externally.
+        if self._sort is not None:
+            return self._sort
+        # Values imported without type context still expose the active variant only.
         payload_sort = self._payload.sort if self._payload is not None else None
         return UnionSort(**{self._tag: payload_sort})
 
@@ -2122,11 +2129,11 @@ def from_python_with_sort(v: Any, sort: Sort) -> IValue:
             raise TypeError(f"Unexpected union variant {tag!r} for {sort!r}")
         payload_sort = sort[tag]
         if payload_sort is None:
-            return UnionValue(tag)
+            return UnionValue(tag, union_sort=sort)
         fields = v._fields  # type: ignore[attr-defined]
         if fields == ("value",):
             payload_value = v.value  # type: ignore[attr-defined]
         else:
             payload_value = {name: getattr(v, name) for name in fields}
-        return UnionValue(tag, from_python_with_sort(payload_value, payload_sort))
+        return UnionValue(tag, from_python_with_sort(payload_value, payload_sort), sort)
     return from_python(v)