Unknown strategies and their requirements

No closure under silent quantum deletion is included. Arbitrary input rays are admissible configurations, whether or not a restricted gate language can prepare them exactly.