Primeros pasos
Empieza en Probar Verify para la demo en navegador, o clona el repositorio y ejecuta el CLI en local. Ninguno de los dos requiere cuenta.
Docs
Docs curadas, no un espejo del archivo fuente.
Esto no es cada fichero del snapshot fuente. Es el subconjunto que necesita un lector, organizado alrededor de las preguntas que la gente hace de verdad.
Conceptos
Artefacto, identidad, evidencia, política, evaluación, autoridad, efecto — lee Cómo funciona para la cadena completa, con la frontera dibujada donde la pone la fuente.
Resultados
record_valid, security_assessment_status (PASS / FAIL / NO_CONSTA) y release_authority son tres ejes separados. Ver Evidencia para salida real del kernel que demuestra cada uno.
Evidencia
Nodos de evidencia y cinco relaciones — supports, contradicts, derivedFrom, measures, describes. Nunca authorizes.
Políticas
Una política declara claims, tipos de evidencia y meta-propiedades requeridos, y cómo debe leerse una ausencia. Los campos no reconocidos se rechazan, no se ignoran.
Artefactos
La identidad es un digest pinneado, suministrado desde fuera y comparado, nunca afirmado por el propio artefacto.
CLI
verify hash, inspect, kernel-evaluate, demo, explain, doctor — ver la página de Terminal para el uso completo y salida de ejemplo real.
API
Un contrato OpenAPI publicado. Ver la página de API — estado: "Especificado, sin construir", sin servicio en marcha.
CI/CD
Ejemplos funcionales de GitHub Actions y shell que fallan cerrado ante FAIL o NO_CONSTA. Ver CI/CD.
Agentes de IA
Un ejemplo local trabajado que aplica la misma cadena de decisión a la acción propuesta por un agente. Ver Agentes de IA.
Arquitectura
Vistas simple y técnica del kernel de referencia y su frontera. Ver Arquitectura.
Límites
Todos los límites conocidos, con fuente. Ver Estado y límites — léelo antes de apoyarte en cualquier otra cosa de aquí.
Glosario
NO_CONSTA: no hay evidencia suficiente para responder con seguridad. record_valid: el expediente es estructuralmente interpretable. release_authority: si el propio kernel concede permiso para actuar — siempre false en esta candidata.