Recover what matters. Control what happens next.
AI shouldn't forget what matters. And it shouldn't change what matters without authority.
Find what you forgot.
Recover valuable ideas buried across years of conversations, notes, and projects.
"Agents should require explicit authority before modifying or deleting files."
Let AI work. Keep the veto.
Agents execute within a fail-closed sandbox. Every irreversible file deletion, shell execution, or network effect requires explicit authority or biometric friction.
Don't trust the boundary. Attack it.
Assurance isn't a promise. It is an active, continuous challenge against formal invariants to observe which frontiers hold under documented conditions.
Model checking
Lean 4 reflex proofs by decide and Z3 SMT bounded verification.
Kernel adversaries
Stress testing against TOCTOU race conditions and atomic renames.
Crash injection
SIGKILL injection across 5 transactional phases with zero ambiguous recoveries.
Mutation testing
Resilience against nonce manipulation and tampered intent parameters.
Independent reproduction
Open test harnesses and reproducible artifact hashes.
Pure Observability with babylon top
Real-time deterministic projection of recovered ideas, broker decisions, and NEMESIS assertions in your terminal:
Past, Present, and Future
How the three domains coordinate around the agent lifecycle:
CORTEX
CORTEX · Recover context and decisions
BABYLON
BABYLON · Delimit and govern effects
NEMESIS
NEMESIS · Popperian Falsification
The Silicon Machinery Beneath the Product
No stochastic hand-waving: every interaction is bound to deterministic hardware primitives, cryptography, and systems theory:
C5-REAL Substrate
Landauer dissipation bounds, Chentsov information metric, and asymptotic compression without operational friction.
WORM Ledger
Single-writer SQLite WAL with Merkle Mountain Ranges enabling O(log N) inclusion proofs.
Effect Broker & 7-Tuple
Every mutation evaluates ⟨Authority, Capability, Policy, Resource, Effect, Context, Epoch⟩ fail-closed.
Hardware Touch ID Gate
Local Apple Silicon biometric friction via NIST P-256 Secure Enclave with zero reuse duration.
Popperian Falsification
NEMESIS challenges security assertions under adverse fault models. Attestations bind evidence, not ontic truth.
Decoupled Causal Memory
Axiom O1: Source ≠ Inference. Primary records remain immutable under cryptographic SHA3-256 seals.