From 25cbb85a0fc4572b47390ea980b9997e397fcc25 Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Mon, 19 Jan 2026 13:37:48 +0000
Subject: [PATCH 1/6] chore: move to justfile for test hugr generation

---
 devenv.nix                    |   8 ++-----
 integration/conftest.py       |   2 +-
 integration/test_qsys_jobs.py |  42 +++++-----------------------------
 justfile                      |  17 ++++++++++++++
 tests/data/example.hugr       | Bin 9679 -> 0 bytes
 tests/data/example_hugr.hugr  | Bin 0 -> 7283 bytes
 tests/data/example_hugr.py    |  38 ++++++++++++++++++++++++++++++
 tests/data/justfile           |  14 ++++++++++++
 8 files changed, 78 insertions(+), 43 deletions(-)
 create mode 100644 justfile
 delete mode 100644 tests/data/example.hugr
 create mode 100644 tests/data/example_hugr.hugr
 create mode 100644 tests/data/example_hugr.py
 create mode 100644 tests/data/justfile

diff --git a/devenv.nix b/devenv.nix
index e0dea5c9..10294c49 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -9,18 +9,14 @@ in
     pkgs-unstable.uv
     pkgs.commitizen
     pkgs.git
+    pkgs.just
   ];
 
   dotenv.enable = true;
 
   # https://devenv.sh/scripts/
   scripts.qfmt.exec = ''
-    echo -e "Running formatting, linting and typechecking 🧹 🔧 \n"
-
-    uv run ruff check --select I --fix
-    uv run ruff check 
-    uv run ruff format 
-    uv run mypy qnexus/ tests/ integration/
+    just qfmt
   '';
   scripts.qtest.exec = ''
     echo -e "Running unit tests  📏🔍\n"
