Setup questions and answers · Exhaustive type states

Handle a tagged union exhaustively. Add a new state in a test change and let the type checker reveal every branch that still needs an implementation. Compare actual behavior with the expected result. If a check fails, investigate it before applying more changes.

Yes. Start with the folder you want to work in and ask for an inspection of the relevant files. Keep backups or version control before making changes.

No. Review the diff and run checks appropriate to your project. A plausible answer is not evidence that the resulting program works.

A local model connection covers only that endpoint. Remote tools and external services can still receive data through their own connections.