How can they be sure it’s unambiguous? Ambiguity of a context-free grammar is undecidable.
There are context free grammers that we can prove are unambiguous. As an example "A = xAy | ε" is unambiguous. Lojban is one of the examples of grammers we are able to prove is unambiguous.