Neat. Just a random thought about the random notes is that picking notes from chords over some chord progression might result in more interesting random music. You'd probably need some sort of ROM lookup table to accomplish this in the original design. You can still randomize which specific notes are being played out of the chord (or the scale implied by the chord?)
Having recently read gradus for the first time, I'm excited to hear that strict counterpoint has been implemented in this way.
"The development of the procedural music system was undertaken by Kent Jolly and Aaron McLeran with Brian Eno acting as consultant...
A melody generator is included that is based on Markov models. A further routine implements a simplified counterpoint based on Johann Joseph Fux’s treatise Gradus ad Parnassum."
