@circuit_def(name="bell_pair", qregs={"q": 2}) 声明一条 2 比特形式寄存器（形式参数，不是实际比特），to_originir_def() 导出 DEF bell_pair(q[2]) ... ENDDEF；调用时 qreg_mapping={"q": [data[0], data[1]]} 把形式寄存器映射到父线路的实际比特，同一定义可挂载多次。命题：bell_pair 的作用是 $U_B|00\rangle = (|00\rangle+|11\rangle)/\sqrt{2} = |\Phi^+\rangle$，在 data 上调用两次后整体态为 $|\Psi\rangle = |\Phi^+\rangle_{(q_0,q_1)} \otimes |\Phi^+\rangle_{(q_2,q_3)}$。复合态的键与概率可先算：每对独立取 00 或 11（各 $1/2$），联合 4 个键各 $1/4$——$0 = 00|00$、$3 = 0011_2$（00|11）、$12 = 1100_2$（11|00）、$15 = 11|11$；8 shots 期望每键 2，实测 {0: 2, 3: 2, 12: 3, 15: 1}。父线路的 originir 把两次调用内联展开（H、CNOT 各两份），故这里的 round-trip 是语义等价而非文本等价。