OriginIR：线路的通用语言

• 主信息：文本即线路——每一行声明一个明确的数学对象
• 输出卡片：

  QINIT 2
  CREG 2
  H q[0]
  CNOT q[0], q[1]
  MEASURE q[0], c[0]
  MEASURE q[1], c[1]

• 逐行注解卡（行 ↔ 数学对象）：
  • QINIT 2 → 态空间 $\mathbb{C}^2 \otimes \mathbb{C}^2$（2 个量子比特）
  • CREG 2 → 经典寄存器 $\{0,1\}^2$（2 个经典比特）
  • H q[0] → 算子 $H\otimes I$，其中 $H = (1/\sqrt{2})\cdot[[1,1],[1,-1]]$
  • CNOT q[0], q[1] → $4\times 4$ 置换矩阵：$|10\rangle$ ↔ $|11\rangle$ 两行互换，其余不动
  • MEASURE q[i], c[i] → 玻恩规则 $P(x) = |\langle x|\psi\rangle|^2$，结果比特写入 c[i]
• 结果框：线路 = 声明行 + 算子行 + 测量行；任何能产出该文本的工具都接入同一执行管线（伏笔：第 7 课 OpenQASM 互转）