本课知识点（数学目标版）

• 内容（五张目标卡，动词全部落到"写/算/检验"）：

1. 安装与环境验证——装好 unified-quantum 并验证 uniqc.__version__ 输出 0.1.0

2. 用 Circuit 构建线路——三行代码制备 Bell 态，并逐行推导 |00⟩ → (|00⟩+|11⟩)/√2

3. OriginIR 线路表示——把 QINIT/CREG/门/MEASURE 每行对应到希尔伯特空间与线性算子

4. 本地模拟与测量统计——用 P(00)=P(11)=1/2 与 σ=√(Np(1−p)) 检验计数 {0: 497, 3: 527}

5. 统一执行入口——用 p̂(x)=n_x/N 从 counts 512/512 算出 probabilities 0.5/0.5