💥 Remove the neutral-atom stack

[denialhaag]

Description

🤖 AI text below 🤖

MQT Core no longer contains any neutral-atom functionality. MQT QMAP is now its sole owner and absorbs the transferred code in munich-quantum-toolkit/qmap#1111.

This removes the neutral-atom computation model (MQT::CoreNA), the neutral-atom FoMaC device session, the neutral-atom QDMI device together with its runtime configuration parser and device schema, the mqt.core.na Python module, and AodOperation. It also drops the Move, Bridge, AodActivate, AodDeactivate, and AodMove operation kinds from the closed qc::OpType enum, along with the OpenQASM names they dumped and parsed, QuantumComputation::bridge, and the BUILD_MQT_CORE_QDMI_NA_DEVICE option. The bundled mqt.na.default QDMI device is no longer registered. UPGRADING.md lists every removed name.

Several tests used the neutral-atom device merely as a stand-in for some device rather than for anything neutral-atom-specific. The QDMI driver, device-ownership, and Python QDMI tests now use the superconducting device instead. Because the superconducting device is a circuit-model device, the ownership test that asserted a site is a zone now asserts the opposite.

Three tests covered the rejection of zone-model devices at the circuit-target boundary: CompilerQDMIAdapterTest.RejectsNeutralAtomZoneModels, test_compiler_target_rejects_qdmi_zone_model, and test_zoned_operation_rejected_at_backend_init. The rejection logic stays and still guards external zone-model devices, but MQT Core no longer bundles a device that exercises it, so these tests are removed. MQT QMAP is the natural home for them once it owns the device.

Fixes #2092

AI notice

This PR and its contents were created with the assistance of Opus 5 via Claude Code.

Checklist

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

If PR contains AI-assisted content:

• Any agent that created, edited, or submitted GitHub content was explicitly authorized for that scope, as required by our AI Usage Guidelines.
• Every agent-authored or agent-edited public text body begins with the visible disclosure 🤖 *AI text below* 🤖 (titles are exempt).
• I have disclosed AI assistance in the PR description.
• I confirm that I have personally reviewed and understood all AI-generated content, and accept full responsibility for it.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[burgholzer]

Nice work 👍🏼
The integration on the other side is likely a bit more cumbersome, but I think we can already move along with this 👍🏼

[denialhaag]

The integration on the other side is likely a bit more cumbersome, but I think we can already move along with this 👍🏼

Yeah, I think the other side will be much more involved, but I agree that we can merge here. 😌