Vous avez bien compris, cela fait 9 jours de congés payés à décompter.

C'est bien 9. On commence le décompte le premier jour de travail soit le mardi 22 jusqu'au 31. On ne prend pas en compte le dimanche, ce qui donne 9 jours de CP. Je vous conseille d'aller la voir pour faire rectifier le nombre de jours.

Elle ne peut pas décompter le lundi qui est un jour de repos. Elle doit commencer le décompte le premier jour qui aurait du être travaillé, soit le mardi 22 septembre.
Pour mémoire :
Le droit aux congés payés ainsi que leur décompte s'effectue en jours ouvrables. Sont considérés comme jours ouvrables tous les jours qui ne sont pas consacrés au repos hebdomadaire légal, reconnus fériés par la loi ou habituellement chômés dans l'établissement.
Par jour ouvrable, il faut comprendre chaque jour de la semaine, du lundi au samedi inclus, sauf le dimanche (ou le jour de repos hebdomadaire qui le remplace dans la semaine, selon les établissements) et les jours fériés chômés. Peu importe que le salarié ait deux jours de repos hebdomadaire dans la semaine, on lui décompte 6 jours ouvrables de congés payés.

Cette définition du jour ouvrable ne signifie pas forcément jour travaillé, ce qui oblige à compter au même titre que les autres jours de la semaine les samedis compris dans une période de congé, qu'ils soient ou non chômés dans l'entreprise.

Lorsque le premier jour de congé tombe un samedi, il n'a pas à être comptabilisé. Le point de départ du congé est toujours un jour ouvré (travaillé) dans l'entreprise. En revanche, si le dernier jour de congé tombe un jour ouvrable, non travaillé dans l'entreprise, le congé n'est pas prolongé d'une journée. (Cass. soc. 7 avril 2004).
Ainsi, sauf si le premier jour de congé est un jour ouvrable non travaillé, tous les autres samedis ou lundis de congés, dont les derniers du congé, comptent.

Exemple : Une entreprise travaille sur la base de 5 jours par semaine avec 2 jours de repos, le samedi et le dimanche. Quand un salarié demande un jour de congé le vendredi, c'est 2 jours ouvrables de congés payés qui doivent être décomptés. En effet, dans ce cas, le samedi est pris en compte car il suit un jour de congé. En revanche, si le salarié veut prendre un lundi pour avoir un week-end de 3 jours, il ne lui sera décompté qu'un jour ouvrable de congés payés, car le dimanche n'est pas un jour ouvrable.