I think you've made an excellent argument that:
a) the sounds that make up the music are not procedurally generated
b) the music selection is procedural, made up of a number of music fragments put together.
In particular, key words: dynamic and artificial life strongly suggest that procedural algorithms are at play.
I also think this long form style comment deserves to be an article: we should really have a section of is 'x' procedural articles, because these are thought provoking and good examples of stuff you may not have initially thought was procedural.