Module explain 

keel explain <code> — the frozen error taxonomy, for humans and agents.

The copy is contracts/error-codes.json, embedded with include_str! and parsed once into typed entries. A coding agent that sees KEEL-E014 gets the exact remedy here without a web search (dx-spec §5); an unknown code exits EXIT_USAGE and lists every code it does know.

Functions

run

Explain code. A known code renders what/why/next + a docs URL and exits EXIT_OK; an unknown one lists the known codes on stderr and exits EXIT_USAGE.