qubasic 0.16.0__tar.gz → 0.17.0__tar.gz

{qubasic-0.16.0 → qubasic-0.17.0}/CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## 0.17.0 (2026-07-02)
+
+Hardening from an SMT-verifier triage (touchstone-prover over all 651
+functions: 153 proved trap-free, 3 refutations traced, none reachable from
+the language surface).
+
+### Changed
+- `_pmul` raises a clear ValueError on a non-Pauli character and `_emit_mcz` on an empty qubit list, instead of a raw KeyError/IndexError — both are internal preconditions (every caller feeds alphabet-constrained values), now self-documenting.
+- `_eval_with_vars` declares the ParameterExpression passthrough in its return annotation instead of claiming `-> float`.
+
 ## 0.16.0 (2026-07-02)
 
 Research-grade error correction, per-method scale, parametric variational

{qubasic-0.16.0/qubasic.egg-info → qubasic-0.17.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: qubasic
-Version: 0.16.0
+Version: 0.17.0
 Summary: Quantum BASIC Interactive Terminal
 Author-email: "Charles C. Norton" <machineelv@gmail.com>
 License-Expression: MIT

{qubasic-0.16.0 → qubasic-0.17.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "qubasic"
-version = "0.16.0"
+version = "0.17.0"
 description = "Quantum BASIC Interactive Terminal"
 readme = "README.md"
 requires-python = ">=3.10"

{qubasic-0.16.0 → qubasic-0.17.0/qubasic.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: qubasic
-Version: 0.16.0
+Version: 0.17.0
 Summary: Quantum BASIC Interactive Terminal
 Author-email: "Charles C. Norton" <machineelv@gmail.com>
 License-Expression: MIT

{qubasic-0.16.0 → qubasic-0.17.0}/qubasic_core/__init__.py

@@ -28,7 +28,7 @@ __all__ = [
     'GATE_TABLE', 'GATE_ALIASES',
 ]
 
-__version__ = '0.16.0'
+__version__ = '0.17.0'
 
 def __getattr__(name):
     """Lazy import heavy modules on first access."""

{qubasic-0.16.0 → qubasic-0.17.0}/qubasic_core/algorithms.py

@@ -119,6 +119,8 @@ class AlgorithmsMixin:
 
     def _emit_mcz(self, qc, qs: list[int]) -> None:
         """Multi-controlled Z over qs (phase flip of the all-ones state)."""
+        if not qs:
+            raise ValueError("MCZ needs at least one qubit")
         if len(qs) == 1:
             qc.z(qs[0])
         elif len(qs) == 2:

{qubasic-0.16.0 → qubasic-0.17.0}/qubasic_core/expression.py

@@ -420,12 +420,12 @@ class ExpressionMixin:
             else self._safe_eval(expr)
         return int(val)
 
-    def _eval_with_vars(self, expr: str, run_vars: dict[str, Any]) -> float:
+    def _eval_with_vars(self, expr: str, run_vars: dict[str, Any]) -> float | Any:
         """Evaluate expression with runtime variables.
 
-        A qiskit ParameterExpression (present only during a parametric
-        MINIMIZE/GRADIENT/SWEEP build) passes through unfloated so it lands
-        in the circuit as a bindable parameter.
+        Returns a float, except that a qiskit ParameterExpression (present
+        only during a parametric MINIMIZE/GRADIENT/SWEEP build) passes
+        through unfloated so it lands in the circuit as a bindable parameter.
         """
         val = self._safe_eval(expr, extra_ns=run_vars)
         try:

{qubasic-0.16.0 → qubasic-0.17.0}/qubasic_core/qec.py

@@ -38,7 +38,12 @@ def _anticommute(a: str, b: str) -> int:
 
 
 def _pmul(a: str, b: str) -> str:
-    return ''.join(_PMUL[(pa, pb)] for pa, pb in zip(a, b))
+    # Precondition: both strings over the IXYZ alphabet. The try keeps the
+    # per-trial hot path free of per-character validation.
+    try:
+        return ''.join(_PMUL[(pa, pb)] for pa, pb in zip(a, b))
+    except KeyError as e:
+        raise ValueError(f"Pauli strings must be over IXYZ (got {e.args[0]})") from None
 
 
 def _weight(p: str) -> int: