NOTAS DE VERSIÓN / 1 DE OCTUBRE DE 2026
Qué incluye el candidato.
Tesven v0.1.0 es un candidato de release. No está publicado como versión para usuarios finales.
Motor de verificación
Especificaciones versionadas, condiciones esperadas, verificadores con lecturas independientes y cinco estados explícitos por criterio. Los informes de comparación conservan las condiciones de aceptación.
Evidencia y consola local
Objetos de evidencia cifrados, comprobaciones de integridad, historial auditable y consola para proyectos, especificaciones, ejecuciones, evidencia e informes. La importación opcional desde Dovren es manual.
Evidencia de verificación local
El informe de preparación registra comprobaciones locales en Windows y Linux, integración con PostgreSQL y evaluación reproducible de un corpus sintético fijo de 100 casos. Es una referencia de regresión, no una afirmación de precisión real.
Límites conocidos
Distribución de código fuente con configuración técnica. Solo datos sintéticos. Sin instalador autónomo, SaaS, autenticación empresarial, conexión automática con Dovren ni borrado coordinado de evidencia. Los respaldos no se cifran automáticamente.
Estado de publicación
El repositorio registra los requisitos técnicos y de licencia como aprobados para el candidato. La publicación depende de los pasos de release y un canal privado de reporte verificado. Son registros del proyecto, no una certificación independiente de seguridad.