Completed my first game with 18 Agrarian Stars, but nether Antonin Augustin nor Jawaharlal Trophies triggered for unlocking.

Steps to reproduce: Just play the game normally, Have any non-idle units be stationed, build random stuff on idle cities (I was building infrastructure in those cities). End each turn and wait for the last 2 science technologies to be completed.

Save Files

Screenshots

Why 5/12?

3/18, even worse

Expected Behavior: One should get the notification that the Trophies were unlocked.