VERIFICACIÓN DE IA / POR NOVA LABS
La IA dice: listo.Tesven verifica.
Tesven comprueba de forma independiente si el trabajo de la IA produjo el resultado esperado, con comprobaciones y evidencia.
Candidato v0.1.0 · instalador para usuarios previsto
Demostración interactiva · datos de ejemploActualizá el logo del sitio.
La afirmación del agente.
- Sitio accesible
- Logo esperado encontrado
- Publicación activa
- Cambio conservado después de recargar
La evidencia respalda el cambio esperado.
- URL
- example.com
- Esperado
- logo-v2.svg
- Encontrado
- logo-v2.svg
- Método
- Lectura independiente después de recargar
Ejemplo ilustrativo del método. No es una ejecución real ni una captura de la aplicación.
01 / LA DIFERENCIA
«Listo» no es evidencia.
La IA puede hacer un buen trabajo y aun así dejar pendiente el último paso. Terminar y hacerlo bien son cosas distintas.
Tesven comprueba la diferencia.
02 / LA COMPROBACIÓN
El resultado. No la promesa.
Compara lo que tenía que pasar con lo que la evidencia realmente muestra.
¿Ocurrió el cambio esperado?
¿Existe el archivo con el contenido correcto?
¿Se puede acceder al sitio?
¿El sistema refleja el cambio?
¿El resultado se conserva después de recargar?
Las comprobaciones dependen de la tarea, el acceso autorizado y la evidencia disponible.
03 / EL MÉTODO
De la acción a la evidencia.
- 01
La IA trabaja
Dovren u otro sistema compatible realiza una tarea.
- 02
Tesven recibe
El resultado esperado y la evidencia autorizada.
- 03
Tesven comprueba
Lecturas independientes comparan el estado real con el esperado.
- 04
Vos ves el resultado
Verificado, fallido, evidencia insuficiente o revisión humana.
04 / EL CONTRASTE
Puede decir que no está listo.
Si la evidencia contradice la afirmación, Tesven lo indica. La falta de evidencia nunca se convierte silenciosamente en éxito.
Actualizá el nombre del cliente.
El nombre esperado no apareció después de recargar.
05 / LA FAMILIA
Dovren ejecuta.
ACCIÓNby Nova LabsTesven verifica.
EVIDENCIAby Nova LabsUno hace el trabajo. El otro comprueba el resultado. Dos productos, cada uno con una responsabilidad clara.
Explorar DovrenHoy: importación local, opcional y manual de un bundle de evidencia de Dovren. La conexión directa y la verificación dentro de Dovren están previstas.
06 / LA EVIDENCIA
Un verificado con fundamento.
Ves qué se comprobó, qué se encontró y de dónde viene la evidencia. Un resultado verificado siempre se limita a esas comprobaciones.
Si no puede verificar, lo dice.
Cambio de portada
Verificado · dentro del alcance de 4 comprobaciones
- Esperado
- La nueva portada aparece en el sitio.
- Encontrado
- Contenido esperado presente después de recargar.
- Límite
- No evalúa calidad del diseño ni todas las páginas.
- Sitio accesibleCumplida
- Logo esperado encontradoCumplida
- Publicación activaCumplida
- Cambio conservado después de recargarCumplida
- Respuesta
- HTTP 200
- Registrado
- 2026-10-01 · 09:42 UTC
La vista de captura es conceptual; la consola v0.1 muestra evidencia como texto redactado.
- Dovren reportó la tarea completada
- Tesven recibió el resultado esperado
- Se leyó el estado final de forma independiente
- La evidencia respaldó las 4 condiciones
Interfaz conceptual · datos de ejemplo
07 / LA EXPERIENCIA
Verificar sin configurar todo.
La experiencia que estamos construyendo: descargar, abrir y conectar Dovren. El motor de verificación se ocupa del resto.
Experiencia para usuarios prevista
- 01Descargar
- 02Instalar
- 03Abrir
- 04Conectar Dovren
- 05Listo
El candidato v0.1.0 actual es una distribución técnica de código fuente. Todavía requiere configuración local. El instalador de un clic y la conexión automática con Dovren no están disponibles.
08 / CASOS DE USO
Donde importa el resultado final.
Cambios en sitios
Comprobar si el contenido esperado aparece después de una actualización.
Archivos e informes
Confirmar que un archivo autorizado existe y contiene el resultado esperado.
Procesos de trabajo
Comparar el estado final en herramientas compatibles con el cambio esperado.
Sistemas conectados
Contrastar la respuesta de un sistema compatible con el valor esperado.
Ejemplos de métodos de verificación; el soporte depende del verificador configurado. v0.1 es para demostraciones sintéticas, no para operaciones con clientes.
Para quienes confían trabajo a la IA.
Saber si ocurrió el resultado esperado.
Conservar la evidencia de cada resultado.
Evaluar resultados antes de depender de acciones automatizadas.
Definir comprobaciones para procesos compatibles.
09 / CONFIANZA Y PRIVACIDAD
Local por diseño.
El runtime v0.1 se ejecuta en tu computadora, conserva el historial de verificación localmente y no incluye analítica ni llamadas a proveedores de modelos.
Seguridad en TesvenEvidencia cifrada en disco
Los objetos de evidencia usan AES-256-GCM; los respaldos de la base de datos no se cifran automáticamente.
Comunicación local autenticada
El servicio local exige un token y solo escucha en loopback.
Límites explícitos
Sin despliegue en red. Usá únicamente datos sintéticos en esta versión.
Si no puede verificar, lo dice.
Comprobaciones independientes. Resultados respaldados por evidencia. Fallos claros. Revisión humana cuando la evidencia es ambigua.
10 / EL PRODUCTO
Cada estado tiene su lugar.
Explorá la experiencia prevista, incluidos los fallos y la desconexión. Son vistas conceptuales, no capturas de la consola distribuida.
Interfaz conceptualResumen
● Motor listo · Dovren conectado
Cifras de ejemplo. No representan uso ni rendimiento del producto.
11 / PREGUNTAS
Respuestas claras.
¿Qué es Tesven?
Tesven es un producto propietario de verificación de IA desarrollado por Nova Labs. Comprueba de forma independiente si el trabajo de agentes de IA produjo el resultado esperado y registra la evidencia.
¿Qué verifica Tesven?
Condiciones definidas en evidencia autorizada de archivos, navegador, escritorio, HTTP y permisos. Las comprobaciones dependen del verificador y el acceso disponible. v0.1 se limita a demostraciones sintéticas.
¿Cómo funciona Tesven?
Recibe el resultado esperado, lee evidencia autorizada de forma independiente, compara el estado real con las condiciones definidas y registra un resultado con referencias a la evidencia.
¿Funciona con Dovren?
Sí, mediante la importación local, opcional y manual de un bundle de evidencia exportado por Dovren. La conexión automática y los resultados dentro de Dovren están previstos; no están disponibles en v0.1.
¿Usa IA para verificar?
El runtime local v0.1 no llama a proveedores de modelos. La verificación usa comprobaciones definidas y lecturas independientes. El resultado depende de la calidad y el alcance de esas comprobaciones.
¿Puede detectar un fallo de la IA?
Puede identificar cuando la evidencia disponible muestra que una condición definida no se cumplió. No detecta todos los errores ni verifica resultados que no puede observar.
¿Funciona localmente?
Sí. El runtime v0.1 y el historial de verificación son locales. La instalación inicial de dependencias necesita acceso al registro de paquetes. Esta versión es para datos sintéticos, no para datos reales o confidenciales de clientes.
¿Tesven es de código abierto?
No. Tesven es software propietario de Nova Labs. Sus componentes de terceros conservan sus propias licencias y atribuciones.
¿Quién desarrolla Tesven?
Nova Labs, una empresa de software e inteligencia artificial de Paraguay.
¿Puedo descargar un instalador para usuarios?
Todavía no. v0.1.0 es un candidato de release sin publicación, distribuido como código fuente para evaluación técnica. El instalador y la configuración automática están previstos.
La IA hace el trabajo.Tesven verifica el resultado.
Verificá el trabajo de la IA con comprobaciones y evidencia.
Candidato v0.1.0 · instalador para usuarios previsto