参数化线路的思路是"线路是模板，角度是变量"，这是通往变分算法的门票。符号槽的理论根据是参数化门的展开式：
$$RX(\theta) = e^{-i\theta X/2} = \cos(\theta/2)\cdot I - i\cdot\sin(\theta/2)\cdot X$$
作用在 $|0\rangle$ 上得 $\cos(\theta/2)|0\rangle - i\cdot\sin(\theta/2)|1\rangle$，由玻恩规则，测得 1 的概率是第二项的模方——相位因子 $-i$ 的模为 1，只剩 $P(1) = \sin^2(\theta/2)$。代码侧：Parameter("theta") 是符号标量，Parameters("w", size=2) 是符号数组；角度槽支持符号表达式如 theta 2 + phi / 3，导出时头部多出 PARAM phi、PARAM theta、PARAM w[2] 声明，表达式经符号运算规范化为 phi/3 + 2theta。free_parameters 只列实际被引用的符号：引用集为 phi、theta、$w_0$（$w_1$ 未被引用），故输出 ['phi', 'theta', 'w_0']。硬规矩：PARAM 是 OriginIR-ext 本地扩展，带 PARAM 的线路提交云端或导出 QASM 前必须先绑定成数值。