正社員が半年後に10日付与、そこを起点に2年目までは＋1日だから2.5年は12日
週3日の場合の比例付与の計算式が「正社員付与日数×3日/5.2日」※端数切捨だから
12×3/5.2＝6.9なので端数切捨で6日

正社員の週あたり労働日数を5.2日として、それを基準に比例的に付与するという簡単な話だよ