The first large body of secular songs that survives indecipherable notation was composed during the 9th century?

This is incorrect. The earliest substantial body of secular song notation surviving from not later than the 9th century are the songs of the troubadours, trouvères, and Minnesinger.