JSON Schema como contrato

Un esquema JSON describe estructura: tipos, claves obligatorias (required), valores permitidos (enum), rangos y patrones. El validador responde a una pregunta limitada: este documento, ¿cumple las condiciones que el esquema enuncia? No pregunta si el valor tiene sentido, ni si falta algo que el esquema no mencionó.

Por eso un esquema es un contrato en el sentido estricto: obliga a lo que escribe y a nada más. Una clave que el esquema no declara no incumple nada, a menos que el esquema diga explícitamente que las claves no declaradas se rechazan. Abre despliegue.schema.json y lee sus propiedades.

Si una clave opcional se escribe con una errata, el validador no puede saber que era esa: para él es una clave desconocida más, y como la correcta es opcional, su ausencia tampoco molesta. El archivo es válido, el programa nunca lee la clave y se queda con el comportamiento por defecto.

Hay un detalle adicional en el esquema: la palabra default es solo informativa. Según la especificación, el validador no aplica valores por defecto ni exige nada por declararlos; quien los aplique es el programa que consume la configuración.

Compara las claves de cada archivo de config/ con las propiedades del esquema.

Cuando un validador rechaza un archivo, su mensaje trae dos datos: la ruta del valor (qué campo) y la regla incumplida (cuál es el límite). Leer ese mensaje con precisión es lo que permite decidir si el error es del archivo o del esquema, por ejemplo si un máximo demasiado bajo bloquea un caso legítimo.

Abre la salida del validador y busca el archivo inválido.

La palabra format (correo, uri, fecha…) parece una restricción más, pero en la versión actual del estándar es por defecto una anotación: la especificación pide que un validador no la trate como una aserción salvo que se active de forma explícita, y que el esquema declare el vocabulario correspondiente. Muchas herramientas la activan con una opción; muchas veces nadie lo hace en CI.

Mira el archivo de México y el esquema, y compara con lo que dice el validador.

Un resultado de «todo válido» describe lo que el esquema comprueba, no el estado de la configuración. Un auditor cruza las claves de cada archivo con las propiedades del esquema para encontrar lo que el contrato no cubre.

Cuenta solo los archivos que el validador da por válidos y que tienen al menos una clave que el esquema no declara.