1. 门操作与测量——能按 s = a⊕b、c = a∧b 演算半加器的 4 比特输出与十进制计数键
2. 命名寄存器——能用 qregs/get_qreg 组织线路，按偏移公式演算导出后的扁平索引 q[i]
3. 参数化线路与绑定——能算 free_parameters，用 P(1) = sin²(θ/2) 预测绑定后的计数分布
4. 控制结构与子程序——能写 CONTROL/DAGGER/circuit_def，用 RX(θ)† = RX(−θ) 与 (AB)† = B†A† 判断取逆结果
5. OriginIR 与 OpenQASM 互转——能用两条 round-trip 恒等式验证互转无损，解释 ISWAP 的六门分解
6. 统计、重映射与酉矩阵——会算 depth 与重映射索引，用"第 j 列 = U|j⟩"逐列读出 Bell 基