diff --git a/integration/conftest.py b/integration/conftest.py
index 1c095916..e1d44da0 100644
--- a/integration/conftest.py
+++ b/integration/conftest.py
@@ -463,7 +463,7 @@ def test_ref_serialisation(
 
 @pytest.fixture(name="qa_hugr_package")
 def qa_hugr_package_fixture() -> Package:
-    hugr_path = Path("tests/data/example.hugr").resolve()
+    hugr_path = Path("tests/data/example_hugr.hugr").resolve()
     return Package.from_bytes(hugr_path.read_bytes())
 
 
diff --git a/integration/test_qsys_jobs.py b/integration/test_qsys_jobs.py
index 4ca941da..77778005 100644
--- a/integration/test_qsys_jobs.py
+++ b/integration/test_qsys_jobs.py
@@ -1,11 +1,9 @@
 """Tests related to running jobs against QSys devices."""
 
-from typing import Any, Callable, ContextManager, cast
+from typing import Callable, ContextManager, cast
 
 import pytest
-from guppylang import guppy
-from guppylang.std.builtins import result
-from guppylang.std.quantum import cx, h, measure, qubit, x, z
+from hugr.package import Package
 from hugr.qsystem.result import QsysResult
 from pytket.backends.backendinfo import BackendInfo
 from quantinuum_schemas.models.backend_config import (
@@ -24,36 +22,6 @@
 )
 
 
-def prepare_teleportation() -> Any:
-    """Prepares the teleportation circuit."""
-
-    @guppy
-    def bell() -> tuple[qubit, qubit]:
-        """Constructs a bell state."""
-        q1, q2 = qubit(), qubit()
-        h(q1)
-        cx(q1, q2)
-        return q1, q2
-
-    @guppy
-    def main() -> None:
-        src = qubit()
-        x(src)
-        alice, bob = bell()
-
-        cx(src, alice)
-        h(src)
-        if measure(alice):
-            x(bob)
-        if measure(src):
-            z(bob)
-
-        result("teleported", measure(bob))
-
-    main.check()
-    return main.compile()
-
-
 @pytest.mark.parametrize(
     "backend_config",
     [
@@ -70,6 +38,7 @@ def test_guppy_execution(
     test_case_name: str,
     create_project: Callable[[str], ContextManager[ProjectRef]],
     backend_config: BackendConfig,
+    qa_hugr_package: Package,
 ) -> None:
     """Test the execution of a guppy program
     on a next-generation QSys device."""
@@ -78,7 +47,7 @@ def test_guppy_execution(
         n_shots = 10
 
         hugr_ref = qnx.hugr.upload(
-            hugr_package=prepare_teleportation(),
+            hugr_package=qa_hugr_package,
             name=f"hugr for {test_case_name}",
             project=project_ref,
         )
@@ -127,12 +96,13 @@ def test_guppy_execution(
 def test_hugr_costing(
     test_case_name: str,
     create_project: Callable[[str], ContextManager[ProjectRef]],
+    qa_hugr_package: Package,
 ) -> None:
     """Test the costing of a Hugr program on a cost checking device."""
 
     with create_project(f"project for {test_case_name}") as project_ref:
         hugr_ref = qnx.hugr.upload(
-            hugr_package=prepare_teleportation(),
+            hugr_package=qa_hugr_package,
             name=f"hugr for {test_case_name}",
             project=project_ref,
         )
diff --git a/justfile b/justfile
new file mode 100644
index 00000000..94f6c92a
--- /dev/null
+++ b/justfile
@@ -0,0 +1,17 @@
+# List the available commands
+help:
+    @just --list --justfile {{justfile()}}
+
+# Run basic formatting, linting and typechecking
+qfmt:
+    echo -e "Running formatting, linting and typechecking 🧹 🔧 \n"
+
+    uv run ruff check --select I --fix
+    uv run ruff check 
+    uv run ruff format 
+    uv run mypy qnexus/ tests/ integration/
+
+# Re-compile test hugr files.
+recompile-test-files:
+    @echo "---- Recompiling example guppy programs ----"
+    just tests/data/recompile
\ No newline at end of file
diff --git a/tests/data/example.hugr b/tests/data/example.hugr
deleted file mode 100644
index a1a6f80b867dfc588947846b2920c90fb26195e8..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 9679
zcmV;=B{14ZRYy{3NJ@4BK`6B^{a_)d-7Nu1(ve(ZV2)XBI`nh!Wb3oD;G3<_4ufy^
z47m|^fXURG!f2}&f=MUF_4?lbUD#XoI4o*N$Y*rIG}%mIkZkD~@~`;s8^YT0Z72pJ
zXqk@U_!XfoA;7<vWjvT>rvLr+|No_RA^{f#U<K?2ZZUGVDBUeYSK&P+`JR;AEk559
zle=Zdh41NwyQSuPf^xT<X!xFLxLdlrTDdEgqwt<|_?~vStCa7lhr2#G>OBSVJqdBw
zCU-@0SEZj`RO_xi?izI07I&?=&5NS>qE6gZ=B}&zWrf8T#dE)^+^;G3D@u+p3g~`0
z`J%@Ag{1aH{kUI5zNn=8)#EN+RFN+Vh5HqBzi8YqoulxgR`{Zr+%NHdwcIRMKIBEg
z@I^tnS$z1SWVl(TeDtDhxLIbnS)SZ1OKuh-C%q^hzNj8<7W8Hzx>;zTUhqx%X4$z}
zYHpU6tMH~=zNwg-rTeBz+%6w%zNwtsMdh1Xal2-K@lDORT~BUTliOwFD7-15Z)&_<
zO1G=W?ee(_+tuQmO1fP-w@bWTtK-<ME8kQKcgu&nMdfbIa2#)ng>R~byY=Lodf{#@
ziQ$`);cgkZTS|9}=rrCG4&PJ`cgyFS+Tm{P+{K&v;hO^DZq?i^nY-1U#;Y=YRjT{5
za(`9sPs%aysz!WOCGIcE{W-ZmBrjoqM82vO_lJH}JoguL8T+I0RrTE8&Q}F=f8u4l
zD)RnX?ytL9R&ExRrJE(?W<|MKPHq;GBsYu5%|dS$(aoaa!p+*bSv5CH=4N#&8t#>q
zdsXFLO}ST5E&;DfhkNDZUM;y-M(!1Q9<M5hdqs4weC}0?dsWlAS2Fi%b*rx2swy<M
zYRave;Z{AlRZCvPyJB&xjNB@vTh-%M`Q*4&EpC<0trBn5>NoGIcBih~DIe|>l{+;<
zkvsL|PBpnxNbZ!<3U{i<oeH{BH13qnjl3%u?v!|^TJBVLqkQ-d@5+W7Mde0GxlvJW
zRFm^~S3KM(BsYr4jY4l!(0jbA7u+ZsH)`ib)!e9-qwum^zO0xpYs8mT;y(Fc^JV3H
zSt`D)756C$j4x}(msR7->bXxwgublt%Obz5@;(vWzO1A#Yw626;Xdsg`La^@vXXpR
zO72s~!k5*;m*v8j^}=nU62q4z!<R+FmsP`UdV<53mBW{%!<V(gZ8F08;mZQz%L?Ml
z65=)mnZBRu`?bDby-hVEzF&#&NAvwo+@?;&_gnG(SbRU8d#BX+em&nW$M*xex5+tf
zKl1yP_agazKkik!i}zdleka`9<NKj-ug_iVZSnn-e7_a$)wx&ZA9z0(zTXS?uD&0X
z+q2?T`F=HgKO1gu%I!t@3h$@G_uJw2oZQ}$+aq!nwugQ{A#RW8_Iz${=Q!S0>)Wcg
zSMzPf++GXKw{_z7y1TP-cT`w>TRe9s<=dKZcTetOcTK)6pu0nIcSP>4$5D7&wQuXk
z-35JHNq5(x$hU>U-Raz&cz3H6zAYxVuY6lA+^zz{w*}?)l-o1hc4EV~b;Io?-&PK{
ziQL88;^Eus;Wm1k=r)bhcv~;{x_o=*>r&ko@8Wg2d|ffOTW)u^50%F2viZ7lZYtGM
zs-IL0ye=4D*NnSKHIizjTEgy8*EQZjbzSA%qRQAhb(6lXrCX-TcwH!bT}LXgt`#nz
z<a4cn^17IOJ;1`(<$~=h!B6LP!SHoKc?x1!!4Jo+i-xbOhOf(puj_^u)bQ_yuL}ni
zK=~)b*G0n!TKM<E*9C(LO8znVx>&gFg1`^QeJ&LKrSNqnx$P42!*QT1>E8)oSCQMU
zqaThlxjXuCY;})V9p(a64##=ko^G||8<=WG0Ov^QY*!*?Ih4{ua1_(0t;bMmGf&HI
z(h;e4%7#Fan&pj+L`q6;QnS2~m0e2Kj?xkxhmexm%u_Zr^LWxyD-{Ni*uGK1U+4e^
zEP%z5QV<|4kZkCW({zB39_7)?tOT;c$Z-e(CI~IPg04aSTn)gZf;@EG`0?qfpeqSB
zfFRkvA%Z_w88J@VH(o3ibbUbp7%+H37=Q{E0_dQEt{kK|vV8-`pKAbaDv|9QHbbil
zx}Kn^sj$_{zEPtAP6nY2ixIGy3cAL?R1gOXr^W}4;LnxSg2Dx?8ocGDL4C2XxLO79
z=j!t3LZbx$f3BtxI<OiuHEJ{*6?DxJgQMopm9}Dp3cBvJ<iN3_`g5(}&vgV>4haD4
ztf-(X2_1i~IVceobUl#(Km}b<D1WXmCx5Q%y}Yi1u6}j1afl?r`50>`>7g-}(9V-+
zD5c$OBzlw5Zk>%pXPAv7N;^-Y8(Ik5c@mK%8iPb{wvnvSNuimejUwy_fm5O(p>8;Q
z$VMbH2WcA84F~CCtYIW+Np$-`g1aGSHyVi|4S^<+K2WlghNAKG+|+KV>GAgCCMA8O
zLo{(^z3dwu3z(g{;>81ht|B@R;euoPM$Dh9i$B-<LjnHPa>Ac$eO1ua^;OUWi)*Dp
z>+|QD(!ll&mOq*m3Ii35?Heh7t|tsorwY27{FN|y6?Ek|nC%-f{#;jtKUa=(v3-N%
zxO6tsaP{o2vR)`TLr)SnsaYNkp`>T%`NWm=@@$*)UNm!PD)Vt=y*hJT_abQ?mzHUe
zE9=FjW_cndp-xS52qLbmmsxZ}qNmJ+7Ot$934@>m8h1d2XeAtw@DbZLQq+WC`-V=9
zy<N3$<P3SMswh>JQB}KozOk=$?du<3-@Z<|VJ`AD3O7v3*D2hvCo6o-<c2l*x`i8N
z1ctAnd>z9LQ@UY9SHWu=zP{mx`Fx$j4cmDVuX*^ohZ|P&H4rz<FZg!8Vck7r<({E(
z8gJ)v&q%pvqTDl1?wQW!o*{D2p!W>XJp<$0&A4ZFzFp5fBMN=H@t$e<cI7Q|<@W88
zzTMI-<HId8<tli)Bi}BCTV{rDr{tD#@+97lg>TowEwkj?y>QDAiQ(JHaLb^#4ACt^
z<0!lx4&N?^TW06m?QqM8-4EXmh+C%Rmg(*oA5P=-Om_^GJ4VVK6XlL+GUARwa>o$4
zW6(P$NX6G%@%31IJ)S#8=Nz|Qjjz{p$B17K=#E*DU$4Aju6(^8H%yhKuXn=ND{{k3
zxnZJQ1+SOn>nXWmoP0edHw=;|@p>+Ny%%m6B3}>64dc=9^=i0bf^HZZH;kvl4I|z#
zEjLVezxdz<alcTxU!>eGQSO%}t?$<Fx_me0enDxzd*Zt`-_5ySTCn&o&v#*bcgFp)
z%JE&G?+Sf)yhT(w$L-d>`{Ncd<-19@h$uzAi^46!$#+w@MeGXSW%6AXZV^Oo5k0Pg
zcVYN0lv_m5cV)Omw0IKl+Hi}|xkZS#h?d*s%6YuY!|me3?Ly^tk#f5{ISTK-;A`^j
z(&TGW-7ZF4zNVPlMd@oQak~)Nd`&sGi_h1z;&$1A@ioo3U249jp4+8G=xZ8pm+l6w
z+#r>!@S1L4Q_>Ae`I=6+!6!$)rW9_l$=9Uh292=rHMMYqN?+3pH%N3BuPKJFNroHr
zxxp4USaTF!6AoWf4mT)sgRA>iKIAq1@HGK(zslDn#C<6ry(iQCDEFP*M{-~3r1v!9
zdn$3i$NixDEmV9@EAH#u7w@mW<UQ5+o_g+<E8i2)-BRTycu(ZrGUaZW;cj_yw=6jk
z?`i3KI^h95?5!-WK5X<TcNlqQrovoF9Tjx7;TbzsUtEP`qjvyRn5)nWbp60UhPevu
zsGx)Fuaa;LvbXZEQGvX}9OqO`RT6Ym8}?QaY}6mm%+#J1`>Q03s5WfFPWe@1_=Q`T
z$0E$s7r)rXHrBDh8skNM(W18CsUt>I5L}dFXdEI#;A%sp?L3cULwsP9Vf=CmyR5?L
z4aqD?q`0X%_SPJmbE@9JR2zHi=b4$h@&=xnsT>CbQ)fuj8Izc)0I;`?@Ql56#xH)c
zQ#ECn*NeRs<-c0&ttP)*)%DeHRadE+LRFKga-6q%Hp{Wb!f}3eD<dm(MYQs{LPg3s
zPKmn{8g!y@+BtPrs!W-|h?1#?Dab^_)Y83hj&p!JQ)i{hlDnPZ$u3zV=Qt&It8|V_
zfV*v>bB-J0SGQufE!}oiq(t$MD4pYCUJs9k*J6c=lqX%2&Pb=!`E)Hhv0H7e^Oc*5
zlqgM%+)6|~cg;J?bXTfWj*D@e=Wa^nxRtvnO{!8y^y+--PUScqcQw^i<Ve?5(~F5o
z3nmv}fSI6}XgJ4p22D1QFx7Cwi|K|9Of{Hp$YBRl4<;Z2VB!HZ{Qz|Gj+0BzjgyM+
z#6s!B13SSu$LZMIzQ7aESUbn%7(CsUzEhEN9FBEPN5E5(ladpYmlG2g&T#=Sc!J>s
z<wV0d?#AEAhEopbI2(hf9Zo&KPCuOEV&0Pw=Qw*&rgIz$f2bCSa#>V~b6kx<)QJz3
zbB;S<5Ve8@3>MUko^zZDzo2@6K-5Ss>c=^51AnNbbDRcVRFQKWjX~5A7E}r-CFi)7
zK@^h$z%Zi*89KP|zCaWZ=eW-tCjjq@<2>-bz*IfQt;~{gImdOcFE!#EmvT*t<{am}
zHkEUZLm5o1ILDogO7XnwSn%`efOAyHK*d0kdI1Yml}|`uS~Z0VP@qoWNR>bYsu2_*
zFyd7oP^1Bs0YvHv3#corOptL^1tbZnL4Z`0PpOJJ)tgOTyRd3%a}hVd0kud2DrzD=
zfdQ4s3H66fumToPO;A8ZasoVLsU~1ZJ)LABN;Szsf>hHtr$Fj0tu@npRMbC^>S@*<
z_Te67Eq!F8qIzUhWhR<c8BrZes6`$!0!&)S2k=Z*fxIKA0_~^<&{2szmOz4yI^+VF
z#*B&pi(nZss?Y(d3%7Vtc^Cw<_@E9TgbD(S`oREdkb!no58Q!@%0Y^10OL3SH&usi
z979oa;HW0N!HH^OgQ@{d{V@g>OVluf>f@dp6=oTR;i8gY8#U?(1*kM;R1sv<7%-~J
zsjsqDRh6nQ?4m{GAwUfQgv#QBI)I(JLIBl+4yp<cs>y4!JRm29t65r=rK%Yi1F@C}
zD+vJ95wJQVQ)6K2i-_t1*0<F9sw}SBnPr>fYGSI&9ESqC;G~{VQgv{uO{{*XO0z*d
zX;53KioyZ)W=Ksy0IE_>HL+A{R@JoC>#A?(z^fhRl?T1@^KL@E-qJtNTSDP4yrsju
zq=R14=M{m#*E{mhJ91FTIq*_A%sX<>JMwu-Ht>NSlcR9q8F(!m=CN?lW8pua_kx##
z5A>iM1r7f^8V>VhIOxe>!#~f4!@L>}dNtti&%@y`?}mfk4LbbubU4h*;h>kpe|Y%k
z@o<>8!(pBdN1=y*UJr+PJRJ0R0OBz3hr_%c4thQO=ktO%=mqhu53WDdI=HRFR`m?l
zbfItSw<ErE;$Q|_;zMi>+Y^T^&B3Ml&$l@TH|JXx2baaq83%X9VYP2-Jhm{N!SY;3
zjl*`vVGHBn!uZd(JqNevTcLw1^r7<LmWK&_TYGHDXRzaSykJ`%w&cMj|MTKF*p@%Q
z=6Gyt9NZeG0dxs`yW%{q-VZ)-d5+@6ak1t33fASH%ZuaoTbiR>y(Ye074KeN0UWj}
z?)8L7vEB>5>vuM}1U;!2=Wv{P+IkF)De0OK78nr0N`*nq2^N>DNsD!=;F6Dp!3G*|
zJ6yDAJ`Aj&I#qB<1{efFOG`RAKF*WIGb1I9hDh6qWGiPpE?nT`2;q=4k~Ye2v$H0K
zG4oa=)@);t6gFoXo+)iiO|n*^B$5!)1Zi}pp>4)98*Q@E9B;_TBbj*{D$TOU#yri?
zR)$4oNSddO(B>1~oUoZ=IUCW?EW;T$!lE;@ku;<-rQK>FNfgd#w=;-|&?Zb}H#D`G
zr;8%mcr;Wy(IOW%6TPKj5p6sQi_S17w7K0p(D9%wZHhSPpeQFaN3!S)LvtJ&!U<<&
zI^Jj_5YjwLn~g+~gpgqpQZ30Ajv<Mj>Ccd?q@6^yBwJ8WP!JFh5YP@CI&|#Np+iSW
zJBx}=95`^`z!79LGn)Mb{rvnWDJdl-CG8O6BSZudL<kBB3IYNG5)yZaVJwG77!wkM
z#4v`#!-W{eT-<84Qzp7_k#nQd0a5K{hUs}^3uR$?^plz-ir!qLq>L0Lln|QZQ5xE8
zBrQ~7M5bmL&Pda!w3)XsEs1P&QkXMxVmLfP(#Raq(8w&q7(O!d43lW)8O}%=ZIp#1
zQD}~`FlIwK$)ofPjm*+^3rX}WB8kEoiI%q?q)&JggfzoZh7BK*{0TzZn4zQ0R=#i{
z!-fx;k~H!KPbkBNPl%4BS<*uC2!{|dHBXtSLo+hR&>X{{pr9b3C9x+a#Dhn;Bie$T
z=!lXgDMNPBXgobhD2`E9+LDft!t}He-q=bZ<IKFB=y>`lDfx(D3<u{7i9$3SL)#eI
zQW+0fqUhLytd*&GOUtn641LH(G&Mn@F?xD9=)fr4F(Yl`(T!M-Ng9=82m($5!k{w^
z(=tp+8;O!O(#J&y;f`qPkVd1Ak)(yGj7-T{h@RnzoDe-joX|uKA0s(JtcSFnv~XsQ
z;TYD!BwDF7j*z4@j-Wyo#%d>8G={U0^zrdY%h1RyXCsM*>Fp%ZTk3*DNi>ES#&pa`
z6TPJ*8j|Q3+Gb|$W;1D{SsIn-8Ingh!kcgm$=eI0+Y6-I3!WsJ?RJ_cdL%QGY-2bh
z(;HIll!dl3Ovj@%ByY44NXT=GA@cO3G#NP?nvqAcQ6^+o(ul?q9d(G|jyNWz;*cd8
z?PiWPX5`Ggoh{5Vv>Am(XGo@FY75DuG)&PGiS+Ry(=q+oAw<YXqCO;`Cwdx@Hqz5f
zPg5t{5lN-eX66vX9ntn<j^UY_Wq6`?vxRAC-onvDm=2*vHxa@yOi>budAb-PeT=oF
zw4{x<A25E9KS&p%5jxJwFeZ{<3(p{FXp&@*lq3pY*x(6iqpUPKM=(co6kUj=tfV0c
zfnnZg=SdWjw;v<Y8JePwk7#6;X!>)LgoJdH5hf9ZGcrxf8W|GZQd?-w$P_)1kZv~f
zCWf&kA(?qA8bZk+Cru1vq>VNfg*##rI+`Vs7{->CgnVS+=!83>PkKAWFea1}?ub4y
zoN!0<5yO}$LkxGsq}fR%hB2Wfk%&Y}!ciO15y@7LAci|4QYsGN5$=e#+DM|ebTo}h
zo6J_$#4sk7U?K#;CY05Lu@gi!AqY0%SQEx%H6}_3Nu;DSJW9(TVQ7vv5=A1>FeW6c
z;Sm!es^Jk68f$ojw$vnRHzRZmO%g~cBfK$hMd270ouRCxAt8-n$Rmb3NF^$>kux!j
zi9^C2kv5hoIwFZEiFAr#Y-vciBZe^%=O$+e58JO3n4p5L;*iG;ndMj;8WM*HawTh{
z$x`E50ul(xN~4ozmN@Bn(u!_mWlqwFqT`LtJj+x@(rBkFCxvYcVxDC>rYBC$jm|AK
z$6E?oncj5HnK`02Dr#hEOS1j2k?1YG6&c-#$XOU$5^-*5=Sd`nJ0*`HWQaJ&W}YRB
z%_LJH<j~Bd?dHU_g%MOx6vG|SJWCr&0ujTQcp~Q}N9P6yh>eXlnkbo?rHzTu$Q)@&
zNJuv$F-+}<WNkFXAwzUDoP(a}h>{_2CTXPP8Uhwld>{oA59n|}X9F6@Q6a|y23;qR
zq{Y<&FVK|&DO7+06?9!%!r2kY5N@;)h#2c&M?6YrWso7GlO_(?5rK#?F*RqTHgiuG
z;*Ka2hYVpQ=S;w#s|5VH;uH<#V5xC6g2D`u2N0=X5eDcW;u)JE3(&a<G9-v$u0w8w
zBnb&}V~)GoW^AKYdx5T_OT%10@Q$*=Tx$V_TBtMUbC{zPGsqxf$RH9;lQv@%pfGSq
z9+FFTQII_ofW*q?0$CIu22l(Ifgl4h6vH3{8A1plgfQh0A~V(jmAH`pW-rRFY27FZ
zeZdKrIh(*GU0`qXA@8<RdoOyHiLmyxx#g-XE;+0X3X+Abe_mV~@=8mWaq^f{v&D&=
z`EJp@XVZLfMxcWw+!U%J0Ctw)r=a4SMvVQUE3mv6r$8uYJouk^Rk=`_>?C0kO<AB^
zSy0*%-^jzn`&~T7+5S0KkWpA<@rri5dK>ntutfkRt(~KXmry#8#Pg9!3bh1w=rUZ+
zZ6EjS8{U1o(tjB-131pq`LKs`{c%NT0o;Mt6qDnNH&Qwy?UhDudP0ZbwDeOvh>Ckj
zAeKUr8`eP*OmZ$3;x|6*i_RqLKQwU-!(P6i4l#$@$gs)gkkbYZ-6n#tDH61};6Tjy
znJi{RUSO^!pl6;$sVskp87Rvc4+N((YO{&wwyR%-eUFV_sPu!3oE%Gtr97yDgY)ae
zy0o-Pf1*x>+-rymmth0_80;@|F2gHF?dA#De4C5h$o^b3);CGnn}bRaCJms3TILlB
zF2hPMHtfq`Ro~z&T)w7t36$31%Y*c^_jh_6XnM2#SCER9<1+9v#izR7;#=EqQ!{lm
zWgU?1wD62W%Z6``rqdzk(KKEqrrtA1t-dN#Pm}g9WIFUBLk<}&H<%b~Yf(YNDuJja
zkI_)cLkK22|H>AG3Avhf9m41o@lJE`Z|dCNmq0GN7n>0se*K$_l{m2*qOQhLx>2(A
zs|!|fwX*dIsbBJ9;$FFq2vu+q-`tUVelNjXA`+bn(FTf&1Idhj0jax?T*z@rk=7lu
z1oEKyhM#dQFC~=A&yjTeOz3jO;soGH4mEUav0+N-wlaK3v`PbremV_qO;b<P7m<;c
zVw>9M0kKVSXPy)3`?i@bAfy!!DKAfvY=}35J&&Uo1x?Vbn4}8mYR8%27U62JrQ`g>
zwTTLbON)8mmn(#ziqmWI_vK<sXd-*+5X;;M)=wu<tVrx6vkxrrsAavd3c(t^r(FQ!
zo`u13gP12MAnqMF@!gC{U&k2QE{PQl2Z8&AIN4>Y4d@{uO%l+>6syD~y2NCQ8Ka1!
zi-!VRh%!qeD(wUpkTp#WBya)q7uND49c%XiZF&(Y07McKbN}Kc%GRP=I;K2S@^6gI
z$VyqN-Wys5zHMefl{-dPExu1>Alaws%1zysyN?yG=z0II7Y+9zjTN9ll12M<LBKp<
zIMo@G7P))6J6n{5_~r>6*1dCsh~Pk+qtO#lwB$LLd9q#*HoK=rU=%y(*DsOLCQ%8$
z)R&=q1+dm>x;XXp1CkvJL0SW(;p2fLVyLdS5r&ZUeyGpIeVd9we#zi#E9Iv-T#4x0
zWHf0{wBf1@3;chpAIO$kL}e+#<_NG@cR%{6p<w+UrVQhVzlUH&Icfk8lv_aOecHzf
zZ1TO7tS4Ky`bc;tqCkpIK8TXsQ+5|x`U{)$;1Z_+5$vv~7a%Pbd?eahWN8~`*8{RA
z<I59U4>|=2^8#6&e1ST5!s|+OU-aRd*IjpSUPjNao(eSisdJZ@PDt)L1lVm%HVcMw
zef`gkFfDF>94C}G2KfVOd^d3Ek;NL~od-xE$BQIhKyWJ7K1v@XqXuUAr{dLf#svRI
z`zwjs#U`Ijg--X4moHq@P{_LLZ@^%eXp0sD=4Bc?>2QN#rye{>OX`sO`yqMfcvvRr
z{2+~QK3wSNZKcHmL*uOomGa++S4<_LTk2GpBob0O(3}~c*BXY?8lHVj738<pk;Hob
zSwzqC3RnOkwZ`A(tu4j2f3^e_^iX82(d4mpXD}l6rjj`RAl1gP4*jF6sv4@9vlJ06
z1~pC-7-ZUH?FniP|4sv~2s01R9<&_|60MJ$EoZ$18c=T#wh+&ADAM6iR3sLi7{-7*
z%PH+e0sW|(Rpt)v#Gk1|Saqfm9IuDy^h`6=>=LjslFQ1DQ&;EHnwNoHkz>1Nm&>7z
z*OH>~&ZJ9EOLEke@VH3iFs4*2W%hg;o1p9|jYl!ghb1$y^Mq{RkpU4?4n=&A!MQK5
zEi2MpZsUMs+OTP#gDcH`UkG2KdwKTcvSMFTNVyMa4K;GX{`KL#=m3<2k|G^sWUh)Z
zA>pRJotFBElx*;<&tSoXnjpjXCIQ%wR|A<;;Gkb#EbZ}CUWCDv352C?;P(SK7MmP2
zZN$pP%OXO|>`Z06D9h{@8VyV=2&b>Vd%+l0JvuE=W*5rrb_WO#+u#t^M6Xp-;ofk(
z!|Ez-;bXc&l`jjGf%V)65MC`b?G|UcQ!u8IOWtQ?k<zu)D=-FK{*!H_P#7Rq2R0Ai
zO@^xxZ&1|%+ySc~FMWz0^mZZ)ef+WaKJ6tzH|rBJfyik;*8zZJB0Mne7Txh)%4eBG
z{3mEyB6QK4(&js{eCbMiDcDkhca5X@R5wS-Y^STldfXEvEHdt{$Oh7F`<5&aF0mL4
zCXWs{v{K55sU}f3FEPaPb=5L9lBSzVmn@x>q$-yY1}$hQRy7Yjep24maO9v%6uW4n
zkLcXSN<-E8CJCr>6dFS3qR-jCzF`s^(vTD7!*N9z#Pc1RuQb3W%9yA(6%pK6Ag=0J
zd7h-6^Z(wfL(of-i3(qL+2=n!u>jF2Z);{Czur+^RPg2o;jdauJ4OHf7fffzK3nm(
zldEO$>#JL+Haj6EU$v2DyxAP=N*)+K9vLYJ{Djc;Rp*NwaIasV(dmg%)IUZoC*csP
zdWYb3JSJ5i$t#noQA-yhlt#k-pozYPks<Y;PFeaIJRlnAi##vqeH=t=wXyWG2oAKJ
zHkg);s|eVFl_Ox573ifVFMcK*WisU}B1N4?OTuV6f518a2rA3fUjq{bY3j=oBvssk
z$=mJWShRhB6}I?{G^t$xU%%^vvcZp0=msk+YWVjg+^MRV?26D3Qi%>O2=d5XOD{Bh
zdiKAJ-|0rES^#I+5-1IP@p^S=H(#~|Sq!|Ph&e8repY4-LNIV))mAuCX}$<U2#J#z
z<E7dJ_rM6C^3XCVaRmwsS}ssZ;)?JCY=J}~`DbQ$0@Z>}y^R!rDISWDqQKvQU$Mgy
zT*xqG2eBzG`$@(MA7%lvdGW^4azRSoRF4v1>PS?*8qC4|kgG2ka<Kg!ep%s0vuVcn
zI5>&~9mWe|+LaAiyy}SfOf1@l@86O{2AuF|3f3ka(9{lY$=$U1wc85PYIRfKZ<Ibk
z&CT!M1D?^M1<l08Mg{;octv$9UCdz=&V3nAvYcj}8#8Zjc;#2}S%9?ZUcc{tr9q~m
zN>s0&&lcu+Eo}6%!XysO%pv2V($T0e&K}|-3r`eIw_uq6OZv>aHMGN%;FT<B!9Ot&
z!BcUp6zFE#T7oS2B2UNv7Dlb4G|KE)*sEp3VrVK2M_3S7J~oHQuA)l2bC+QD3gHvC
z%RTvIm$&uuV-8N<1rpm98TH4b4khOqb4o9SnMIT0YNP{G%4;f~NRoUmtPN2lkD+(F
zulv(9=m#aGnC2EKA(yqPV5aGSZ?<74c<a#!^LF9_8$*P1PWSpSd**uT34`s_%1M~8
zR>Km2--ElT8*X(aavr2M&kTKdc`I&y;f|pp%i=2a5i&Kn*lpPs=5_f_nvE;_7~5t&
znAJ9FYyiqF>40!FGf~aKLinE-c&}cEIx_=`VfUecRLR}5#98?~@@!aq)WU+yhdQOj
zq#L!}JP+s2fwHE1{4lRxSG{D#e&zPiw@s?pLN7?atGU3({<;`+A=!k)Jj~y+o#Y63
z0qcI3oab{m2g6qzF{Eu3b8!9HY9B<@JGho-JOaZ4y6AhHZWt?uqlQ20lPAPu0X!9A
z%v_lPA2Gqbumu4#aeo@`gd!)2;Dj0h5-l{rcY}w;LC|+qy-$&fx;6&7FeY)iA)J=2
z@z|hPVh}dGJ0_~GKPCi^07B7H_z{2PBO<~r`X^8icrSlBC7*5FA~_o){ytmfy7dBQ
zhZ&rXQ>Rf;PvYm%Ri>NQPpO=UfxpgPx!%#}sq0k2YQlxwX;)k1iS5-yfTx6CL*JEb
zz}KJjL12^t27F_1m8>nkEQbIws7&|RVVWPDSst$d%+_|z#ZeY~AZagRGk4W6hkE{F
zKDz;N1|ZqP12HufQN&?uKM!nLbZviD8Tb>q*9I?oS`rH8?`qHftYsX9S}1l2H#ib{
zN3L^2Y7q3@z>7}6g(<LwS9CHi^vAJp9Ltg-hMlP~$J!-Il~(+wLbhlcK>|eGRV}1o
zQMG(cq!a;a5Z$*Cuu(*xA|7OftEQyDyv4ip6)V?)1$hh<^}y#y856N1)}KY1Z)2wn
zLFPO*2Q$to>xL=wfv76(p&2;xPi-CYAta7W1X3{vG=KxXcP=lWbpR;B(TT~BR=gp<
zLnlzF#MMG@H?KS%;|!}}+-DdJ9(asjM&OUEsuBPj^=wMnIe-D-#8SL#Kk;f?UhFyG
zW*;%ec7J&BLvG%|@UYIpR<qDc{uj9+L(3PvRROEaYY_&RbpeYVI{II?NP7nX$&B;n
z+fh`#zDz@@0iuM`+i*r+oOiwnqYIzBI5)o)?oQo&(^m!4@`X9dADzdRg`3q54S;JJ
zwwh10?R+uqphNvm_MfP*T-$jj;zH412HkBorXF<XWLvuE)BhM36wxHU^^WYOPLT^h
zCs1>B3q5}sO4?L>zGQq>FExGPe`u2xFJc{>|7>*W=G9W{SGT+L)cZT%`kM<ZqdB+I
zcz3aSpodWG&$z{do<M)l#ruk%|Dx%_pBAfg4lStkjI};P=x#Gbnx2k|`rzLOK?jt!
zv7+Qfou9oIiECEvq))~%KK{?O6B^UHi;EcWokTLJ7_N|*FjC5EJ*A}AHnX9D>9>BX
Rhs<?3p!m8uoh|5$8oK}CdENj3

diff --git a/tests/data/example_hugr.hugr b/tests/data/example_hugr.hugr
new file mode 100644
index 0000000000000000000000000000000000000000..89b6bb7be2475072c8fd4e48eea534c68614c2d6
GIT binary patch
literal 7283
zcmV-(9E{^gRYy{3NJ@4BK`6B^{b1jw{o(*h8&Nr6a8y-I2gXX74w$Q(cjx}Ig4va@
zqj~ueCO8athG>sL+s)V_KJxo%@}oi-*_PYiME3ZN)?{0SIyW2?b-t`^q3Kv#w8^6T
zs<lC8qG6)Dt)`EnQa6EW=vn@Di?o(xZv%P*hXa*_B=XIr6p?0lv_~z9fmaezh`msg
za1nSVA<Z2Bu=Xg+A8O~%hZSOx7wQ*yB_UyOB=@&>ypoXQ&YzaeLf;t&S%6m(QhuRu
zs9gzo;gy8+!9RDW(V}97a3j@O+^49z(@?QSbEJlhR1rq1dmTBANt%;~pR<Rb)PJM?
zlhSvmHzuES<R>lp5-s_SmWb4!6vS^7#Fr=tQisAP74egf_>GSENl{KxewL`oM2CV;
z%JP${exs_N)Frjz=SEosVD*#Ae2L2ZMrGcey69YdQktK%<~LgNC0g_DG)9NQH(Ik%
zo1YZt-6@T(gl`n*r_N8>^X@dKE8&y&Z1lc6WuX&&qdmV-{3UvSQvB}pMu+lAzxQH4
zDbQ~e=qDXzv!8V6H#+o_?s#{4fX?I_-7zVT-zblFrw!;}KIsI0ZnOdtsK8I!!bUGZ
zffjyJ7k;BI{G=PmzzaX=2fhO^{G>7bMq~I%We5QYe$p9!qci-ZG?bu*pBwG*?i2-G
zici{tpBwe@?vw?c3*V@ZpY+E@ZE!)y!YBRlliu(fz2PUtK?XVeq&mDir9mg<q&xhi
zKz^e@e$pMhJH<g~@=1C4NqhK>_V82lcc(p|KR0b;mi*M}Zy<hZBEB@@r-t$;DL*yS
zn_zhr)lbdkQ!73Ni=W!+Rgifb7c@UNt>)de7@Z5>w3?q9&ZgPO=vesFaDHk!ziB!@
zwVs^&bJOsRF2$$z{nTQ=X|bOg5IFuUX|s3Nc87vbZRn@A<4f9(-?Sa?t{tFr@u@lB
zr^e$qjmMWX9`CL-phMxC#-pT7;HOrBch@A)p?qo=_^Gw<o7Tcl&4qW@FwmKNY8&{u
zX)nCHrhzWSH|>Q@`@l~PhIiLI(3SA1#qd*;;X^=zpV|yRH5z_uHH=^e8s1$iLFeOB
zqoD>9)X?MIH57C?KD8dD7QDNrg0AzawZI1peAw{rnhUxapPCIN?Z<E04;XYWd}=rR
z)NuHz<?vI}K?XTY4amD|Gw7t;G#q}@;itBP$fpM6Z2;tNu!El(5AUw&pp$ZHJ-BN<
z=%kz>^k>M(&yW)L5Rp#GEo9`k`ZEN?yK6k?q%3JX{N_JH=(}q+=%l3XDxHg}D2N0I
zijo?PsH7bEwDAup@F!>$xe&cD8hOA~0WyV`Mm>7?2r=?8`Z2;G#0ZCx4kI8YCQX?l
zNTtbgGF2}ni@Thp(v+Dinh=v_+Th%m(&VN2#pdj#RPk-@m=ky@PxzcIyp$z)X>MS`
z@KUCDY05CeOKHMOvxeDY`Y@R`%o}D7zRev@CXko1gwNT-OX(hB_CQDKMn$}ooR=ud
zQ<j$!#Y@!1gsxakTJus`FHsy4)MnD2m-2lB!9!47qOlSkL*QZJLI{mvgw~+>B$eoo
zm-2&~&>J?I!%I2hCAz~#ckoh%IH{zKyp)<tIY+#d)TI>pByF1NrJTN^t$0o5r5t%l
zt9dC!9-`sAlp>OgM7G;f;3{_=E|jC<*foaFz^F1Y73M`<xu`3&V8MY<WxB?GstWF;
z8_w#fJUaEoR|KG<prWq0$zA+}N<HByyhT-0Ow<xyBclo+MopbiNwAd!2^HlcxQG#|
z2qNmqO<1WQTm%4W2&D=FsgfX}jyS0!h)_iUpoR#cf+$tZ>8#aBCiR1ox{*|ODRWSj
z<U<wFs)$Po0dK&LY9d8tIZ;b!m5!?YDjKOE%vyp<O)*strG5yhG$~ZCc@})dpSa6U
zU-3gEDW~YwJ;s}GncrOIOD^-%X&yzA^5iss+I;mbl9aRLHNSby<LLZ}<9x|+esi41
zAxUYX<T_6S|K|8l{C>&r$He}`zdv#OCC48_k}`$k_uS@ByymCdJPDGN(|cY8xB1P)
zt9y+%;Wody%}>Yq={heWxwG&muJbT((@$sl>8ckw^%OQzW-S_kbvO1HYF}AQyMjbO
zqqSBy`JhUPBH2nd|3LDgj*PfS2m)MWX!DVaNF2zWB&CQXL9JV?4UQrXQ5zgZA`VZm
z!h-$eQhI)J6IyP9n^bm8l#t>jTuL0bjzYsxoWuy*yDUsX{@hpyE~ShEAcU8^i$ft$
z>lO-JL2BKS7>6)$IEok7h*l6I2WA1Xkg>*(>&h|?c(H@Bu?GIRHEsc~B&3`bq>xL4
zA>hge6&rW<I|89L{@K$(a4A{%3J1YWT*?4=)%*jO5(Oujd{9e7s+2BHOX}uQqVNsn
zCnxz(r8L1uT*?#|DdE;bTuKtYzt#vuLZYxYf;f}~38mcL6@XU~(ulirBF_0qh;u$d
z^ARWYslSV+zmHtX5ozQjQFS>YfiA=Cy1_po&H)c&%xVUTqs}_?apjqKt%vt0i)oh?
zKfABbws-_D4!as*a4T+Th_l%>Ko|B{9`<ov7iUi@`@-e$KCpGa@Y>+)3wLLm(*c5G
zzB4@R<x#(Y<uBYFXJ0tk=5*xGiZ){$AI!eA#rtm2VxMhqZt%Xl8_LO%<Kpm!0HF@`
zwJ&X9c*fRw>)c{rI4tyu8HckkoY>`S_0FF)#YWNYFOT-B*v$%IV+?!k4l$0bVOaR*
z#%B8i?+7FVgn=+;PeZOezE~j+(jaF~SOo9OzHqbf=C9Sm*;5Y;2Me$F*%L<q9{a*^
z_QcI__J!Ls4~OHv8TN^sJq_uwFPuyKVw^p3DADSmZ8OF}8@FuCjFkni>w{?-UcOfh
zu}pLJG&D5C!Em4J17$g6IQzo2ygcd_XHPvm_JtE;H@q_0Y+F$4mc=8`m1&z-oPCjf
zp-aRbr^CK*I_!%*>EL;Q1FDomoC=hx#gsz1w4hQrSVZvV5byl4s92F8q24#dE69vt
z3|K(z8RAkX60Q%X!TjY<C7W$jYF`b$P_A#|n9u&gtGZ!$QDWBLc3}|IE>*rD7O#(t
z1>TkhVX6>+ug}x56ygoa`rCKw)VT8<flz?o9#yCo?d2PyTw-{OGZAPelZ`MDhvOb!
zu(5?bdm7?Ws1{U;voBoMpBQ2soIP<MXJ3Rk9J`s*!4pKx`ZEzT-Z?PKb1aSuNI>OS
zBgx9&jj>o<5FESNWagv4AO+3pY^*^(idFOzN-F3Xtl2>WR0Ft=gCK61l-Q^(ya4WU
z50B&ywG4xJ2ifrxD3yf*)B@~O7JMhC=C}<T6~%ql4yB4zn-eOEqqvJy8lPdRB6R>X
zbpTE?Q)m2y6Kaf?_zP1#@e?n>eXA}?s>x06BDF;dbp-cWQ$VRN?z4t)lc}0i)#NHu
zO}Wo{f}7lDHMxld!dKknBJ~8R1ov4>TuKy_ib6VZpSAi3(utq=2<}@I!CksY{SY+-
zhzg?C_i9p2yriT`>9dCTNJt&=5L&5^JbyQ4BBhf`(<BnWED@S@iXb5eA{P`=jz}O7
zxrkW2lr+90TCIp^L^dKF(G`6npcO<8P(jo}3lR({(6EVmh<u2Cd?4Ck#mGxWAVwof
zqm<H!W#qDrSiF=e_|9ncQjSR5h{ncCBc0JzF&a^fc%&G)(BhL+8pU8Tl3|W$co{uI
zLn@hUoUyZ(_3++b4BOVYMVoi1WwKGsBWF)Hs+JonwgroIt=N;PwPIVa*t=p+t`(IV
z7RzS)T5)GA;!uV|d+Kqm@SJ*DD?F#3yTW6|8H>u}>sq_I-wv;AbcLVG&cMLH1Zf(a
zJ*iRzupx%QZcK|RHPf?dS*buB+SGtL+*!k@QY`P{utoK;W-XR%{Lvbu*%-#cqLzuD
zw^G5}sCrTu#Nc&>qo-q>J&B);JifS9OuRuUSoF4fgLh{f`$8<sfmJX}Z!3B$?~1N3
zUm7m#<H{rJ%ioJ7>ukl(zCMeyo?*osi!zD%e%=jj{wxg*`_fj#pzPb=7_+!#J#f@P
zDwf4=*BEXwYnT^!eONIazF@>0j@!P#>tkQqsw~SmqR@iE_p!WEsCe0Y@k?8qFN>A3
z9^Q8ZFAkjbCyF?f<-m3(i_JuPEe`eWSgsG$t=LT5+1c6A(b3V#v0=kTjtv_&K2X12
zx<-u}HEQg@Jeb$*bX_MTBs81Na@^#&ImL((V`pb)M@L5ohO?)h9xjKoCl!x9^>90!
zJ*9YHID3K_V=?XGU|>|VVq>;j`-s+Mw@<e-4#N><<Czo+#f=*_U!QG75rcMT8W$Me
z`LiC*uusgR-Cv8P1x2RGG^$gI$6{E%p@rqo!hj*l@D}ZjyFu*Tu(Ou^aov^;wRPo-
z!&}|BvbG)u!RxZPW%G5}lPJ^JXKM?~pEz0^>KATV4~O3fgl{Y=2xog|X53)h1>qT9
zcwOQb12Z$@25$`Fn3bKGabv@a^9Ne&QzHl7S-UtDss)7QYxA``J3Bi)Jwu$$sfUNh
zzHnlY4sVDvo^fdqT-nUR8rSuSGas4VdWJ=bUykeLQHNLG2npSA_LNHPjAJ7#yf$mw
zvZ1|JyjI+<75>8TzQD0>=W&1brR|UFhFb-PFl=m6sDRlV4~y4_#>pmQ*oSS4)B)^{
z-gbX>V-bf~#5XW1><gD$Fzo(Z4BG9&8+$g?)}*qbwkfMpgMTiTak9ap2CbK`y*6fN
z;3srt%!IBCml>F~6><JvuWPN|7K1I>%A#=i1zDL6V|3`b>?x+h*R|foH#ax?v#|Vm
z7l(F_+Gl@3)?N#PLma~3>?vhmI2#_$;ka>Vad@rh<=7}@@a7Nph1z1D8Wv@*#rwKG
zP&UTM#u!<Jv#8U!avD<%8DmV1$ka4R2g4G8Fo0AV5e-PoWa|MFz=F#p5?LG)hXO$q
z#DWmUP!NM46oMcKA%r*v6=TlI4r8}7>*6Mf8cGajMI+1N?@f^g30+;jbrN$7aoXkE
zDoxFhEK&$zuP8@`un&VGvDb&-{b_^&tXVw0W;sUh_83Ykt$Aa?rskrq526>D13<SF
zc66unhMvM)yRGM$WFyM_s(24*Prm$uo0g33ZfA5JXw`m-DmO;$YvaTIvm1LjpZMq-
z`w!0wdd3m8(MV4Yd?i~8cQx}O3(uZ-&oa?P8nqkC0?qC7wQ{oD&NS~N?8V|lCE%S3
z1!6k~Y(EE)pix<bV*4bO5u2fU0W$tXsC7PlmQU=*5jxPHIrpm8NwRGD_2<0(*#=rj
zUkhB5w=G;?Kvq_Hxgk1Yiv#1aRNzLbk6MdF6GJT`(nz3f;5@S|h3bEN*WKbOz6<FM
zC{%KVmKB_`c#wj~jxIi8{&&Aob=Wg`BC8QGQU=>d^$H=&G>1II4|>88;&O5n@2CbZ
zuPiMpQ_d7-02|zh<I$uy+2^Ar(YMaUyC4LjCu=QN5L5OG)#o~lOq%j%&t4#df1$OD
zsTvZKP#5O#RCO#?wIFlW(7{+z2w6WV)r7+oRVu#EFiwsAev&@eNZ?E~B%1mavQOO@
zD>${8({4e9aAENcSySA*Ik!`90e?i(op5H(gY?Z}HJQW?(=k&JuD}Yk<qc#8t^{Ku
z#-OziFTkF+pTi?@S$~%&Z`jjSzng-v^s?1WQ9SlkJ3+frqMf~mohITxfUq9#KeJC)
z!<)amB$AxaW99+c-z$LLqMBU+le7r-jJT6o1JQZy<_&@U+LMgP+G_-4xbHf}&knMo
zk<CV&Y^t93V7U~k4HrEkVB<9u4RS6n9VkBGr`#@<zUfbx{^QkQ^6WMB<Qd}<Bmt{t
z$#E_3Im-2lrALLw)!J*m%SdS^5f`9kOjJ71l#b&tQaO|)Ho1B(=#FVVGwrO|1>1@X
zd_39JN{)koDPN$NVO*Zmd864BbsMQyHQ=#fE-Lf9#gnfIui26`97s=hgS1?8|An7g
z>osVHON9e{{rijNvMg2AZZ@4RekgL$d0;E6-;%tL1Ac_54k+Q-yh6b>tk@#M5l6}f
z>M13DN}FH^7c`8gr%|<oKR|QL_B-MgEnT5r@90(6o%&XrdGf8ZO<4~*rGn)#LfJSx
zRHtJtZ@2x-+S(C=WPEYAelTf!$}Jx+QnA`&4!sy)vo%A*h(P(0BX6iO2?6HwPg+4x
zkgMs|A#Cvxvz&_o))`x`N-i6ZO}jgMa3%u_PN|%zrdW#1C6inioaJg+>l5&PNfwKH
z(JCTIaS=D)k@bBKBwVsaI#t;~ZGIp$=<iS6h~+{uFGU)4$&#i(%cP$HNM1V4E;!}N
zf;Yobwo?e;Nmdv_HL)d*xM-#KaH2{h@v3whAwH&_#x5d5cCn2D&x2j2R2<KVXc^ng
zDi9)>%~;d9!xlo!V2^q9)zCz*iuF?Bd>3ac7h%(UzhoD;f)mJPC1itpB;4fh$K-Qp
z82uDt%^SI5<5=#TklUo_flXt3jJXpMteu{|2R>U|1`om<P(S$~dxGA$V(s^xKt8{X
zq7usl>q6gcHnp)ukm@msN00nX&zCsemfhs=6!Fk`sIG;m_e9j=B)q6%2w8;^T_h!6
zxZ#oJwT%fPy?F)DLt-f8J6@u)SGI&r!hrB^^C#Gr)~cuCWst2k5}}+g+Vgl-3N5e~
z0$1HrRvzoD_(#m~Wj$<gr)d=mny@*H)g#o*vBIegx3q|R<+|HclKJANQ{k}Ro$SYB
zlcPQ>O$6Co2=Mv(*q<lG1@Y&ex}8ya>2m};`N*6CYA6_%AtGxP=se1aE_Mzz+PL}8
z5U+o-QAcfrqszJ{_~4NJ?W@8LH^NtIl%~&d9%24O*=N5{M_#L%7^nb9tJcvL{rf-g
z7>Kyi8Tf?pd^ti}Qv6mZbdw|aJOGOy<fjX$htPa_*EuT;hM;j20}%yNe6nLG|K7rO
zLv=4i-JQ~dV<3WF2&lsY3oU@zb3&$`AX?Uv6xMhBz5rnqF&I0nl2r%417`daeh_24
zK=zY=TWA5B(qu25=9V1Bd9#$^B<#~vE^>xZ<lC`ng&Cej1gaFlA|j&DefxOCGk3o!
z#Cikd2c;ZIw0LkTay%jx<okkZ>=2`JWQX0X*h!J5NXuf~ExG)yxWzUVYFKn&-<OC5
z=>MHuVJ9Kn$SBl!N7AD60iryRY$XId2w41uXL193PD2hoe9K4hTD}osOhu1d$TjZ-
zYtl}T8Az?L2t{iw;chg#E@V^70^b!^B3_{Z@_PM?&_)cV+1_|?Mn6y>*WF_47=rYz
z2=$<o<|P><n<%^FZ%xxSF)quKDDtukX(<|QlOsbVa+-N5^e6ju({Tb~fyo;?=I;JC
z@j=%SYKW4vteh53jib#$Mk=)DyR6lr{{NkZ$fVau3(WA1de}IcDq9cNt!BN_5p1vs
z<HqwNHf$H7gQ8e1$v}+lP?3{~rP&L9{fI&<xUJ{Qed?O1&rG8e#2ihF7n8l+4c|}X
zVrkz3K<CWN%kx7W04<bVutpm~lVWIR0x_*6QK(p_7l8-Uo-!?C{%Ii6rQNYC0w~$D
z`Eec?gC-adgJUk+J#Y?Sp4|31TP{4nkqFrI=iusKbUzfnxjQqvNup>aAcxEb8Xp^W
z!$Rb+c1xDjep29aQVg382M-BW{Q-q+VvqBeX0jz1<lP1Un~Y_ytN_k0Z+>>^trlSy
zn1C+oTzY>1S+Q{eX){z7Th<8CCPa4cqBP_$@C3{(3g`LX@gc&t3+#&Z*@-I<{?_2Y
zwh^x}(qw^fBx`lBTllgl6z#KW4AkD<)@)!EVfwd7pPVt(Y2Kb>-%%&^%9KHm9C9V0
z3Io14_#@vc*;n^&aO=VDK++V)Q0PGn0gl3gKafkTz~Vr4<T!Hny~Ll};|tIN#BrCu
zoF1C|EFyt2Y&6kAIeMzzv=pESg<$aDiUI9#5Oo-VqJnD2?dsuBtRbK|9Wao=c#i}G
z{wT)9qz*Cvw=MAn5;Wh&nEk6vDq%QI7ATinh<#f$hujAf5?(AnAmqW@0j%8sr84;f
zMx7i+-%=ZZxSp=8vSDqyLAvD8<gTikDh%?brI*vZTaLu0@{mSNRyJeFXaN+5=SzXX
z2;Y7yCFWai6jP{k-RGXK&^dx1r5!z_Wat<~??@xRD7WXTI<-E73i*Qb3A|c;<ug6%
zz5LT1ylVC&R?w`P{hpa23y3bd+8RvAtlYJ5gU42vQDR_zKMm?DW;bR(FCGsAIwQaS
zj)fdE8)Ei4Ak9QQsijL!yPdg=oPr<nxW4TE;1lTt!z88K4j84Csh%@?G1l!UdL>Ua
zB2#`^8l@NBpodZLr!6k~PkD{UmUk7<kTM2!9|4-C$7Rbq%0LrgV`vFi(Y!^*Pssxc
zl%z>Nh5<unQbxGILlLQTc@##BLiPhR;iIN37oiOdh^1+iB`DR}!BliVI4a)<Zf1+m
zK#^L8e1xAq1P*?G9Y|5kivmBdtU}e^v%^6~NR@+di7E)XTKWk4=_+~|G17IbFaU>(
z6401%@mhMck9W2wR<9+E!6~(8%p#a(i(xZWH!l0cN+XW-Q-X~})?^fD)-g9D;dxpY
zXD57g4@p+y)f8;Dru7^DnBdnrcZLx4I}SKnY^9KR8<h%@Ah=4_d@LRhEfAqzI51J9
z6uUPs)symSsDC39Tq~FUgjW{ZMCdHe#MUIM3f1f;2@X0%S&*?vj~?f3W5?z%*s?YO
zJ_j-Zbgn4SLmJ3K*i#I{{^h|Ah>^&UyW=|nfQ<ca4?<a-M)MjSc)mAtF&Tu>F(1Tk
zYtC(ku*(~<Yg2z?VL5-%^lCP(+EvduQuy|*<2?K1e|MW@Gg?Y?wIP+V)!0<?R7+uC
zCFJ93PhTs!689!>@poC9!l;}@4To7L`<FLXXC_iX);^1_>OnXnOd@^te@xzd_T;~|
zJBEp@Gw&7S&S{ako4Ia_y+fInPV*|((ruaCv38P_0mHPo&Y!VRyU29pc8|rBTGDB@
z=r%3#(0*geXtm9~mqRjL35CSk^j6aZ@8z+>5YYAkYJRPftt52V=M*B=MfGQ+fKMeQ
z8SgSZ(iJ$oIFQKDCvak#c^U0L$bWjvm+u84%L*K(Wz8QV;MO5?S^gV)&IhG9wdH~P
zl!z9uUY7IZ;fu1@x@EEn;z<~$TA4mgrRTNsMCto)OiZ>D$&jy2rTbGLn9n7~+O>fL
z`HwvYUVCbjz8aXRc%?>G$<bG`qmVR3eu*1+f@6k=%5qO%036Hp|GDLRJlZ(9Pt}*W
z(z`B`wvUir#R1Snl{8^+OK4lwIRO%F@#9CfLRI;!agR8uK_SX8@n{4d!VG^K(o^LB
zF^DT#yjZ)a?L6m??1$RQDM|3<*x2jhvzl3aBAxx8g>gv9D{N#JH3b4v;S5{T*zd;*
zVrC=q3=`vUi0~^SM_rUdo_}VF68pk@Oz@+y*G)vBUR4OLJJ;dtRoc^H0*?0jym`xg
zDqMu%vJPy0GKG!Hgi-&$3-WAvY!JUON$(u?mlAv!-A%EJPbpq&QZAON5O&{5d{82O
zLc)o>{{9qNIBr@;#QeV8-<XQ=<;w5=m9^LmMe1+3KJ+!OPj!?z(${jGmi28VR+vkL
Ntd@zJ04{nuOgFp54uJpw

literal 0
HcmV?d00001

diff --git a/tests/data/example_hugr.py b/tests/data/example_hugr.py
new file mode 100644
index 00000000..83fd6eb0
--- /dev/null
+++ b/tests/data/example_hugr.py
@@ -0,0 +1,38 @@
+"""Simple guppylang program from https://docs.quantinuum.com/guppy"""
+
+from pathlib import Path
+from sys import argv
+
+from guppylang import guppy
+from guppylang.std.builtins import result
+from guppylang.std.quantum import cx, h, measure, qubit, x, z
+
+
+@guppy
+def bell() -> tuple[qubit, qubit]:
+    """Constructs a bell state."""
+    q1, q2 = qubit(), qubit()
+    h(q1)
+    cx(q1, q2)
+    return q1, q2
+
+
+@guppy
+def main() -> None:
+    src = qubit()
+    x(src)
+    alice, bob = bell()
+
+    cx(src, alice)
+    h(src)
+    if measure(alice):
+        x(bob)
+    if measure(src):
+        z(bob)
+
+    result("teleported", measure(bob))
+
+
+main.check()
+program = main.compile_function()
+Path(argv[0]).with_suffix(".hugr").write_bytes(program.to_bytes())
diff --git a/tests/data/justfile b/tests/data/justfile
new file mode 100644
index 00000000..82e00e1d
--- /dev/null
+++ b/tests/data/justfile
@@ -0,0 +1,14 @@
+# List the available commands
+help:
+    @just --list --justfile {{justfile()}}
+
+# Re-generate all test hugr files.
+recompile: recompile-hugrs
+
+# Re-generate all hugr files.
+recompile-hugrs:
+    #!/usr/bin/env sh
+    for example in $(find . -type f -name "*.py"); do
+        echo "Re-generating $example"
+        uv run --no-project "$example"
+    done
\ No newline at end of file

From a947ba37bc46ea59d37d875dc7fb6ce4a840b7b3 Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Mon, 19 Jan 2026 13:41:22 +0000
Subject: [PATCH 2/6] chore: add README

---
 tests/data/README.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 tests/data/README.md

diff --git a/tests/data/README.md b/tests/data/README.md
new file mode 100644
index 00000000..0f5e07fc
--- /dev/null
+++ b/tests/data/README.md
@@ -0,0 +1,8 @@
+# Test programs
+
+This directory contains simple quantum programs used for testing.
+
+The compiled HUGR is stored (alongside the guppy python program) with a `.hugr` extension.
+
+Run `just recompile` in this directory (or `just recompile-test-hugrs` on
+the root) to recompile the `.hugr` files.

From 6c79a36fc515e61c8c69c58fd49804cbe5c2bbc4 Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Tue, 20 Jan 2026 16:20:36 +0000
Subject: [PATCH 3/6] chore: clean up post review

---
 integration/conftest.py                             |   2 +-
 tests/data/README.md                                |   2 +-
 tests/data/{example_hugr.py => example_bell.gpy.py} |   2 +-
 tests/data/{example_hugr.hugr => example_bell.hugr} | Bin
 tests/data/justfile                                 |   6 +++---
 5 files changed, 6 insertions(+), 6 deletions(-)
 rename tests/data/{example_hugr.py => example_bell.gpy.py} (89%)
 rename tests/data/{example_hugr.hugr => example_bell.hugr} (100%)

diff --git a/integration/conftest.py b/integration/conftest.py
index e1d44da0..6fdf70f7 100644
--- a/integration/conftest.py
+++ b/integration/conftest.py
@@ -463,7 +463,7 @@ def test_ref_serialisation(
 
 @pytest.fixture(name="qa_hugr_package")
 def qa_hugr_package_fixture() -> Package:
-    hugr_path = Path("tests/data/example_hugr.hugr").resolve()
+    hugr_path = Path("tests/data/example_bell.hugr").resolve()
     return Package.from_bytes(hugr_path.read_bytes())
 
 
diff --git a/tests/data/README.md b/tests/data/README.md
index 0f5e07fc..f86205ac 100644
--- a/tests/data/README.md
+++ b/tests/data/README.md
@@ -4,5 +4,5 @@ This directory contains simple quantum programs used for testing.
 
 The compiled HUGR is stored (alongside the guppy python program) with a `.hugr` extension.
 
-Run `just recompile` in this directory (or `just recompile-test-hugrs` on
+Run `just recompile` in this directory (or `just recompile-hugrs` on
 the root) to recompile the `.hugr` files.
diff --git a/tests/data/example_hugr.py b/tests/data/example_bell.gpy.py
similarity index 89%
rename from tests/data/example_hugr.py
rename to tests/data/example_bell.gpy.py
index 83fd6eb0..a1bec27e 100644
--- a/tests/data/example_hugr.py
+++ b/tests/data/example_bell.gpy.py
@@ -35,4 +35,4 @@ def main() -> None:
 
 main.check()
 program = main.compile_function()
-Path(argv[0]).with_suffix(".hugr").write_bytes(program.to_bytes())
+Path(argv[0]).with_suffix("").with_suffix(".hugr").write_bytes(program.to_bytes())
diff --git a/tests/data/example_hugr.hugr b/tests/data/example_bell.hugr
similarity index 100%
rename from tests/data/example_hugr.hugr
rename to tests/data/example_bell.hugr
diff --git a/tests/data/justfile b/tests/data/justfile
index 82e00e1d..59438129 100644
--- a/tests/data/justfile
+++ b/tests/data/justfile
@@ -3,12 +3,12 @@ help:
     @just --list --justfile {{justfile()}}
 
 # Re-generate all test hugr files.
-recompile: recompile-hugrs
+recompile: recompile-test-files
 
 # Re-generate all hugr files.
-recompile-hugrs:
+recompile-test-files:
     #!/usr/bin/env sh
-    for example in $(find . -type f -name "*.py"); do
+    for example in $(find . -type f -name "*.gpy.py"); do
         echo "Re-generating $example"
         uv run --no-project "$example"
     done
\ No newline at end of file

From a5d877d721df6afe87125a6d65fb7bbf9f9ce99e Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Tue, 20 Jan 2026 16:30:04 +0000
Subject: [PATCH 4/6] chore: fix unit tests

---
 pytest.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pytest.ini b/pytest.ini
index 6b6d4eb4..7f92fc30 100644
--- a/pytest.ini
+++ b/pytest.ini
@@ -1,4 +1,5 @@
 [pytest]
 addopts = --strict-markers -n 2 --reruns 3 --cov=qnexus --cov-report= --cov-append --doctest-modules
+norecursedirs = tests/data
 markers =
     create: marks tests as those that have side effects involving resource creation (deselect with '-m "not create"')

From a631ea353a5db3307ff177bc4001b79289403794 Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Tue, 20 Jan 2026 17:40:39 +0000
Subject: [PATCH 5/6] chore: add comment

---
 tests/data/example_bell.gpy.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/data/example_bell.gpy.py b/tests/data/example_bell.gpy.py
index a1bec27e..e0ef2d36 100644
--- a/tests/data/example_bell.gpy.py
+++ b/tests/data/example_bell.gpy.py
@@ -35,4 +35,5 @@ def main() -> None:
 
 main.check()
 program = main.compile_function()
+# remove the .gpy suffix and add .hugr
 Path(argv[0]).with_suffix("").with_suffix(".hugr").write_bytes(program.to_bytes())

From 6ea6a7ae40d5f8b97fae0e38619efa90279e011b Mon Sep 17 00:00:00 2001
From: vanyae-cqc <vanya.eccles@quantinuum.com>
Date: Wed, 21 Jan 2026 14:06:28 +0000
Subject: [PATCH 6/6] chore: fix readme

---
 tests/data/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/data/README.md b/tests/data/README.md
index f86205ac..75b1a004 100644
--- a/tests/data/README.md
+++ b/tests/data/README.md
@@ -4,5 +4,5 @@ This directory contains simple quantum programs used for testing.
 
 The compiled HUGR is stored (alongside the guppy python program) with a `.hugr` extension.
 
-Run `just recompile` in this directory (or `just recompile-hugrs` on
+Run `just recompile` in this directory (or `just recompile-test-files` on
 the root) to recompile the `.hugr` files.