"""
QASM circuit library and MPS-engine gate dispatch.

Split out of the former monolithic dashboard_core.py (Phase 1 of the
dashboard refactor) -- pure move, no behavior change.
"""

import numpy as np

import dense_evolution.gates as _mps_gates_module
from dense_evolution.mps import MPSSimulator


def _run_on_mps(comandi_beast_mode, n_qubits, max_bond=64, jsd_budget=1e-5):
    """Executes comandi_beast_mode (the same [name, *args] list the dense
    beast-mode path consumes) through MPSSimulator, gate by gate, via
    dense_evolution.gates' GATES/PARAMETRIC_GATES tables (converted from
    JAX to numpy -- MPSSimulator's einsum core is plain numpy).

    u2/u3 are skipped with a warning: comandi_beast_mode only carries a
    single parameter slot per gate (see the parsing loop in
    _run_simulation_body), which can't represent u2's 2 or u3's 3
    independent parameters -- the same pre-existing limitation the dense
    beast-mode path already has for these two gates, not something new
    introduced here."""
    mps = MPSSimulator(n_qubits=n_qubits, max_bond=max_bond, jsd_budget=jsd_budget)
    for cmd in comandi_beast_mode:
        nome_porta = cmd[0]
        if nome_porta in ('h', 'x', 'y', 'z', 's', 'sdg', 't', 'tdg'):
            gate = np.array(_mps_gates_module.GATES[nome_porta])
            mps.apply_gate_1q(gate, cmd[1])
        elif nome_porta in ('rx', 'ry', 'rz', 'u1', 'p'):
            gate = np.array(_mps_gates_module.PARAMETRIC_GATES[nome_porta](cmd[2]))
            mps.apply_gate_1q(gate, cmd[1])
        elif nome_porta in ('u2', 'u3'):
            print(f"Warning: motore MPS salta la porta '{nome_porta}' (richiede piu' "
                  "di un parametro, non rappresentabile nel formato beast-mode corrente).")
        elif nome_porta == 'cx':
            mps.apply_cx(cmd[1], cmd[2])
        elif nome_porta == 'cz':
            mps.apply_cz(cmd[1], cmd[2])
        elif nome_porta == 'swap':
            mps.apply_swap(cmd[1], cmd[2])
        elif nome_porta == 'cy':
            gate = np.array(_mps_gates_module.GATES['cy']).reshape(2, 2, 2, 2)
            mps.apply_gate_2q(gate, cmd[1], cmd[2])
        elif nome_porta in ('cp', 'crz'):
            gate = np.array(_mps_gates_module.PARAMETRIC_GATES[nome_porta](cmd[3])).reshape(2, 2, 2, 2)
            mps.apply_gate_2q(gate, cmd[1], cmd[2])
        elif nome_porta in ('ccx', 'toffoli'):
            mps.apply_ccx(cmd[1], cmd[2], cmd[3])
        else:
            print(f"Warning: motore MPS salta la porta non gestita: {nome_porta}")
    return mps


