Nueva señal forense · TVOC Detection · Open Source

Tu IA mintió

sobre lo que podía saber

SPE detecta cuándo un modelo de IA produce información sobre eventos que estaban más allá de su frontera temporal declarada — sin ningún documento de contexto posterior que lo justifique. Esto tiene nombre: TVOC. Y ahora se puede probar.

Esto no es futuro. Es ahora. El EU AI Act ya exige trazabilidad de outputs de IA. GDPR ya exige justificación de decisiones automatizadas. Si tu pipeline RAG no tiene prueba criptográfica de lo que alimentó cada respuesta, no tienes cobertura legal. Y mañana la tendrás menos.

Ejemplo real · TVOC Detection

from spe_engine.tvoc import detect_tvoc_strong

result = detect_tvoc_strong(
    output_text="En 2027, el AI Act europeo amplió...",
    t_target=2025,
    context_has_post_target=False  # sin docs post-2025
)

Output

tvocSTRONG

years[2027] ← fuera del rango declarado

t_target2025

Legal

Prueba que una IA no podía conocer cierta información legítimamente. Admisible como evidencia forense.

Compliance

Demuestra a auditores que tu AI operó dentro de los límites de conocimiento declarados. GDPR, AI Act, ISO.

RAG Integrity

Certifica qué documentos alimentaron cada respuesta. Cualquier alteración rompe el Merkle root.

RAG Context Attestation

¿Qué documentos alimentaron la respuesta?

Si usas RAG (Retrieval-Augmented Generation) en producción, cada respuesta de tu IA se basa en documentos específicos. Pero ¿puedes probar cuáles eran esos documentos dentro de 6 meses? ¿Puedes demostrar que no se añadieron documentos retroactivamente?

Sin SPE

Los logs dicen qué docs se usaron, pero pueden editarse
No hay prueba de que no se añadieron docs después
Un auditor debe confiar en tu palabra

Con SPE

Merkle root certifica el set exacto de documentos
Cualquier adición/eliminación rompe la prueba
El auditor verifica matemáticamente, offline

Integración RAG completa · 6 líneas

from spe_engine import generate_proof

# Tu pipeline RAG normal — sin cambios
response = llm.generate(query, context=rag_docs)

# Certifica en una llamada
proof = generate_proof(
    content=response,
    model_id="gpt-4-turbo",
    context_items=rag_docs,       # ← documentos del RAG
    t_target=2025,              # ← frontera temporal
    policy="strict",            # ← solo docs pre-2025
)

▸Merkle root de todos los docs

▸TVOC automático si hay violación

▸ZIP verificable offline, para siempre

El problema real

Cada día, empresas despliegan sistemas de IA que producen outputs que afectan decisiones reales: resúmenes legales, análisis financieros, informes de compliance. Pero no existe ningún estándar para responder después: ¿generó realmente la IA esta respuesta, o fue editada? ¿Qué documentos tenía disponibles? ¿Podía saber esto en ese momento?

Los logs tradicionales se pueden falsificar. Blockchain es lento, caro y público. Las capturas de pantalla no prueban nada. SPE resuelve esto con prueba matemática — no afirmaciones, no logs — generando un bundle ZIP portable, verificable offline, para siempre, sin depender de ninguna infraestructura de SPE.

El beneficio es presente y futuro:

HOY →Cada output certificado es una póliza de seguro contra reclamaciones, auditorías y litigios.
2026 →El EU AI Act entra en vigor. Sin prueba criptográfica, tu IA opera fuera de compliance.
2027+ →Los outputs generados hoy serán cuestionados mañana. Solo los que estén certificados sobrevivirán.

Casos de uso

Fintech & Banca

Tu AI advisor recomendó algo. El cliente reclama. ¿Puedes probar exactamente qué dijo la IA, con qué datos, en qué momento? Con SPE, sí.

Legal & LegalTech

Documentos AI-generados para discovery o contratos. Verificables por la contraparte sin ninguna dependencia de servidor.

Healthcare & Diagnóstico AI

Certifica que el sistema de triaje AI operó con la información disponible en el momento — no con datos retroactivos.

Cualquier pipeline RAG en producción

Dos líneas de código. Cada respuesta certificada. Hash en el header. Prueba completa disponible offline, para siempre.

Startups AI-native

Certifica cada output de tu LLM desde el día 1. Cuando un inversor, cliente o regulador pregunte, tendrás la prueba.

Stack criptográfico

SHA-256

FIPS 180-4 · Fingerprint

Ed25519

RFC 8032 · Firma digital

Merkle Tree

Context attestation

Hash Chain

Append-only ledger

TVOC

Señal forense novel

Stateless

Zero custody

STATELESS. PORTABLE. VERIFIABLE.

github.com/joinsnipe/SPE_AUDIT · speaudit.com

VER EN GITHUB WHITE PAPER ENTERPRISE