Note: These codes are preliminary for now.
| Code | Reason |
|---|---|
| 0x00xxx | CLI Tool |
| 0x10xxx | CoCos |
| 0xD0xxx | ST serialization |
| 0x80xxx | Type Check (CoCo) |
| 0x81xxx | Type Derivation (might happen while ST completion) |
| 0x90xxx | Refinement related |
| 0xFFxxx | Verification-specific |
| 0xA0xxx | Internal error |