docs / Códigos de error
Códigos de error
Quince códigos estables, definidos en src/minifmt/errors.py y reproducidos por la biblioteca TypeScript.
Son parte del contrato público del formato: un validador escrito en otro lenguaje debe producir los mismos códigos
para los mismos documentos, y la suite de conformidad lo comprueba.
Cada error lleva código, línea (1-based; 0 para errores de documento), campo cuando aplica y un mensaje legible. La columna exacta está en borrador para 1.1.
| Código | Condición | Constante | SPEC |
|---|---|---|---|
| E01 | Falta la cabecera | E_NO_HEADER | §5, §8 |
| E02 | Prefijo distinto del contrato | E_UNKNOWN_PREFIX | §5 |
| E03 | Falta `n` | E_NO_COUNT | §5 |
| E04 | Número de registros distinto de `n` | E_COUNT_MISMATCH | §5, §9 |
| E05 | Aridad del registro fuera de rango | E_ARITY | §6, §10 |
| E06 | Tipo incorrecto o requerido vacío | E_TYPE | §6 |
| E07 | Aridad de lista o tupla | E_LIST_ARITY | §6 |
| E08 | Regla del marcador violada | E_MARKER | §3.2, §6 |
| E09 | Escape inválido | E_ESCAPE | §3.3 |
| E10 | Valor fuera de la enumeración | E_ENUM | §6 |
| E11 | Valor único duplicado | E_UNIQUE | §6 |
| E12 | Entrada de cabecera malformada o ausente | E_HEADER_KEY | §5 |
| E13 | Fuera de rango numérico | E_RANGE | §6 |
| E20 | Contrato inválido | E_CONTRACT | §10 |
| E21 | Invariante de familia violado | E_FORK | §10 |