wunderspec 0.129.7__tar.gz → 0.129.8__tar.gz

{wunderspec-0.129.7 → wunderspec-0.129.8}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: wunderspec
-Version: 0.129.7
+Version: 0.129.8
 Summary: Protocol specifications as Python code
 Author: Igor Konnov, Thomas Pani
 License-File: LICENSE
@@ -90,8 +90,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.129.7`
-- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
+- Release tag: `v0.129.8`
+- Source commit: `370a2fc4ee7aa0311e6df15487d0f2079e6f148e`
 
 See [tests/README.md][] for the development test log captured at release time.
 

{wunderspec-0.129.7 → wunderspec-0.129.8}/README.md

@@ -74,8 +74,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.129.7`
-- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
+- Release tag: `v0.129.8`
+- Source commit: `370a2fc4ee7aa0311e6df15487d0f2079e6f148e`
 
 See [tests/README.md][] for the development test log captured at release time.
 

{wunderspec-0.129.7 → wunderspec-0.129.8}/docs/user-references/wunderspec-five-minutes.md

@@ -105,10 +105,44 @@ currently has three kinds of properties:
  
  **Immutability.** While the Wunderspec state machines mutate the state,
  the expressions operate over immutable data structures. For the data
- structures, see the [Cheatsheet][cheatsheet].
+ structures, see the [Cheatsheet][cheatsheet]. You can still specify mutable
+ data structures in Wunderspec!
+
+**Python DSL.** Wunderspec is a Python DSL for writing state machines. As a
+result, you get plenty of Python goodies automatically:
+
+ - Syntax highlighting, code completion, and linting in your favorite IDE.
+
+ - Opinionated code formatting and optional type checking with [mypy][].
+
+ - REPL with [IPython][] and debugging with [pdb][].
+
+ - package management with [uv][] (well, let's say this is good!).
+
+ - Many high-level constructs and idioms from Python.
+
+ - You can use Python as a meta-language or a macroprocessor to generate
+ Wunderspec code.
+
+Since Wunderspec is a DSL, it comes with a few warnings:
+
+ - Your Python code actually acts as a transpiler! When it runs, it produces an
+ internal abstract syntax tree (AST) of Wunderspec. For example, local
+ declarations are *lazy* by default, this can be fixed with `c.cache(...)`.  Run
+ `wunderspec lint` to find the common footguns.
+
+ - A subset of Python code makes sense in Wunderspec. For example, you should
+ not use `if` and `for` directly in your actions. Instead, use
+ `c.alternatives(...)`, `c.one_of(...)`, and `c.split(...)`.
+
+ - Always check the [Cheatsheet][cheatsheet], to see what works.
  
  
 [sloppy_counter]: https://github.com/wunderspec/wunderspec/blob/main/examples/sloppy_counter.py
 [ledger]: https://github.com/wunderspec/wunderspec/blob/main/examples/ledger.py
 [simple_wal1]: https://github.com/wunderspec/wunderspec/blob/main/examples/simple_wal1.py
-[cheatsheet]: https://wunderspec.com/cheatsheet
+[cheatsheet]: https://wunderspec.com/cheatsheet
+[mypy]: https://mypy.readthedocs.io/en/stable/
+[IPython]: https://ipython.org/
+[pdb]: https://docs.python.org/3/library/pdb.html
+[uv]: https://docs.astral.sh/uv/

{wunderspec-0.129.7 → wunderspec-0.129.8}/pyproject.toml

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

{wunderspec-0.129.7 → wunderspec-0.129.8}/tests/README.md

@@ -6,9 +6,9 @@ public distribution to keep the package focused. The full development
 
 ## Release Provenance
 
-- Release tag: `v0.129.7`
-- Source commit: `9f7d0c21b38bc84e2c830dd2d0b238d5de34d78a`
-- Test log captured at: `2026-06-16T19:26:12Z`
+- Release tag: `v0.129.8`
+- Source commit: `370a2fc4ee7aa0311e6df15487d0f2079e6f148e`
+- Test log captured at: `2026-06-17T06:53:18Z`
 - `make test` exit code: `0`
 
 ## Full Test Log From the Development Repository
@@ -124,5 +124,5 @@ tests/test_tla.py ...................................................... [ 94%]
 tests/test_tlc_trace.py ....                                             [ 98%]
 tests/test_trace_output.py .........................                     [100%]
 
-====================== 2344 passed, 11 skipped in 29.78s =======================
+====================== 2344 passed, 11 skipped in 29.38s =======================
 ```

{wunderspec-0.129.7 → wunderspec-0.129.8}/uv.lock

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

{wunderspec-0.129.7 → wunderspec-0.129.8}/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.129.7"
+__version__ = "0.129.8"
 
 __all__ = [
     # Constructor functions