E20 Contrato inválido
- Constante
E_CONTRACT- Especificación
- §10
- Modo tolerante
- Se detecta al cargar el contrato
El contract.json no cumple la norma: falta el prefijo, hay nombres duplicados, un tipo desconocido, un separador de lista no permitido… Se detecta al cargar el contrato, no al leer documentos.
Cómo verlo
En el playground, pestaña «Editor y validador», el botón «Inyectar 3 errores» provoca E04, E05, E08 y E09 sobre el ejemplo cargado.
Desde la línea de comandos, mini diagnose archivo.mini imprime un informe JSON con todos los errores y las líneas a regenerar.