# The EXACT solver-module set the signed gpu-proof receipt attests (plan D12).
# One "plant N" per line. Arms carry the full paper horizon ladder; go2 is
# N16-ONLY (floating-base TUs at longer horizons are compile blowups — never
# put go2 through the generic PLANT x KNOTS cross-product).
#
#   cmake -S . -B build -DGATO_RECEIPT_PROFILE=ON   (or ./tools/build.sh --profile receipt)
#   test/run_gpu_proof.sh refuses to sign when any of these is missing from
#   python/gato/ — a missing module turns its tests into skips, which prove nothing.
#
# Module VARIANTS (third column; omitted = default): fc = contact-force
# controls, eh = exact Hessian. They are separate ABIs with their own module
# names (bsqpN16_indy7_fc.so) and live side by side in python/gato/ — the
# receipt attests them too, so their gates never skip on the attested run.
indy7 8
indy7 16
indy7 32
indy7 46
indy7 64
indy7 128
iiwa14 8
iiwa14 16
iiwa14 32
iiwa14 46
iiwa14 64
iiwa14 128
go2 16
go2 16 fc
indy7 16 fc
iiwa14 16 fc
indy7 16 eh
iiwa14 16 eh
