There is no such guarantee, in practice, it almost certainly is not. The tool only guarantees the mathematical consistency of the check digits; it does not query the Receita Federal or verify whether the number is assigned to anyone. Always treat it as fictitious data.