Copilot proposes a call to a library method that is absent from the installed package. The suggested method name looks plausible. What should the developer do first?

1. Create a wrapper with the proposed name that silently returns a default value.
2. Repeat the original prompt until the same method appears in three responses.
3. Check the installed library version and its authoritative API documentation, then revise the implementation.
4. Upgrade the package to the latest release so that the proposed method becomes available.