1. 三种本地模拟输出——能由 |GHZ⟩ = (|000⟩+|111⟩)/√2 算出 pmeasure/statevector/shots 的结果并完成幅值↔概率换算
2. 两类后端——能用 Tr(ρ²) < 1 推出"噪声通道必产生混合态"，并换算 2ⁿ/4ⁿ 内存开销
3. 错误模型与加载器——能写出 Kraus 通道形式与保迹证明，用三层 ErrorLoader 预测 GHZ 泄漏分布
4. 读出错误——能用 2×2 混淆矩阵手算四个输出概率并验证总和为 1
5. dummy 后端家族——能用边集合判定拓扑约束（链 0-1-2 上 cnot(0,2) 被拒），用 σ = √(N·p(1−p)) 读出采样涨落
6. 声明式虚拟机——能按 YAML 换算热弛豫噪声（T₁/T₂ → 弛豫+退相位概率）并执行 T₂ ≤ 2T₁ 校验演算