AnyVerify
Prototipo de investigación sobre las afirmaciones y la evidencia que las respalda
¿Respalda realmente la evidencia disponible una afirmación concreta, atributo por atributo, y cómo debe decirlo un sistema cuando no puede saberlo?
Visión general
36pruebas en el repositorio
AnyVerify compara los atributos de una afirmación con los atributos encontrados en su evidencia, mediante perfiles de comparación declarados. Cada comprobación tiene uno de cuatro resultados, y cada atributo acaba corroborado, contradicho o insuficiente, hasta que una revisión lo resuelve.
La disciplina es la honestidad ante lo desconocido. Una comprobación que no pudo realizarse es insuficiente, nunca contradicha, y un resultado que no puede puntuarse no lleva puntuación en lugar de llevar un cero.
Los seis prototipos comparten un núcleo de aplicación en el repositorio de AnyLAI: casos, una línea de tiempo de eventos encadenada por hash, evidencia con procedencia y tres marcas de tiempo, tareas y actos de autoridad. Cada prototipo añade solo su propio vocabulario y sus propias reglas.
Matriz de evidencia
Declaración de origen · envío 7
- País de origenCORROBORATED
- ProductorCORROBORATED
- Fecha de cosechaINSUFFICIENT
- CantidadCORROBORATED
Seleccione una celda para cambiar su resultado
Seleccione una celda para cambiar lo que dice una fuente y vea cómo el resultado sigue las reglas.
Descripción en texto del diagrama
Una matriz para una declaración de origen. Las filas son atributos: país de origen, productor, fecha de cosecha y cantidad. Las columnas son fuentes: la declaración, un certificado y una factura. Cada celda muestra el resultado de una comprobación. La última columna muestra el resultado por atributo: corroborado cuando las fuentes coinciden, contradicho cuando una no coincide, insuficiente cuando no pudo hacerse una comprobación.
Componentes básicos
Afirmación
Una declaración con atributos, como una declaración de origen.
Perfil de comparación
Una declaración versionada de qué atributos se comparan y cómo: exacto, texto, número, fecha o presencia.
Comprobación
Una comparación, con el resultado MATCH, MISMATCH, ABSENT o INCONCLUSIVE.
Resultado
CORROBORATED, CONTRADICTED, INSUFFICIENT, RESOLVED_BY_REVIEW o PENDING.
Índice de concordancia
Un método con nombre que resume las comprobaciones. No es una probabilidad.
Una declaración de origen
- 1
Una declaración indica el país de origen, el productor, la fecha de cosecha y la cantidad.
- 2
El certificado coincide en el país y el productor; la factura coincide en la cantidad.
- 3
La fecha de cosecha no aparece en ninguna fuente con la que pueda compararse: el atributo es insuficiente, no contradicho.
- 4
Un revisor lo resuelve con un documento nuevo, y el resultado registra que lo decidió la revisión.
En qué se diferencia
AnyVerify ≠ AnyValidPrototipo de investigación · no publicado
AnyValid consulta a una fuente externa con autoridad. AnyVerify compara la evidencia que ya se tiene.
AnyValidAnyVerify ≠ AnyTracePrototipo de investigación · no publicado
AnyTrace registra la custodia a lo largo del tiempo. AnyVerify juzga una afirmación en un momento dado.
AnyTrace
Estado
Prototipo de investigación en el repositorio de AnyLAI con dos perfiles de comparación de referencia. No publicado, no desplegado y sin haber funcionado con datos reales.
Limitaciones
- La coincidencia entre fuentes es corroboración, no prueba.
- Compara lo que recibe; no busca evidencia por su cuenta.
- Un resultado no es un certificado.