♻️ Auto-generate stub file (#831)

## Description

After we have switched from `pybind11` to `nanobind` in #817, we can now
auto-generate the stub file. This PR defines a corresponding `nox`
session and copies over all existing docstrings to the bindings code.

## Checklist:

- [x] The pull request only contains commits that are focused and
relevant to this change.
- [x] ~I have added appropriate tests that cover the new/changed
functionality.~
- [x] ~I have updated the documentation to reflect these changes.~
- [x] I have added entries to the changelog for any noteworthy
additions, changes, fixes, or removals.
- [x] I have added migration instructions to the upgrade guide (if
needed).
- [x] The changes follow the project's style guidelines and introduce no
new warnings.
- [x] The changes are fully tested and pass the CI checks.
- [x] I have reviewed my own code changes.

Author: denialhaag

.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

.license-tools-config.json

@@ -34,6 +34,7 @@
     ".*\\.profile",
     "uv\\.lock",
     "py\\.typed",
-    ".*build.*"
+    ".*build.*",
+    "qcec_patterns.txt"
   ]
 }

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

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

bindings/application_scheme.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);

bindings/bindings.cpp

@@ -0,0 +1,3 @@
+_hashable_values_:
+
+_unhashable_values_map_: