Recupera lo que importa. Controla lo que pasa después.
La IA no debería olvidar lo que importa. Y no debería cambiar lo que importa sin autorización.
Encuentra lo que olvidaste.
Recupera ideas valiosas sepultadas a lo largo de años de conversaciones, notas y proyectos.
«Los agentes de IA deberían requerir autorización explícita antes de modificar o eliminar archivos.»
Deja trabajar a la IA. Mantén el veto.
Los agentes ejecutan bajo una compuerta fail-closed. Toda mutación irreversible de archivos o comandos requiere delegación explícita o fricción biométrica.
No confíes en los límites. Atácalos.
El aseguramiento no es una promesa; es un desafío continuo para derribar las invariantes de seguridad y medir qué fronteras resisten bajo condiciones documentadas.
Model checking
Verificación formal en Lean 4 por reflexión pura y SMT Z3.
Kernel adversaries
Pruebas de estrés adversarial contra carreras TOCTOU y renames atómicos.
Crash injection
Inyección de SIGKILL en 5 fases transaccionales con cero recuperaciones ambiguas.
Mutation testing
Resistencia a manipulación de nonces y parámetros de intención.
Independent reproduction
Arnés abierto y reproducible con hashes inmutables de artefactos.
Observabilidad Pura con babylon top
Proyección determinista en tiempo real de ideas recuperadas, decisiones del Effect Broker y aserciones de NEMESIS directamente en tu terminal:
Pasado, Presente y Futuro
Cómo se coordinan los tres dominios alrededor del ciclo de vida del agente:
CORTEX
CORTEX · Recuperar contexto y decisiones
BABYLON
BABYLON · Delimitar y gobernar efectos
NEMESIS
NEMESIS · Aseguramiento Popperiano
La Maquinaria en Silicio Debajo del Producto
No hay magia estocástica: cada interacción está acoplada a primitivas deterministas de hardware, criptografía y teoría de sistemas:
C5-REAL Substrate
Frontera de Landauer, unicidad de Chentsov y compresión asintótica de información sin fricción operativa.
WORM Ledger
Libro inmutable de un solo escritor (Single-Writer SQLite WAL) con Merkle Mountain Ranges para verificación O(log N).
Effect Broker & 7-Tupla
Toda mutación evalúa deterministamente ⟨Authority, Capability, Policy, Resource, Effect, Context, Epoch⟩.
Hardware Touch ID Gate
Fricción biométrica en silicio local vía NIST P-256 Secure Enclave con tiempo de reutilización cero.
Falsación Popperiana NEMESIS
Aserciones sometidas a modelos de fallo adversariales continuos. La atestación vincula evidencia, no infalibilidad.
Memoria Causal Desacoplada
Axioma O1: Fuente ≠ Inferencia. Los registros primarios permanecen inmutables bajo sello criptográfico SHA3-256.