- 内容(六张目标卡,动词全部落到"算"):
- 三种本地模拟输出——能由 $|GHZ\rangle = (|000\rangle+|111\rangle)/\sqrt{2}$ 算出 pmeasure/statevector/shots 的结果并完成幅值↔概率换算
- 两类后端——能用 $\mathrm{Tr}(\rho^2) < 1$ 推出"噪声通道必产生混合态",并换算 $2^n/4^n$ 内存开销
- 错误模型与加载器——能写出 Kraus 通道形式与保迹证明,用三层 ErrorLoader 预测 GHZ 泄漏分布
- 读出错误——能用 $2\times 2$ 混淆矩阵手算四个输出概率并验证总和为 1
- dummy 后端家族——能用边集合判定拓扑约束(链 0-1-2 上 cnot(0,2) 被拒),用 $\sigma = \sqrt{N\cdot p(1-p)}$ 读出采样涨落
- 声明式虚拟机——能按 YAML 换算热弛豫噪声($T_1/T_2$ → 弛豫+退相位概率)并执行 $T_2 \le 2T_1$ 校验演算
类型objectives