Una primera validación de KLM
Validar registros correctos e incorrectos y comprender el alcance de un resultado de conformidad.
Se puede explorar KLM sin ejecutar un modelo de lenguaje. Validar los ejemplos del repositorio permite ver qué exige el contrato y qué inconsistencias rechaza. Esta guía utiliza la revisión pública examinada el 9 de octubre de 2026: valida registros, no todo el comportamiento de un modelo.
1. Obtener el repositorio
Con Python 3 y Git disponibles:
git clone https://github.com/omasim/KLM.git
cd KLM
git checkout 459aa899c42d27afcbaf475546542b7d17d2cc29
La revisión fijada reproduce estas comprobaciones. El desarrollo posterior debe seguirse por separado en la rama principal. La vía de verificación utiliza la biblioteca estándar de Python.
2. Validar el ejemplo desarrollado
python3 schema/validate_attestation.py --level 4 \
schema/examples/attestation-worked-example.json
Para este ejemplo, el validador devolvió KLM-4 Attributable. El registro contiene dos afirmaciones, dos evidencias, un procedimiento y seis relaciones. Declara klm-attestation/0.1: los registros anteriores conservan sus reglas.
Esto no significa que todas sus afirmaciones sean verdaderas. Hay una afirmación no respaldada; el validador examina cómo se registra ese estado y sus relaciones de evidencia.
3. Ejecutar un registro que debe fallar
python3 schema/validate_attestation.py \
schema/examples/invalid/attestation-violations.json
Se esperan FAIL y un código de salida distinto de cero: son el propósito del ejemplo. Se detectan campos de origen inconsistentes para conocimiento paramétrico, un procedimiento activado con disparador falso, una referencia a un fragmento inexistente y una diferencia de confianza incompatible con sus componentes. Rechazar estos registros importa tanto como aceptar uno válido.
4. Cambiar una etiqueta de respaldo
Conserve el original y haga una copia:
cp schema/examples/attestation-worked-example.json \
/tmp/klm-supported-without-evidence.json
En la copia, cambie únicamente support_status de unsupported a supported en la afirmación correspondiente. No añada una relación de evidencia. Ejecute:
python3 schema/validate_attestation.py --level 2 \
/tmp/klm-supported-without-evidence.json
La etiqueta no establece el respaldo. El validador informa que falta una relación supports y rechaza el nivel KLM-2 solicitado.
Interpretar el resultado
Lo que pasa o falla es un registro, bajo un esquema y un nivel solicitados. No es una declaración de conformidad del modelo entero, un certificado independiente ni una garantía de corrección factual.
En una implementación propia, el siguiente paso es producir identidades reales de fuentes y afirmaciones, mantener explícitas las señales ausentes y examinar por qué se acepta o rechaza un registro. La introducción y el ensayo sobre desconocido y cero explican el marco.
Fuentes y revisión
Este texto utiliza la revisión pública examinada el 9 de octubre de 2026. Los enlaces están fijados a esa revisión. Los ejemplos explicativos son interpretaciones editoriales; los hallazgos mantienen su ámbito original. El proyecto puede haber cambiado posteriormente.
Se conecta con
Documenta el validador KLM mediante ejemplos válidos e incorrectos.