The concrete specification used here

The three tested tasks will be:

1. return the named local-system label and the qubit multiplicity;

2. return the multiplicity subsystem uniformly over $K$ and $Q$;

3. recover the named logical effect $P_{+}=(I+X)/2$ when only one coefficient leg is accessible.