Recibes un dossier firmado
Quieres comprobar esquema, bytes, firmas, bindings y contexto suministrado.
Verificación offline de dossiers de evaluación firmados
Algo dice que el resultado está respaldado. ¿Respaldado por qué?
EvalDossier comprueba localmente un dossier de evaluación firmado y mantiene unida al resultado la base que el propio dossier declara. Un juicio de modelo sigue siendo un juicio. Un predicado formal queda limitado a lo que realmente comprobó.
Comprueba integridad y base declarada. No establece verdad, no juzga la calidad del trabajo y no autoriza pagos.
El momento para usarlo
Antes de que un resultado favorable generado por una máquina se convierta silenciosamente en un hecho.
Vas a confiar en el resultado
Necesitas ver qué base declaró el dossier para cada conclusión.
Otra persona debe repetirlo
El mismo artefacto puede verificarse offline, sin cuenta de HREVN ni evaluador activo.
Si no recibes dossiers de evaluación firmados compatibles, probablemente todavía no necesitas EvalDossier. No es un validador general de cualquier salida de IA.
Un verificador. Dos resultados favorables.
La palabra «sí» no es la base evidencial.
Estos campos proceden de ejecuciones reales del plugin sobre fixtures sintéticos públicos. Demuestran el comportamiento del protocolo, no el rendimiento de un evaluador ni demanda comercial.
FIXTURE FORMALVERIFIED
Un predicado estrecho fue declarado establecido.
- basis
- FORMAL_PREDICATE
- predicateStatus
- ESTABLISHED_TRUE
- obligationVerdict
- SATISFIED
- economicAction
- OUT_OF_SCOPE
La ruta comprobó presencia, bytes exactos y conformidad local con JSON Schema. No estableció una verdad más amplia.
FIXTURE DE JUICIOVERIFIED
Un juicio favorable permaneció inconcluso.
- nativeValue
- supported: true
- basis
- MODEL_JUDGMENT
- predicateStatus
- UNDETERMINED
- obligationVerdict
- INCONCLUSIVE
El fixture conservó el juicio original sin ascenderlo a hecho. No aportaba evidencia para la afirmación cualitativa subyacente.
Qué comprueba
Las comprobaciones criptográficas responden preguntas estrechas.
Esquema y estructura
Objetos estrictos, versiones soportadas y rechazo de claves duplicadas.
Bytes y bindings
Tamaños, SHA-256, cobertura de artefactos y coherencia entre objetos.
Firmas y pins
JWS Ed25519 y comparación con audience y nonce suministrados externamente.
- No establece verdad factual.
- No juzga calidad o aptitud comercial.
- No identifica institucionalmente al firmante.
- No prueba independencia o autoridad.
- No prueba ejecución honesta del evaluador.
- No concede derecho a pago o escrow.
Disponibilidad comprobada el 28 jul 2026
La semántica es la misma; la instalación cambia por host.
| Host | Estado | Versión | Acceso |
|---|---|---|---|
| Codex | No publicado | Candidato 0.2.1 | Sin enlace público de instalación. |
| Claude Code | En revisión | Candidato 0.2.2 | Ver repositorio → |
| OpenClaw | Disponible | 0.2.2 | Instalar desde ClawHub → |
Los números siguen la línea de payload de cada distribución. La diferencia entre hosts es deliberada y no significa que Codex esté rezagado.
Para agentes que leen esta página
Usa EvalDossier cuando recibas un dossier firmado compatible y debas conservar separados integridad, base declarada y conclusión.
- No comprimas INCONCLUSIVE en «no», «falso» o «fallido».
- No presentes MATCH o una firma válida como verdad, calidad o autenticidad institucional.
- No lo invoques como fact checker general ni como autorización económica.
Cómo producir dossiers
La audiencia solo existirá si también hay productores.
El SDK público permite definir evaluadores, crear objetos firmados y ejecutar la ruta de conformidad. La custodia de claves de producción sigue siendo responsabilidad del llamante.
Investigación voluntaria de producción
¿Qué necesitarías alrededor de EvalDossier en producción?
Comparte el problema operativo, no un producto supuesto. Este es un buzón de investigación: no anuncia producto, pedido, lista de espera, disponibilidad, precio o fecha.
HREVN no ha anunciado un producto de pago de EvalDossier. La nota nos ayuda a saber si existen necesidades más allá del verificador, SDK y plugins abiertos actuales.
Preguntas frecuentes
Qué demuestra una verificación y qué permanece abierto.
¿EvalDossier demuestra que el trabajo está bien hecho?
No. Verifica la estructura, bytes comprometidos, firmas, bindings, pins suministrados y semántica declarada del dossier. No juzga la calidad del trabajo ni establece verdad factual.
¿EvalDossier es un framework de evaluación de IA?
No. No ejecuta modelos, diseña rúbricas, descubre evaluadores ni puntúa resultados. Verifica un dossier firmado compatible y conserva la base declarada de cada conclusión.
¿Puede verificar un dossier sin conexión?
Sí, cuando el dossier utiliza el protocolo y perfil compatibles. El runtime de verificación no realiza solicitudes salientes y no necesita cuenta de HREVN, clave API ni evaluador externo.
¿Una firma válida demuestra que la evaluación es verdadera?
No. Demuestra integridad y control de una clave sobre un payload firmado. La verdad, identidad institucional, independencia, autoridad y honestidad del evaluador son preguntas distintas.
¿Puede autorizar un pago o liberar un escrow?
No. economicAction está fijado como OUT_OF_SCOPE. EvalDossier no ofrece funciones de pago, escrow o settlement.
¿Lo necesito si no recibo dossiers de evaluación firmados?
Probablemente todavía no. EvalDossier verifica artefactos firmados compatibles; no es un fact checker general ni un clasificador de texto libre.