A team maintains a safety-critical calculation. Copilot produces an implementation from a short description of the formula. Which use of Copilot is most appropriate?

1. Treat the output as a draft and verify it against the approved specification and independent test vectors.
2. Replace independent test vectors with expected results generated from the same implementation.
3. Use the generated implementation as the source of truth for rewriting the specification.
4. Treat compilation and a plausible explanation as sufficient evidence for release.