According to Ott’s “Fundamentals of Catholic Dogma” the following is De fide dogma:
"The human will remains free under the influence of efficacious grace, which is not irresistible."
We have to understand that from Eden until now this is all about the human will, for our own good, whether we’ll choose rightly or wrongly, good or evil, love or no love, God or no God. So God patiently works with humanity down through the centuries to arrive at this point, in our lives, where grace is more abundant than ever while the same obstacles to faith, hope, and love also continue to prevail. How will we choose? The light has entered the world, most fully two millennia ago, and it shapes all of our choices by presenting values even if no formal contact with Christianity has ever been made. It places love and not competition or condemnation at the forefront, seeking to heal, save, awaken, forgive, etc. How will we live?
God, for His part, desires none to perish. But He doesn’t make automatons. He wants us to choose rightly; that’s what makes us, His creation, worthy of being His handiwork, of living up to our potential. And from the larger perspective the catechism teaches that God made His world in a “state of journeying to perfection”, man’s perfection being achieved to the extent that he’s freely bound himself to God even as His help is needed in this endeavor, this work of His and ours.