wunderspec 0.129.2__tar.gz → 0.129.3__tar.gz

{wunderspec-0.129.2 → wunderspec-0.129.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: wunderspec
-Version: 0.129.2
+Version: 0.129.3
 Summary: Protocol specifications as Python code
 Author: Igor Konnov, Thomas Pani
 License-File: LICENSE
@@ -74,8 +74,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.129.2`
-- Source commit: `f60e52f632281f5cbb2d1a382ea49b10750d2f4d`
+- Release tag: `v0.129.3`
+- Source commit: `b21d0bd6cd54d3e259e418626727410c4875ac0b`
 
 See [tests/README.md](https://github.com/wunderspec/wunderspec/blob/main/tests/README.md)
 for the development test log captured at release time.

{wunderspec-0.129.2 → wunderspec-0.129.3}/README.md

@@ -58,8 +58,8 @@ commands are not included in this package.
 
 ## 4. Release Provenance
 
-- Release tag: `v0.129.2`
-- Source commit: `f60e52f632281f5cbb2d1a382ea49b10750d2f4d`
+- Release tag: `v0.129.3`
+- Source commit: `b21d0bd6cd54d3e259e418626727410c4875ac0b`
 
 See [tests/README.md](https://github.com/wunderspec/wunderspec/blob/main/tests/README.md)
 for the development test log captured at release time.

{wunderspec-0.129.2 → wunderspec-0.129.3}/pyproject.toml

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

{wunderspec-0.129.2 → wunderspec-0.129.3}/tests/README.md

@@ -6,9 +6,9 @@ public distribution to keep the package focused. The full development
 
 ## Release Provenance
 
-- Release tag: `v0.129.2`
-- Source commit: `f60e52f632281f5cbb2d1a382ea49b10750d2f4d`
-- Test log captured at: `2026-06-16T05:57:10Z`
+- Release tag: `v0.129.3`
+- Source commit: `b21d0bd6cd54d3e259e418626727410c4875ac0b`
+- Test log captured at: `2026-06-16T07:26:42Z`
 - `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%]
 
-====================== 2343 passed, 11 skipped in 30.13s =======================
+====================== 2343 passed, 11 skipped in 25.63s =======================
 ```

{wunderspec-0.129.2 → wunderspec-0.129.3}/uv.lock

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

{wunderspec-0.129.2 → wunderspec-0.129.3}/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.2"
+__version__ = "0.129.3"
 
 __all__ = [
     # Constructor functions

wunderspec-0.129.3/wunderspec/fuzzer.py

@@ -0,0 +1,34 @@
+"""Open-core build placeholder for a Wunderspec Premium module."""
+
+from __future__ import annotations
+
+from pathlib import Path
+from typing import TYPE_CHECKING, Any
+
+from wunderspec._edition import require_feature
+
+if TYPE_CHECKING:
+
+    class FuzzerCorpus:
+        def __init__(self) -> None: ...
+        def __len__(self) -> int: ...
+        def load(self, directory: Path) -> None: ...
+        def save(self, directory: Path) -> None: ...
+        def save_args(self, directory: Path, args: dict[str, Any]) -> None: ...
+
+    class FuzzStats:
+        generations: int
+        total_execs: int
+        total_steps: int
+        total_retries: int
+        corpus_size: int
+        violations: int
+        examples_found: int
+        timed_out: bool
+        violation_schedules: list[tuple[int, ...]]
+        example_schedules: list[tuple[int, ...]]
+
+    def fuzz(*args: Any, **kwargs: Any) -> FuzzStats: ...
+
+
+require_feature("fuzz")

wunderspec-0.129.2/wunderspec/fuzzer.py

@@ -1,7 +0,0 @@
-"""Open-core build placeholder for a Wunderspec Premium module."""
-
-from __future__ import annotations
-
-from wunderspec._edition import require_feature
-
-require_feature("fuzz")