Feature: Formal Editor - render the circuit in the Dirac Notation

[NicKIT01]

User Story
As a user,
I want to open a Circuit/Qasm file in a dedicated Formal Editor tab and view its representation in the Bra/Ket (Dirac) notation,
so that I can access a formal representation of the circuit alongside the graphical circuit view.

Scope (Phase 1)

• Read-only functionality only
• Only unitary gates are supported (no measurements)
• Dynamic rendering of labeled dirac notation
• Static example of unlabeled dirac notation to compare notations

Acceptance Criteria

1. A context menu entry "Open with Formal Editor" is available for circuit/qasm files
2. Selecting “Open with Formal Editor” opens the file in a dedicated Formal Editor tab.
3. The Formal Editor displays a dynamically generated Dirac representation of the selected circuit.
4. The Formal Editor always displays the representation of the circuit from which it was opened.
5. Multiple Formal Editor tabs can coexist and each tab displays the representation of its associated circuit.
6. No other functionalities besides the formal editor are affected

Technical Details

• Tab.kind determines weather a tab is 'formal' or 'code'
• Mapping Structure goes along with existing mappers (quantikz, qulacs) with no code/translation duplications