Circuit（opcode 序列）/ OriginIR-ext 文本（.originir）/ OpenQASM 2.0 文本（.qasm）表示同一 $U$；round-trip 恒等式：from_qasm(qasm(c)) $\equiv$ c、from_originir(originir(c)) $\equiv$ c.qasm 示例（Bell 线路）——qreg q[2]、h q[0]、cx q[0], q[1]、measure q[0] -> c[0]c2.originir == c.originir → True；c3.qasm == c.qasm → True