We present ZYQL, a small quantum programming language whose distinguishing feature is an evidence discipline: every execution passes a purpose gate, produces a trivalent verdict (1, 0, or REFUSED), and is recorded in a hash-chained receipt that is pre-registered before data collection. We specify the language through a formal ISO/IEC 14977 EBNF grammar and small-step operational semantics; notably, the no-cloning theorem (T1) is enforced syntactically: a qubit binding may only be created from Dirac literals, never from another variable.
We report a machine-validated grammar test battery (15/15), a compilation correctness proof by state fidelity (F = 1.000000000000), and two experimental campaigns on IBM Quantum superconducting processors: (i) a three-mission causal discrimination of error sources in Bell-correlation decay, culminating in a duration-matched experiment that identifies stochastic per-pulse error as the dominant mechanism (z = +3.61 against the duration hypothesis at matched duration of 540 dt); and (ii) the first end-to-end execution of a complete ZYQL program (variational energy estimation of H₂) compiled from source and run on physical hardware (ibm_fez, Heron r2), with tripartite verification across exact statevector, calibrated noise simulation, and hardware.
All claims are labeled by a four-state maturity scale (IMPLEMENTADO / EXPERIMENTAL / ESPECIFICAÇÃO / BLOQUEADO), and all deviations from preregistered acceptance criteria are reported, including a hardware VQE energy of −0.9295 ± 0.0105 Ha versus an exact FCI value of −1.136189 Ha (deviation 0.2066 Ha, unmitigated, versus a preregistered threshold of 0.20 Ha). Raw counts, preregistration certificates, and job identifiers are published for full reproducibility.