Drop a performance against its score. A transformer compares them and returns a multi-track midi marking what's extra, missing, and correct.