Diagnostics catalogue

Every diagnostic the MeTTa language server reports, with what it means and how to fix it. Editors link a diagnostic's code straight to its page here, so you always see the full explanation, not just the one-line message.

Code	Diagnostic
call.arity	Wrong number of arguments
call.typeMismatch	Argument type mismatch
definition.duplicate	Duplicate definition
import.unresolved	Import target could not be resolved
import.notRun	Import form is not run
space.unbound	Unbound atom-space symbol
symbol.possibleTypo	Possible typo in a call head (hint)
symbol.needsImport	A known symbol that needs importing (hint)
type.undefined	Undefined type in a signature
variable.undefined	Free variable in a body
variable.reservedHash	Variable name contains '#'
variable.suspiciousSemicolon	Variable name contains ';'