OriginIR：线路的通用语言

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

```text

QINIT 2

CREG 2

H q[0]

CNOT q[0], q[1]

MEASURE q[0], c[0]

MEASURE q[1], c[1]

```

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