munich-quantum-toolkit · denialhaag · Jan 26, 2026 · Jan 25, 2026 · Jan 25, 2026 · Jan 25, 2026
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -199,8 +199,9 @@ jobs:
     if: fromJSON(needs.change-detection.outputs.run-python-tests)
     uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-linter.yml@d6314c45667c131055a0389afc110e8dedc6da3f # v1.17.11
     with:
-      enable-ty: true
+      check-stubs: true
       enable-mypy: false
+      enable-ty: true
 
   build-sdist:
     name: 🚀 CD

diff --git a/.license-tools-config.json b/.license-tools-config.json
@@ -34,6 +34,7 @@
     ".*\\.profile",
     "uv\\.lock",
     "py\\.typed",
-    ".*build.*"
+    ".*build.*",
+    "qcec_patterns.txt"
   ]
 }
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -11,6 +11,7 @@ This project adheres to [Semantic Versioning], with the exception that minor rel
 
 ### Changed
 
+- ♻️ Auto-generate `pyqcec.pyi` via `nanobind.stubgen` ([#831]) ([**@denialhaag**])
 - 🔧 Replace `mypy` with `ty` ([#775], [#825]) ([**@denialhaag**])
 
 ## [3.4.0] - 2026-01-13
@@ -124,6 +125,7 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 
 <!-- PR links -->
 
+[#831]: https://github.com/munich-quantum-toolkit/qcec/pull/831
 [#825]: https://github.com/munich-quantum-toolkit/qcec/pull/825
 [#817]: https://github.com/munich-quantum-toolkit/qcec/pull/817
 [#796]: https://github.com/munich-quantum-toolkit/qcec/pull/796

diff --git a/UPGRADING.md b/UPGRADING.md
@@ -4,6 +4,8 @@ This document describes breaking changes and how to upgrade. For a complete list
 
 ## [Unreleased]
 
+To comply with established guidelines for attribute names, `mqt.qcec.pyqcec.StateType.random_1Q_basis` has been renamed to `random_1q_basis`.
+
 ## [3.4.0]
 
 ### Python wheels

diff --git a/bindings/application_scheme.cpp b/bindings/application_scheme.cpp
diff --git a/bindings/bindings.cpp b/bindings/bindings.cpp
@@ -16,15 +16,15 @@ namespace nb = nanobind;
 using namespace nb::literals;
 
 // forward declarations
-void registerApplicationSchema(const nb::module_& m);
+void registerApplicationScheme(const nb::module_& m);
 void registerConfiguration(const nb::module_& m);
 void registerEquivalenceCheckingManager(const nb::module_& m);
 void registerEquivalenceCriterion(const nb::module_& m);
 void registerStateType(const nb::module_& m);
 
 // NOLINTNEXTLINE(performance-unnecessary-value-param)
 NB_MODULE(MQT_QCEC_MODULE_NAME, m) {
-  registerApplicationSchema(m);
+  registerApplicationScheme(m);
   registerConfiguration(m);
   registerEquivalenceCheckingManager(m);
   registerEquivalenceCriterion(m);

diff --git a/bindings/configuration.cpp b/bindings/configuration.cpp
diff --git a/bindings/equivalence_checking_manager.cpp b/bindings/equivalence_checking_manager.cpp
diff --git a/bindings/equivalence_criterion.cpp b/bindings/equivalence_criterion.cpp
diff --git a/bindings/qcec_patterns.txt b/bindings/qcec_patterns.txt
@@ -0,0 +1,3 @@
+_hashable_values_:
+
+_unhashable_values_map_: