Visión general de la investigación aplicada
Evidencia frente a una afirmación
AnyVerify
Un resultado de verificación solo vale algo si mantiene separadas dos cosas: dos fuentes que discrepan y una comprobación que no pudo realizarse.
Estado: Concepto de investigación · prototipo no publicado
El modelo, de forma interactiva
Afirmación: la declaración de origen de este envío coincide con un registro independiente. El perfil compara cinco atributos, cada uno con su propio comparador. Cambie lo que devolvió el registro y observe el resultado.
| Atributo | Declaración | Registro | Comparador | Comprobación |
|---|---|---|---|---|
| País de origen | BR | BR | exacto | Coincide |
| Nombre del productor | Cooperativa São João | COOPERATIVA SAO JOAO | texto normalizado | Coincide |
| Cantidad | 19,200 kg | 19,450 kg | número, ±2% | Coincide |
| Fecha de cosecha (opcional) | 2026-06-10 | 2026-06-12 | fecha, ±3 días | Coincide |
| Referencia del registro | BA-0427-7731 | BA-0427-7731 | exacto | Coincide |
Resultado
Corroborado: las dos fuentes coinciden en todos los atributos obligatorios.
Proporción de coincidencia
1,00
5 / 5
La pregunta de investigación
¿Sostiene realmente la evidencia disponible una afirmación concreta, atributo por atributo, y cómo debe decirlo un sistema cuando no puede saberlo?
- ¿En qué atributos coinciden las fuentes?
- ¿Dónde discrepan, y por cuánto?
- ¿Qué no pudo comprobarse en absoluto?
- ¿Cuándo tiene que resolverlo una persona?
Primitivas centrales
Caso de verificación
AnyVerifyCaseUna afirmación sobre un objeto, verificada frente a un perfil versionado, enlazada con el caso que verifica.
Perfil
profiles/*.yamlQué atributos comparar, entre qué dos fuentes, con qué comparador y tolerancia, y cuáles son obligatorios. Datos, validados al cargarse, denegación por defecto.
Comprobación
AnyVerifyCheckUn atributo comparado: coincide, no coincide, ausente o no concluyente, con los valores vistos y un código de motivo.
Resultado
VerificationResultCorroborado, contradicho, insuficiente, resuelto por revisión o pendiente. Insuficiente y contradicho nunca se funden.
Proporción de coincidencia
attribute-agreement-ratioLa parte de los atributos comprobados que coinciden, nombrada como método, no presentada como una probabilidad.
Revisión y atestación
kernel authority actUna persona con la atribución registra una decisión y su motivo. El resultado de la máquina se conserva, no se sustituye.
Un escenario, paso a paso
Lo que ocurre entre la llegada de una declaración y un resultado en el que cualquiera pueda apoyarse.
Paso 1 de 6: Abrir un caso frente a un perfil
La afirmación, el objeto al que se refiere y la versión del perfil se fijan al principio, para que el resultado siempre pueda decir frente a qué se midió.
La declaración del proveedor y el registro se adjuntan como evidencia, cada uno con su fuente y su hora.
Cinco comparaciones, cada una registrada por separado. Un valor que falta se registra como ausente, no como falta de coincidencia.
El evaluador de reglas lee las comprobaciones. Si las fuentes discrepan en un atributo obligatorio, el resultado es contradicho; si un atributo obligatorio no pudo compararse, el resultado es insuficiente.
Una contradicción abre una tarea de revisión. La atestación del revisor resuelve el caso y queda junto al resultado de la máquina, que sigue siendo legible.
Cada resultado tiene una ventana de validez que fija el perfil. Pasada esa ventana, el resultado queda desactualizado y tiene que reevaluarse en lugar de reutilizarse.
Qué lo distingue
- AnyValid
Su pregunta
¿Qué dijo la propia fuente autorizada?
Por qué esto no es aquello
AnyVerify compara fuentes entre sí. No pide un veredicto a ninguna autoridad y no consulta nada.
- AnyTrace
Su pregunta
¿Por dónde ha pasado esta cosa?
Por qué esto no es aquello
AnyVerify toma un caso de traza como objeto y dice si una afirmación sobre él se sostiene.
- AnyUSMCA
Su pregunta
¿Cumple la evidencia de origen un conjunto de reglas nombrado?
Por qué esto no es aquello
AnyUSMCA usa los resultados de AnyVerify como entradas; AnyVerify no sabe nada de reglas comerciales.
Límites y objetivos excluidos
- Que dos fuentes coincidan es corroboración, no prueba. Ambas pueden estar equivocadas.
- No es un motor de consulta y no consulta a ninguna autoridad.
- Un resultado no es un certificado y no extrae ninguna conclusión jurídica.
- Los dos perfiles son perfiles de referencia, no la lista de comprobación oficial de nadie.
Qué existe y qué no
En el repositorio
- app/products/anyverify/{service,compare}.py: comparadores, comprobaciones, decisión, revisión, caducidad, reutilización
- Dos perfiles de referencia: origin-declaration.v1 y supplier-identity.v1
- Tablas anyverify_cases y anyverify_checks
- 10 rutas autenticadas
- tests/any_family/test_anyverify.py: los cuatro resultados del comparador, insuficiente frente a contradicho, revisión, caducidad (36 pruebas)
Agenda de investigación, no construido
- Una conexión con cualquier registro real; las fuentes las aporta quien invoca
- Comparación entre más de dos fuentes para un atributo
- Cualquier calibración de la proporción de coincidencia frente a resultados reales
Dónde se sitúa en AnyLAI
AnyVerify
- Application kernelLas comprobaciones, los resultados y las revisiones son evidencia, eventos, tareas y actos de autoridad del núcleo.
- AnyTraceEnlaza con el caso de traza que verifica.
- AnyUSMCASus resultados son la evidencia de origen en la que se apoyan las reglas de AnyUSMCA.
- Trust architectureEl mismo principio que la arquitectura de confianza: una persona donde la evidencia es incierta.
- enlace entre casos a través del núcleo
- uso directo de otro módulo o sistema
- llamada en modo sombra: registrada, nunca ejecutada
Estado actual
Estado de la investigación
- Concepto de investigación · prototipo no publicado
- No publicado: rutas desactivadas
- Sin uso en producción, sin datos reales
- 36 pruebas en el repositorio
Un módulo prototipo sobre el núcleo compartido con dos perfiles de referencia, un servicio, tablas, rutas y pruebas. Desactivado, no publicado, no usado con datos reales.
Batería de pruebas: python-backend/tests/any_family/test_anyverify.py
Proyecto de investigación · I+D independiente · No es una oferta comercial