Mirror and crab canons on the Requiem plainchant: pre-registered null test, Z3 counterpoint solver, MIDI/MusicXML/WAV renders - DuncanBentley/speculum-mortis ...