morphata 2.2.0__tar.gz → 2.2.2__tar.gz

{morphata-2.2.0 → morphata-2.2.2}/.envrc

@@ -23,4 +23,4 @@ export PIXI_ENV
 dotenv_if_exists
 
 watch_file pixi.lock
-eval "$(pixi shell-hook --as-is -e "$PIXI_ENV")"
+eval "$(pixi shell-hook -e "$PIXI_ENV")"

{morphata-2.2.0 → morphata-2.2.2}/.gitignore

@@ -1,7 +1,11 @@
+# generated version file
+src/morphata/_version.py
+
 # generated type stubs
 /typings/
 # pixi environments
-.pixi
+.pixi/*
+!.pixi/config.toml
 
 # Created by https://www.toptal.com/developers/gitignore/api/python
 # Edit at https://www.toptal.com/developers/gitignore?templates=python

{morphata-2.2.0 → morphata-2.2.2}/CHANGELOG.md

@@ -1,5 +1,49 @@
 # Changelog
 
+## 2.2.2 — 2026-08-23
+
+### Fixed
+
+- Fixes a bug with complement and composition of nondeterministic automata
+
+  `__invert__` dualized each
+  (guard, successor)
+  pair on its own, leaving the implicit disjunction across a state's pairs undualized.
+  Read each state's relation back through `partition_by_state_residual` first,
+  so the disjunction sits inside one residual per disjoint guard class;
+  missing moves come back as a `false` residual, whose dual is the correct `true`.
+
+  `compose_automata` remapped only the reachable states,
+  so a fresh index could land on an unreachable state that kept its own index
+  and silently overwrite a transition row.
+  Remap every state and prune the unreachable rows afterwards.
+  `reindex_states` now rejects an assignment whose image collides with a state it does
+  not remap, so the same mistake raises instead of corrupting.
+
+  Together these made `is_language_equivalent` report False
+  for automata with identical languages.
+
+## 2.2.1 — 2026-08-20
+
+This version bump is mostly a cleanup after the 2.2.0 rewrite,
+but also swaps `dd` for `pollywog` as the wrapper around CUDD
+for the symbolic automaton.
+The main reason for the latter is that `dd` wasn't well-typed,
+and because `dd` doesn't expose Algebraic Decision Diagrams,
+which may be useful for a future symbolic weighted automaton.
+
+### Changed
+
+- The BDD layer now uses `pollywog` instead of `dd`,
+  and the symbolic automaton code was adjusted to match.
+  Most of the visible work here is internal:
+  manager transfers and substitutions were tightened up,
+  and the tests moved along with the backend swap.
+- Project versioning now comes from the VCS tag instead of being hard-coded in
+  `pyproject.toml`.
+  The release script now takes an explicit target version,
+  and `morphata.__version__` is exported from the generated version file.
+
 ## 2.2.0 — 2026-08-19
 
 This is a major release as it cleans up a lot of bad code,

{morphata-2.2.0 → morphata-2.2.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: morphata
-Version: 2.2.0
+Version: 2.2.2
 Summary: Representation theory for automata, made practical.
 Project-URL: Documentation, https://docs.anandb.dev/morphata
 Project-URL: Repository, https://git.anandb.dev/morphata.git
@@ -14,11 +14,11 @@ Requires-Python: >=3.12
 Requires-Dist: algebraic-arrays>=1.3.0
 Requires-Dist: attrs>=25.4.0
 Requires-Dist: cattrs>=26.1.0
-Requires-Dist: dd>=0.6.0
 Requires-Dist: jaxtyping>=0.3
 Requires-Dist: lark>=1.3.1
 Requires-Dist: logic-asts>=1.8
 Requires-Dist: numpy
+Requires-Dist: pollywog>=0.1.1
 Requires-Dist: typing-extensions>=4.14
 Provides-Extra: dot
 Requires-Dist: pydot>=4.0.1; extra == 'dot'

{morphata-2.2.0 → morphata-2.2.2}/bench/test_equivalence_perf.py

@@ -15,8 +15,8 @@ from __future__ import annotations
 
 from collections.abc import Set as AbstractSet
 
-import logic_asts.ltl as ltl
 import pytest
+from logic_asts import ltl
 from pytest_benchmark.fixture import BenchmarkFixture as Benchmark
 
 from morphata.alphabet import powerset_alphabet

{morphata-2.2.0 → morphata-2.2.2}/bench/test_hoa_exporter_perf.py

@@ -25,8 +25,8 @@ from __future__ import annotations
 
 from collections.abc import Set as AbstractSet
 
-import logic_asts.ltl as ltl
 import pytest
+from logic_asts import ltl
 from pytest_benchmark.fixture import BenchmarkFixture as Benchmark
 
 from morphata.alphabet import powerset_alphabet

{morphata-2.2.0 → morphata-2.2.2}/bench/test_hoa_parser_perf.py

@@ -30,9 +30,9 @@ import functools
 from pathlib import Path
 
 import logic_asts as logic
-import logic_asts.ltl as ltl
 import pytest
 from lark import Lark
+from logic_asts import ltl
 from pytest_benchmark.fixture import BenchmarkFixture as Benchmark
 
 from morphata.alphabet import powerset_alphabet

{morphata-2.2.0 → morphata-2.2.2}/bench/test_sere_nlm_perf.py

@@ -27,8 +27,8 @@ from __future__ import annotations
 from collections.abc import Set as AbstractSet
 
 import logic_asts as logic
-import logic_asts.sere as sere
 import pytest
+from logic_asts import sere
 from pytest_benchmark.fixture import BenchmarkFixture as Benchmark
 
 from morphata.alphabet import BooleanAlphabet, powerset_alphabet

{morphata-2.2.0 → morphata-2.2.2}/bench/test_transforms_perf.py

@@ -26,8 +26,8 @@ from __future__ import annotations
 from collections.abc import Set as AbstractSet
 
 import logic_asts as logic
-import logic_asts.ltl as ltl
 import pytest
+from logic_asts import ltl
 from pytest_benchmark.fixture import BenchmarkFixture as Benchmark
 
 from morphata.alphabet import powerset_alphabet

{morphata-2.2.0 → morphata-2.2.2}/ci/make-release

@@ -4,14 +4,14 @@ set -euo pipefail
 # Usage ------------------------------------------------------------------
 usage() {
   cat <<EOF
-Usage: $(basename "$0") <bump>
+Usage: $(basename "$0") <version>
 
-  bump      Version bump kind passed to 'uv version --bump'
-            (patch, minor, major, etc.)
+  version   Target release version, without a leading 'v'
+            (the project version is derived from the git tag)
 
 Examples:
-  $(basename "$0") patch
-  $(basename "$0") minor
+  $(basename "$0") 2.3.0
+  $(basename "$0") 2.2.2
 EOF
   exit 1
 }
@@ -23,7 +23,7 @@ fi
 PROJECT_DIR="$(cd "$(dirname "$(realpath "${BASH_SOURCE[0]}")")/.." && pwd)"
 cd "$PROJECT_DIR"
 
-BUMP="$1"
+NEW_VERSION="${1#v}"
 
 # Helpers ----------------------------------------------------------------
 is_jj() { [[ -d "$PROJECT_DIR/.jj" ]]; }
@@ -64,48 +64,46 @@ elif [[ "$UNRELEASED_COUNT" -gt 1 ]]; then
   exit 1
 fi
 
-# Bump version and check tag
-OLD_VERSION="$(uv version --short)"
-NEW_VERSION="$(uv version --bump "$BUMP" --dry-run --short)"
+# Determine versions and check tag
+OLD_TAG="$(git describe --tags --abbrev=0 --match 'v*' 2>/dev/null || true)"
+OLD_VERSION="${OLD_TAG#v}"
 TAG="v${NEW_VERSION}"
 RELEASE_DATE="$(date +%Y-%m-%d)"
 
-echo "==> Bumping $BUMP version..."
-echo "    Current version: $OLD_VERSION"
+echo "==> Releasing version $NEW_VERSION..."
+echo "    Current version: ${OLD_VERSION:-<none>}"
 echo "    New version:     $NEW_VERSION"
 echo "    Tag:             $TAG"
 echo "    Date:            $RELEASE_DATE"
 
 if git rev-parse -q --verify "refs/tags/$TAG" >/dev/null 2>&1; then
   echo "error: tag '$TAG' already exists" >&2
-  echo "error: refusing to bump $BUMP version" >&2
   exit 1
 fi
-uv version --bump "$BUMP"
 
 # Promote CHANGELOG `Unreleased` to the new version
 echo "==> Promoting CHANGELOG Unreleased -> ${NEW_VERSION} (${RELEASE_DATE})"
 sed -i "s/^## Unreleased$/## ${NEW_VERSION} \xe2\x80\x94 ${RELEASE_DATE}/" CHANGELOG.md
 
 # Commit
-COMMIT_MSG="chore(release): $(uv version)"
+COMMIT_MSG="chore(release): ${NEW_VERSION}"
 echo "==> Committing: $COMMIT_MSG"
 
 if is_jj; then
   jj commit -m "$COMMIT_MSG"
 else
-  git add pyproject.toml CHANGELOG.md
+  git add CHANGELOG.md
   git commit -m "$COMMIT_MSG"
 fi
 
 # Build the tag annotation from the just-promoted CHANGELOG section.
-# Title is "release: $(uv version)"; body is the section content (the
+# Title is "release: <ver>"; body is the section content (the
 # lines between the new `## <ver> ...` heading and the next `## ` heading).
-TAG_TITLE="release: $(uv version)"
+TAG_TITLE="release: ${NEW_VERSION}"
 TAG_BODY="$(awk -v ver="$NEW_VERSION" -v prev="$OLD_VERSION" '
   $0 ~ "^## " ver "( |$)" { capture = 1; next }
   capture && /^## / {
-    if ($0 !~ "^## " prev "( |$)") {
+    if (prev != "" && $0 !~ "^## " prev "( |$)") {
       printf "error: expected next changelog heading to be %s, got: %s\n", \
         "## " prev, $0 > "/dev/stderr"
       exit 2