Opaque heads for Displacement(α, mode), Squeezing(ξ, mode), Rotation(φ, mode), Quadrature(:x/:p, mode). Each carries its group law and conjugation transformation — no eager BCH expansion.
Quadrature gets an expand_quadrature lowering to (a±a†)/√2 so latex(x) reads as \hat{x}.
Opaque heads for
Displacement(α, mode),Squeezing(ξ, mode),Rotation(φ, mode),Quadrature(:x/:p, mode). Each carries its group law and conjugation transformation — no eager BCH expansion.Quadraturegets anexpand_quadraturelowering to(a±a†)/√2solatex(x)reads as\hat{x}.