QASM_LIBRARY = {
    'Bell |Φ+⟩': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; h q[0]; cx q[0],q[1]; measure q -> c;',
    'QFT 4 qubit': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; ry(pi/4) q[0]; ry(pi/4) q[2]; h q[3]; cp(pi/2) q[2],q[3]; cp(pi/4) q[1],q[3]; cp(pi/8) q[0],q[3]; h q[2]; cp(pi/2) q[1],q[2]; cp(pi/4) q[0],q[2]; h q[1]; cp(pi/2) q[0],q[1]; h q[0]; swap q[0],q[3]; swap q[1],q[2]; barrier q; measure q -> c;',
    'Simon_Algorithm_4q_s11':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; '
    '// Simon: f(x)=f(x+11), q[0:1]=input, q[2:3]=output\n'
    'h q[0]; h q[1]; barrier q; '
    'cx q[0],q[2]; cx q[1],q[3]; cx q[0],q[3]; barrier q; '
    'h q[0]; h q[1]; '
    'measure q[0] -> c[0]; measure q[1] -> c[1]; '
    'measure q[2] -> c[2]; measure q[3] -> c[3];',
    'Grover_3q_Oracle_111':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[3]; '
    '// Init\n'
    'h q[0]; h q[1]; h q[2]; barrier q; '
    '// Oracle CCZ on |111>\n'
    'h q[2]; ccx q[0],q[1],q[2]; h q[2]; barrier q; '
    '// Diffuser\n'
    'h q[0]; h q[1]; h q[2]; '
    'x q[0]; x q[1]; x q[2]; '
    'h q[2]; ccx q[0],q[1],q[2]; h q[2]; '
    'x q[0]; x q[1]; x q[2]; '
    'h q[0]; h q[1]; h q[2]; '
    'barrier q; measure q -> c;',
    'Dicke_State_D42':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; '
    '// Dicke |D(4,2)> approx via SCS\n'
    'h q[0]; h q[1]; h q[2]; h q[3]; '
    'cx q[0],q[1]; cx q[2],q[3]; '
    'rz(1.5708) q[1]; rz(1.5708) q[3]; '
    'cx q[0],q[1]; cx q[2],q[3]; '
    'ry(0.9553) q[0]; ry(0.9553) q[2]; '
    'cx q[0],q[2]; '
    'barrier q; measure q -> c;',
    'MultiControlled_Z_5q':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[5]; '
    '// 4-controlled Z via T-gate decomposition\n'
    'h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; '
    'ccx q[0],q[1],q[3]; '
    'ccx q[2],q[3],q[4]; '
    't q[0]; t q[1]; t q[2]; tdg q[3]; tdg q[4]; '
    'cx q[0],q[1]; cx q[2],q[3]; '
    'tdg q[1]; t q[3]; '
    'cx q[0],q[1]; cx q[2],q[3]; '
    'ccx q[1],q[2],q[4]; '
    'h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; '
    'barrier q; measure q -> c;',
    'Anyonic_Braiding_Fibonacci_6q':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[6]; creg c[6]; '
    '// Fibonacci anyon braiding: sigma_1 sigma_2 sequence\n'
    'h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; h q[5]; '
    'cz q[0],q[1]; ry(1.2566) q[1]; '
    'cz q[1],q[2]; ry(1.2566) q[2]; '
    'cz q[0],q[2]; ry(0.9425) q[0]; '
    'cz q[2],q[3]; ry(1.2566) q[3]; '
    'cz q[3],q[4]; ry(1.2566) q[4]; '
    'cz q[2],q[4]; '
    'rz(3.0718) q[1]; rz(3.0718) q[3]; '
    'cx q[0],q[5]; cx q[2],q[5]; cx q[4],q[5]; '
    'rz(0.7) q[0]; rz(0.7) q[2]; rz(0.7) q[4]; '
    'barrier q; measure q -> c;',
    'Peptide_Furin_RRAR_8q':
    'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; '
    '// SARS-CoV-2 furin site: RRAR|S PDF-encoded\n'
    'ry(0.8727) q[0]; ry(0.5236) q[1]; ry(0.8727) q[2]; ry(0.8727) q[3]; '
    'ry(0.3927) q[4]; ry(0.2094) q[5]; ry(0.7854) q[6]; ry(0.4712) q[7]; '
    'rz(1.9106) q[0]; rz(1.9106) q[1]; rz(1.9106) q[2]; rz(1.9106) q[3]; '
    'rz(1.9106) q[4]; rz(1.9106) q[5]; rz(1.9106) q[6]; rz(1.9106) q[7]; '
    'cx q[0],q[1]; cx q[2],q[3]; cx q[4],q[5]; cx q[6],q[7]; '
    'cx q[1],q[2]; cx q[3],q[4]; cx q[5],q[6]; '
    'rz(0.7) q[0]; rz(0.7) q[1]; rz(0.7) q[2]; rz(0.7) q[3]; '
    'rz(0.7) q[4]; rz(0.7) q[5]; rz(0.7) q[6]; rz(0.7) q[7]; '
    'barrier q; measure q -> c;',
    'Grover Motif Search (0011)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; h q[2]; h q[3]; x q[2]; x q[3]; h q[3]; ccx q[0],q[2],q[3]; cx q[1],q[3]; h q[3]; x q[2]; x q[3]; h q[0]; h q[1]; h q[2]; h q[3]; x q[0]; x q[1]; x q[2]; x q[3]; h q[3]; ccx q[0],q[1],q[3]; cx q[2],q[3]; h q[3]; x q[0]; x q[1]; x q[2]; x q[3]; h q[0]; h q[1]; h q[2]; h q[3]; measure q -> c;',
    'Quantum Neural Neuron': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; ry(pi/4) q[0]; ry(pi/4) q[1]; ry(pi/4) q[2]; ry(pi/4) q[3]; barrier q; cx q[0],q[1]; cx q[1],q[2]; cx q[2],q[3]; u3(0.1,0,0) q[0]; u3(0.5,0,0) q[1]; u3(-0.3,0,0) q[2]; u3(0.8,0,0) q[3]; measure q -> c;',
    'Approx QFT (Optimized)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[3]; cp(pi/2) q[2],q[3]; cp(pi/4) q[1],q[3]; h q[2]; cp(pi/2) q[1],q[2]; h q[1]; cp(pi/2) q[0],q[1]; h q[0]; barrier q; measure q -> c;',
    'Quantum Neural Layer': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; rz(pi/4) q[0]; rz(pi/4) q[1]; rz(pi/4) q[2]; rz(pi/4) q[3]; barrier q; cx q[0],q[1]; cx q[1],q[2]; cx q[2],q[3]; cx q[3],q[0]; ry(0.5) q[0]; ry(0.5) q[1]; ry(0.5) q[2]; ry(0.5) q[3]; measure q -> c;',
    'Quantum Game Theory': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; cx q[0],q[1]; h q[0]; x q[1]; u3(pi/2,0,pi/2) q[0]; u3(pi/2,0,pi/2) q[1]; h q[0]; x q[1]; cx q[0],q[1]; measure q -> c;',
    'Quantum Teleportation': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[2]; h q[1]; cx q[1],q[2]; cx q[0],q[1]; h q[0]; measure q[0] -> c[0]; measure q[1] -> c[1]; x q[2] if(c[1]==1); z q[2] if(c[0]==1);',
    'Pixel Encoder (Phase)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[1]; h q[0]; h q[1]; cu1(pi/4) q[0],q[1]; measure q[1] -> c[0];',
    'Hardware Stress Test': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[1]; creg c[1]; h q[0]; barrier q[0]; id q[0]; id q[0]; id q[0]; measure q[0] -> c[0];',
    'Universal Swap Test (3q)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[1]; h q[0]; cswap q[0],q[1],q[2]; h q[0]; measure q[0] -> c[0];',
    'Bio-Sequence Matcher (8q)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; h q[5]; h q[6]; h q[7]; cx q[0],q[4]; cx q[1],q[5]; cp(pi/4) q[0],q[4]; cp(pi/2) q[1],q[5]; cx q[2],q[6]; cx q[3],q[7]; cp(pi/8) q[2],q[6]; x q[4]; x q[5]; x q[6]; x q[7]; h q[7]; ccx q[4],q[5],q[7]; ccx q[6],q[7],q[3]; h q[7]; x q[4]; x q[5]; x q[6]; x q[7]; h q[0]; h q[1]; h q[2]; h q[3]; x q[0]; x q[1]; x q[2]; x q[3]; h q[3]; ccx q[0],q[1],q[3]; h q[3]; x q[0]; x q[1]; x q[2]; x q[3]; h q[0]; h q[1]; h q[2]; h q[3]; measure q -> c;',
    'Grover AA Lys Search (K=01011)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[5]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; x q[0]; x q[2]; x q[4]; h q[4]; ccx q[0],q[1],q[4]; cx q[2],q[4]; cx q[3],q[4]; h q[4]; x q[0]; x q[2]; x q[4]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; x q[0]; x q[1]; x q[2]; x q[3]; x q[4]; h q[4]; ccx q[0],q[2],q[4]; cx q[1],q[4]; cx q[3],q[4]; h q[4]; x q[0]; x q[1]; x q[2]; x q[3]; x q[4]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; measure q -> c;',
    'Alpha-helix Detector (5q)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[5]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; cx q[0],q[2]; cx q[1],q[3]; rz(0.5) q[2]; rz(-0.25) q[3]; cx q[0],q[2]; cx q[1],q[3]; cx q[2],q[4]; cx q[3],q[4]; rz(0.785) q[4]; cx q[3],q[4]; cx q[2],q[4]; h q[0]; h q[1]; h q[2]; h q[3]; measure q -> c;',
    'HP Lattice 5-mer (10q)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[10]; creg c[10]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; h q[5]; h q[6]; h q[7]; h q[8]; h q[9]; cx q[0],q[2]; cx q[1],q[3]; cx q[4],q[6]; cx q[5],q[7]; rz(0.785) q[2]; rz(0.392) q[3]; rz(-0.392) q[6]; rz(-0.785) q[7]; cx q[0],q[2]; cx q[1],q[3]; cx q[4],q[6]; cx q[5],q[7]; cx q[2],q[4]; cx q[3],q[5]; cx q[6],q[8]; cx q[7],q[9]; rz(0.5) q[4]; rz(-0.5) q[5]; rz(0.25) q[8]; rz(-0.25) q[9]; cx q[2],q[4]; cx q[3],q[5]; cx q[6],q[8]; cx q[7],q[9]; measure q -> c;',
    'VQE BeH2 (8q-UCCSD)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; x q[0]; x q[1]; x q[2]; h q[0]; h q[1]; h q[2]; h q[3]; cx q[0],q[1]; cx q[1],q[2]; cx q[2],q[3]; cx q[3],q[4]; rz(0.18) q[4]; rz(0.09) q[6]; cx q[3],q[4]; cx q[2],q[3]; cx q[1],q[2]; cx q[0],q[1]; h q[4]; cx q[4],q[5]; cx q[5],q[6]; cx q[6],q[7]; rz(-0.18) q[7]; cx q[6],q[7]; cx q[5],q[6]; cx q[4],q[5]; h q[4]; measure q -> c;',
    'Bernstein-Vazirani (101)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; h q[2]; x q[3]; h q[3]; cx q[0],q[3]; cx q[2],q[3]; h q[0]; h q[1]; h q[2]; measure q -> c;',
    'Deutsch-Jozsa bilanciata': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[3]; h q[0]; h q[1]; x q[2]; h q[2]; cx q[0],q[2]; cx q[1],q[2]; h q[0]; h q[1]; measure q -> c;',
    'Toffoli (CCX)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[3]; h q[2]; cx q[1],q[2]; tdg q[2]; cx q[0],q[2]; t q[2]; cx q[1],q[2]; tdg q[2]; cx q[0],q[2]; t q[1]; t q[2]; h q[2]; cx q[0],q[1]; t q[0]; tdg q[1]; cx q[0],q[1]; measure q -> c;',
    'Grover 3q target 101': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[3]; creg c[3]; h q[0]; h q[1]; h q[2]; x q[0]; x q[1]; h q[2]; ccx q[0],q[1],q[2]; h q[2]; x q[0]; x q[1]; h q[0]; h q[1]; x q[0]; x q[1]; h q[1]; cx q[0],q[1]; h q[1]; x q[0]; x q[1]; h q[0]; h q[1]; measure q->c;',
    'VQE ansatz H₂': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; ry(0.5) q[0]; rx(0.5) q[1]; cx q[0],q[1]; rz(0.2) q[1]; cx q[0],q[1]; ry(0.5) q[0]; rx(0.5) q[1]; measure q -> c;',
    'Adder 2-bit': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[5]; cx q[0],q[3]; cx q[1],q[3]; ccx q[0],q[1],q[4]; cx q[2],q[4]; cx q[3],q[4]; measure q -> c;',
    'Quantum Supremacy (toy)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[5]; h q[0]; h q[1]; h q[2]; h q[3]; h q[4]; cx q[0],q[1]; cx q[1],q[2]; cx q[2],q[3]; cx q[3],q[4]; rx(pi/4) q[0]; ry(pi/4) q[1]; rz(pi/4) q[2]; rx(pi/4) q[3]; ry(pi/4) q[4]; cx q[0],q[1]; cx q[1],q[2]; cx q[2],q[3]; cx q[3],q[4]; measure q -> c;',
    'Random Entanglement': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; h q[2]; h q[3]; cx q[0],q[1]; rz(0.3) q[1]; cx q[2],q[3]; ry(0.7) q[3]; cx q[1],q[2]; measure q -> c;',
    'HP Lattice 3-mer (6q)': '''include "qelib1.inc";
// HP Lattice 3-mer: HHP
// 2 turn angles * 2 qubit + 2 ancilla
qreg q[6];
creg c[6];
h q[0]; h q[1]; h q[2]; h q[3];
cx q[0],q[1]; cx q[2],q[3];
rz(0.785) q[1]; rz(-0.392) q[3];
cx q[0],q[1]; cx q[2],q[3];
cx q[1],q[4]; cx q[3],q[5];
rz(0.5) q[4]; rz(-0.25) q[5];
cx q[1],q[4]; cx q[3],q[5];
h q[4]; h q[5];
measure q->c;''',
    'NH3 Complex (4q)': '''OPENQASM 2.0;
include "qelib1.inc";
qreg q[4];
creg c[4];
// Complex NH3 Ansatz (4-qubit)
// Layer 1
ry(pi/2) q[0];
rz(pi/4) q[1];
ry(pi/2) q[2];
rz(pi/4) q[3];
cx q[0],q[1];
cx q[1],q[2];
cx q[2],q[3];

// Layer 2
ry(0.6) q[0];
rz(0.3) q[1];
ry(0.9) q[2];
rz(0.5) q[3];
cx q[3],q[2];
cx q[2],q[1];
cx q[1],q[0];

// Layer 3
ry(0.1) q[0];
rz(0.8) q[1];
ry(0.4) q[2];
rz(0.7) q[3];
cx q[0],q[2];
cx q[1],q[3];

// Layer 4 (Final Rotations)
ry(0.2) q[0];
rz(0.5) q[1];
ry(0.3) q[2];
rz(0.6) q[3];

measure q -> c;''',
    'Amplitude Estimation (Finance)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[3]; h q[0]; h q[1]; h q[2]; ry(pi/4) q[3]; cp(pi/2) q[2],q[3]; cp(pi) q[1],q[3]; h q[0]; cp(-pi/2) q[0],q[1]; h q[1]; cp(-pi/4) q[0],q[2]; cp(-pi/2) q[1],q[2]; h q[2]; measure q[0:2] -> c;',
    'VQE Water (FORCE)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[10]; creg c[10]; h q[0]; h q[1]; h q[2]; h q[3]; ry(0.5) q[0]; ry(1.0) q[1]; ry(1.5) q[2]; ry(2.0) q[3]; cx q[0],q[1]; cx q[2],q[3]; measure q -> c;',
    'VQE LiH Ansatz': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; x q[0]; x q[1]; ry(0.15) q[0]; ry(0.15) q[1]; cx q[0],q[2]; cx q[1],q[3]; ry(0.05) q[2]; ry(0.05) q[3]; measure q -> c;',
    'QFT 8q Safe-Scan': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; h q[0]; h q[1]; h q[2]; h q[3]; cp(pi/2) q[0],q[1]; cp(pi/4) q[1],q[2]; cp(pi/8) q[2],q[3]; h q[4]; h q[5]; h q[6]; h q[7]; measure q -> c;',
    'HHL Matrix Inversion': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[2]; h q[1]; h q[2]; cp(pi/2) q[1],q[3]; cp(pi) q[2],q[3]; ch q[1],q[0]; ch q[2],q[0]; measure q[1:2] -> c;',
    'QAOA Max-Cut 4q (Pro)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; h q[2]; h q[3]; cx q[0],q[1]; rz(1.57) q[1]; cx q[0],q[1]; cx q[2],q[3]; rz(1.57) q[3]; cx q[2],q[3]; rx(0.78) q[0]; rx(0.78) q[1]; rx(0.78) q[2]; rx(0.78) q[3]; measure q -> c;',
    'QML ZZ-FeatureMap': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; h q[0]; h q[1]; rz(0.5) q[0]; rz(1.2) q[1]; cx q[0],q[1]; rz(0.6) q[1]; cx q[0],q[1]; ry(0.2) q[0]; ry(0.2) q[1]; measure q -> c;',
    'QPE Precision 5q': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[5]; creg c[4]; h q[0]; h q[1]; h q[2]; h q[3]; x q[4]; cp(pi/8) q[0],q[4]; cp(pi/4) q[1],q[4]; cp(pi/2) q[2],q[4]; cp(pi) q[3],q[4]; h q[0]; cp(-pi/2) q[0],q[1]; h q[1]; measure q[0:3] -> c;',
    'Interference Stress Test': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; ry(0.9) q[1]; cx q[0],q[1]; rz(1.3) q[1]; h q[0]; measure q -> c;',
    'Shor 15 (Simplified)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; h q[0:3]; x q[4]; cx q[2],q[5]; cx q[2],q[6]; h q[0:3]; measure q -> c;',
    'Ising Model Simulation': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; rz(0.5) q[0]; cx q[0],q[1]; rz(0.3) q[1]; cx q[1],q[0]; measure q -> c;',
    'Grover 4-item Search': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; h q[0]; h q[1]; x q[1]; h q[1]; cx q[0],q[1]; h q[1]; x q[1]; h q[0]; h q[1]; x q[0]; x q[1]; h q[1]; cx q[0],q[1]; h q[1]; x q[0]; x q[1]; h q[0]; h q[1]; measure q -> c;',
    'VQE Water (H2O) 6q': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[6]; creg c[6]; x q[0]; x q[1]; ry(0.1) q[0]; ry(0.1) q[1]; cx q[0],q[2]; cx q[1],q[3]; cx q[2],q[4]; cx q[3],q[5]; measure q -> c;',
    'Quantum Key Distribution': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[2]; creg c[2]; h q[0]; cx q[0],q[1]; h q[0]; h q[1]; measure q -> c;',
    'QFT 8 qubit High-Res': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[8]; creg c[8]; h q[7]; cp(pi/2) q[6],q[7]; cp(pi/4) q[5],q[7]; cp(pi/8) q[4],q[7]; h q[6]; cp(pi/2) q[5],q[6]; measure q -> c;',
    'Quantum Walk FORCE': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; h q[1]; h q[2]; cx q[0],q[1]; ccx q[1],q[2],q[3]; rz(1.5) q[3]; measure q -> c;',
    'Error Mitigation (Real-Stress)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[15]; creg c[15]; h q[0]; cx q[0],q[1]; rz(0.45) q[1]; cx q[0],q[1]; rz(0.45) q[1]; cx q[0],q[1]; h q[0]; measure q -> c;',
    'Thermalizer VQT': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; ry(0.4) q[0]; ry(0.8) q[1]; ry(1.2) q[2]; ry(1.6) q[3]; cx q[0],q[1]; cx q[2],q[3]; measure q -> c;',
    'Ising Spectrum (Multi-Color)': 'OPENQASM 2.0; include "qelib1.inc"; qreg q[4]; creg c[4]; h q[0]; ry(0.8) q[1]; cx q[0],q[1]; rz(pi/4) q[0]; h q[2]; cx q[1],q[2]; measure q -> c;',
    'NH3 Simplified (4q)': '''OPENQASM 2.0;
include "qelib1.inc";
qreg q[4];
creg c[4];
// Simplified NH3 VQE-like ansatz
ry(pi/2) q[0];
rz(pi/4) q[1];
ry(pi/2) q[2];
rz(pi/4) q[3];
cx q[0],q[1];
cx q[1],q[2];
cx q[2],q[3];
ry(0.5) q[0];
rz(0.3) q[1];
ry(0.7) q[2];
rz(0.4) q[3];
cx q[0],q[1];
cx q[1],q[2];
cx q[2],q[3];
measure q -> c;''',
    'Beta-sheet pattern detector (5q)': '''OPENQASM 2.0;
include "qelib1.inc";
// Beta-sheet pattern detector
// Sheet residues: V(19),I(9),F(13),Y(18),W(17)
qreg q[5];
creg c[5];
h q[0]; h q[1]; h q[2]; h q[3]; h q[4];
x q[0]; x q[2];
cx q[0],q[4]; cx q[2],q[4];
rz(0.785) q[4];
cx q[0],q[4]; cx q[2],q[4];
x q[0]; x q[2];
h q[0]; h q[1]; h q[2]; h q[3]; h q[4];
x q[0]; x q[1]; x q[2]; x q[3]; x q[4];
cx q[0],q[4]; cx q[1],q[4];
x q[0]; x q[1]; x q[2]; x q[3]; x q[4];
h q[0]; h q[1]; h q[2]; h q[3]; h q[4];
measure q->c;''',
}


def infer_qubit_count_from_qasm(qasm_text: str):
    """Cheap qubit-count guess from raw QASM text (regex on `qreg q[N]`),
    used only to pre-filter the Hamiltonian-compatibility dropdown in the UI
    before a circuit actually runs. The real, authoritative qubit count
    always comes from run_simulation()'s res['n_qubits'] (full QASM parse);
    this is not used for execution. Returns None if no qreg declaration is found."""
    import re
    match = re.search(r'qreg\s+\w+\s*\[\s*(\d+)\s*\]', qasm_text or '')
    return int(match.group(1)) if match else None