Unknown strategies and their requirements

Each comparison has an explicit typed experiment. The requirements do not assume probability covariance under arbitrary computational-basis permutations; the needed symmetry is derived below.