The unsoundness check for `CQCL/hugr` failed. [Please investigate](https://github.com/CQCL/hugr/actions/runs/13500744273).